runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453933-1307194553/watcher-3453933-1307194553 -o /tmp/evaluation-result-3453933-1307194553/solver-3453933-1307194553 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453933-1307194553.opb
running on 4 cores: 1,3,5,7
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: 3.59 3.63 3.62 3/519 21440
/proc/meminfo: memFree=28112728/32951132 swapFree=57925096/67111528
[pid=21440] ppid=21438 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/21440/stat : 21440 (java) S 21438 21440 16811 0 -1 4202496 3089 0 1 0 0 0 0 0 17 0 2 0 831054944 10681323520 2790 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21440/statm: 2607745 2802 906 9 0 2598901 0
[pid=21440/tid=21441] ppid=21438 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21441/stat : 21441 (java) R 21438 21440 16811 0 -1 4202560 4601 0 1 0 0 0 0 0 18 0 2 0 831054945 10694979584 5417 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0631191 s]
/proc/loadavg: 3.59 3.63 3.62 3/519 21440
/proc/meminfo: memFree=28112728/32951132 swapFree=57925096/67111528
[pid=21440] ppid=21438 vsize=10471728 CPUtime=0.05 cores=1,3,5,7
/proc/21440/stat : 21440 (java) S 21438 21440 16811 0 -1 4202496 11592 0 1 0 4 1 0 0 17 0 17 0 831054944 10723049472 11288 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21440/statm: 2617932 11296 1721 9 0 2608680 0
[pid=21440/tid=21441] ppid=21438 vsize=10472756 CPUtime=0.04 cores=1,3,5,7
/proc/21440/task/21441/stat : 21441 (java) R 21438 21440 16811 0 -1 4202560 10428 0 1 0 4 0 0 0 25 0 17 0 831054945 10724102144 11299 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210647189687 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10471728
[startup+0.101063 s]
/proc/loadavg: 3.59 3.63 3.62 3/519 21440
/proc/meminfo: memFree=28112728/32951132 swapFree=57925096/67111528
[pid=21440] ppid=21438 vsize=10539304 CPUtime=0.1 cores=1,3,5,7
/proc/21440/stat : 21440 (java) S 21438 21440 16811 0 -1 4202496 12988 0 1 0 9 1 0 0 17 0 18 0 831054944 10792247296 12682 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21440/statm: 2634826 12682 2092 9 0 2625560 0
[pid=21440/tid=21441] ppid=21438 vsize=10539304 CPUtime=0.08 cores=1,3,5,7
/proc/21440/task/21441/stat : 21441 (java) R 21438 21440 16811 0 -1 4202560 11097 0 1 0 7 1 0 0 18 0 18 0 831054945 10792247296 12682 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 47421712807816 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539304
[startup+0.301199 s]
/proc/loadavg: 3.59 3.63 3.62 3/519 21440
/proc/meminfo: memFree=28112728/32951132 swapFree=57925096/67111528
[pid=21440] ppid=21438 vsize=10540260 CPUtime=0.46 cores=1,3,5,7
/proc/21440/stat : 21440 (java) S 21438 21440 16811 0 -1 4202496 15620 0 1 0 44 2 0 0 17 0 18 0 831054944 10793226240 14859 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21440/statm: 2635065 14859 2217 9 0 2625799 0
[pid=21440/tid=21441] ppid=21438 vsize=10540260 CPUtime=0.28 cores=1,3,5,7
/proc/21440/task/21441/stat : 21441 (java) R 21438 21440 16811 0 -1 4202560 12716 0 1 0 27 1 0 0 18 0 18 0 831054945 10793226240 14859 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 47421715172560 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540260
[startup+0.700999 s]
/proc/loadavg: 3.59 3.63 3.62 3/519 21440
/proc/meminfo: memFree=28112728/32951132 swapFree=57925096/67111528
[pid=21440] ppid=21438 vsize=10544372 CPUtime=0.52 cores=1,3,5,7
/proc/21440/stat : 21440 (java) S 21438 21440 16811 0 -1 4202496 15884 0 1 0 50 2 0 0 17 0 19 0 831054944 10797436928 15098 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21440/statm: 2636093 15098 2221 9 0 2626827 0
[pid=21440/tid=21441] ppid=21438 vsize=10544372 CPUtime=0.28 cores=1,3,5,7
/proc/21440/task/21441/stat : 21441 (java) S 21438 21440 16811 0 -1 4202560 12749 0 1 0 27 1 0 0 19 0 19 0 831054945 10797436928 15098 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10544372
[startup+1.50083 s]
/proc/loadavg: 3.59 3.63 3.62 3/538 21465
/proc/meminfo: memFree=28047424/32951132 swapFree=57925096/67111528
[pid=21440] ppid=21438 vsize=10555400 CPUtime=1.53 cores=1,3,5,7
/proc/21440/stat : 21440 (java) S 21438 21440 16811 0 -1 4202496 25868 0 1 0 150 3 0 0 17 0 22 0 831054944 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21440/statm: 2638850 21933 2236 9 0 2629584 0
[pid=21440/tid=21441] ppid=21438 vsize=10555400 CPUtime=0.29 cores=1,3,5,7
/proc/21440/task/21441/stat : 21441 (java) S 21438 21440 16811 0 -1 4202560 12792 0 1 0 28 1 0 0 16 0 22 0 831054945 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21443] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21443/stat : 21443 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831054947 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21444] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21444/stat : 21444 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831054947 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21445] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21445/stat : 21445 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831054947 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21446] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21446/stat : 21446 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831054947 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21447] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21447/stat : 21447 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831054947 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21448] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21448/stat : 21448 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831054947 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21449] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21449/stat : 21449 (java) S 21438 21440 16811 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 831054947 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21450] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21450/stat : 21450 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831054947 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21451] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21451/stat : 21451 (java) S 21438 21440 16811 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831054948 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 0 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21452] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21452/stat : 21452 (java) S 21438 21440 16811 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 831054948 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21453] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21453/stat : 21453 (java) S 21438 21440 16811 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 831054948 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21454] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21454/stat : 21454 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831054950 10808729600 21933 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658970033 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21455] ppid=21438 vsize=10555400 CPUtime=0.38 cores=1,3,5,7
/proc/21440/task/21455/stat : 21455 (java) R 21438 21440 16811 0 -1 4202560 5744 0 0 0 37 1 0 0 16 0 22 0 831054950 10808729600 21934 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 47421714958895 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21440/tid=21456] ppid=21438 vsize=10555400 CPUtime=0.38 cores=1,3,5,7
/proc/21440/task/21456/stat : 21456 (java) R 21438 21440 16811 0 -1 4202560 3440 0 0 0 38 0 0 0 16 0 22 0 831054950 10808729600 21934 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 47421714963338 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21440/tid=21457] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21457/stat : 21457 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831054950 10808729600 21934 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21458] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21458/stat : 21458 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831054950 10808729600 21934 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 5 0 0 0
[pid=21440/tid=21461] ppid=21438 vsize=10555400 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21461/stat : 21461 (java) S 21438 21440 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831054975 10808729600 21934 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10555400
Solver just ended. Dumping a history of the last processes samples
[startup+1.90076 s]
/proc/loadavg: 3.59 3.63 3.62 3/538 21465
/proc/meminfo: memFree=28047424/32951132 swapFree=57925096/67111528
[pid=21440] ppid=21438 vsize=10556588 CPUtime=2.58 cores=1,3,5,7
/proc/21440/stat : 21440 (java) S 21438 21440 16811 0 -1 4202496 42587 0 1 0 252 6 0 0 17 0 21 0 831054944 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21440/statm: 2639147 37857 2237 9 0 2629881 0
[pid=21440/tid=21441] ppid=21438 vsize=10556588 CPUtime=0.29 cores=1,3,5,7
/proc/21440/task/21441/stat : 21441 (java) S 21438 21440 16811 0 -1 4202560 12803 0 1 0 28 1 0 0 16 0 21 0 831054945 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21443] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21443/stat : 21443 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 831054947 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21444] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21444/stat : 21444 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 831054947 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21445] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21445/stat : 21445 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 831054947 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21446] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21446/stat : 21446 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 831054947 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21447] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21447/stat : 21447 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 831054947 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21448] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21448/stat : 21448 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 831054947 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21449] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21449/stat : 21449 (java) S 21438 21440 16811 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 21 0 831054947 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21450] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21450/stat : 21450 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 831054947 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21451] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21451/stat : 21451 (java) S 21438 21440 16811 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 21 0 831054948 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 0 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21452] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21452/stat : 21452 (java) S 21438 21440 16811 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 21 0 831054948 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21453] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21453/stat : 21453 (java) S 21438 21440 16811 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 21 0 831054948 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21454] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21454/stat : 21454 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831054950 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658970033 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21455] ppid=21438 vsize=10556588 CPUtime=0.61 cores=1,3,5,7
/proc/21440/task/21455/stat : 21455 (java) S 21438 21440 16811 0 -1 4202560 6154 0 0 0 60 1 0 0 15 0 21 0 831054950 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21456] ppid=21438 vsize=10556588 CPUtime=0.62 cores=1,3,5,7
/proc/21440/task/21456/stat : 21456 (java) S 21438 21440 16811 0 -1 4202560 7221 0 0 0 61 1 0 0 15 0 21 0 831054950 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 5 0 0 0
[pid=21440/tid=21457] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21457/stat : 21457 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831054950 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21458] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21458/stat : 21458 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 831054950 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 5 0 0 0
[pid=21440/tid=21461] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21461/stat : 21461 (java) S 21438 21440 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 21 0 831054975 10809946112 37857 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10556588
[startup+2.30073 s]
/proc/loadavg: 3.59 3.63 3.62 4/540 21471
/proc/meminfo: memFree=27924276/32951132 swapFree=57925096/67111528
[pid=21440] ppid=21438 vsize=10556588 CPUtime=2.96 cores=1,3,5,7
/proc/21440/stat : 21440 (java) S 21438 21440 16811 0 -1 4202496 60189 0 1 0 288 8 0 0 17 0 20 0 831054944 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21440/statm: 2639147 55458 2238 9 0 2629881 0
[pid=21440/tid=21441] ppid=21438 vsize=10556588 CPUtime=0.29 cores=1,3,5,7
/proc/21440/task/21441/stat : 21441 (java) S 21438 21440 16811 0 -1 4202560 12803 0 1 0 28 1 0 0 16 0 20 0 831054945 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21443] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21443/stat : 21443 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 831054947 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21444] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21444/stat : 21444 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831054947 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21445] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21445/stat : 21445 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831054947 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21446] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21446/stat : 21446 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831054947 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21447] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21447/stat : 21447 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831054947 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21448] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21448/stat : 21448 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831054947 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21449] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21449/stat : 21449 (java) S 21438 21440 16811 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 20 0 831054947 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21450] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21450/stat : 21450 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831054947 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21451] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21451/stat : 21451 (java) S 21438 21440 16811 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 831054948 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 0 0 16800975 18446604463552259968 0 0 -1 7 0 0 0
[pid=21440/tid=21452] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21452/stat : 21452 (java) S 21438 21440 16811 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 20 0 831054948 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21453] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21453/stat : 21453 (java) S 21438 21440 16811 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 20 0 831054948 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21454] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21454/stat : 21454 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831054950 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658970033 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21455] ppid=21438 vsize=10556588 CPUtime=0.63 cores=1,3,5,7
/proc/21440/task/21455/stat : 21455 (java) S 21438 21440 16811 0 -1 4202560 6157 0 0 0 62 1 0 0 15 0 20 0 831054950 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21456] ppid=21438 vsize=10556588 CPUtime=0.65 cores=1,3,5,7
/proc/21440/task/21456/stat : 21456 (java) S 21438 21440 16811 0 -1 4202560 7225 0 0 0 64 1 0 0 15 0 20 0 831054950 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 5 0 0 0
[pid=21440/tid=21457] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21457/stat : 21457 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831054950 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962329 0 4 0 16800975 18446604463552259968 0 0 -1 1 0 0 0
[pid=21440/tid=21458] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21458/stat : 21458 (java) S 21438 21440 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831054950 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 5 0 0 0
[pid=21440/tid=21461] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21461/stat : 21461 (java) S 21438 21440 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 831054975 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 3 0 0 0
[pid=21440/tid=21471] ppid=21438 vsize=10556588 CPUtime=0 cores=1,3,5,7
/proc/21440/task/21471/stat : 21471 (java) S 21438 21440 16811 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 20 0 831055127 10809946112 55458 33554432000 1073741824 1073778376 140735510750864 18446744073709551615 210658962944 0 4 0 16800975 18446604463552259968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10556588
Child status: 30
Real time (s): 2.34531
CPU time (s): 2.99654
CPU user time (s): 2.90556
CPU system time (s): 0.090986
CPU usage (%): 127.768
Max. virtual memory (cumulated for all children) (KiB): 10556588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.90556
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60207
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= 413
involuntary context switches= 67
runsolver used 0.016997 second user time and 0.039993 second system time
The end