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-3311823-1304187568/watcher-3311823-1304187568 -o /tmp/evaluation-result-3311823-1304187568/solver-3311823-1304187568 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311823-1304187568.cnf -hbr 2
running on 4 cores: 0,2,4,6
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: 8.11 8.06 8.01 1/175 13326
/proc/meminfo: memFree=30444964/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13326/stat : 13326 (java) R 13324 13326 13038 0 -1 4202496 1191 0 0 0 0 0 0 0 25 0 1 0 511172726 23580672 677 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220811273704 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13326/statm: 5757 677 504 9 0 124 0
[startup+0.048154 s]
/proc/loadavg: 8.11 8.06 8.01 1/175 13326
/proc/meminfo: memFree=30444964/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15604248 CPUtime=0.03 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 3881 0 1 0 3 0 0 0 25 0 13 0 511172726 15978749952 3320 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3901062 3320 1689 9 0 3891810 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15604248
[startup+0.102373 s]
/proc/loadavg: 8.11 8.06 8.01 1/175 13326
/proc/meminfo: memFree=30444964/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15676568 CPUtime=0.1 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 5558 0 1 0 9 1 0 0 25 0 18 0 511172726 16052805632 4977 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3919142 4977 2117 9 0 3909861 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676568
[startup+0.306137 s]
/proc/loadavg: 8.11 8.06 8.01 1/175 13326
/proc/meminfo: memFree=30444964/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15682108 CPUtime=0.54 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 11908 0 1 0 52 2 0 0 25 0 22 0 511172726 16058478592 10033 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3920527 10033 2219 9 0 3911246 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 15682108
[startup+0.806229 s]
/proc/loadavg: 8.11 8.06 8.01 1/175 13326
/proc/meminfo: memFree=30444964/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15683420 CPUtime=2.2 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 44483 0 1 0 214 6 0 0 25 0 22 0 511172726 16059822080 40752 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3920855 40753 2261 9 0 3911574 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 15683420
[startup+1.50086 s]
/proc/loadavg: 7.62 7.96 7.97 8/197 13348
/proc/meminfo: memFree=30275956/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15751588 CPUtime=4.94 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 54588 0 1 0 486 8 0 0 25 0 22 0 511172726 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3937897 50513 2284 9 0 3928616 0
[pid=13326/tid=13328] ppid=13324 vsize=15751588 CPUtime=0.41 cores=0,2,4,6
/proc/13326/task/13328/stat : 13328 (java) S 13324 13326 13038 0 -1 4202560 7045 0 1 0 40 1 0 0 18 0 22 0 511172727 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13329] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13329/stat : 13329 (java) S 13324 13326 13038 0 -1 4202560 1204 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13330] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13330/stat : 13330 (java) S 13324 13326 13038 0 -1 4202560 903 0 0 0 0 0 0 0 16 0 22 0 511172727 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13331] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13331/stat : 13331 (java) S 13324 13326 13038 0 -1 4202560 367 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13332] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13332/stat : 13332 (java) S 13324 13326 13038 0 -1 4202560 916 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13333] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13333/stat : 13333 (java) S 13324 13326 13038 0 -1 4202560 949 0 0 0 0 0 0 0 16 0 22 0 511172727 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13334] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13334/stat : 13334 (java) R 13324 13326 13038 0 -1 4202560 1259 0 0 0 0 0 0 0 16 0 22 0 511172727 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13326/tid=13335] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13335/stat : 13335 (java) S 13324 13326 13038 0 -1 4202560 970 0 0 0 0 0 0 0 16 0 22 0 511172727 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13336] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13336/stat : 13336 (java) S 13324 13326 13038 0 -1 4202560 1087 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13337] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13337/stat : 13337 (java) S 13324 13326 13038 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 511172728 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13338] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13338/stat : 13338 (java) S 13324 13326 13038 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 511172729 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13339] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13339/stat : 13339 (java) S 13324 13326 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511172729 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13340] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13340/stat : 13340 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13341] ppid=13324 vsize=15751588 CPUtime=0.98 cores=0,2,4,6
/proc/13326/task/13341/stat : 13341 (java) S 13324 13326 13038 0 -1 4202560 5000 0 0 0 97 1 0 0 16 0 22 0 511172731 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13342] ppid=13324 vsize=15751588 CPUtime=0.63 cores=0,2,4,6
/proc/13326/task/13342/stat : 13342 (java) R 13324 13326 13038 0 -1 4202560 4667 0 0 0 63 0 0 0 17 0 22 0 511172731 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 47410900707666 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13326/tid=13343] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13343/stat : 13343 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13344] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13344/stat : 13344 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511172731 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13345] ppid=13324 vsize=15751588 CPUtime=0.55 cores=0,2,4,6
/proc/13326/task/13345/stat : 13345 (java) R 13324 13326 13038 0 -1 4202560 7974 0 0 0 55 0 0 0 16 0 22 0 511172753 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505523239 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13326/tid=13346] ppid=13324 vsize=15751588 CPUtime=0.7 cores=0,2,4,6
/proc/13326/task/13346/stat : 13346 (java) R 13324 13326 13038 0 -1 4202560 5824 0 0 0 70 0 0 0 17 0 22 0 511172753 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505715989 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13326/tid=13347] ppid=13324 vsize=15751588 CPUtime=1 cores=0,2,4,6
/proc/13326/task/13347/stat : 13347 (java) R 13324 13326 13038 0 -1 4202560 10192 0 0 0 99 1 0 0 16 0 22 0 511172753 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 47410903679131 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13326/tid=13348] ppid=13324 vsize=15751588 CPUtime=0.58 cores=0,2,4,6
/proc/13326/task/13348/stat : 13348 (java) R 13324 13326 13038 0 -1 4202560 4770 0 0 0 57 1 0 0 16 0 22 0 511172753 16129626112 50513 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505523205 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 15751588
[startup+3.10154 s]
/proc/loadavg: 7.62 7.96 7.97 8/220 13396
/proc/meminfo: memFree=30029168/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15751588 CPUtime=11.32 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 149415 0 1 0 1112 20 0 0 25 0 22 0 511172726 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3937897 144701 2284 9 0 3928616 0
[pid=13326/tid=13328] ppid=13324 vsize=15751588 CPUtime=0.41 cores=0,2,4,6
/proc/13326/task/13328/stat : 13328 (java) S 13324 13326 13038 0 -1 4202560 7045 0 1 0 40 1 0 0 18 0 22 0 511172727 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13329] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13329/stat : 13329 (java) S 13324 13326 13038 0 -1 4202560 3020 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13330] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13330/stat : 13330 (java) S 13324 13326 13038 0 -1 4202560 903 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13331] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13331/stat : 13331 (java) S 13324 13326 13038 0 -1 4202560 1098 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13332] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13332/stat : 13332 (java) S 13324 13326 13038 0 -1 4202560 2795 0 0 0 0 0 0 0 16 0 22 0 511172727 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13333] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13333/stat : 13333 (java) S 13324 13326 13038 0 -1 4202560 1973 0 0 0 0 0 0 0 16 0 22 0 511172727 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13334] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13334/stat : 13334 (java) S 13324 13326 13038 0 -1 4202560 2399 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13335] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13335/stat : 13335 (java) S 13324 13326 13038 0 -1 4202560 1942 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13336] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13336/stat : 13336 (java) S 13324 13326 13038 0 -1 4202560 1425 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13337] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13337/stat : 13337 (java) S 13324 13326 13038 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 22 0 511172728 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13338] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13338/stat : 13338 (java) S 13324 13326 13038 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 511172729 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13339] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13339/stat : 13339 (java) S 13324 13326 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511172729 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13340] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13340/stat : 13340 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13341] ppid=13324 vsize=15751588 CPUtime=1.08 cores=0,2,4,6
/proc/13326/task/13341/stat : 13341 (java) S 13324 13326 13038 0 -1 4202560 5000 0 0 0 107 1 0 0 16 0 22 0 511172731 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13342] ppid=13324 vsize=15751588 CPUtime=0.81 cores=0,2,4,6
/proc/13326/task/13342/stat : 13342 (java) S 13324 13326 13038 0 -1 4202560 5218 0 0 0 81 0 0 0 15 0 22 0 511172731 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13343] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13343/stat : 13343 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13344] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13344/stat : 13344 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511172731 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13345] ppid=13324 vsize=15751588 CPUtime=2.04 cores=0,2,4,6
/proc/13326/task/13345/stat : 13345 (java) R 13324 13326 13038 0 -1 4202560 29262 0 0 0 202 2 0 0 17 0 22 0 511172753 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505715989 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13326/tid=13346] ppid=13324 vsize=15751588 CPUtime=2.11 cores=0,2,4,6
/proc/13326/task/13346/stat : 13346 (java) R 13324 13326 13038 0 -1 4202560 24951 0 0 0 208 3 0 0 18 0 22 0 511172753 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 47410903680876 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13326/tid=13347] ppid=13324 vsize=15751588 CPUtime=2.59 cores=0,2,4,6
/proc/13326/task/13347/stat : 13347 (java) R 13324 13326 13038 0 -1 4202560 32997 0 0 0 255 4 0 0 18 0 22 0 511172753 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505523191 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13326/tid=13348] ppid=13324 vsize=15751588 CPUtime=2.16 cores=0,2,4,6
/proc/13326/task/13348/stat : 13348 (java) R 13324 13326 13038 0 -1 4202560 27558 0 0 0 212 4 0 0 18 0 22 0 511172753 16129626112 144701 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505731157 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.32
Current children cumulated vsize (KiB) 15751588
[startup+6.30094 s]
/proc/loadavg: 7.65 7.96 7.97 9/220 13396
/proc/meminfo: memFree=29300004/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15751588 CPUtime=24.09 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 152562 0 1 0 2388 21 0 0 25 0 22 0 511172726 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3937897 145168 2290 9 0 3928616 0
[pid=13326/tid=13328] ppid=13324 vsize=15751588 CPUtime=0.41 cores=0,2,4,6
/proc/13326/task/13328/stat : 13328 (java) S 13324 13326 13038 0 -1 4202560 7045 0 1 0 40 1 0 0 18 0 22 0 511172727 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13329] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13329/stat : 13329 (java) S 13324 13326 13038 0 -1 4202560 3255 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13330] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13330/stat : 13330 (java) S 13324 13326 13038 0 -1 4202560 1424 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13331] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13331/stat : 13331 (java) S 13324 13326 13038 0 -1 4202560 1248 0 0 0 0 0 0 0 16 0 22 0 511172727 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13332] ppid=13324 vsize=15751588 CPUtime=0.01 cores=0,2,4,6
/proc/13326/task/13332/stat : 13332 (java) S 13324 13326 13038 0 -1 4202560 3283 0 0 0 1 0 0 0 16 0 22 0 511172727 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13333] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13333/stat : 13333 (java) S 13324 13326 13038 0 -1 4202560 2484 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13334] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13334/stat : 13334 (java) S 13324 13326 13038 0 -1 4202560 2739 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13335] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13335/stat : 13335 (java) S 13324 13326 13038 0 -1 4202560 2334 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13336] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13336/stat : 13336 (java) S 13324 13326 13038 0 -1 4202560 1907 0 0 0 0 0 0 0 15 0 22 0 511172727 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13337] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13337/stat : 13337 (java) S 13324 13326 13038 0 -1 4202560 442 0 0 0 0 0 0 0 16 0 22 0 511172728 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13338] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13338/stat : 13338 (java) S 13324 13326 13038 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 511172729 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13339] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13339/stat : 13339 (java) S 13324 13326 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511172729 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13340] ppid=13324 vsize=15751588 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13340/stat : 13340 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13341] ppid=13324 vsize=15751588 CPUtime=1.13 cores=0,2,4,6
/proc/13326/task/13341/stat : 13341 (java) S 13324 13326 13038 0 -1 4202560 5014 0 0 0 112 1 0 0 15 0 22 0 511172731 16129626112 145168 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=13326/tid=13346] ppid=13324 vsize=15749312 CPUtime=1048.5 cores=0,2,4,6
/proc/13326/task/13346/stat : 13346 (java) R 13324 13326 13038 0 -1 4202560 186874 0 0 0 104816 34 0 0 25 0 22 0 511172753 16127295488 92842 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912506286831 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13326/tid=13347] ppid=13324 vsize=15749312 CPUtime=1048.93 cores=0,2,4,6
/proc/13326/task/13347/stat : 13347 (java) R 13324 13326 13038 0 -1 4202560 197537 0 0 0 104857 36 0 0 25 0 22 0 511172753 16127295488 92842 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505740117 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13326/tid=13348] ppid=13324 vsize=15749312 CPUtime=1048.66 cores=0,2,4,6
/proc/13326/task/13348/stat : 13348 (java) R 13324 13326 13038 0 -1 4202560 191453 0 0 0 104833 33 0 0 25 0 22 0 511172753 16127295488 92842 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 47410903679131 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4222.78
Current children cumulated vsize (KiB) 15749312
[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.02 9/220 13429
/proc/meminfo: memFree=29752404/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15749312 CPUtime=4461.27 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 1453566 0 1 0 445765 362 0 0 25 0 22 0 511172726 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3937328 91319 2298 9 0 3928047 0
[pid=13326/tid=13328] ppid=13324 vsize=15749312 CPUtime=0.41 cores=0,2,4,6
/proc/13326/task/13328/stat : 13328 (java) S 13324 13326 13038 0 -1 4202560 7045 0 1 0 40 1 0 0 18 0 22 0 511172727 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13329] ppid=13324 vsize=15749312 CPUtime=3.12 cores=0,2,4,6
/proc/13326/task/13329/stat : 13329 (java) S 13324 13326 13038 0 -1 4202560 80218 0 0 0 293 19 0 0 15 0 22 0 511172727 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13330] ppid=13324 vsize=15749312 CPUtime=3.17 cores=0,2,4,6
/proc/13326/task/13330/stat : 13330 (java) S 13324 13326 13038 0 -1 4202560 75374 0 0 0 298 19 0 0 15 0 22 0 511172727 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13331] ppid=13324 vsize=15749312 CPUtime=2.98 cores=0,2,4,6
/proc/13326/task/13331/stat : 13331 (java) S 13324 13326 13038 0 -1 4202560 72100 0 0 0 281 17 0 0 15 0 22 0 511172727 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13332] ppid=13324 vsize=15749312 CPUtime=3.13 cores=0,2,4,6
/proc/13326/task/13332/stat : 13332 (java) S 13324 13326 13038 0 -1 4202560 77677 0 0 0 293 20 0 0 15 0 22 0 511172727 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13333] ppid=13324 vsize=15749312 CPUtime=3.06 cores=0,2,4,6
/proc/13326/task/13333/stat : 13333 (java) S 13324 13326 13038 0 -1 4202560 72847 0 0 0 292 14 0 0 16 0 22 0 511172727 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13334] ppid=13324 vsize=15749312 CPUtime=3.17 cores=0,2,4,6
/proc/13326/task/13334/stat : 13334 (java) S 13324 13326 13038 0 -1 4202560 76313 0 0 0 298 19 0 0 16 0 22 0 511172727 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13335] ppid=13324 vsize=15749312 CPUtime=3 cores=0,2,4,6
/proc/13326/task/13335/stat : 13335 (java) S 13324 13326 13038 0 -1 4202560 73375 0 0 0 281 19 0 0 15 0 22 0 511172727 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13336] ppid=13324 vsize=15749312 CPUtime=3.04 cores=0,2,4,6
/proc/13326/task/13336/stat : 13336 (java) S 13324 13326 13038 0 -1 4202560 78202 0 0 0 285 19 0 0 16 0 22 0 511172727 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13337] ppid=13324 vsize=15749312 CPUtime=2.1 cores=0,2,4,6
/proc/13326/task/13337/stat : 13337 (java) S 13324 13326 13038 0 -1 4202560 3889 0 0 0 149 61 0 0 15 0 22 0 511172728 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13338] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13338/stat : 13338 (java) S 13324 13326 13038 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 511172729 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13339] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13339/stat : 13339 (java) S 13324 13326 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511172729 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13340] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13340/stat : 13340 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13341] ppid=13324 vsize=15749312 CPUtime=1.21 cores=0,2,4,6
/proc/13326/task/13341/stat : 13341 (java) S 13324 13326 13038 0 -1 4202560 5167 0 0 0 120 1 0 0 15 0 22 0 511172731 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13342] ppid=13324 vsize=15749312 CPUtime=0.85 cores=0,2,4,6
/proc/13326/task/13342/stat : 13342 (java) S 13324 13326 13038 0 -1 4202560 5222 0 0 0 85 0 0 0 16 0 22 0 511172731 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13343] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13343/stat : 13343 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13344] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13344/stat : 13344 (java) S 13324 13326 13038 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 511172731 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13345] ppid=13324 vsize=15749312 CPUtime=1108.03 cores=0,2,4,6
/proc/13326/task/13345/stat : 13345 (java) R 13324 13326 13038 0 -1 4202560 207635 0 0 0 110771 32 0 0 25 0 22 0 511172753 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 47410903145547 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13326/tid=13346] ppid=13324 vsize=15749312 CPUtime=1107.82 cores=0,2,4,6
/proc/13326/task/13346/stat : 13346 (java) R 13324 13326 13038 0 -1 4202560 200296 0 0 0 110745 37 0 0 25 0 22 0 511172753 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505730727 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13326/tid=13347] ppid=13324 vsize=15749312 CPUtime=1108.15 cores=0,2,4,6
/proc/13326/task/13347/stat : 13347 (java) R 13324 13326 13038 0 -1 4202560 211249 0 0 0 110777 38 0 0 25 0 22 0 511172753 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912506283135 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13326/tid=13348] ppid=13324 vsize=15749312 CPUtime=1107.83 cores=0,2,4,6
/proc/13326/task/13348/stat : 13348 (java) R 13324 13326 13038 0 -1 4202560 205511 0 0 0 110748 35 0 0 25 0 22 0 511172753 16127295488 91319 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912506287360 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4461.27
Current children cumulated vsize (KiB) 15749312
[startup+1182.3 s]
/proc/loadavg: 8.04 8.08 8.02 10/220 13431
/proc/meminfo: memFree=29863844/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15749312 CPUtime=4699.76 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 1517254 0 1 0 469597 379 0 0 25 0 22 0 511172726 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3937328 78196 2298 9 0 3928047 0
[pid=13326/tid=13328] ppid=13324 vsize=15749312 CPUtime=0.41 cores=0,2,4,6
/proc/13326/task/13328/stat : 13328 (java) S 13324 13326 13038 0 -1 4202560 7045 0 1 0 40 1 0 0 18 0 22 0 511172727 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13329] ppid=13324 vsize=15749312 CPUtime=3.27 cores=0,2,4,6
/proc/13326/task/13329/stat : 13329 (java) S 13324 13326 13038 0 -1 4202560 83143 0 0 0 308 19 0 0 15 0 22 0 511172727 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13330] ppid=13324 vsize=15749312 CPUtime=3.33 cores=0,2,4,6
/proc/13326/task/13330/stat : 13330 (java) S 13324 13326 13038 0 -1 4202560 77742 0 0 0 313 20 0 0 15 0 22 0 511172727 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13331] ppid=13324 vsize=15749312 CPUtime=3.16 cores=0,2,4,6
/proc/13326/task/13331/stat : 13331 (java) S 13324 13326 13038 0 -1 4202560 74839 0 0 0 298 18 0 0 16 0 22 0 511172727 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13332] ppid=13324 vsize=15749312 CPUtime=3.29 cores=0,2,4,6
/proc/13326/task/13332/stat : 13332 (java) S 13324 13326 13038 0 -1 4202560 79998 0 0 0 308 21 0 0 15 0 22 0 511172727 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13333] ppid=13324 vsize=15749312 CPUtime=3.22 cores=0,2,4,6
/proc/13326/task/13333/stat : 13333 (java) S 13324 13326 13038 0 -1 4202560 75354 0 0 0 307 15 0 0 16 0 22 0 511172727 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13334] ppid=13324 vsize=15749312 CPUtime=3.34 cores=0,2,4,6
/proc/13326/task/13334/stat : 13334 (java) S 13324 13326 13038 0 -1 4202560 78227 0 0 0 314 20 0 0 15 0 22 0 511172727 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13335] ppid=13324 vsize=15749312 CPUtime=3.15 cores=0,2,4,6
/proc/13326/task/13335/stat : 13335 (java) S 13324 13326 13038 0 -1 4202560 75659 0 0 0 296 19 0 0 15 0 22 0 511172727 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13336] ppid=13324 vsize=15749312 CPUtime=3.21 cores=0,2,4,6
/proc/13326/task/13336/stat : 13336 (java) S 13324 13326 13038 0 -1 4202560 80850 0 0 0 301 20 0 0 15 0 22 0 511172727 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13337] ppid=13324 vsize=15749312 CPUtime=2.25 cores=0,2,4,6
/proc/13326/task/13337/stat : 13337 (java) S 13324 13326 13038 0 -1 4202560 4076 0 0 0 160 65 0 0 15 0 22 0 511172728 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13338] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13338/stat : 13338 (java) S 13324 13326 13038 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 511172729 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13339] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13339/stat : 13339 (java) S 13324 13326 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511172729 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13340] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13340/stat : 13340 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13341] ppid=13324 vsize=15749312 CPUtime=1.21 cores=0,2,4,6
/proc/13326/task/13341/stat : 13341 (java) S 13324 13326 13038 0 -1 4202560 5167 0 0 0 120 1 0 0 15 0 22 0 511172731 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13342] ppid=13324 vsize=15749312 CPUtime=0.85 cores=0,2,4,6
/proc/13326/task/13342/stat : 13342 (java) S 13324 13326 13038 0 -1 4202560 5222 0 0 0 85 0 0 0 16 0 22 0 511172731 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13343] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13343/stat : 13343 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13344] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13344/stat : 13344 (java) S 13324 13326 13038 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 511172731 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13345] ppid=13324 vsize=15749312 CPUtime=1167.3 cores=0,2,4,6
/proc/13326/task/13345/stat : 13345 (java) R 13324 13326 13038 0 -1 4202560 218212 0 0 0 116696 34 0 0 25 0 22 0 511172753 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505729975 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13326/tid=13346] ppid=13324 vsize=15749312 CPUtime=1167.12 cores=0,2,4,6
/proc/13326/task/13346/stat : 13346 (java) R 13324 13326 13038 0 -1 4202560 211381 0 0 0 116673 39 0 0 25 0 22 0 511172753 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 47410903681156 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13326/tid=13347] ppid=13324 vsize=15749312 CPUtime=1167.46 cores=0,2,4,6
/proc/13326/task/13347/stat : 13347 (java) R 13324 13326 13038 0 -1 4202560 222174 0 0 0 116706 40 0 0 25 0 22 0 511172753 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 47410903680092 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13326/tid=13348] ppid=13324 vsize=15749312 CPUtime=1167.03 cores=0,2,4,6
/proc/13326/task/13348/stat : 13348 (java) R 13324 13326 13038 0 -1 4202560 216715 0 0 0 116665 38 0 0 25 0 22 0 511172753 16127295488 78196 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 47410903679881 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4699.76
Current children cumulated vsize (KiB) 15749312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.5 s]
/proc/loadavg: 8.03 8.07 8.02 9/220 13431
/proc/meminfo: memFree=29733876/32951124 swapFree=67105204/67111528
[pid=13326] ppid=13324 vsize=15749312 CPUtime=4800.03 cores=0,2,4,6
/proc/13326/stat : 13326 (java) S 13324 13326 13038 0 -1 4202496 1561110 0 1 0 479614 389 0 0 25 0 22 0 511172726 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13326/statm: 3937328 87440 2298 9 0 3928047 0
[pid=13326/tid=13328] ppid=13324 vsize=15749312 CPUtime=0.41 cores=0,2,4,6
/proc/13326/task/13328/stat : 13328 (java) S 13324 13326 13038 0 -1 4202560 7045 0 1 0 40 1 0 0 18 0 22 0 511172727 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13329] ppid=13324 vsize=15749312 CPUtime=3.34 cores=0,2,4,6
/proc/13326/task/13329/stat : 13329 (java) S 13324 13326 13038 0 -1 4202560 85405 0 0 0 314 20 0 0 15 0 22 0 511172727 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13330] ppid=13324 vsize=15749312 CPUtime=3.4 cores=0,2,4,6
/proc/13326/task/13330/stat : 13330 (java) S 13324 13326 13038 0 -1 4202560 80163 0 0 0 320 20 0 0 15 0 22 0 511172727 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13331] ppid=13324 vsize=15749312 CPUtime=3.23 cores=0,2,4,6
/proc/13326/task/13331/stat : 13331 (java) S 13324 13326 13038 0 -1 4202560 77524 0 0 0 305 18 0 0 15 0 22 0 511172727 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13332] ppid=13324 vsize=15749312 CPUtime=3.36 cores=0,2,4,6
/proc/13326/task/13332/stat : 13332 (java) S 13324 13326 13038 0 -1 4202560 82865 0 0 0 315 21 0 0 15 0 22 0 511172727 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13333] ppid=13324 vsize=15749312 CPUtime=3.3 cores=0,2,4,6
/proc/13326/task/13333/stat : 13333 (java) S 13324 13326 13038 0 -1 4202560 78080 0 0 0 314 16 0 0 15 0 22 0 511172727 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13334] ppid=13324 vsize=15749312 CPUtime=3.4 cores=0,2,4,6
/proc/13326/task/13334/stat : 13334 (java) S 13324 13326 13038 0 -1 4202560 80390 0 0 0 320 20 0 0 15 0 22 0 511172727 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13326/tid=13335] ppid=13324 vsize=15749312 CPUtime=3.23 cores=0,2,4,6
/proc/13326/task/13335/stat : 13335 (java) S 13324 13326 13038 0 -1 4202560 77795 0 0 0 303 20 0 0 15 0 22 0 511172727 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13336] ppid=13324 vsize=15749312 CPUtime=3.29 cores=0,2,4,6
/proc/13326/task/13336/stat : 13336 (java) S 13324 13326 13038 0 -1 4202560 83667 0 0 0 308 21 0 0 15 0 22 0 511172727 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13326/tid=13337] ppid=13324 vsize=15749312 CPUtime=2.29 cores=0,2,4,6
/proc/13326/task/13337/stat : 13337 (java) S 13324 13326 13038 0 -1 4202560 4161 0 0 0 162 67 0 0 15 0 22 0 511172728 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13338] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13338/stat : 13338 (java) S 13324 13326 13038 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 511172729 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13339] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13339/stat : 13339 (java) S 13324 13326 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511172729 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13340] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13340/stat : 13340 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13341] ppid=13324 vsize=15749312 CPUtime=1.21 cores=0,2,4,6
/proc/13326/task/13341/stat : 13341 (java) S 13324 13326 13038 0 -1 4202560 5167 0 0 0 120 1 0 0 15 0 22 0 511172731 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13342] ppid=13324 vsize=15749312 CPUtime=0.85 cores=0,2,4,6
/proc/13326/task/13342/stat : 13342 (java) S 13324 13326 13038 0 -1 4202560 5222 0 0 0 85 0 0 0 16 0 22 0 511172731 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13326/tid=13343] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13343/stat : 13343 (java) S 13324 13326 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511172731 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13344] ppid=13324 vsize=15749312 CPUtime=0 cores=0,2,4,6
/proc/13326/task/13344/stat : 13344 (java) S 13324 13326 13038 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 511172731 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13326/tid=13345] ppid=13324 vsize=15749312 CPUtime=1192.18 cores=0,2,4,6
/proc/13326/task/13345/stat : 13345 (java) R 13324 13326 13038 0 -1 4202560 223981 0 0 0 119183 35 0 0 25 0 22 0 511172753 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 47410903681014 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13326/tid=13346] ppid=13324 vsize=15749312 CPUtime=1192 cores=0,2,4,6
/proc/13326/task/13346/stat : 13346 (java) R 13324 13326 13038 0 -1 4202560 217144 0 0 0 119160 40 0 0 25 0 22 0 511172753 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505729954 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13326/tid=13347] ppid=13324 vsize=15749312 CPUtime=1192.41 cores=0,2,4,6
/proc/13326/task/13347/stat : 13347 (java) R 13324 13326 13038 0 -1 4202560 228202 0 0 0 119200 41 0 0 25 0 22 0 511172753 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505731266 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13326/tid=13348] ppid=13324 vsize=15749312 CPUtime=1191.97 cores=0,2,4,6
/proc/13326/task/13348/stat : 13348 (java) R 13324 13326 13038 0 -1 4202560 222847 0 0 0 119158 39 0 0 25 0 22 0 511172753 16127295488 87440 33554432000 1073741824 1073778376 140734857115408 18446744073709551615 46912505730754 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 15749312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1207.53
CPU time (s): 4800.09
CPU user time (s): 4796.17
CPU system time (s): 3.91241
CPU usage (%): 397.512
Max. virtual memory (cumulated for all children) (KiB): 15752564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.17
system time used= 3.9124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1561137
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= 317961
involuntary context switches= 169349
runsolver used 2.02269 second user time and 4.6203 second system time
The end