runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/0207e19a-9b1c-11df-af69-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//0207e19a-9b1c-11df-af69-00163e46d37a.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/0207e19a-9b1c-11df-af69-00163e46d37a.cudf.dudf-real.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.17 0.46 0.17 3/38 1947
/proc/meminfo: memFree=789136/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=820 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) R 1946 1947 1511 34817 1511 4194304 74 0 0 0 0 0 0 0 25 0 1 0 572486 839680 2 1283457024 0 0 4294472442 18446744073709551615 4294960130 0 0 0 0 0 0 0 17 0 0 0 0
/proc/1947/statm: 205 2 0 0 0 6 0

[startup+0.168492 s]
/proc/loadavg: 1.17 0.46 0.17 3/38 1947
/proc/meminfo: memFree=789136/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.208491 s]
/proc/loadavg: 1.17 0.46 0.17 3/38 1947
/proc/meminfo: memFree=789136/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.308532 s]
/proc/loadavg: 1.17 0.46 0.17 3/38 1947
/proc/meminfo: memFree=789136/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.708942 s]
/proc/loadavg: 1.17 0.46 0.17 3/38 1947
/proc/meminfo: memFree=789136/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+1.50912 s]
/proc/loadavg: 1.31 0.51 0.18 3/48 1957
/proc/meminfo: memFree=729360/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
[pid=1949] ppid=1947 vsize=410684 CPUtime=1.49
/proc/1949/stat : 1949 (java) S 1947 1947 1511 34817 1511 4202496 27104 0 1 0 140 9 0 0 25 0 9 0 572486 420540416 26343 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1949/statm: 102671 26343 2901 10 0 96819 0
[pid=1949/tid=1950] ppid=1947 vsize=410684 CPUtime=0.79
/proc/1949/task/1950/stat : 1950 (java) R 1947 1947 1511 34817 1511 4202560 6833 0 1 0 76 3 0 0 25 0 9 0 572487 420540416 26343 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1951] ppid=1947 vsize=410684 CPUtime=0.64
/proc/1949/task/1951/stat : 1951 (java) R 1947 1947 1511 34817 1511 4202560 18879 0 0 0 60 4 0 0 18 0 9 0 572487 420540416 26343 1283457024 134512640 134550932 4292339344 18446744073709551615 4150590692 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1952] ppid=1947 vsize=410684 CPUtime=0
/proc/1949/task/1952/stat : 1952 (java) S 1947 1947 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 572487 420540416 26343 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1953] ppid=1947 vsize=410684 CPUtime=0
/proc/1949/task/1953/stat : 1953 (java) S 1947 1947 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 572487 420540416 26343 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1954] ppid=1947 vsize=410684 CPUtime=0
/proc/1949/task/1954/stat : 1954 (java) S 1947 1947 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 572488 420540416 26343 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1955] ppid=1947 vsize=410684 CPUtime=0.05
/proc/1949/task/1955/stat : 1955 (java) S 1947 1947 1511 34817 1511 4202560 450 0 0 0 4 1 0 0 20 0 9 0 572488 420540416 26343 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1956] ppid=1947 vsize=410684 CPUtime=0
/proc/1949/task/1956/stat : 1956 (java) S 1947 1947 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 572489 420540416 26343 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1957] ppid=1947 vsize=410684 CPUtime=0
/proc/1949/task/1957/stat : 1957 (java) R 1947 1947 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 572489 420540416 26343 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413256

[startup+3.12961 s]
/proc/loadavg: 1.31 0.51 0.18 2/48 1957
/proc/meminfo: memFree=654340/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
[pid=1949] ppid=1947 vsize=410816 CPUtime=3.12
/proc/1949/stat : 1949 (java) S 1947 1947 1511 34817 1511 4202496 49337 0 1 0 295 17 0 0 25 0 9 0 572486 420675584 48570 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1949/statm: 102704 48570 2902 10 0 96852 0
[pid=1949/tid=1950] ppid=1947 vsize=410816 CPUtime=1.43
/proc/1949/task/1950/stat : 1950 (java) R 1947 1947 1511 34817 1511 4202560 14289 0 1 0 135 8 0 0 25 0 9 0 572487 420675584 48570 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1951] ppid=1947 vsize=410816 CPUtime=1.59
/proc/1949/task/1951/stat : 1951 (java) R 1947 1947 1511 34817 1511 4202560 33633 0 0 0 153 6 0 0 15 0 9 0 572487 420675584 48570 1283457024 134512640 134550932 4292339344 18446744073709551615 4152700927 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1952] ppid=1947 vsize=410816 CPUtime=0
/proc/1949/task/1952/stat : 1952 (java) S 1947 1947 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 572487 420675584 48570 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1953] ppid=1947 vsize=410816 CPUtime=0
/proc/1949/task/1953/stat : 1953 (java) S 1947 1947 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 572487 420675584 48570 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1954] ppid=1947 vsize=410816 CPUtime=0
/proc/1949/task/1954/stat : 1954 (java) S 1947 1947 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 572488 420675584 48570 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1955] ppid=1947 vsize=410816 CPUtime=0.07
/proc/1949/task/1955/stat : 1955 (java) S 1947 1947 1511 34817 1511 4202560 473 0 0 0 6 1 0 0 15 0 9 0 572488 420675584 48570 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1956] ppid=1947 vsize=410816 CPUtime=0
/proc/1949/task/1956/stat : 1956 (java) S 1947 1947 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 572489 420675584 48570 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1957] ppid=1947 vsize=410816 CPUtime=0
/proc/1949/task/1957/stat : 1957 (java) R 1947 1947 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 572489 420675584 48570 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413388

[startup+6.31052 s]
/proc/loadavg: 1.29 0.51 0.19 2/49 1958
/proc/meminfo: memFree=551908/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
[pid=1949] ppid=1947 vsize=411152 CPUtime=6.3
/proc/1949/stat : 1949 (java) S 1947 1947 1511 34817 1511 4202496 62840 0 1 0 609 21 0 0 25 0 10 0 572486 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1949/statm: 102788 61994 2926 10 0 96933 0
[pid=1949/tid=1950] ppid=1947 vsize=411152 CPUtime=4.24
/proc/1949/task/1950/stat : 1950 (java) R 1947 1947 1511 34817 1511 4202560 14541 0 1 0 416 8 0 0 25 0 10 0 572487 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4115223814 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1951] ppid=1947 vsize=411152 CPUtime=1.89
/proc/1949/task/1951/stat : 1951 (java) S 1947 1947 1511 34817 1511 4202560 46827 0 0 0 180 9 0 0 16 0 10 0 572487 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1952] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1952/stat : 1952 (java) S 1947 1947 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1953] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1953/stat : 1953 (java) S 1947 1947 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1954] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1954/stat : 1954 (java) S 1947 1947 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 572488 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1955] ppid=1947 vsize=411152 CPUtime=0.13
/proc/1949/task/1955/stat : 1955 (java) S 1947 1947 1511 34817 1511 4202560 526 0 0 0 11 2 0 0 15 0 10 0 572488 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1956] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1956/stat : 1956 (java) S 1947 1947 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 572489 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1957] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1957/stat : 1957 (java) S 1947 1947 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 572489 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1958] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1958/stat : 1958 (java) S 1947 1947 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 572868 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413724

Solver just ended. Dumping a history of the last processes samples

[startup+6.41055 s]
/proc/loadavg: 1.29 0.51 0.19 2/49 1958
/proc/meminfo: memFree=551908/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
[pid=1949] ppid=1947 vsize=411152 CPUtime=6.4
/proc/1949/stat : 1949 (java) S 1947 1947 1511 34817 1511 4202496 62840 0 1 0 619 21 0 0 25 0 10 0 572486 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1949/statm: 102788 61994 2926 10 0 96933 0
[pid=1949/tid=1950] ppid=1947 vsize=411152 CPUtime=4.34
/proc/1949/task/1950/stat : 1950 (java) R 1947 1947 1511 34817 1511 4202560 14541 0 1 0 426 8 0 0 25 0 10 0 572487 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4115104704 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1951] ppid=1947 vsize=411152 CPUtime=1.89
/proc/1949/task/1951/stat : 1951 (java) S 1947 1947 1511 34817 1511 4202560 46827 0 0 0 180 9 0 0 16 0 10 0 572487 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1952] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1952/stat : 1952 (java) S 1947 1947 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1953] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1953/stat : 1953 (java) S 1947 1947 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1954] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1954/stat : 1954 (java) S 1947 1947 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 572488 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1955] ppid=1947 vsize=411152 CPUtime=0.13
/proc/1949/task/1955/stat : 1955 (java) S 1947 1947 1511 34817 1511 4202560 526 0 0 0 11 2 0 0 15 0 10 0 572488 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1956] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1956/stat : 1956 (java) S 1947 1947 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 572489 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1957] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1957/stat : 1957 (java) S 1947 1947 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 572489 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1958] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1958/stat : 1958 (java) S 1947 1947 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 572868 421019648 61994 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 413724

[startup+8.01115 s]
/proc/loadavg: 1.29 0.51 0.19 2/49 1959
/proc/meminfo: memFree=551784/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
[pid=1949] ppid=1947 vsize=411152 CPUtime=7.98
/proc/1949/stat : 1949 (java) S 1947 1947 1511 34817 1511 4202496 64459 0 1 0 777 21 0 0 25 0 10 0 572486 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1949/statm: 102788 63613 2926 10 0 96933 0
[pid=1949/tid=1950] ppid=1947 vsize=411152 CPUtime=5.85
/proc/1949/task/1950/stat : 1950 (java) R 1947 1947 1511 34817 1511 4202560 14544 0 1 0 577 8 0 0 25 0 10 0 572487 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4114345829 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1951] ppid=1947 vsize=411152 CPUtime=1.95
/proc/1949/task/1951/stat : 1951 (java) S 1947 1947 1511 34817 1511 4202560 48420 0 0 0 186 9 0 0 16 0 10 0 572487 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1952] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1952/stat : 1952 (java) S 1947 1947 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1953] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1953/stat : 1953 (java) S 1947 1947 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1954] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1954/stat : 1954 (java) S 1947 1947 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 572488 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1955] ppid=1947 vsize=411152 CPUtime=0.15
/proc/1949/task/1955/stat : 1955 (java) S 1947 1947 1511 34817 1511 4202560 549 0 0 0 13 2 0 0 15 0 10 0 572488 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1956] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1956/stat : 1956 (java) S 1947 1947 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 572489 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1957] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1957/stat : 1957 (java) S 1947 1947 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 572489 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1958] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1958/stat : 1958 (java) S 1947 1947 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 572868 421019648 63613 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 413724

[startup+8.81122 s]
/proc/loadavg: 1.29 0.51 0.19 2/49 1960
/proc/meminfo: memFree=544592/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
[pid=1949] ppid=1947 vsize=411152 CPUtime=8.75
/proc/1949/stat : 1949 (java) S 1947 1947 1511 34817 1511 4202496 64460 0 1 0 854 21 0 0 25 0 10 0 572486 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1949/statm: 102788 63614 2926 10 0 96933 0
[pid=1949/tid=1950] ppid=1947 vsize=411152 CPUtime=6.62
/proc/1949/task/1950/stat : 1950 (java) R 1947 1947 1511 34817 1511 4202560 14544 0 1 0 654 8 0 0 25 0 10 0 572487 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4115290693 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1951] ppid=1947 vsize=411152 CPUtime=1.95
/proc/1949/task/1951/stat : 1951 (java) S 1947 1947 1511 34817 1511 4202560 48420 0 0 0 186 9 0 0 16 0 10 0 572487 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1952] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1952/stat : 1952 (java) S 1947 1947 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1953] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1953/stat : 1953 (java) S 1947 1947 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1954] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1954/stat : 1954 (java) S 1947 1947 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 572488 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1955] ppid=1947 vsize=411152 CPUtime=0.15
/proc/1949/task/1955/stat : 1955 (java) S 1947 1947 1511 34817 1511 4202560 550 0 0 0 13 2 0 0 15 0 10 0 572488 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1956] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1956/stat : 1956 (java) S 1947 1947 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 572489 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1957] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1957/stat : 1957 (java) S 1947 1947 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 572489 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1958] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1958/stat : 1958 (java) S 1947 1947 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 572868 421019648 63614 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 413724

[startup+9.61144 s]
/proc/loadavg: 1.29 0.51 0.19 2/49 1960
/proc/meminfo: memFree=544592/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
[pid=1949] ppid=1947 vsize=411152 CPUtime=9.55
/proc/1949/stat : 1949 (java) S 1947 1947 1511 34817 1511 4202496 66352 0 1 0 934 21 0 0 25 0 10 0 572486 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1949/statm: 102788 65506 2926 10 0 96933 0
[pid=1949/tid=1950] ppid=1947 vsize=411152 CPUtime=7.38
/proc/1949/task/1950/stat : 1950 (java) R 1947 1947 1511 34817 1511 4202560 14544 0 1 0 730 8 0 0 25 0 10 0 572487 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4115290693 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1951] ppid=1947 vsize=411152 CPUtime=1.99
/proc/1949/task/1951/stat : 1951 (java) S 1947 1947 1511 34817 1511 4202560 50310 0 0 0 190 9 0 0 16 0 10 0 572487 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1952] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1952/stat : 1952 (java) S 1947 1947 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1953] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1953/stat : 1953 (java) S 1947 1947 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1954] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1954/stat : 1954 (java) S 1947 1947 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 572488 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1955] ppid=1947 vsize=411152 CPUtime=0.15
/proc/1949/task/1955/stat : 1955 (java) S 1947 1947 1511 34817 1511 4202560 552 0 0 0 13 2 0 0 15 0 10 0 572488 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1956] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1956/stat : 1956 (java) S 1947 1947 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 572489 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1957] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1957/stat : 1957 (java) S 1947 1947 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 572489 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1958] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1958/stat : 1958 (java) S 1947 1947 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 572868 421019648 65506 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.55
Current children cumulated vsize (KiB) 413724

[startup+10.0115 s]
/proc/loadavg: 1.29 0.51 0.19 2/49 1960
/proc/meminfo: memFree=537648/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
[pid=1949] ppid=1947 vsize=411152 CPUtime=9.95
/proc/1949/stat : 1949 (java) S 1947 1947 1511 34817 1511 4202496 66353 0 1 0 974 21 0 0 25 0 10 0 572486 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1949/statm: 102788 65507 2927 10 0 96933 0
[pid=1949/tid=1950] ppid=1947 vsize=411152 CPUtime=7.78
/proc/1949/task/1950/stat : 1950 (java) R 1947 1947 1511 34817 1511 4202560 14545 0 1 0 770 8 0 0 25 0 10 0 572487 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4115210011 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1951] ppid=1947 vsize=411152 CPUtime=1.99
/proc/1949/task/1951/stat : 1951 (java) S 1947 1947 1511 34817 1511 4202560 50310 0 0 0 190 9 0 0 15 0 10 0 572487 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1952] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1952/stat : 1952 (java) S 1947 1947 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1953] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1953/stat : 1953 (java) S 1947 1947 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1954] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1954/stat : 1954 (java) S 1947 1947 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 572488 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1955] ppid=1947 vsize=411152 CPUtime=0.15
/proc/1949/task/1955/stat : 1955 (java) S 1947 1947 1511 34817 1511 4202560 552 0 0 0 13 2 0 0 15 0 10 0 572488 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1956] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1956/stat : 1956 (java) S 1947 1947 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 572489 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1957] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1957/stat : 1957 (java) S 1947 1947 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 572489 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1958] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1958/stat : 1958 (java) S 1947 1947 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 572868 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (KiB) 413724

[startup+10.1115 s]
/proc/loadavg: 1.29 0.51 0.19 2/49 1960
/proc/meminfo: memFree=537648/1048576 swapFree=0/0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0
/proc/1947/stat : 1947 (gj-trendy-solve) S 1946 1947 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 572486 2633728 270 1283457024 134512640 135304128 4294464880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 270 229 194 0 30 0
[pid=1949] ppid=1947 vsize=411152 CPUtime=10.05
/proc/1949/stat : 1949 (java) S 1947 1947 1511 34817 1511 4202496 66353 0 1 0 984 21 0 0 25 0 10 0 572486 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1949/statm: 102788 65507 2927 10 0 96933 0
[pid=1949/tid=1950] ppid=1947 vsize=411152 CPUtime=7.88
/proc/1949/task/1950/stat : 1950 (java) R 1947 1947 1511 34817 1511 4202560 14545 0 1 0 780 8 0 0 25 0 10 0 572487 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4115223558 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1949/tid=1951] ppid=1947 vsize=411152 CPUtime=1.99
/proc/1949/task/1951/stat : 1951 (java) S 1947 1947 1511 34817 1511 4202560 50310 0 0 0 190 9 0 0 15 0 10 0 572487 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1952] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1952/stat : 1952 (java) S 1947 1947 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1953] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1953/stat : 1953 (java) S 1947 1947 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 572487 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1954] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1954/stat : 1954 (java) S 1947 1947 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 572488 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1955] ppid=1947 vsize=411152 CPUtime=0.15
/proc/1949/task/1955/stat : 1955 (java) S 1947 1947 1511 34817 1511 4202560 552 0 0 0 13 2 0 0 15 0 10 0 572488 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1956] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1956/stat : 1956 (java) S 1947 1947 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 572489 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1957] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1957/stat : 1957 (java) S 1947 1947 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 572489 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=1949/tid=1958] ppid=1947 vsize=411152 CPUtime=0
/proc/1949/task/1958/stat : 1958 (java) S 1947 1947 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 572868 421019648 65507 1283457024 134512640 134550932 4292339344 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.05
Current children cumulated vsize (KiB) 413724

Child status: 0
Real time (s): 10.1519
CPU time (s): 10.0806
CPU user time (s): 9.86062
CPU system time (s): 0.220013
CPU usage (%): 99.2981
Max. virtual memory (cumulated for all children) (KiB): 413724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.86062
system time used= 0.220013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66745
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 907
involuntary context switches= 1130

runsolver used 0 second user time and 0 second system time

The end