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-3687183-1337871882/watcher-3687183-1337871882 -o /tmp/evaluation-result-3687183-1337871882/solver-3687183-1337871882 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687183-1337871882.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: 0.00 0.00 0.00 2/186 27483
/proc/meminfo: memFree=30007152/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27483/stat : 27483 (java) D 27481 27483 27428 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 253314102 9515008 185 33554432000 1073741824 1073778376 140735636350576 140735636339640 242158234919 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2323 185 143 9 0 71 0
[startup+0.0954809 s]
/proc/loadavg: 0.00 0.00 0.00 2/186 27483
/proc/meminfo: memFree=30007152/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 3106 0 1 0 2 0 0 0 20 0 13 0 253314102 9446973440 3292 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2306390 3292 1705 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.10019 s]
/proc/loadavg: 0.00 0.00 0.00 2/186 27483
/proc/meminfo: memFree=30007152/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 3108 0 1 0 3 0 0 0 20 0 13 0 253314102 9446973440 3294 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2306390 3294 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.30022 s]
/proc/loadavg: 0.00 0.00 0.00 2/186 27483
/proc/meminfo: memFree=30007152/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 3266 0 1 0 4 1 0 0 20 0 18 0 253314102 9787813888 3963 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2389603 3963 1759 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.700163 s]
/proc/loadavg: 0.00 0.00 0.00 2/186 27483
/proc/meminfo: memFree=30007152/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 6754 0 3 0 50 2 0 0 20 0 19 0 253314102 9855975424 7669 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2406244 7669 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9624976
[startup+1.5006 s]
/proc/loadavg: 0.16 0.03 0.01 4/192 27518
/proc/meminfo: memFree=29987120/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 7621 0 3 0 154 3 0 0 20 0 19 0 253314102 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2406244 10265 2269 9 0 2396937 0
[pid=27483/tid=27485] ppid=27481 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/27483/task/27485/stat : 27485 (java) R 27481 27483 27428 0 -1 4202560 2505 0 1 0 105 1 0 0 20 0 19 0 253314103 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347861627256 140347734123200 0 4 0 16800975 0 0 0 -1 0 0 0 37 0 0
[pid=27483/tid=27486] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27486/stat : 27486 (java) S 27481 27483 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347705215656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27487] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27487/stat : 27487 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347704163112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27488] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27488/stat : 27488 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347703110568 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27489] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27489/stat : 27489 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347702058024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27490] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27490/stat : 27490 (java) S 27481 27483 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347701004456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27491] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27491/stat : 27491 (java) S 27481 27483 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347699951912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27492] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27492/stat : 27492 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347698899368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27493] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27493/stat : 27493 (java) S 27481 27483 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347697846824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27496] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27496/stat : 27496 (java) S 27481 27483 27428 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347685649000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27497] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27497/stat : 27497 (java) S 27481 27483 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347684595320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27498] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27498/stat : 27498 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347683542664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27500] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27500/stat : 27500 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347682491408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27501] ppid=27481 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/27483/task/27501/stat : 27501 (java) S 27481 27483 27428 0 -1 4202560 1349 0 1 0 22 0 0 0 20 0 19 0 253314119 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347681437752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27503] ppid=27481 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/27483/task/27503/stat : 27503 (java) S 27481 27483 27428 0 -1 4202560 2528 0 1 0 22 0 0 0 20 0 19 0 253314119 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347680385208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27504] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27504/stat : 27504 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347679332856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27507] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27507/stat : 27507 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347678280520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27509] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27509/stat : 27509 (java) S 27481 27483 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314165 9855975424 10265 33554432000 1073741824 1073778376 140735636350576 140347677226280 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 9624976
[startup+3.1006 s]
/proc/loadavg: 0.16 0.03 0.01 2/190 27535
/proc/meminfo: memFree=29974508/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9624976 CPUtime=3.22 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 7643 0 3 0 319 3 0 0 20 0 19 0 253314102 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2406244 12326 2269 9 0 2396937 0
[pid=27483/tid=27485] ppid=27481 vsize=9624976 CPUtime=2.65 cores=0,2,4,6
/proc/27483/task/27485/stat : 27485 (java) R 27481 27483 27428 0 -1 4202560 2505 0 1 0 263 2 0 0 20 0 19 0 253314103 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347861627384 140347734079543 0 4 0 16800975 0 0 0 -1 0 0 0 37 0 0
[pid=27483/tid=27486] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27486/stat : 27486 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347705215656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27487] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27487/stat : 27487 (java) S 27481 27483 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347704163112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27488] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27488/stat : 27488 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347703110568 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27489] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27489/stat : 27489 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347702058024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27490] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27490/stat : 27490 (java) S 27481 27483 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347701004456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27491] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27491/stat : 27491 (java) S 27481 27483 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347699951912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27492] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27492/stat : 27492 (java) S 27481 27483 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347698899368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27493] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27493/stat : 27493 (java) S 27481 27483 27428 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347697846824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27496] ppid=27481 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27483/task/27496/stat : 27496 (java) S 27481 27483 27428 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 253314105 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347685649000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27497] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27497/stat : 27497 (java) S 27481 27483 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347684595320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27498] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27498/stat : 27498 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347683542664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27500] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27500/stat : 27500 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347682491408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27501] ppid=27481 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/27483/task/27501/stat : 27501 (java) S 27481 27483 27428 0 -1 4202560 1354 0 1 0 25 0 0 0 20 0 19 0 253314119 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347681437752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27503] ppid=27481 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/27483/task/27503/stat : 27503 (java) S 27481 27483 27428 0 -1 4202560 2532 0 1 0 24 0 0 0 20 0 19 0 253314119 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347680385208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27504] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27504/stat : 27504 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347679332856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27507] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27507/stat : 27507 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347678280520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27509] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27509/stat : 27509 (java) S 27481 27483 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314165 9855975424 12326 33554432000 1073741824 1073778376 140735636350576 140347677226280 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 9624976
[startup+6.3006 s]
/proc/loadavg: 0.16 0.03 0.01 2/190 27535
/proc/meminfo: memFree=29966276/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9624976 CPUtime=6.45 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 7673 0 3 0 642 3 0 0 20 0 19 0 253314102 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2406244 13614 2269 9 0 2396937 0
[pid=27483/tid=27485] ppid=27481 vsize=9624976 CPUtime=5.8 cores=0,2,4,6
/proc/27483/task/27485/stat : 27485 (java) R 27481 27483 27428 0 -1 4202560 2508 0 1 0 578 2 0 0 20 0 19 0 253314103 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347861627168 140347734054706 0 4 0 16800975 0 0 0 -1 0 0 0 37 0 0
[pid=27483/tid=27486] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27486/stat : 27486 (java) S 27481 27483 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347705215656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27487] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27487/stat : 27487 (java) S 27481 27483 27428 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347704163112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27488] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27488/stat : 27488 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347703110568 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27489] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27489/stat : 27489 (java) S 27481 27483 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347702058024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27490] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27490/stat : 27490 (java) S 27481 27483 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347701004456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27491] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27491/stat : 27491 (java) S 27481 27483 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347699951912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27492] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27492/stat : 27492 (java) S 27481 27483 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347698899368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27493] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27493/stat : 27493 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314104 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347697846824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27496] ppid=27481 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/27483/task/27496/stat : 27496 (java) S 27481 27483 27428 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 253314105 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347685649000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27497] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27497/stat : 27497 (java) S 27481 27483 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347684595320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27498] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27498/stat : 27498 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347683542664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27500] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27500/stat : 27500 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347682491408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27501] ppid=27481 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/27483/task/27501/stat : 27501 (java) S 27481 27483 27428 0 -1 4202560 1355 0 1 0 25 0 0 0 20 0 19 0 253314119 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347681437752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27503] ppid=27481 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/27483/task/27503/stat : 27503 (java) S 27481 27483 27428 0 -1 4202560 2540 0 1 0 27 0 0 0 20 0 19 0 253314119 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347680385208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27504] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27504/stat : 27504 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347679332856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27507] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27507/stat : 27507 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347678280520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27509] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27509/stat : 27509 (java) S 27481 27483 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314165 9855975424 13614 33554432000 1073741824 1073778376 140735636350576 140347677226280 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=27483/tid=27491] ppid=27481 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/27483/task/27491/stat : 27491 (java) S 27481 27483 27428 0 -1 4202560 149 0 0 0 28 0 0 0 20 0 19 0 253314104 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347699951912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27492] ppid=27481 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/27483/task/27492/stat : 27492 (java) S 27481 27483 27428 0 -1 4202560 180 0 0 0 27 2 0 0 20 0 19 0 253314104 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347698899368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27493] ppid=27481 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/27483/task/27493/stat : 27493 (java) S 27481 27483 27428 0 -1 4202560 231 0 0 0 32 1 0 0 20 0 19 0 253314104 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347697846824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27496] ppid=27481 vsize=9624976 CPUtime=1.91 cores=0,2,4,6
/proc/27483/task/27496/stat : 27496 (java) S 27481 27483 27428 0 -1 4202560 123 0 0 0 188 3 0 0 20 0 19 0 253314105 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347685649000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27497] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27497/stat : 27497 (java) S 27481 27483 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347684595320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27498] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27498/stat : 27498 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347683542664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27500] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27500/stat : 27500 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347682491408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27501] ppid=27481 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/27483/task/27501/stat : 27501 (java) S 27481 27483 27428 0 -1 4202560 1355 0 1 0 25 0 0 0 20 0 19 0 253314119 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347681437752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27503] ppid=27481 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/27483/task/27503/stat : 27503 (java) S 27481 27483 27428 0 -1 4202560 2570 0 1 0 32 1 0 0 20 0 19 0 253314119 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347680385208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27504] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27504/stat : 27504 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347679332856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27507] ppid=27481 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/27483/task/27507/stat : 27507 (java) S 27481 27483 27428 0 -1 4202560 99 0 0 0 30 32 0 0 20 0 19 0 253314119 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347678280520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27509] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27509/stat : 27509 (java) S 27481 27483 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314165 9855975424 43554 33554432000 1073741824 1073778376 140735636350576 140347677226280 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.22
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/213 27753
/proc/meminfo: memFree=29655580/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9624976 CPUtime=1784.26 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 9008 0 3 0 178386 40 0 0 20 0 19 0 253314102 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2406244 44375 2270 9 0 2396937 0
[pid=27483/tid=27485] ppid=27481 vsize=9624976 CPUtime=1779.08 cores=0,2,4,6
/proc/27483/task/27485/stat : 27485 (java) R 27481 27483 27428 0 -1 4202560 2593 0 1 0 177877 31 0 0 20 0 19 0 253314103 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347861627168 140347734054763 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0
[pid=27483/tid=27486] ppid=27481 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/27483/task/27486/stat : 27486 (java) S 27481 27483 27428 0 -1 4202560 40 0 0 0 29 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347705215656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27487] ppid=27481 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/27483/task/27487/stat : 27487 (java) S 27481 27483 27428 0 -1 4202560 41 0 0 0 26 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347704163112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27488] ppid=27481 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/27483/task/27488/stat : 27488 (java) S 27481 27483 27428 0 -1 4202560 205 0 0 0 27 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347703110568 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27489] ppid=27481 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/27483/task/27489/stat : 27489 (java) S 27481 27483 27428 0 -1 4202560 177 0 0 0 26 2 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347702058024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27490] ppid=27481 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/27483/task/27490/stat : 27490 (java) S 27481 27483 27428 0 -1 4202560 58 0 0 0 25 1 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347701004456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27491] ppid=27481 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/27483/task/27491/stat : 27491 (java) S 27481 27483 27428 0 -1 4202560 149 0 0 0 28 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347699951912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27492] ppid=27481 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/27483/task/27492/stat : 27492 (java) S 27481 27483 27428 0 -1 4202560 180 0 0 0 29 2 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347698899368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27493] ppid=27481 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/27483/task/27493/stat : 27493 (java) S 27481 27483 27428 0 -1 4202560 231 0 0 0 32 1 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347697846824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27496] ppid=27481 vsize=9624976 CPUtime=1.95 cores=0,2,4,6
/proc/27483/task/27496/stat : 27496 (java) S 27481 27483 27428 0 -1 4202560 125 0 0 0 192 3 0 0 20 0 19 0 253314105 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347685649000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27497] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27497/stat : 27497 (java) S 27481 27483 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347684595320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27498] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27498/stat : 27498 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347683542664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27500] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27500/stat : 27500 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347682491408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27501] ppid=27481 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/27483/task/27501/stat : 27501 (java) S 27481 27483 27428 0 -1 4202560 1355 0 1 0 25 0 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347681437752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27503] ppid=27481 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/27483/task/27503/stat : 27503 (java) S 27481 27483 27428 0 -1 4202560 2570 0 1 0 32 1 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347680385208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27504] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27504/stat : 27504 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347679332856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27507] ppid=27481 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/27483/task/27507/stat : 27507 (java) S 27481 27483 27428 0 -1 4202560 103 0 0 0 32 33 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347678280520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27509] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27509/stat : 27509 (java) S 27481 27483 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314165 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347677226280 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.26
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 2.08 1.99 1.68 3/213 27753
/proc/meminfo: memFree=29655460/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 9008 0 3 0 179967 40 0 0 20 0 19 0 253314102 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2406244 44375 2270 9 0 2396937 0
[pid=27483/tid=27485] ppid=27481 vsize=9624976 CPUtime=1794.89 cores=0,2,4,6
/proc/27483/task/27485/stat : 27485 (java) R 27481 27483 27428 0 -1 4202560 2593 0 1 0 179458 31 0 0 20 0 19 0 253314103 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347861627168 140347734098871 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0
[pid=27483/tid=27486] ppid=27481 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/27483/task/27486/stat : 27486 (java) S 27481 27483 27428 0 -1 4202560 40 0 0 0 29 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347705215656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27487] ppid=27481 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/27483/task/27487/stat : 27487 (java) S 27481 27483 27428 0 -1 4202560 41 0 0 0 26 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347704163112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27488] ppid=27481 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/27483/task/27488/stat : 27488 (java) S 27481 27483 27428 0 -1 4202560 205 0 0 0 27 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347703110568 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27489] ppid=27481 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/27483/task/27489/stat : 27489 (java) S 27481 27483 27428 0 -1 4202560 177 0 0 0 26 2 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347702058024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27490] ppid=27481 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/27483/task/27490/stat : 27490 (java) S 27481 27483 27428 0 -1 4202560 58 0 0 0 25 1 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347701004456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27491] ppid=27481 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/27483/task/27491/stat : 27491 (java) S 27481 27483 27428 0 -1 4202560 149 0 0 0 28 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347699951912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27492] ppid=27481 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/27483/task/27492/stat : 27492 (java) S 27481 27483 27428 0 -1 4202560 180 0 0 0 29 2 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347698899368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27493] ppid=27481 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/27483/task/27493/stat : 27493 (java) S 27481 27483 27428 0 -1 4202560 231 0 0 0 32 1 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347697846824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27496] ppid=27481 vsize=9624976 CPUtime=1.95 cores=0,2,4,6
/proc/27483/task/27496/stat : 27496 (java) S 27481 27483 27428 0 -1 4202560 125 0 0 0 192 3 0 0 20 0 19 0 253314105 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347685649000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27497] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27497/stat : 27497 (java) S 27481 27483 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347684595320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27498] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27498/stat : 27498 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347683542664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27500] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27500/stat : 27500 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347682491408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27501] ppid=27481 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/27483/task/27501/stat : 27501 (java) S 27481 27483 27428 0 -1 4202560 1355 0 1 0 25 0 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347681437752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27503] ppid=27481 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/27483/task/27503/stat : 27503 (java) S 27481 27483 27428 0 -1 4202560 2570 0 1 0 32 1 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347680385208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27504] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27504/stat : 27504 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347679332856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27507] ppid=27481 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/27483/task/27507/stat : 27507 (java) S 27481 27483 27428 0 -1 4202560 103 0 0 0 33 33 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347678280520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27509] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27509/stat : 27509 (java) S 27481 27483 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314165 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347677226280 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.1 s]
/proc/loadavg: 2.08 1.99 1.68 3/213 27753
/proc/meminfo: memFree=29655460/32873648 swapFree=7112/7112
[pid=27483] ppid=27481 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/27483/stat : 27483 (java) S 27481 27483 27428 0 -1 4202496 9008 0 3 0 179967 40 0 0 20 0 19 0 253314102 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140735636341712 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27483/statm: 2406244 44375 2270 9 0 2396937 0
[pid=27483/tid=27485] ppid=27481 vsize=9624976 CPUtime=1794.89 cores=0,2,4,6
/proc/27483/task/27485/stat : 27485 (java) R 27481 27483 27428 0 -1 4202560 2593 0 1 0 179458 31 0 0 20 0 19 0 253314103 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347861627168 140347734098871 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0
[pid=27483/tid=27486] ppid=27481 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/27483/task/27486/stat : 27486 (java) S 27481 27483 27428 0 -1 4202560 40 0 0 0 29 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347705215656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27487] ppid=27481 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/27483/task/27487/stat : 27487 (java) S 27481 27483 27428 0 -1 4202560 41 0 0 0 26 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347704163112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27488] ppid=27481 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/27483/task/27488/stat : 27488 (java) S 27481 27483 27428 0 -1 4202560 205 0 0 0 27 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347703110568 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27489] ppid=27481 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/27483/task/27489/stat : 27489 (java) S 27481 27483 27428 0 -1 4202560 177 0 0 0 26 2 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347702058024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27490] ppid=27481 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/27483/task/27490/stat : 27490 (java) S 27481 27483 27428 0 -1 4202560 58 0 0 0 25 1 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347701004456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27491] ppid=27481 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/27483/task/27491/stat : 27491 (java) S 27481 27483 27428 0 -1 4202560 149 0 0 0 28 0 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347699951912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27492] ppid=27481 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/27483/task/27492/stat : 27492 (java) S 27481 27483 27428 0 -1 4202560 180 0 0 0 29 2 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347698899368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27493] ppid=27481 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/27483/task/27493/stat : 27493 (java) S 27481 27483 27428 0 -1 4202560 231 0 0 0 32 1 0 0 20 0 19 0 253314104 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347697846824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27483/tid=27496] ppid=27481 vsize=9624976 CPUtime=1.95 cores=0,2,4,6
/proc/27483/task/27496/stat : 27496 (java) S 27481 27483 27428 0 -1 4202560 125 0 0 0 192 3 0 0 20 0 19 0 253314105 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347685649000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27497] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27497/stat : 27497 (java) S 27481 27483 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347684595320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27498] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27498/stat : 27498 (java) S 27481 27483 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314105 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347683542664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27500] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27500/stat : 27500 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347682491408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27483/tid=27501] ppid=27481 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/27483/task/27501/stat : 27501 (java) S 27481 27483 27428 0 -1 4202560 1355 0 1 0 25 0 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347681437752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27503] ppid=27481 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/27483/task/27503/stat : 27503 (java) S 27481 27483 27428 0 -1 4202560 2570 0 1 0 32 1 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347680385208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27504] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27504/stat : 27504 (java) S 27481 27483 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347679332856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27483/tid=27507] ppid=27481 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/27483/task/27507/stat : 27507 (java) S 27481 27483 27428 0 -1 4202560 103 0 0 0 33 33 0 0 20 0 19 0 253314119 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347678280520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27483/tid=27509] ppid=27481 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27483/task/27509/stat : 27509 (java) S 27481 27483 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314165 9855975424 44375 33554432000 1073741824 1073778376 140735636350576 140347677226280 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1798.15
CPU time (s): 1800.72
CPU user time (s): 1799.84
CPU system time (s): 0.882865
CPU usage (%): 100.143
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.882865
maximum resident set size= 177644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9075
page faults= 3
swaps= 0
block input operations= 2968
block output operations= 1544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40098
involuntary context switches= 17618
runsolver used 6.15106 second user time and 14.8427 second system time
The end