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-3687231-1337871886/watcher-3687231-1337871886 -o /tmp/evaluation-result-3687231-1337871886/solver-3687231-1337871886 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687231-1337871886.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.08 0.02 0.01 4/194 21414
/proc/meminfo: memFree=27697236/32873844 swapFree=6080/6080
[pid=21414] ppid=21412 vsize=23172 CPUtime=0 cores=1,3,5,7
/proc/21414/stat : 21414 (java) R 21412 21414 21352 0 -1 4202496 1136 0 0 0 0 0 0 0 20 0 1 0 253317189 23728128 857 33554432000 1073741824 1073778376 140737266850672 140737266839736 240417599319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21414/statm: 6050 864 653 9 0 385 0
[pid=21414/tid=21415] ppid=21412 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21415/stat : 21415 (java) R 21412 21414 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 2 0 253317189 91889664 876 33554432000 1073741824 1073778376 140737266850672 140737266839736 240426120166 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.060718 s]
/proc/loadavg: 0.08 0.02 0.01 4/194 21414
/proc/meminfo: memFree=27697236/32873844 swapFree=6080/6080
[pid=21414] ppid=21412 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/21414/stat : 21414 (java) S 21412 21414 21352 0 -1 4202496 3170 0 1 0 3 1 0 0 20 0 18 0 253317189 9787813888 4379 33554432000 1073741824 1073778376 140737266850672 140737266841808 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21414/statm: 2389603 4385 1756 9 0 2380296 0
[pid=21414/tid=21415] ppid=21412 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/21414/task/21415/stat : 21415 (java) R 21412 21414 21352 0 -1 4202560 1968 0 1 0 3 0 0 0 20 0 18 0 253317189 9787813888 4386 33554432000 1073741824 1073778376 140737266850672 140658344614560 140658352376659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412
[startup+0.100297 s]
/proc/loadavg: 0.08 0.02 0.01 4/194 21414
/proc/meminfo: memFree=27697236/32873844 swapFree=6080/6080
[pid=21414] ppid=21412 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/21414/stat : 21414 (java) S 21412 21414 21352 0 -1 4202496 4359 0 1 0 8 1 0 0 20 0 18 0 253317189 9787813888 5564 33554432000 1073741824 1073778376 140737266850672 140737266841808 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21414/statm: 2389603 5564 2108 9 0 2380296 0
[pid=21414/tid=21415] ppid=21412 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/21414/task/21415/stat : 21415 (java) R 21412 21414 21352 0 -1 4202560 2419 0 1 0 5 2 0 0 20 0 18 0 253317189 9787813888 5564 33554432000 1073741824 1073778376 140737266850672 140658344610584 140658342488907 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300368 s]
/proc/loadavg: 0.08 0.02 0.01 4/194 21414
/proc/meminfo: memFree=27697236/32873844 swapFree=6080/6080
[pid=21414] ppid=21412 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/21414/stat : 21414 (java) S 21412 21414 21352 0 -1 4202496 6740 0 1 0 50 2 0 0 20 0 19 0 253317189 9855975424 7534 33554432000 1073741824 1073778376 140737266850672 140737266841808 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21414/statm: 2406244 7534 2233 9 0 2396937 0
[pid=21414/tid=21415] ppid=21412 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/21414/task/21415/stat : 21415 (java) R 21412 21414 21352 0 -1 4202560 2457 0 1 0 25 2 0 0 20 0 19 0 253317189 9855975424 7534 33554432000 1073741824 1073778376 140737266850672 140658344612624 140658182895114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9624976
[startup+0.700361 s]
/proc/loadavg: 0.08 0.02 0.01 4/194 21414
/proc/meminfo: memFree=27697236/32873844 swapFree=6080/6080
[pid=21414] ppid=21412 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/21414/stat : 21414 (java) S 21412 21414 21352 0 -1 4202496 7280 0 1 0 104 2 0 0 20 0 19 0 253317189 9855975424 10199 33554432000 1073741824 1073778376 140737266850672 140737266841808 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21414/statm: 2406244 10199 2268 9 0 2396937 0
[pid=21414/tid=21415] ppid=21412 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/21414/task/21415/stat : 21415 (java) R 21412 21414 21352 0 -1 4202560 2463 0 1 0 63 2 0 0 20 0 19 0 253317189 9855975424 10199 33554432000 1073741824 1073778376 140737266850672 140658344612248 140658182902024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9624976
[startup+1.50065 s]
/proc/loadavg: 0.08 0.02 0.01 2/190 21458
/proc/meminfo: memFree=27694632/32873844 swapFree=6080/6080
[pid=21414] ppid=21412 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/21414/stat : 21414 (java) S 21412 21414 21352 0 -1 4202496 7296 0 1 0 188 2 0 0 20 0 19 0 253317189 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140737266841808 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21414/statm: 2406244 10723 2269 9 0 2396937 0
[pid=21414/tid=21415] ppid=21412 vsize=9624976 CPUtime=1.41 cores=1,3,5,7
/proc/21414/task/21415/stat : 21415 (java) R 21412 21414 21352 0 -1 4202560 2464 0 1 0 139 2 0 0 20 0 19 0 253317189 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658344612248 140658182883694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21417] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21417/stat : 21417 (java) S 21412 21414 21352 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658306103592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21418] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21418/stat : 21418 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658305050792 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21419] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21419/stat : 21419 (java) S 21412 21414 21352 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658303998504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21420] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21420/stat : 21420 (java) S 21412 21414 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658302945704 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21421] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21421/stat : 21421 (java) S 21412 21414 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658301893416 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21422] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21422/stat : 21422 (java) S 21412 21414 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658182449832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21423] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21423/stat : 21423 (java) S 21412 21414 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658181397544 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21424] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21424/stat : 21424 (java) S 21412 21414 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658180344744 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21425] ppid=21412 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21414/task/21425/stat : 21425 (java) S 21412 21414 21352 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 253317191 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658168146152 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21426] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21426/stat : 21426 (java) S 21412 21414 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253317192 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140658167092216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21427] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21427/stat : 21427 (java) S 21412 21414 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253317192 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140657561691400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21428] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21428/stat : 21428 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317194 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140657560639888 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21429] ppid=21412 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/21414/task/21429/stat : 21429 (java) S 21412 21414 21352 0 -1 4202560 1646 0 0 0 22 0 0 0 20 0 19 0 253317195 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140657559587512 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21430] ppid=21412 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/21414/task/21430/stat : 21430 (java) S 21412 21414 21352 0 -1 4202560 1929 0 0 0 16 0 0 0 20 0 19 0 253317195 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140657558534712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21431] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21431/stat : 21431 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317195 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140657557482616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21432] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21432/stat : 21432 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317195 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140657556430024 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21433] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21433/stat : 21433 (java) S 21412 21414 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253317205 9855975424 10723 33554432000 1073741824 1073778376 140737266850672 140657555375016 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+1.70069 s]
/proc/loadavg: 0.08 0.02 0.01 2/190 21458
/proc/meminfo: memFree=27694632/32873844 swapFree=6080/6080
[pid=21414] ppid=21412 vsize=9624976 CPUtime=2.25 cores=1,3,5,7
/proc/21414/stat : 21414 (java) S 21412 21414 21352 0 -1 4202496 12810 0 1 0 222 3 0 0 20 0 19 0 253317189 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140737266841808 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21414/statm: 2406244 14552 2270 9 0 2396937 0
[pid=21414/tid=21415] ppid=21412 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/21414/task/21415/stat : 21415 (java) R 21412 21414 21352 0 -1 4202560 2464 0 1 0 157 2 0 0 20 0 19 0 253317189 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658344612248 140658182922321 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21417] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21417/stat : 21417 (java) S 21412 21414 21352 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658306103592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21418] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21418/stat : 21418 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658305050792 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21419] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21419/stat : 21419 (java) S 21412 21414 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658303998504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21420] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21420/stat : 21420 (java) S 21412 21414 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658302945704 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21421] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21421/stat : 21421 (java) S 21412 21414 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658301893416 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21422] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21422/stat : 21422 (java) S 21412 21414 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658182449832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21423] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21423/stat : 21423 (java) S 21412 21414 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658181397544 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21424] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21424/stat : 21424 (java) S 21412 21414 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658180344744 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21425] ppid=21412 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21414/task/21425/stat : 21425 (java) S 21412 21414 21352 0 -1 4202560 48 0 0 0 4 0 0 0 20 0 19 0 253317191 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658168146152 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21426] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21426/stat : 21426 (java) S 21412 21414 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253317192 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140658167092216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21427] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21427/stat : 21427 (java) S 21412 21414 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253317192 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140657561691400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21428] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21428/stat : 21428 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317194 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140657560639888 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21429] ppid=21412 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/21414/task/21429/stat : 21429 (java) R 21412 21414 21352 0 -1 4202560 7137 0 0 0 34 1 0 0 20 0 19 0 253317195 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140657559563208 140658351070727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21430] ppid=21412 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21414/task/21430/stat : 21430 (java) R 21412 21414 21352 0 -1 4202560 1929 0 0 0 17 0 0 0 20 0 19 0 253317195 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140657558534592 140658347213952 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21431] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21431/stat : 21431 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317195 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140657557482616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21432] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21432/stat : 21432 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317195 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140657556430024 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21433] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21433/stat : 21433 (java) S 21412 21414 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253317205 9855975424 14552 33554432000 1073741824 1073778376 140737266850672 140657555375016 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9624976
[startup+1.80082 s]
/proc/loadavg: 0.08 0.02 0.01 2/190 21458
/proc/meminfo: memFree=27694632/32873844 swapFree=6080/6080
[pid=21414] ppid=21412 vsize=9624976 CPUtime=2.45 cores=1,3,5,7
/proc/21414/stat : 21414 (java) S 21412 21414 21352 0 -1 4202496 13114 0 1 0 242 3 0 0 20 0 19 0 253317189 9855975424 14856 33554432000 1073741824 1073778376 140737266850672 140737266841808 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21414/statm: 2406244 14857 2270 9 0 2396937 0
[pid=21414/tid=21415] ppid=21412 vsize=9624976 CPUtime=1.69 cores=1,3,5,7
/proc/21414/task/21415/stat : 21415 (java) R 21412 21414 21352 0 -1 4202560 2464 0 1 0 167 2 0 0 20 0 19 0 253317189 9855975424 14857 33554432000 1073741824 1073778376 140737266850672 140658344612248 140658182714796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21417] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21417/stat : 21417 (java) S 21412 21414 21352 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14857 33554432000 1073741824 1073778376 140737266850672 140658306103592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21418] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21418/stat : 21418 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14857 33554432000 1073741824 1073778376 140737266850672 140658305050792 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21419] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21419/stat : 21419 (java) S 21412 21414 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14857 33554432000 1073741824 1073778376 140737266850672 140658303998504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21420] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21420/stat : 21420 (java) S 21412 21414 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14857 33554432000 1073741824 1073778376 140737266850672 140658302945704 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21421] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21421/stat : 21421 (java) S 21412 21414 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14857 33554432000 1073741824 1073778376 140737266850672 140658301893416 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21422] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21422/stat : 21422 (java) S 21412 21414 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14857 33554432000 1073741824 1073778376 140737266850672 140658182449832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21414/tid=21423] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21423/stat : 21423 (java) S 21412 21414 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14857 33554432000 1073741824 1073778376 140737266850672 140658181397544 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21424] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21424/stat : 21424 (java) S 21412 21414 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253317190 9855975424 14858 33554432000 1073741824 1073778376 140737266850672 140658180344744 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21425] ppid=21412 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21414/task/21425/stat : 21425 (java) S 21412 21414 21352 0 -1 4202560 48 0 0 0 4 0 0 0 20 0 19 0 253317191 9855975424 14858 33554432000 1073741824 1073778376 140737266850672 140658168146152 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21426] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21426/stat : 21426 (java) S 21412 21414 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253317192 9855975424 14858 33554432000 1073741824 1073778376 140737266850672 140658167092216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21427] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21427/stat : 21427 (java) S 21412 21414 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253317192 9855975424 14858 33554432000 1073741824 1073778376 140737266850672 140657561691400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21428] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21428/stat : 21428 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317194 9855975424 14858 33554432000 1073741824 1073778376 140737266850672 140657560639888 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21429] ppid=21412 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/21414/task/21429/stat : 21429 (java) R 21412 21414 21352 0 -1 4202560 7443 0 0 0 44 1 0 0 20 0 19 0 253317195 9855975424 14858 33554432000 1073741824 1073778376 140737266850672 140657559574792 140658346699207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21414/tid=21430] ppid=21412 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/21414/task/21430/stat : 21430 (java) S 21412 21414 21352 0 -1 4202560 1929 0 0 0 18 0 0 0 20 0 19 0 253317195 9855975424 14858 33554432000 1073741824 1073778376 140737266850672 140657558534712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21431] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21431/stat : 21431 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317195 9855975424 14858 33554432000 1073741824 1073778376 140737266850672 140657557482616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21414/tid=21432] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21432/stat : 21432 (java) S 21412 21414 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317195 9855975424 14859 33554432000 1073741824 1073778376 140737266850672 140657556430024 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21414/tid=21433] ppid=21412 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21414/task/21433/stat : 21433 (java) S 21412 21414 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253317205 9855975424 14859 33554432000 1073741824 1073778376 140737266850672 140657555375016 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9624976
Child status: 10
Real time (s): 1.84409
CPU time (s): 2.50362
CPU user time (s): 2.42363
CPU system time (s): 0.079987
CPU usage (%): 135.764
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.42363
system time used= 0.079987
maximum resident set size= 60300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13508
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= 424
involuntary context switches= 138
runsolver used 0.000999 second user time and 0.015997 second system time
The end