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-3687295-1337871898/watcher-3687295-1337871898 -o /tmp/evaluation-result-3687295-1337871898/solver-3687295-1337871898 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687295-1337871898.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: 0.35 0.08 0.03 3/194 27605
/proc/meminfo: memFree=29955384/32873648 swapFree=7112/7112
[pid=27605] ppid=27603 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/27605/stat : 27605 (java) R 27603 27605 27428 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 253315762 23793664 713 33554432000 1073741824 1073778376 140736523067808 140736523056872 242158188624 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27605/statm: 5809 713 528 9 0 128 0
[startup+0.0924921 s]
/proc/loadavg: 0.35 0.08 0.03 3/194 27605
/proc/meminfo: memFree=29955384/32873648 swapFree=7112/7112
[pid=27605] ppid=27603 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27603 27605 27428 0 -1 4202496 4366 0 1 0 8 1 0 0 20 0 18 0 253315762 9787813888 6073 33554432000 1073741824 1073778376 140736523067808 140736523058944 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27605/statm: 2389603 6073 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.100198 s]
/proc/loadavg: 0.35 0.08 0.03 3/194 27605
/proc/meminfo: memFree=29955384/32873648 swapFree=7112/7112
[pid=27605] ppid=27603 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27603 27605 27428 0 -1 4202496 4453 0 1 0 10 1 0 0 20 0 18 0 253315762 9787813888 6121 33554432000 1073741824 1073778376 140736523067808 140736523058944 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27605/statm: 2389603 6121 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300164 s]
/proc/loadavg: 0.35 0.08 0.03 3/194 27605
/proc/meminfo: memFree=29955384/32873648 swapFree=7112/7112
[pid=27605] ppid=27603 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27603 27605 27428 0 -1 4202496 5912 0 1 0 50 2 0 0 20 0 19 0 253315762 9855975424 8435 33554432000 1073741824 1073778376 140736523067808 140736523058944 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27605/statm: 2406244 8435 2225 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9624976
[startup+0.700165 s]
/proc/loadavg: 0.35 0.08 0.03 3/194 27605
/proc/meminfo: memFree=29955384/32873648 swapFree=7112/7112
[pid=27605] ppid=27603 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27603 27605 27428 0 -1 4202496 8211 0 1 0 120 3 0 0 20 0 19 0 253315762 9855975424 10752 33554432000 1073741824 1073778376 140736523067808 140736523058944 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27605/statm: 2406244 10752 2274 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9624976
[startup+1.50064 s]
/proc/loadavg: 0.35 0.08 0.03 3/213 27624
/proc/meminfo: memFree=29919180/32873648 swapFree=7112/7112
[pid=27605] ppid=27603 vsize=9624976 CPUtime=2.43 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27603 27605 27428 0 -1 4202496 15015 0 1 0 239 4 0 0 20 0 19 0 253315762 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140736523058944 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27605/statm: 2406244 15224 2275 9 0 2396937 0
[pid=27605/tid=27607] ppid=27603 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/27605/task/27607/stat : 27607 (java) R 27603 27605 27428 0 -1 4202560 2473 0 1 0 143 1 0 0 20 0 19 0 253315763 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140233067331992 140232914181507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27608] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27608/stat : 27608 (java) S 27603 27605 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140233039784360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27609] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27609/stat : 27609 (java) S 27603 27605 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140233038731816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27610] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27610/stat : 27610 (java) S 27603 27605 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140233037678760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27611] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27611/stat : 27611 (java) S 27603 27605 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140233036626216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27612] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27612/stat : 27612 (java) S 27603 27605 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140233035574184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27613] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27613/stat : 27613 (java) S 27603 27605 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140233034521640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27614] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27614/stat : 27614 (java) S 27603 27605 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140233033468584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27615] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27615/stat : 27615 (java) S 27603 27605 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140233032416040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27616] ppid=27603 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) S 27603 27605 27428 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 253315764 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140232420723048 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27617] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27603 27605 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315765 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140232419669368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27618] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27603 27605 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253315765 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140232418616200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27619] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27603 27605 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315767 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140232417564944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27620] ppid=27603 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27603 27605 27428 0 -1 4202560 1525 0 0 0 28 0 0 0 20 0 19 0 253315767 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140232416512824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27621] ppid=27603 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) R 27603 27605 27428 0 -1 4202560 9770 0 0 0 60 2 0 0 20 0 19 0 253315767 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140232415460280 140233074314047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27622] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27603 27605 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315767 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140232414407416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27623] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27603 27605 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315767 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140232413355080 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27624] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27624/stat : 27624 (java) S 27603 27605 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315790 9855975424 15224 33554432000 1073741824 1073778376 140736523067808 140232412300328 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+1.90064 s]
/proc/loadavg: 0.35 0.08 0.03 3/213 27624
/proc/meminfo: memFree=29919180/32873648 swapFree=7112/7112
[pid=27605] ppid=27603 vsize=9624976 CPUtime=3.16 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27603 27605 27428 0 -1 4202496 19091 0 1 0 312 4 0 0 20 0 19 0 253315762 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140736523058944 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27605/statm: 2406244 17072 2275 9 0 2396937 0
[pid=27605/tid=27607] ppid=27603 vsize=9624976 CPUtime=1.82 cores=1,3,5,7
/proc/27605/task/27607/stat : 27607 (java) S 27603 27605 27428 0 -1 4202560 2473 0 1 0 181 1 0 0 20 0 19 0 253315763 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140233067331992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27608] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27608/stat : 27608 (java) S 27603 27605 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140233039784360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27609] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27609/stat : 27609 (java) S 27603 27605 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140233038731816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27610] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27610/stat : 27610 (java) S 27603 27605 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140233037678760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27611] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27611/stat : 27611 (java) S 27603 27605 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140233036626216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27612] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27612/stat : 27612 (java) S 27603 27605 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140233035574184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27613] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27613/stat : 27613 (java) S 27603 27605 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140233034521640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27614] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27614/stat : 27614 (java) S 27603 27605 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140233033468584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27615] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27615/stat : 27615 (java) S 27603 27605 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140233032416040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27616] ppid=27603 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) R 27603 27605 27428 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 253315764 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140232420722024 140233074186494 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27617] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27603 27605 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315765 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140232419669368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27618] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27603 27605 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253315765 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140232418616200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27619] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27603 27605 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315767 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140232417564944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27620] ppid=27603 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27603 27605 27428 0 -1 4202560 5591 0 0 0 56 0 0 0 20 0 19 0 253315767 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140232416512824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27621] ppid=27603 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) S 27603 27605 27428 0 -1 4202560 9773 0 0 0 65 2 0 0 20 0 19 0 253315767 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140232415460280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27622] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27603 27605 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315767 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140232414407416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27623] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27603 27605 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315767 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140232413355080 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27624] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27624/stat : 27624 (java) S 27603 27605 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315790 9855975424 17072 33554432000 1073741824 1073778376 140736523067808 140232412300328 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 9624976
[startup+2.00065 s]
/proc/loadavg: 0.35 0.08 0.03 3/213 27624
/proc/meminfo: memFree=29919180/32873648 swapFree=7112/7112
[pid=27605] ppid=27603 vsize=9624976 CPUtime=3.26 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27603 27605 27428 0 -1 4202496 19093 0 1 0 322 4 0 0 20 0 19 0 253315762 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140736523058944 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27605/statm: 2406244 17584 2275 9 0 2396937 0
[pid=27605/tid=27607] ppid=27603 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/27605/task/27607/stat : 27607 (java) R 27603 27605 27428 0 -1 4202560 2474 0 1 0 191 1 0 0 20 0 19 0 253315763 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140233067331992 140232914130165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27608] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27608/stat : 27608 (java) S 27603 27605 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140233039784360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27609] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27609/stat : 27609 (java) S 27603 27605 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140233038731816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27610] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27610/stat : 27610 (java) S 27603 27605 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140233037678760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27611] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27611/stat : 27611 (java) S 27603 27605 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140233036626216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27612] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27612/stat : 27612 (java) S 27603 27605 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140233035574184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27613] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27613/stat : 27613 (java) S 27603 27605 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140233034521640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27614] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27614/stat : 27614 (java) S 27603 27605 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140233033468584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27615] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27615/stat : 27615 (java) S 27603 27605 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315763 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140233032416040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27616] ppid=27603 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) S 27603 27605 27428 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 253315764 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140232420723048 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27617] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27603 27605 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315765 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140232419669368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27618] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27603 27605 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253315765 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140232418616200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27619] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27603 27605 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315767 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140232417564944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27620] ppid=27603 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27603 27605 27428 0 -1 4202560 5591 0 0 0 56 0 0 0 20 0 19 0 253315767 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140232416512824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27621] ppid=27603 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) S 27603 27605 27428 0 -1 4202560 9773 0 0 0 65 2 0 0 20 0 19 0 253315767 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140232415460280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27622] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27603 27605 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315767 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140232414407416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27623] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27603 27605 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315767 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140232413355080 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27624] ppid=27603 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27624/stat : 27624 (java) S 27603 27605 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315790 9855975424 17584 33554432000 1073741824 1073778376 140736523067808 140232412300328 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 9624976
Child status: 20
Real time (s): 2.03282
CPU time (s): 3.2835
CPU user time (s): 3.21151
CPU system time (s): 0.071989
CPU usage (%): 161.525
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.21151
system time used= 0.071989
maximum resident set size= 71224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19111
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= 443
involuntary context switches= 62
runsolver used 0.009998 second user time and 0.019996 second system time
The end