runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710077-1338175334/watcher-3710077-1338175334 -o /tmp/evaluation-result-3710077-1338175334/solver-3710077-1338175334 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710077-1338175334.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.04 2.01 3/192 17617
/proc/meminfo: memFree=29083264/32873852 swapFree=7624/7624
[pid=17617] ppid=17615 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/17617/stat : 17617 (java) S 17615 17617 15185 0 -1 4202496 1164 0 0 0 0 0 0 0 20 0 2 0 283658850 91889664 885 33554432000 1073741824 1073778376 140735912858432 140735912849568 252266446909 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17617/statm: 22435 886 670 9 0 16770 0
[pid=17617/tid=17618] ppid=17615 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17618/stat : 17618 (java) D 17615 17617 15185 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 283658850 94019584 917 33554432000 1073741824 1073778376 140735912858432 140735912847496 252253924647 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.0936959 s]
/proc/loadavg: 2.08 2.04 2.01 3/192 17617
/proc/meminfo: memFree=29083264/32873852 swapFree=7624/7624
[pid=17617] ppid=17615 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/17617/stat : 17617 (java) S 17615 17617 15185 0 -1 4202496 4290 0 1 0 9 0 0 0 20 0 18 0 283658850 9787842560 6009 33554432000 1073741824 1073778376 140735912858432 140735912849568 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17617/statm: 2389610 6009 2116 9 0 2380296 0
[pid=17617/tid=17618] ppid=17615 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/17617/task/17618/stat : 17618 (java) R 17615 17617 15185 0 -1 4202560 2431 0 1 0 7 0 0 0 20 0 18 0 283658850 9787842560 6009 33554432000 1073741824 1073778376 140735912858432 140350102675824 252266472717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.100237 s]
/proc/loadavg: 2.08 2.04 2.01 3/192 17617
/proc/meminfo: memFree=29083264/32873852 swapFree=7624/7624
[pid=17617] ppid=17615 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/17617/stat : 17617 (java) S 17615 17617 15185 0 -1 4202496 4386 0 1 0 10 0 0 0 20 0 18 0 283658850 9787842560 6105 33554432000 1073741824 1073778376 140735912858432 140735912849568 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17617/statm: 2389610 6105 2131 9 0 2380296 0
[pid=17617/tid=17618] ppid=17615 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/17617/task/17618/stat : 17618 (java) R 17615 17617 15185 0 -1 4202560 2500 0 1 0 7 0 0 0 20 0 18 0 283658850 9787842560 6105 33554432000 1073741824 1073778376 140735912858432 140350102688088 140350109702364 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300193 s]
/proc/loadavg: 2.08 2.04 2.01 3/192 17617
/proc/meminfo: memFree=29083264/32873852 swapFree=7624/7624
[pid=17617] ppid=17615 vsize=9558440 CPUtime=0.48 cores=0,2,4,6
/proc/17617/stat : 17617 (java) S 17615 17617 15185 0 -1 4202496 5322 0 1 0 47 1 0 0 20 0 18 0 283658850 9787842560 8901 33554432000 1073741824 1073778376 140735912858432 140735912849568 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17617/statm: 2389610 8901 2233 9 0 2380296 0
[pid=17617/tid=17618] ppid=17615 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/17617/task/17618/stat : 17618 (java) R 17615 17617 15185 0 -1 4202560 2517 0 1 0 27 0 0 0 20 0 18 0 283658850 9787842560 8910 33554432000 1073741824 1073778376 140735912858432 140350102691848 140349951556044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440
[startup+0.700201 s]
/proc/loadavg: 2.08 2.04 2.01 3/192 17617
/proc/meminfo: memFree=29083264/32873852 swapFree=7624/7624
[pid=17617] ppid=17615 vsize=9625004 CPUtime=1.67 cores=0,2,4,6
/proc/17617/stat : 17617 (java) S 17615 17617 15185 0 -1 4202496 21748 0 1 0 162 5 0 0 20 0 19 0 283658850 9856004096 33644 33554432000 1073741824 1073778376 140735912858432 140735912849568 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17617/statm: 2406251 33644 2258 9 0 2396937 0
[pid=17617/tid=17618] ppid=17615 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/17617/task/17618/stat : 17618 (java) R 17615 17617 15185 0 -1 4202560 2558 0 1 0 65 2 0 0 20 0 19 0 283658850 9856004096 33644 33554432000 1073741824 1073778376 140735912858432 140350102683960 140349951547701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+1.10702 s]
/proc/loadavg: 2.08 2.04 2.01 3/211 17636
/proc/meminfo: memFree=28957872/32873852 swapFree=7624/7624
[pid=17617] ppid=17615 vsize=9625004 CPUtime=2.56 cores=0,2,4,6
/proc/17617/stat : 17617 (java) S 17615 17617 15185 0 -1 4202496 22575 0 1 0 250 6 0 0 20 0 19 0 283658850 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140735912849568 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17617/statm: 2406251 33194 2262 9 0 2396937 0
[pid=17617/tid=17618] ppid=17615 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/17617/task/17618/stat : 17618 (java) R 17615 17617 15185 0 -1 4202560 2559 0 1 0 106 2 0 0 20 0 19 0 283658850 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140350102683960 140349952355188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17617/tid=17620] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140350075145128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17621] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140350074092584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17617/tid=17622] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140350073039528 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17617/tid=17623] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140350071986984 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17617/tid=17624] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140350070933928 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17625] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349940476456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17617/tid=17626] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17626/stat : 17626 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349939423400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17627] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17627/stat : 17627 (java) S 17615 17617 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349938370856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17628] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17628/stat : 17628 (java) S 17615 17617 15185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283658852 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349455424360 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17629] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17629/stat : 17629 (java) S 17615 17617 15185 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283658852 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349454370680 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17630] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17630/stat : 17630 (java) S 17615 17617 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283658852 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349453317512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17631] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17631/stat : 17631 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658854 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349452266256 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17632] ppid=17615 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/17617/task/17632/stat : 17632 (java) S 17615 17617 15185 0 -1 4202560 12488 0 0 0 70 2 0 0 20 0 19 0 283658855 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349451213112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17633] ppid=17615 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/17617/task/17633/stat : 17633 (java) S 17615 17617 15185 0 -1 4202560 6329 0 0 0 70 2 0 0 20 0 19 0 283658855 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349450160568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17617/tid=17634] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17634/stat : 17634 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658855 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349449107704 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17617/tid=17635] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17635/stat : 17635 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658855 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349448055368 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17617/tid=17636] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17636/stat : 17636 (java) S 17615 17617 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283658904 9856004096 33194 33554432000 1073741824 1073778376 140735912858432 140349447001640 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9625004
[startup+1.20083 s]
/proc/loadavg: 2.08 2.04 2.01 3/211 17636
/proc/meminfo: memFree=28957872/32873852 swapFree=7624/7624
[pid=17617] ppid=17615 vsize=9625004 CPUtime=2.71 cores=0,2,4,6
/proc/17617/stat : 17617 (java) S 17615 17617 15185 0 -1 4202496 22577 0 1 0 265 6 0 0 20 0 19 0 283658850 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140735912849568 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17617/statm: 2406251 33196 2264 9 0 2396937 0
[pid=17617/tid=17618] ppid=17615 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/17617/task/17618/stat : 17618 (java) R 17615 17617 15185 0 -1 4202560 2559 0 1 0 115 2 0 0 20 0 19 0 283658850 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140350102692584 140349952177248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17617/tid=17620] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140350075145128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17621] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140350074092584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17617/tid=17622] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140350073039528 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17617/tid=17623] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140350071986984 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17617/tid=17624] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140350070933928 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17625] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349940476456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17617/tid=17626] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17626/stat : 17626 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349939423400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17627] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17627/stat : 17627 (java) S 17615 17617 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283658851 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349938370856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17628] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17628/stat : 17628 (java) S 17615 17617 15185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283658852 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349455424360 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17629] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17629/stat : 17629 (java) S 17615 17617 15185 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283658852 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349454370680 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17630] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17630/stat : 17630 (java) S 17615 17617 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283658852 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349453317512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17631] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17631/stat : 17631 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658854 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349452266256 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17632] ppid=17615 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/17617/task/17632/stat : 17632 (java) R 17615 17617 15185 0 -1 4202560 12490 0 0 0 74 2 0 0 20 0 19 0 283658855 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349451213112 140350109877729 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17617/tid=17633] ppid=17615 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/17617/task/17633/stat : 17633 (java) S 17615 17617 15185 0 -1 4202560 6329 0 0 0 71 2 0 0 20 0 19 0 283658855 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349450160568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17617/tid=17634] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17634/stat : 17634 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658855 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349449107704 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17617/tid=17635] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17635/stat : 17635 (java) S 17615 17617 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658855 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349448055368 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17617/tid=17636] ppid=17615 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17617/task/17636/stat : 17636 (java) S 17615 17617 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283658904 9856004096 33196 33554432000 1073741824 1073778376 140735912858432 140349447001640 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 9625004
Child status: 10
Real time (s): 1.28579
CPU time (s): 2.86356
CPU user time (s): 2.77058
CPU system time (s): 0.092985
CPU usage (%): 222.708
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.77058
system time used= 0.092985
maximum resident set size= 137136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22597
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 288
involuntary context switches= 32
runsolver used 0.000999 second user time and 0.005999 second system time
The end