runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311171-1304112817/watcher-3311171-1304112817 -o /tmp/evaluation-result-3311171-1304112817/solver-3311171-1304112817 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311171-1304112817.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.92 7.86 7.85 2/194 25601
/proc/meminfo: memFree=31104300/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 1423 0 0 0 0 0 0 0 21 0 2 0 503698015 27824128 893 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 7096 895 685 9 0 381 0
[pid=25601/tid=25602] ppid=25599 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) R 25599 25601 24746 0 -1 4202560 71 0 0 0 0 0 0 0 22 0 2 0 503698015 29065216 897 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212034731655 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0528969 s]
/proc/loadavg: 6.92 7.86 7.85 2/194 25601
/proc/meminfo: memFree=31104300/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=15609648 CPUtime=0.04 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 4104 0 1 0 4 0 0 0 21 0 18 0 503698015 15984279552 3543 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 3902412 3543 1754 9 0 3893131 0
[pid=25601/tid=25602] ppid=25599 vsize=15609648 CPUtime=0.03 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) R 25599 25601 24746 0 -1 4202560 2687 0 1 0 3 0 0 0 25 0 18 0 503698015 15984279552 3543 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051482059 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609648
[startup+0.100889 s]
/proc/loadavg: 6.92 7.86 7.85 2/194 25601
/proc/meminfo: memFree=31104300/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=15741888 CPUtime=0.1 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 5616 0 1 0 10 0 0 0 21 0 18 0 503698015 16119693312 5035 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 3935472 5036 2117 9 0 3926191 0
[pid=25601/tid=25602] ppid=25599 vsize=15741888 CPUtime=0.08 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) R 25599 25601 24746 0 -1 4202560 3469 0 1 0 8 0 0 0 25 0 18 0 503698015 16119693312 5036 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46922885173155 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741888
[startup+0.300866 s]
/proc/loadavg: 6.92 7.86 7.85 2/194 25601
/proc/meminfo: memFree=31104300/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=15745008 CPUtime=0.51 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 15998 0 1 0 49 2 0 0 21 0 18 0 503698015 16122888192 14455 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 3936252 14461 2206 9 0 3926971 0
[pid=25601/tid=25602] ppid=25599 vsize=15745008 CPUtime=0.28 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) R 25599 25601 24746 0 -1 4202560 10883 0 1 0 27 1 0 0 25 0 18 0 503698015 16122888192 14464 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15745008
[startup+0.700781 s]
/proc/loadavg: 6.92 7.86 7.85 2/194 25601
/proc/meminfo: memFree=31104300/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=15745008 CPUtime=0.92 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 41827 0 1 0 86 6 0 0 21 0 18 0 503698015 16122888192 40282 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 3936252 40282 2222 9 0 3926971 0
[pid=25601/tid=25602] ppid=25599 vsize=15745008 CPUtime=0.67 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) R 25599 25601 24746 0 -1 4202560 35528 0 1 0 62 5 0 0 25 0 18 0 503698015 16122888192 40282 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46912505565814 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15745008
[startup+1.50164 s]
/proc/loadavg: 6.92 7.86 7.85 7/220 25627
/proc/meminfo: memFree=30808664/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=15780420 CPUtime=2.45 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 56700 0 1 0 237 8 0 0 21 0 22 0 503698015 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 3945105 51088 2264 9 0 3935824 0
[pid=25601/tid=25602] ppid=25599 vsize=15780420 CPUtime=1.46 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) R 25599 25601 24746 0 -1 4202560 35655 0 1 0 141 5 0 0 25 0 22 0 503698015 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46922885161936 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25601/tid=25604] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25604/stat : 25604 (java) S 25599 25601 24746 0 -1 4202560 1027 0 0 0 0 0 0 0 17 0 22 0 503698016 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25605] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25605/stat : 25605 (java) S 25599 25601 24746 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25606] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25606/stat : 25606 (java) S 25599 25601 24746 0 -1 4202560 910 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25607] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25607/stat : 25607 (java) S 25599 25601 24746 0 -1 4202560 447 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25608] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25608/stat : 25608 (java) S 25599 25601 24746 0 -1 4202560 857 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25609] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25609/stat : 25609 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25610] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25610/stat : 25610 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25611] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25611/stat : 25611 (java) S 25599 25601 24746 0 -1 4202560 386 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25612] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25612/stat : 25612 (java) S 25599 25601 24746 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 22 0 503698017 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 0 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25613] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25613/stat : 25613 (java) S 25599 25601 24746 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503698017 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25614] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25614/stat : 25614 (java) S 25599 25601 24746 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503698017 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25615] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25615/stat : 25615 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051478961 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25616] ppid=25599 vsize=15780420 CPUtime=0.71 cores=1,3,5,7
/proc/25601/task/25616/stat : 25616 (java) S 25599 25601 24746 0 -1 4202560 12682 0 0 0 70 1 0 0 21 0 22 0 503698019 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25617] ppid=25599 vsize=15780420 CPUtime=0.22 cores=1,3,5,7
/proc/25601/task/25617/stat : 25617 (java) R 25599 25601 24746 0 -1 4202560 3187 0 0 0 22 0 0 0 15 0 22 0 503698019 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46922883431624 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25601/tid=25618] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25618/stat : 25618 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25619] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25619/stat : 25619 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503698019 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25624] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25624/stat : 25624 (java) S 25599 25601 24746 0 -1 4202560 14 0 0 0 0 0 0 0 18 0 22 0 503698091 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25625] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25625/stat : 25625 (java) S 25599 25601 24746 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 503698091 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25626] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25626/stat : 25626 (java) S 25599 25601 24746 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 503698091 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25627] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25627/stat : 25627 (java) S 25599 25601 24746 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 503698091 16159150080 51088 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 15780420
[startup+3.11034 s]
/proc/loadavg: 6.92 7.86 7.85 8/220 25627
/proc/meminfo: memFree=30520904/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=15780420 CPUtime=5.84 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 87395 0 1 0 572 12 0 0 21 0 22 0 503698015 16159150080 79632 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 3945105 79633 2274 9 0 3935824 0
[pid=25601/tid=25602] ppid=25599 vsize=15780420 CPUtime=2.15 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) S 25599 25601 24746 0 -1 4202560 35707 0 1 0 210 5 0 0 25 0 22 0 503698015 16159150080 79634 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25604] ppid=25599 vsize=15780420 CPUtime=0.02 cores=1,3,5,7
/proc/25601/task/25604/stat : 25604 (java) S 25599 25601 24746 0 -1 4202560 4564 0 0 0 2 0 0 0 15 0 22 0 503698016 16159150080 79635 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25605] ppid=25599 vsize=15780420 CPUtime=0.02 cores=1,3,5,7
/proc/25601/task/25605/stat : 25605 (java) S 25599 25601 24746 0 -1 4202560 3541 0 0 0 2 0 0 0 18 0 22 0 503698016 16159150080 79635 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25606] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25606/stat : 25606 (java) S 25599 25601 24746 0 -1 4202560 1235 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 79636 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25607] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25607/stat : 25607 (java) S 25599 25601 24746 0 -1 4202560 447 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 79637 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25608] ppid=25599 vsize=15780420 CPUtime=0.02 cores=1,3,5,7
/proc/25601/task/25608/stat : 25608 (java) S 25599 25601 24746 0 -1 4202560 5511 0 0 0 2 0 0 0 18 0 22 0 503698016 16159150080 79637 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25609] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25609/stat : 25609 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 79638 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25610] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25610/stat : 25610 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 503698016 16159150080 79639 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25611] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25611/stat : 25611 (java) S 25599 25601 24746 0 -1 4202560 386 0 0 0 0 0 0 0 18 0 22 0 503698016 16159150080 79639 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25612] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25612/stat : 25612 (java) S 25599 25601 24746 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 503698017 16159150080 79640 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 0 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25613] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25613/stat : 25613 (java) S 25599 25601 24746 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503698017 16159150080 79641 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25614] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25614/stat : 25614 (java) S 25599 25601 24746 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503698017 16159150080 79642 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25615] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25615/stat : 25615 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 79642 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051478961 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25616] ppid=25599 vsize=15780420 CPUtime=1.02 cores=1,3,5,7
/proc/25601/task/25616/stat : 25616 (java) S 25599 25601 24746 0 -1 4202560 12763 0 0 0 101 1 0 0 15 0 22 0 503698019 16159150080 79643 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25617] ppid=25599 vsize=15780420 CPUtime=0.94 cores=1,3,5,7
/proc/25601/task/25617/stat : 25617 (java) S 25599 25601 24746 0 -1 4202560 5171 0 0 0 94 0 0 0 15 0 22 0 503698019 16159150080 79644 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25618] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25618/stat : 25618 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 79644 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25619] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25619/stat : 25619 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503698019 16159150080 79645 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25624] ppid=25599 vsize=15780420 CPUtime=0.13 cores=1,3,5,7
/proc/25601/task/25624/stat : 25624 (java) R 25599 25601 24746 0 -1 4202560 5331 0 0 0 13 0 0 0 15 0 22 0 503698091 16159150080 79646 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46912506296086 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25601/tid=25625] ppid=25599 vsize=15780420 CPUtime=0.59 cores=1,3,5,7
/proc/25601/task/25625/stat : 25625 (java) R 25599 25601 24746 0 -1 4202560 1135 0 0 0 59 0 0 0 16 0 22 0 503698091 16159150080 79647 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46922888962208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25601/tid=25626] ppid=25599 vsize=15780420 CPUtime=0.4 cores=1,3,5,7
/proc/25601/task/25626/stat : 25626 (java) R 25599 25601 24746 0 -1 4202560 5423 0 0 0 40 0 0 0 15 0 22 0 503698091 16159150080 79648 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46912505523432 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25601/tid=25627] ppid=25599 vsize=15780420 CPUtime=0.43 cores=1,3,5,7
/proc/25601/task/25627/stat : 25627 (java) R 25599 25601 24746 0 -1 4202560 4734 0 0 0 43 0 0 0 16 0 22 0 503698091 16159150080 79648 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46912506343024 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 15780420
[startup+6.30075 s]
/proc/loadavg: 7.16 7.90 7.86 10/220 25627
/proc/meminfo: memFree=28693240/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=15780420 CPUtime=18.56 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 267090 0 1 0 1821 35 0 0 21 0 22 0 503698015 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 3945105 258944 2274 9 0 3935824 0
[pid=25601/tid=25602] ppid=25599 vsize=15780420 CPUtime=2.15 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) S 25599 25601 24746 0 -1 4202560 35707 0 1 0 210 5 0 0 25 0 22 0 503698015 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25604] ppid=25599 vsize=15780420 CPUtime=0.09 cores=1,3,5,7
/proc/25601/task/25604/stat : 25604 (java) S 25599 25601 24746 0 -1 4202560 14710 0 0 0 8 1 0 0 15 0 22 0 503698016 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25605] ppid=25599 vsize=15780420 CPUtime=0.08 cores=1,3,5,7
/proc/25601/task/25605/stat : 25605 (java) S 25599 25601 24746 0 -1 4202560 12600 0 0 0 7 1 0 0 16 0 22 0 503698016 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25606] ppid=25599 vsize=15780420 CPUtime=0.06 cores=1,3,5,7
/proc/25601/task/25606/stat : 25606 (java) S 25599 25601 24746 0 -1 4202560 9483 0 0 0 6 0 0 0 15 0 22 0 503698016 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25607] ppid=25599 vsize=15780420 CPUtime=0.08 cores=1,3,5,7
/proc/25601/task/25607/stat : 25607 (java) S 25599 25601 24746 0 -1 4202560 11263 0 0 0 7 1 0 0 15 0 22 0 503698016 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25608] ppid=25599 vsize=15780420 CPUtime=0.13 cores=1,3,5,7
/proc/25601/task/25608/stat : 25608 (java) S 25599 25601 24746 0 -1 4202560 30273 0 0 0 9 4 0 0 15 0 22 0 503698016 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25609] ppid=25599 vsize=15780420 CPUtime=0.13 cores=1,3,5,7
/proc/25601/task/25609/stat : 25609 (java) S 25599 25601 24746 0 -1 4202560 25909 0 0 0 10 3 0 0 15 0 22 0 503698016 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25610] ppid=25599 vsize=15780420 CPUtime=0.1 cores=1,3,5,7
/proc/25601/task/25610/stat : 25610 (java) S 25599 25601 24746 0 -1 4202560 22596 0 0 0 7 3 0 0 16 0 22 0 503698016 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25611] ppid=25599 vsize=15780420 CPUtime=0.03 cores=1,3,5,7
/proc/25601/task/25611/stat : 25611 (java) S 25599 25601 24746 0 -1 4202560 9522 0 0 0 3 0 0 0 15 0 22 0 503698016 16159150080 258944 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/25601/task/25608/stat : 25608 (java) S 25599 25601 24746 0 -1 4202560 321456 0 0 0 184 53 0 0 15 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25609] ppid=25599 vsize=15780420 CPUtime=1.9 cores=1,3,5,7
/proc/25601/task/25609/stat : 25609 (java) S 25599 25601 24746 0 -1 4202560 260713 0 0 0 151 39 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25610] ppid=25599 vsize=15780420 CPUtime=2.41 cores=1,3,5,7
/proc/25601/task/25610/stat : 25610 (java) S 25599 25601 24746 0 -1 4202560 332666 0 0 0 188 53 0 0 15 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25611] ppid=25599 vsize=15780420 CPUtime=2.61 cores=1,3,5,7
/proc/25601/task/25611/stat : 25611 (java) S 25599 25601 24746 0 -1 4202560 346123 0 0 0 204 57 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25612] ppid=25599 vsize=15780420 CPUtime=883.35 cores=1,3,5,7
/proc/25601/task/25612/stat : 25612 (java) R 25599 25601 24746 0 -1 4202560 649693 0 0 0 88221 114 0 0 18 0 22 0 503698017 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212039346168 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=25601/tid=25613] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25613/stat : 25613 (java) S 25599 25601 24746 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 503698017 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25614] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25614/stat : 25614 (java) S 25599 25601 24746 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503698017 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25615] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25615/stat : 25615 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051478961 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25616] ppid=25599 vsize=15780420 CPUtime=1.29 cores=1,3,5,7
/proc/25601/task/25616/stat : 25616 (java) S 25599 25601 24746 0 -1 4202560 12795 0 0 0 128 1 0 0 15 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25617] ppid=25599 vsize=15780420 CPUtime=0.94 cores=1,3,5,7
/proc/25601/task/25617/stat : 25617 (java) S 25599 25601 24746 0 -1 4202560 5171 0 0 0 94 0 0 0 15 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25618] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25618/stat : 25618 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25619] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25619/stat : 25619 (java) S 25599 25601 24746 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25624] ppid=25599 vsize=15780420 CPUtime=290.46 cores=1,3,5,7
/proc/25601/task/25624/stat : 25624 (java) S 25599 25601 24746 0 -1 4202560 99402 0 0 0 29025 21 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25625] ppid=25599 vsize=15780420 CPUtime=290.48 cores=1,3,5,7
/proc/25601/task/25625/stat : 25625 (java) S 25599 25601 24746 0 -1 4202560 101349 0 0 0 29031 17 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25626] ppid=25599 vsize=15780420 CPUtime=289.28 cores=1,3,5,7
/proc/25601/task/25626/stat : 25626 (java) S 25599 25601 24746 0 -1 4202560 101275 0 0 0 28907 21 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25627] ppid=25599 vsize=15780420 CPUtime=290.69 cores=1,3,5,7
/proc/25601/task/25627/stat : 25627 (java) S 25599 25601 24746 0 -1 4202560 100569 0 0 0 29051 18 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2069.41
Current children cumulated vsize (KiB) 15780420
[startup+1242.3 s]
/proc/loadavg: 3.19 4.73 5.93 2/193 25680
/proc/meminfo: memFree=15688736/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=15780420 CPUtime=2130.1 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 3887220 0 1 0 212348 662 0 0 21 0 22 0 503698015 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 3945105 3850936 2293 9 0 3935824 0
[pid=25601/tid=25602] ppid=25599 vsize=15780420 CPUtime=2.15 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) S 25599 25601 24746 0 -1 4202560 35707 0 1 0 210 5 0 0 25 0 22 0 503698015 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25604] ppid=25599 vsize=15780420 CPUtime=2.66 cores=1,3,5,7
/proc/25601/task/25604/stat : 25604 (java) S 25599 25601 24746 0 -1 4202560 373177 0 0 0 204 62 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25605] ppid=25599 vsize=15780420 CPUtime=3.41 cores=1,3,5,7
/proc/25601/task/25605/stat : 25605 (java) S 25599 25601 24746 0 -1 4202560 459391 0 0 0 266 75 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25606] ppid=25599 vsize=15780420 CPUtime=2.77 cores=1,3,5,7
/proc/25601/task/25606/stat : 25606 (java) S 25599 25601 24746 0 -1 4202560 374377 0 0 0 216 61 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25607] ppid=25599 vsize=15780420 CPUtime=2.46 cores=1,3,5,7
/proc/25601/task/25607/stat : 25607 (java) S 25599 25601 24746 0 -1 4202560 311402 0 0 0 197 49 0 0 15 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25608] ppid=25599 vsize=15780420 CPUtime=2.37 cores=1,3,5,7
/proc/25601/task/25608/stat : 25608 (java) S 25599 25601 24746 0 -1 4202560 321456 0 0 0 184 53 0 0 15 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25609] ppid=25599 vsize=15780420 CPUtime=1.9 cores=1,3,5,7
/proc/25601/task/25609/stat : 25609 (java) S 25599 25601 24746 0 -1 4202560 260713 0 0 0 151 39 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25610] ppid=25599 vsize=15780420 CPUtime=2.41 cores=1,3,5,7
/proc/25601/task/25610/stat : 25610 (java) S 25599 25601 24746 0 -1 4202560 332666 0 0 0 188 53 0 0 15 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25611] ppid=25599 vsize=15780420 CPUtime=2.61 cores=1,3,5,7
/proc/25601/task/25611/stat : 25611 (java) S 25599 25601 24746 0 -1 4202560 346123 0 0 0 204 57 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25612] ppid=25599 vsize=15780420 CPUtime=943.1 cores=1,3,5,7
/proc/25601/task/25612/stat : 25612 (java) R 25599 25601 24746 0 -1 4202560 649697 0 0 0 94192 118 0 0 18 0 22 0 503698017 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46922886037820 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=25601/tid=25613] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25613/stat : 25613 (java) S 25599 25601 24746 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 503698017 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25614] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25614/stat : 25614 (java) S 25599 25601 24746 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503698017 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25615] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25615/stat : 25615 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051478961 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25616] ppid=25599 vsize=15780420 CPUtime=1.29 cores=1,3,5,7
/proc/25601/task/25616/stat : 25616 (java) S 25599 25601 24746 0 -1 4202560 12795 0 0 0 128 1 0 0 15 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25617] ppid=25599 vsize=15780420 CPUtime=0.94 cores=1,3,5,7
/proc/25601/task/25617/stat : 25617 (java) S 25599 25601 24746 0 -1 4202560 5171 0 0 0 94 0 0 0 15 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25618] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25618/stat : 25618 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25619] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25619/stat : 25619 (java) S 25599 25601 24746 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25624] ppid=25599 vsize=15780420 CPUtime=290.68 cores=1,3,5,7
/proc/25601/task/25624/stat : 25624 (java) S 25599 25601 24746 0 -1 4202560 99475 0 0 0 29046 22 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25625] ppid=25599 vsize=15780420 CPUtime=290.72 cores=1,3,5,7
/proc/25601/task/25625/stat : 25625 (java) S 25599 25601 24746 0 -1 4202560 101373 0 0 0 29055 17 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25626] ppid=25599 vsize=15780420 CPUtime=289.52 cores=1,3,5,7
/proc/25601/task/25626/stat : 25626 (java) S 25599 25601 24746 0 -1 4202560 101526 0 0 0 28931 21 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25627] ppid=25599 vsize=15780420 CPUtime=290.93 cores=1,3,5,7
/proc/25601/task/25627/stat : 25627 (java) S 25599 25601 24746 0 -1 4202560 100714 0 0 0 29074 19 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2130.1
Current children cumulated vsize (KiB) 15780420
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.80 4.05 5.62 2/193 25681
/proc/meminfo: memFree=15688528/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=15780420 CPUtime=2189.64 cores=1,3,5,7
/proc/25601/stat : 25601 (java) S 25599 25601 24746 0 -1 4202496 3887730 0 1 0 218295 669 0 0 21 0 22 0 503698015 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 3945105 3850936 2293 9 0 3935824 0
[pid=25601/tid=25602] ppid=25599 vsize=15780420 CPUtime=2.15 cores=1,3,5,7
/proc/25601/task/25602/stat : 25602 (java) S 25599 25601 24746 0 -1 4202560 35707 0 1 0 210 5 0 0 25 0 22 0 503698015 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25604] ppid=25599 vsize=15780420 CPUtime=2.66 cores=1,3,5,7
/proc/25601/task/25604/stat : 25604 (java) S 25599 25601 24746 0 -1 4202560 373177 0 0 0 204 62 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25605] ppid=25599 vsize=15780420 CPUtime=3.41 cores=1,3,5,7
/proc/25601/task/25605/stat : 25605 (java) S 25599 25601 24746 0 -1 4202560 459391 0 0 0 266 75 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25606] ppid=25599 vsize=15780420 CPUtime=2.77 cores=1,3,5,7
/proc/25601/task/25606/stat : 25606 (java) S 25599 25601 24746 0 -1 4202560 374377 0 0 0 216 61 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25607] ppid=25599 vsize=15780420 CPUtime=2.46 cores=1,3,5,7
/proc/25601/task/25607/stat : 25607 (java) S 25599 25601 24746 0 -1 4202560 311402 0 0 0 197 49 0 0 15 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25608] ppid=25599 vsize=15780420 CPUtime=2.37 cores=1,3,5,7
/proc/25601/task/25608/stat : 25608 (java) S 25599 25601 24746 0 -1 4202560 321456 0 0 0 184 53 0 0 15 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25609] ppid=25599 vsize=15780420 CPUtime=1.9 cores=1,3,5,7
/proc/25601/task/25609/stat : 25609 (java) S 25599 25601 24746 0 -1 4202560 260713 0 0 0 151 39 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 7 0 0 0
[pid=25601/tid=25610] ppid=25599 vsize=15780420 CPUtime=2.41 cores=1,3,5,7
/proc/25601/task/25610/stat : 25610 (java) S 25599 25601 24746 0 -1 4202560 332666 0 0 0 188 53 0 0 15 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25611] ppid=25599 vsize=15780420 CPUtime=2.61 cores=1,3,5,7
/proc/25601/task/25611/stat : 25611 (java) S 25599 25601 24746 0 -1 4202560 346123 0 0 0 204 57 0 0 16 0 22 0 503698016 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25612] ppid=25599 vsize=15780420 CPUtime=1000.19 cores=1,3,5,7
/proc/25601/task/25612/stat : 25612 (java) R 25599 25601 24746 0 -1 4202560 649701 0 0 0 99896 123 0 0 19 0 22 0 503698017 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 46922888731930 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=25601/tid=25613] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25613/stat : 25613 (java) S 25599 25601 24746 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 503698017 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25614] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25614/stat : 25614 (java) S 25599 25601 24746 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503698017 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25615] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25615/stat : 25615 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051478961 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25616] ppid=25599 vsize=15780420 CPUtime=1.29 cores=1,3,5,7
/proc/25601/task/25616/stat : 25616 (java) S 25599 25601 24746 0 -1 4202560 12795 0 0 0 128 1 0 0 15 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25617] ppid=25599 vsize=15780420 CPUtime=0.94 cores=1,3,5,7
/proc/25601/task/25617/stat : 25617 (java) S 25599 25601 24746 0 -1 4202560 5171 0 0 0 94 0 0 0 15 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25618] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25618/stat : 25618 (java) S 25599 25601 24746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25619] ppid=25599 vsize=15780420 CPUtime=0 cores=1,3,5,7
/proc/25601/task/25619/stat : 25619 (java) S 25599 25601 24746 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 503698019 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471872 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25624] ppid=25599 vsize=15780420 CPUtime=291.31 cores=1,3,5,7
/proc/25601/task/25624/stat : 25624 (java) S 25599 25601 24746 0 -1 4202560 99492 0 0 0 29108 23 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 1 0 0 0
[pid=25601/tid=25625] ppid=25599 vsize=15780420 CPUtime=291.35 cores=1,3,5,7
/proc/25601/task/25625/stat : 25625 (java) S 25599 25601 24746 0 -1 4202560 101389 0 0 0 29117 18 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 5 0 0 0
[pid=25601/tid=25626] ppid=25599 vsize=15780420 CPUtime=290.13 cores=1,3,5,7
/proc/25601/task/25626/stat : 25626 (java) S 25599 25601 24746 0 -1 4202560 101586 0 0 0 28991 22 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
[pid=25601/tid=25627] ppid=25599 vsize=15780420 CPUtime=291.53 cores=1,3,5,7
/proc/25601/task/25627/stat : 25627 (java) S 25599 25601 24746 0 -1 4202560 101123 0 0 0 29134 19 0 0 15 0 22 0 503698091 16159150080 3850936 33554432000 1073741824 1073778376 140734960189776 18446744073709551615 212051471257 0 4 0 16800975 18446604471145675712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2189.64
Current children cumulated vsize (KiB) 15780420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25601
[startup+1302.3 s]
/proc/loadavg: 1.80 4.05 5.62 2/194 25682
/proc/meminfo: memFree=15688396/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=0 CPUtime=2191.94 cores=1,3,5,7
/proc/25601/stat : 25601 (java) Z 25599 25601 24746 0 -1 4203548 3887754 0 1 0 218496 698 0 0 18 0 2 0 503698015 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 0 0 0 0 0 0 0
[pid=25601/tid=25618] ppid=25599 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/25601/task/25618/stat : 25618 (java) R 25599 25601 24746 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 503698019 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2191.94
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.5 s]
/proc/loadavg: 1.80 4.05 5.62 2/194 25682
/proc/meminfo: memFree=15688396/32951124 swapFree=67106388/67111528
[pid=25601] ppid=25599 vsize=0 CPUtime=2192.14 cores=1,3,5,7
/proc/25601/stat : 25601 (java) Z 25599 25601 24746 0 -1 4203548 3887754 0 1 0 218496 718 0 0 18 0 2 0 503698015 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25601/statm: 0 0 0 0 0 0 0
[pid=25601/tid=25618] ppid=25599 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/25601/task/25618/stat : 25618 (java) R 25599 25601 24746 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 503698019 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2192.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.52
CPU time (s): 2192.17
CPU user time (s): 2184.96
CPU system time (s): 7.2049
CPU usage (%): 168.301
Max. virtual memory (cumulated for all children) (KiB): 15782996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2184.96
system time used= 7.2049
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3887754
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= 80804
involuntary context switches= 44724
runsolver used 2.21866 second user time and 4.95525 second system time
The end