runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458572-1307148933/watcher-3458572-1307148933 -o /tmp/evaluation-result-3458572-1307148933/solver-3458572-1307148933 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458572-1307148933.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: 1.92 2.01 1.97 2/471 21336
/proc/meminfo: memFree=31649336/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 1859 0 1 0 0 0 0 0 23 0 2 0 826491559 13833195520 1561 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3377245 1574 906 9 0 3368401 0
[pid=21336/tid=21337] ppid=21334 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 4445 0 1 0 0 0 0 0 25 0 2 0 826491560 13850947584 5261 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.030298 s]
/proc/loadavg: 1.92 2.01 1.97 2/471 21336
/proc/meminfo: memFree=31649336/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13536868 CPUtime=0.01 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 12626 0 1 0 1 0 0 0 23 0 10 0 826491559 13861752832 12325 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3384217 12333 1064 9 0 3374965 0
[pid=21336/tid=21337] ppid=21334 vsize=13536868 CPUtime=0.01 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 11516 0 1 0 1 0 0 0 25 0 10 0 826491560 13861752832 12337 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 46912504011236 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13536868
[startup+0.100236 s]
/proc/loadavg: 1.92 2.01 1.97 2/471 21336
/proc/meminfo: memFree=31649336/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13622084 CPUtime=0.09 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 15497 0 1 0 8 1 0 0 23 0 18 0 826491559 13949014016 15194 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3405521 15194 2093 9 0 3396255 0
[pid=21336/tid=21337] ppid=21334 vsize=13622084 CPUtime=0.08 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 13588 0 1 0 7 1 0 0 18 0 18 0 826491560 13949014016 15195 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 47029934985123 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622084
[startup+0.301233 s]
/proc/loadavg: 1.92 2.01 1.97 2/471 21336
/proc/meminfo: memFree=31649336/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13623660 CPUtime=0.46 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 29389 0 1 0 43 3 0 0 23 0 18 0 826491559 13950627840 28569 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3405915 28572 2200 9 0 3396649 0
[pid=21336/tid=21337] ppid=21334 vsize=13623660 CPUtime=0.28 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 26199 0 1 0 25 3 0 0 18 0 18 0 826491560 13950627840 28573 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 46912505601141 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623660
[startup+0.701164 s]
/proc/loadavg: 1.92 2.01 1.97 2/471 21336
/proc/meminfo: memFree=31649336/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13623660 CPUtime=0.87 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 55749 0 1 0 81 6 0 0 23 0 18 0 826491559 13950627840 54929 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3405915 54932 2200 9 0 3396649 0
[pid=21336/tid=21337] ppid=21334 vsize=13623660 CPUtime=0.67 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 52559 0 1 0 62 5 0 0 18 0 18 0 826491560 13950627840 54933 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 46912505562934 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 13623660
[startup+1.50098 s]
/proc/loadavg: 1.93 2.01 1.97 4/489 21354
/proc/meminfo: memFree=31363008/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13623660 CPUtime=1.66 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 106701 0 1 0 156 10 0 0 23 0 18 0 826491559 13950627840 105881 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3405915 105883 2200 9 0 3396649 0
[pid=21336/tid=21337] ppid=21334 vsize=13623660 CPUtime=1.48 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 103510 0 1 0 138 10 0 0 19 0 18 0 826491560 13950627840 105884 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 46912505562934 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21336/tid=21339] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21339/stat : 21339 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13950627840 105886 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21340] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21340/stat : 21340 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13950627840 105888 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21341] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21341/stat : 21341 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13950627840 105889 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21342] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21342/stat : 21342 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13950627840 105891 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21343] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21343/stat : 21343 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13950627840 105892 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21344] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21344/stat : 21344 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13950627840 105894 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21345] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21345/stat : 21345 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13950627840 105895 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21346] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21346/stat : 21346 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13950627840 105897 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21347] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21347/stat : 21347 (java) S 21334 21336 19250 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826491563 13950627840 105898 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 0 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21348] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21348/stat : 21348 (java) S 21334 21336 19250 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826491563 13950627840 105900 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21349] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21349/stat : 21349 (java) S 21334 21336 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826491563 13950627840 105901 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21350] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21350/stat : 21350 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491566 13950627840 105903 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562361265 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21351] ppid=21334 vsize=13623660 CPUtime=0.09 cores=0,2,4,6
/proc/21336/task/21351/stat : 21351 (java) S 21334 21336 19250 0 -1 4202560 936 0 0 0 9 0 0 0 17 0 18 0 826491566 13950627840 105903 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21352] ppid=21334 vsize=13623660 CPUtime=0.08 cores=0,2,4,6
/proc/21336/task/21352/stat : 21352 (java) S 21334 21336 19250 0 -1 4202560 1108 0 0 0 8 0 0 0 18 0 18 0 826491566 13950627840 105904 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21353] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21353/stat : 21353 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491566 13950627840 105906 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21354] ppid=21334 vsize=13623660 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21354/stat : 21354 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826491566 13950627840 105908 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 13623660
[startup+3.10069 s]
/proc/loadavg: 1.93 2.01 1.97 3/489 21354
/proc/meminfo: memFree=31071060/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13630692 CPUtime=3.6 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 245565 0 1 0 335 25 0 0 23 0 18 0 826491559 13957828608 243253 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3407673 243258 2213 9 0 3398407 0
[pid=21336/tid=21337] ppid=21334 vsize=13630692 CPUtime=3.07 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 237778 0 1 0 283 24 0 0 19 0 18 0 826491560 13957828608 243260 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 46912505574962 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21336/tid=21339] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21339/stat : 21339 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 243262 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21340] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21340/stat : 21340 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 243264 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21341] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21341/stat : 21341 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 243266 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21342] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21342/stat : 21342 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 243268 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21343] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21343/stat : 21343 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 243269 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21344] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21344/stat : 21344 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 243271 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21345] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21345/stat : 21345 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 243273 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21346] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21346/stat : 21346 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 243279 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21347] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21347/stat : 21347 (java) S 21334 21336 19250 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826491563 13957828608 243279 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 0 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21348] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21348/stat : 21348 (java) S 21334 21336 19250 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826491563 13957828608 243283 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21349] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21349/stat : 21349 (java) S 21334 21336 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826491563 13957828608 243284 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21350] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21350/stat : 21350 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491566 13957828608 243286 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562361265 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21351] ppid=21334 vsize=13630692 CPUtime=0.27 cores=0,2,4,6
/proc/21336/task/21351/stat : 21351 (java) S 21334 21336 19250 0 -1 4202560 2472 0 0 0 27 0 0 0 15 0 18 0 826491566 13957828608 243288 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21352] ppid=21334 vsize=13630692 CPUtime=0.24 cores=0,2,4,6
/proc/21336/task/21352/stat : 21352 (java) S 21334 21336 19250 0 -1 4202560 4173 0 0 0 24 0 0 0 15 0 18 0 826491566 13957828608 243290 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21353] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21353/stat : 21353 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491566 13957828608 243292 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21354] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21354/stat : 21354 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826491566 13957828608 243294 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 13630692
[startup+6.30113 s]
/proc/loadavg: 1.93 2.01 1.97 3/489 21354
/proc/meminfo: memFree=29722932/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13630692 CPUtime=6.98 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 585773 0 1 0 637 61 0 0 23 0 18 0 826491559 13957828608 583324 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3407673 583329 2227 9 0 3398407 0
[pid=21336/tid=21337] ppid=21334 vsize=13630692 CPUtime=6.27 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 577925 0 1 0 567 60 0 0 18 0 18 0 826491560 13957828608 583330 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21336/tid=21339] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21339/stat : 21339 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 583333 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21340] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21340/stat : 21340 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 583336 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21341] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21341/stat : 21341 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 583338 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21342] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21342/stat : 21342 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 583340 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21343] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21343/stat : 21343 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 583340 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21344] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21344/stat : 21344 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 583343 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21345] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21345/stat : 21345 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 583345 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21346] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21346/stat : 21346 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491562 13957828608 583348 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21347] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21347/stat : 21347 (java) S 21334 21336 19250 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 826491563 13957828608 583350 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 0 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21348] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21348/stat : 21348 (java) S 21334 21336 19250 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826491563 13957828608 583353 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21349] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21349/stat : 21349 (java) S 21334 21336 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826491563 13957828608 583355 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21350] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21350/stat : 21350 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491566 13957828608 583361 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562361265 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21351] ppid=21334 vsize=13630692 CPUtime=0.35 cores=0,2,4,6
/proc/21336/task/21351/stat : 21351 (java) S 21334 21336 19250 0 -1 4202560 2503 0 0 0 35 0 0 0 15 0 18 0 826491566 13957828608 583369 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21352] ppid=21334 vsize=13630692 CPUtime=0.33 cores=0,2,4,6
/proc/21336/task/21352/stat : 21352 (java) S 21334 21336 19250 0 -1 4202560 4198 0 0 0 33 0 0 0 15 0 18 0 826491566 13957828608 583371 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21353] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21353/stat : 21353 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826491566 13957828608 583371 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21354] ppid=21334 vsize=13630692 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21354/stat : 21354 (java) S 21334 21336 19250 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 826491566 13957828608 583375 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/21336/task/21348/stat : 21348 (java) S 21334 21336 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491563 13961584640 1231522 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21349] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21349/stat : 21349 (java) S 21334 21336 19250 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826491563 13961584640 1231522 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21350] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21350/stat : 21350 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491566 13961584640 1231522 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562361265 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21351] ppid=21334 vsize=13634360 CPUtime=1.37 cores=0,2,4,6
/proc/21336/task/21351/stat : 21351 (java) S 21334 21336 19250 0 -1 4202560 14056 0 0 0 135 2 0 0 15 0 19 0 826491566 13961584640 1231522 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21352] ppid=21334 vsize=13634360 CPUtime=0.85 cores=0,2,4,6
/proc/21336/task/21352/stat : 21352 (java) S 21334 21336 19250 0 -1 4202560 4300 0 0 0 85 0 0 0 16 0 19 0 826491566 13961584640 1231522 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21353] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21353/stat : 21353 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491566 13961584640 1231522 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21354] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21354/stat : 21354 (java) S 21334 21336 19250 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 826491566 13961584640 1231522 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21405] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21405/stat : 21405 (java) S 21334 21336 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492705 13961584640 1231522 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.18
Current children cumulated vsize (KiB) 13634360
[startup+1722.3 s]
/proc/loadavg: 2.15 2.10 2.02 3/490 21462
/proc/meminfo: memFree=26722912/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13634360 CPUtime=1728.2 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 1243045 0 1 0 172678 142 0 0 23 0 19 0 826491559 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3408590 1231527 2262 9 0 3399324 0
[pid=21336/tid=21337] ppid=21334 vsize=13634360 CPUtime=1674.9 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 845639 0 1 0 167399 91 0 0 25 0 19 0 826491560 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 46912505987610 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21336/tid=21339] ppid=21334 vsize=13634360 CPUtime=0.69 cores=0,2,4,6
/proc/21336/task/21339/stat : 21339 (java) S 21334 21336 19250 0 -1 4202560 26049 0 0 0 65 4 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21340] ppid=21334 vsize=13634360 CPUtime=0.58 cores=0,2,4,6
/proc/21336/task/21340/stat : 21340 (java) S 21334 21336 19250 0 -1 4202560 22215 0 0 0 55 3 0 0 16 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21341] ppid=21334 vsize=13634360 CPUtime=0.59 cores=0,2,4,6
/proc/21336/task/21341/stat : 21341 (java) S 21334 21336 19250 0 -1 4202560 10559 0 0 0 58 1 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21342] ppid=21334 vsize=13634360 CPUtime=0.76 cores=0,2,4,6
/proc/21336/task/21342/stat : 21342 (java) S 21334 21336 19250 0 -1 4202560 67519 0 0 0 68 8 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21343] ppid=21334 vsize=13634360 CPUtime=0.54 cores=0,2,4,6
/proc/21336/task/21343/stat : 21343 (java) S 21334 21336 19250 0 -1 4202560 14128 0 0 0 53 1 0 0 16 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21344] ppid=21334 vsize=13634360 CPUtime=0.81 cores=0,2,4,6
/proc/21336/task/21344/stat : 21344 (java) S 21334 21336 19250 0 -1 4202560 53210 0 0 0 74 7 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21345] ppid=21334 vsize=13634360 CPUtime=0.71 cores=0,2,4,6
/proc/21336/task/21345/stat : 21345 (java) S 21334 21336 19250 0 -1 4202560 26901 0 0 0 68 3 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21346] ppid=21334 vsize=13634360 CPUtime=0.46 cores=0,2,4,6
/proc/21336/task/21346/stat : 21346 (java) S 21334 21336 19250 0 -1 4202560 13440 0 0 0 45 1 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21347] ppid=21334 vsize=13634360 CPUtime=45.81 cores=0,2,4,6
/proc/21336/task/21347/stat : 21347 (java) S 21334 21336 19250 0 -1 4202560 143777 0 0 0 4566 15 0 0 15 0 19 0 826491563 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 0 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21348] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21348/stat : 21348 (java) S 21334 21336 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491563 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21349] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21349/stat : 21349 (java) S 21334 21336 19250 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826491563 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21350] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21350/stat : 21350 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562361265 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21351] ppid=21334 vsize=13634360 CPUtime=1.37 cores=0,2,4,6
/proc/21336/task/21351/stat : 21351 (java) S 21334 21336 19250 0 -1 4202560 14056 0 0 0 135 2 0 0 15 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21352] ppid=21334 vsize=13634360 CPUtime=0.85 cores=0,2,4,6
/proc/21336/task/21352/stat : 21352 (java) S 21334 21336 19250 0 -1 4202560 4300 0 0 0 85 0 0 0 16 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21353] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21353/stat : 21353 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21354] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21354/stat : 21354 (java) S 21334 21336 19250 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21405] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21405/stat : 21405 (java) S 21334 21336 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492705 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.2
Current children cumulated vsize (KiB) 13634360
[startup+1782.3 s]
/proc/loadavg: 2.05 2.08 2.01 3/490 21464
/proc/meminfo: memFree=26720972/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13634360 CPUtime=1788.2 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 1243049 0 1 0 178678 142 0 0 23 0 19 0 826491559 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3408590 1231527 2262 9 0 3399324 0
[pid=21336/tid=21337] ppid=21334 vsize=13634360 CPUtime=1734.91 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 845639 0 1 0 173400 91 0 0 25 0 19 0 826491560 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 46912505987624 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21336/tid=21339] ppid=21334 vsize=13634360 CPUtime=0.69 cores=0,2,4,6
/proc/21336/task/21339/stat : 21339 (java) S 21334 21336 19250 0 -1 4202560 26049 0 0 0 65 4 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21340] ppid=21334 vsize=13634360 CPUtime=0.58 cores=0,2,4,6
/proc/21336/task/21340/stat : 21340 (java) S 21334 21336 19250 0 -1 4202560 22215 0 0 0 55 3 0 0 16 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21341] ppid=21334 vsize=13634360 CPUtime=0.59 cores=0,2,4,6
/proc/21336/task/21341/stat : 21341 (java) S 21334 21336 19250 0 -1 4202560 10559 0 0 0 58 1 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21342] ppid=21334 vsize=13634360 CPUtime=0.76 cores=0,2,4,6
/proc/21336/task/21342/stat : 21342 (java) S 21334 21336 19250 0 -1 4202560 67519 0 0 0 68 8 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21343] ppid=21334 vsize=13634360 CPUtime=0.54 cores=0,2,4,6
/proc/21336/task/21343/stat : 21343 (java) S 21334 21336 19250 0 -1 4202560 14128 0 0 0 53 1 0 0 16 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21344] ppid=21334 vsize=13634360 CPUtime=0.81 cores=0,2,4,6
/proc/21336/task/21344/stat : 21344 (java) S 21334 21336 19250 0 -1 4202560 53210 0 0 0 74 7 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21345] ppid=21334 vsize=13634360 CPUtime=0.71 cores=0,2,4,6
/proc/21336/task/21345/stat : 21345 (java) S 21334 21336 19250 0 -1 4202560 26901 0 0 0 68 3 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21346] ppid=21334 vsize=13634360 CPUtime=0.46 cores=0,2,4,6
/proc/21336/task/21346/stat : 21346 (java) S 21334 21336 19250 0 -1 4202560 13440 0 0 0 45 1 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21347] ppid=21334 vsize=13634360 CPUtime=45.81 cores=0,2,4,6
/proc/21336/task/21347/stat : 21347 (java) S 21334 21336 19250 0 -1 4202560 143777 0 0 0 4566 15 0 0 15 0 19 0 826491563 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 0 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21348] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21348/stat : 21348 (java) S 21334 21336 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491563 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21349] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21349/stat : 21349 (java) S 21334 21336 19250 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826491563 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21350] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21350/stat : 21350 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562361265 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21351] ppid=21334 vsize=13634360 CPUtime=1.37 cores=0,2,4,6
/proc/21336/task/21351/stat : 21351 (java) S 21334 21336 19250 0 -1 4202560 14056 0 0 0 135 2 0 0 15 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21352] ppid=21334 vsize=13634360 CPUtime=0.85 cores=0,2,4,6
/proc/21336/task/21352/stat : 21352 (java) S 21334 21336 19250 0 -1 4202560 4300 0 0 0 85 0 0 0 16 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21353] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21353/stat : 21353 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21354] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21354/stat : 21354 (java) S 21334 21336 19250 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21405] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21405/stat : 21405 (java) S 21334 21336 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492705 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.2
Current children cumulated vsize (KiB) 13634360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.1 s]
/proc/loadavg: 2.05 2.08 2.01 3/490 21464
/proc/meminfo: memFree=26721204/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=13634360 CPUtime=1800.03 cores=0,2,4,6
/proc/21336/stat : 21336 (java) S 21334 21336 19250 0 -1 4202496 1243049 0 1 0 179861 142 0 0 23 0 19 0 826491559 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 3408590 1231527 2262 9 0 3399324 0
[pid=21336/tid=21337] ppid=21334 vsize=13634360 CPUtime=1746.74 cores=0,2,4,6
/proc/21336/task/21337/stat : 21337 (java) R 21334 21336 19250 0 -1 4202560 845639 0 1 0 174583 91 0 0 25 0 19 0 826491560 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 46912505889639 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21336/tid=21339] ppid=21334 vsize=13634360 CPUtime=0.69 cores=0,2,4,6
/proc/21336/task/21339/stat : 21339 (java) S 21334 21336 19250 0 -1 4202560 26049 0 0 0 65 4 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21340] ppid=21334 vsize=13634360 CPUtime=0.58 cores=0,2,4,6
/proc/21336/task/21340/stat : 21340 (java) S 21334 21336 19250 0 -1 4202560 22215 0 0 0 55 3 0 0 16 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21341] ppid=21334 vsize=13634360 CPUtime=0.59 cores=0,2,4,6
/proc/21336/task/21341/stat : 21341 (java) S 21334 21336 19250 0 -1 4202560 10559 0 0 0 58 1 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21342] ppid=21334 vsize=13634360 CPUtime=0.76 cores=0,2,4,6
/proc/21336/task/21342/stat : 21342 (java) S 21334 21336 19250 0 -1 4202560 67519 0 0 0 68 8 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21343] ppid=21334 vsize=13634360 CPUtime=0.54 cores=0,2,4,6
/proc/21336/task/21343/stat : 21343 (java) S 21334 21336 19250 0 -1 4202560 14128 0 0 0 53 1 0 0 16 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21344] ppid=21334 vsize=13634360 CPUtime=0.81 cores=0,2,4,6
/proc/21336/task/21344/stat : 21344 (java) S 21334 21336 19250 0 -1 4202560 53210 0 0 0 74 7 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21345] ppid=21334 vsize=13634360 CPUtime=0.71 cores=0,2,4,6
/proc/21336/task/21345/stat : 21345 (java) S 21334 21336 19250 0 -1 4202560 26901 0 0 0 68 3 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21346] ppid=21334 vsize=13634360 CPUtime=0.46 cores=0,2,4,6
/proc/21336/task/21346/stat : 21346 (java) S 21334 21336 19250 0 -1 4202560 13440 0 0 0 45 1 0 0 15 0 19 0 826491562 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21347] ppid=21334 vsize=13634360 CPUtime=45.81 cores=0,2,4,6
/proc/21336/task/21347/stat : 21347 (java) S 21334 21336 19250 0 -1 4202560 143777 0 0 0 4566 15 0 0 15 0 19 0 826491563 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 0 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21348] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21348/stat : 21348 (java) S 21334 21336 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491563 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21349] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21349/stat : 21349 (java) S 21334 21336 19250 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826491563 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 2 0 0 0
[pid=21336/tid=21350] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21350/stat : 21350 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562361265 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21351] ppid=21334 vsize=13634360 CPUtime=1.37 cores=0,2,4,6
/proc/21336/task/21351/stat : 21351 (java) S 21334 21336 19250 0 -1 4202560 14056 0 0 0 135 2 0 0 15 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
[pid=21336/tid=21352] ppid=21334 vsize=13634360 CPUtime=0.85 cores=0,2,4,6
/proc/21336/task/21352/stat : 21352 (java) S 21334 21336 19250 0 -1 4202560 4300 0 0 0 85 0 0 0 16 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21353] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21353/stat : 21353 (java) S 21334 21336 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562353561 0 4 0 16800975 18446604445894023104 0 0 -1 4 0 0 0
[pid=21336/tid=21354] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21354/stat : 21354 (java) S 21334 21336 19250 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826491566 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 0 0 0 0
[pid=21336/tid=21405] ppid=21334 vsize=13634360 CPUtime=0 cores=0,2,4,6
/proc/21336/task/21405/stat : 21405 (java) S 21334 21336 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492705 13961584640 1231527 33554432000 1073741824 1073778376 140733880340544 18446744073709551615 271562354176 0 4 0 16800975 18446604445894023104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13634360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.3 s]
/proc/loadavg: 2.05 2.08 2.01 3/490 21464
/proc/meminfo: memFree=26721204/32951124 swapFree=55639044/67111528
[pid=21336] ppid=21334 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/21336/stat : 21336 (java) Z 21334 21336 19250 0 -1 4203548 1243080 0 1 0 179869 155 0 0 17 0 2 0 826491559 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21336/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.35
CPU time (s): 1800.31
CPU user time (s): 1798.7
CPU system time (s): 1.60576
CPU usage (%): 100.332
Max. virtual memory (cumulated for all children) (KiB): 13647420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.60575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1243080
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38203
involuntary context switches= 8000
runsolver used 8.67768 second user time and 17.6183 second system time
The end