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-3731816-1338741782/watcher-3731816-1338741782 -o /tmp/evaluation-result-3731816-1338741782/solver-3731816-1338741782 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731816-1338741782.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: 2.00 2.01 2.00 3/194 31487
/proc/meminfo: memFree=26239032/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31487/stat : 31487 (java6) D 31485 31487 31022 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 340304275 9515008 182 33554432000 1073741824 1073778376 140734318169312 140734318160344 251032059573 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/31487/statm: 2323 182 140 9 0 71 0
[startup+0.0310799 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 31487
/proc/meminfo: memFree=26239032/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2106772 CPUtime=0 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 3116 0 1 0 0 0 0 0 20 0 10 0 340304275 2157334528 3815 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 526693 3826 1279 9 0 517394 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2106772
[startup+0.100307 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 31487
/proc/meminfo: memFree=26239032/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 4673 0 1 0 8 1 0 0 20 0 18 0 340304275 2712133632 6390 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 662142 6390 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300303 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 31487
/proc/meminfo: memFree=26239032/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2648568 CPUtime=0.45 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 5799 0 1 0 44 1 0 0 20 0 18 0 340304275 2712133632 8829 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 662142 8829 2225 9 0 652835 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2648568
[startup+0.700299 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 31487
/proc/meminfo: memFree=26239032/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2715132 CPUtime=1.2 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 9577 0 1 0 118 2 0 0 20 0 19 0 340304275 2780295168 12617 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 678783 12617 2238 9 0 669476 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 2715132
[startup+1.50069 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 31506
/proc/meminfo: memFree=26192576/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2715132 CPUtime=2.07 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 9702 0 1 0 204 3 0 0 20 0 19 0 340304275 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 678783 16720 2244 9 0 669476 0
[pid=31487/tid=31489] ppid=31485 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31022 0 -1 4202560 2762 0 1 0 144 2 0 0 20 0 19 0 340304276 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580076421752 140579934136916 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580060870824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580059818280 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580058765736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580057713192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580056660648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580055608104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580054555560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31022 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580053503016 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31022 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340304278 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140579922155624 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31022 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140579921101944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140580052448392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140579920050704 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31022 0 -1 4202560 2932 0 0 0 25 0 0 0 20 0 19 0 340304281 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140579918998072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31022 0 -1 4202560 2807 0 0 0 32 0 0 0 20 0 19 0 340304281 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140579917945528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140579044322296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140579043269960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340304308 2780295168 16720 33554432000 1073741824 1073778376 140736769090768 140579042214696 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 2715132
[startup+3.10077 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 31506
/proc/meminfo: memFree=26169552/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2715132 CPUtime=3.69 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 9716 0 1 0 366 3 0 0 20 0 19 0 340304275 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 678783 23376 2244 9 0 669476 0
[pid=31487/tid=31489] ppid=31485 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31022 0 -1 4202560 2776 0 1 0 304 2 0 0 20 0 19 0 340304276 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580076421664 140579934151504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580060870824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580059818280 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580058765736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580057713192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580056660648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580055608104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580054555560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31022 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580053503016 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31022 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340304278 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140579922155624 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31022 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140579921101944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140580052448392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140579920050704 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31022 0 -1 4202560 2932 0 0 0 25 0 0 0 20 0 19 0 340304281 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140579918998072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31022 0 -1 4202560 2807 0 0 0 34 0 0 0 20 0 19 0 340304281 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140579917945528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140579044322296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140579043269960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340304308 2780295168 23376 33554432000 1073741824 1073778376 140736769090768 140579042214696 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 2715132
[startup+6.30079 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 31506
/proc/meminfo: memFree=26109664/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2715132 CPUtime=6.99 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 9809 0 1 0 695 4 0 0 20 0 19 0 340304275 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 678783 38194 2245 9 0 669476 0
[pid=31487/tid=31489] ppid=31485 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31022 0 -1 4202560 2808 0 1 0 623 3 0 0 20 0 19 0 340304276 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580076421728 140579934136757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580060870824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580059818280 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580058765736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580057713192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580056660648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580055608104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580054555560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31022 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340304277 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580053503016 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31022 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340304278 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140579922155624 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31022 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140579921101944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140580052448392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140579920050704 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31022 0 -1 4202560 2992 0 0 0 30 0 0 0 20 0 19 0 340304281 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140579918998072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31022 0 -1 4202560 2807 0 0 0 39 0 0 0 20 0 19 0 340304281 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140579917945528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140579044322296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31022 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140579043269960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340304308 2780295168 38194 33554432000 1073741824 1073778376 140736769090768 140579042214696 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=31487/tid=31495] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31022 0 -1 4202560 153 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580055608104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31022 0 -1 4202560 227 0 0 0 12 19 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580054555560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31022 0 -1 4202560 154 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580053503016 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=2715132 CPUtime=9.04 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31022 0 -1 4202560 233 0 0 0 896 8 0 0 20 0 19 0 340304278 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579922155624 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579921101944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580052448392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579920050704 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31022 0 -1 4202560 2998 0 0 0 31 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579918998072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31022 0 -1 4202560 3354 0 0 0 52 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579917945528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579044322296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31022 0 -1 4202560 100 0 0 0 27 40 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579043269960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340304308 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579042214696 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.61
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31603
/proc/meminfo: memFree=24890188/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2715132 CPUtime=1784.6 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 12279 0 1 0 178283 177 0 0 20 0 19 0 340304275 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 678783 343138 2271 9 0 669476 0
[pid=31487/tid=31489] ppid=31485 vsize=2715132 CPUtime=1772.1 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31022 0 -1 4202560 2948 0 1 0 177173 37 0 0 20 0 19 0 340304276 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580076421408 140579934151517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31022 0 -1 4202560 156 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580060870824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31022 0 -1 4202560 249 0 0 0 14 20 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580059818280 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31022 0 -1 4202560 154 0 0 0 6 13 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580058765736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31022 0 -1 4202560 197 0 0 0 8 17 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580057713192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31022 0 -1 4202560 163 0 0 0 6 13 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580056660648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31022 0 -1 4202560 153 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580055608104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31022 0 -1 4202560 227 0 0 0 12 19 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580054555560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31022 0 -1 4202560 154 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580053503016 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=2715132 CPUtime=9.21 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31022 0 -1 4202560 235 0 0 0 913 8 0 0 20 0 19 0 340304278 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579922155624 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579921101944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580052448392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579920050704 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31022 0 -1 4202560 2998 0 0 0 31 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579918998072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31022 0 -1 4202560 3354 0 0 0 52 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579917945528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579044322296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31022 0 -1 4202560 104 0 0 0 29 41 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579043269960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340304308 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579042214696 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31603
/proc/meminfo: memFree=24890312/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2715132 CPUtime=1800.01 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 12279 0 1 0 179824 177 0 0 20 0 19 0 340304275 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 678783 343138 2271 9 0 669476 0
[pid=31487/tid=31489] ppid=31485 vsize=2715132 CPUtime=1787.5 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31022 0 -1 4202560 2948 0 1 0 178712 38 0 0 20 0 19 0 340304276 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580076421408 140579934151985 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31022 0 -1 4202560 156 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580060870824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31022 0 -1 4202560 249 0 0 0 14 20 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580059818280 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31022 0 -1 4202560 154 0 0 0 6 13 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580058765736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31022 0 -1 4202560 197 0 0 0 8 17 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580057713192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31022 0 -1 4202560 163 0 0 0 6 13 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580056660648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31022 0 -1 4202560 153 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580055608104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31022 0 -1 4202560 227 0 0 0 12 19 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580054555560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31022 0 -1 4202560 154 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580053503016 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=2715132 CPUtime=9.21 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31022 0 -1 4202560 235 0 0 0 913 8 0 0 20 0 19 0 340304278 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579922155624 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579921101944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580052448392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579920050704 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31022 0 -1 4202560 2998 0 0 0 31 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579918998072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31022 0 -1 4202560 3354 0 0 0 52 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579917945528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579044322296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31022 0 -1 4202560 104 0 0 0 29 41 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579043269960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340304308 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579042214696 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31603
/proc/meminfo: memFree=24890312/32873844 swapFree=7372/7372
[pid=31487] ppid=31485 vsize=2715132 CPUtime=1800.01 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31022 0 -1 4202496 12279 0 1 0 179824 177 0 0 20 0 19 0 340304275 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140736769081904 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31487/statm: 678783 343138 2271 9 0 669476 0
[pid=31487/tid=31489] ppid=31485 vsize=2715132 CPUtime=1787.5 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31022 0 -1 4202560 2948 0 1 0 178712 38 0 0 20 0 19 0 340304276 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580076421408 140579934151985 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31022 0 -1 4202560 156 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580060870824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31022 0 -1 4202560 249 0 0 0 14 20 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580059818280 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31022 0 -1 4202560 154 0 0 0 6 13 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580058765736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31022 0 -1 4202560 197 0 0 0 8 17 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580057713192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31022 0 -1 4202560 163 0 0 0 6 13 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580056660648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31022 0 -1 4202560 153 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580055608104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31022 0 -1 4202560 227 0 0 0 12 19 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580054555560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31022 0 -1 4202560 154 0 0 0 7 12 0 0 20 0 19 0 340304277 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580053503016 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=2715132 CPUtime=9.21 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31022 0 -1 4202560 235 0 0 0 913 8 0 0 20 0 19 0 340304278 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579922155624 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579921101944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340304279 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140580052448392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579920050704 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31022 0 -1 4202560 2998 0 0 0 31 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579918998072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31022 0 -1 4202560 3354 0 0 0 52 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579917945528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579044322296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31022 0 -1 4202560 104 0 0 0 29 41 0 0 20 0 19 0 340304281 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579043269960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340304308 2780295168 343138 33554432000 1073741824 1073778376 140736769090768 140579042214696 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1797.77
CPU time (s): 1800.47
CPU user time (s): 1798.28
CPU system time (s): 2.19067
CPU usage (%): 100.15
Max. virtual memory (cumulated for all children) (KiB): 2715520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.28
system time used= 2.19067
maximum resident set size= 1372804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12347
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38172
involuntary context switches= 31318
runsolver used 6.31004 second user time and 16.7145 second system time
The end