runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479327-1307449401/watcher-3479327-1307449401 -o /tmp/evaluation-result-3479327-1307449401/solver-3479327-1307449401 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3479327-1307449401.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.02 2.00 2/454 23405
/proc/meminfo: memFree=19410892/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 5224 0 1 0 0 0 0 0 18 0 2 0 856538085 13850947584 4925 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3381579 4938 917 9 0 3372735 0
[pid=23405/tid=23406] ppid=23403 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 5849 0 1 0 0 0 0 0 19 0 2 0 856538086 13850947584 6666 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.033275 s]
/proc/loadavg: 1.96 2.02 2.00 2/454 23405
/proc/meminfo: memFree=19410892/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13537012 CPUtime=0.02 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 13308 0 1 0 1 1 0 0 18 0 10 0 856538085 13861900288 13006 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3384253 13006 1515 9 0 3375001 0
[pid=23405/tid=23406] ppid=23403 vsize=13537012 CPUtime=0.02 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 12185 0 1 0 1 1 0 0 22 0 10 0 856538086 13861900288 13007 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 47924537830904 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012
[startup+0.104263 s]
/proc/loadavg: 1.96 2.02 2.00 2/454 23405
/proc/meminfo: memFree=19410892/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13622208 CPUtime=0.1 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 15602 0 1 0 9 1 0 0 18 0 18 0 856538085 13949140992 15298 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3405552 15298 2092 9 0 3396286 0
[pid=23405/tid=23406] ppid=23403 vsize=13622208 CPUtime=0.09 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 13685 0 1 0 8 1 0 0 18 0 18 0 856538086 13949140992 15298 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255376994000 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622208
[startup+0.306227 s]
/proc/loadavg: 1.96 2.02 2.00 2/454 23405
/proc/meminfo: memFree=19410892/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13624500 CPUtime=0.47 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 23046 0 1 0 44 3 0 0 18 0 18 0 856538085 13951488000 22115 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3406125 22116 2199 9 0 3396859 0
[pid=23405/tid=23406] ppid=23403 vsize=13624500 CPUtime=0.29 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 19359 0 1 0 27 2 0 0 18 0 18 0 856538086 13951488000 22117 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 46912505574361 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13624500
[startup+0.708635 s]
/proc/loadavg: 1.96 2.02 2.00 2/454 23405
/proc/meminfo: memFree=19410892/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13627388 CPUtime=0.97 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 52525 0 1 0 90 7 0 0 18 0 18 0 856538085 13954445312 51005 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3406847 51033 2204 9 0 3397581 0
[pid=23405/tid=23406] ppid=23403 vsize=13627388 CPUtime=0.68 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 47637 0 1 0 62 6 0 0 18 0 18 0 856538086 13954445312 51037 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 46912505563830 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 13627388
[startup+1.50103 s]
/proc/loadavg: 1.96 2.02 2.00 3/472 23423
/proc/meminfo: memFree=18912152/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13624500 CPUtime=1.83 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 267606 0 1 0 152 31 0 0 18 0 18 0 856538085 13951488000 265532 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3406125 265559 2204 9 0 3396859 0
[pid=23405/tid=23406] ppid=23403 vsize=13624500 CPUtime=1.48 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 262680 0 1 0 117 31 0 0 20 0 18 0 856538086 13951488000 265572 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 47924537830490 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23405/tid=23408] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23408/stat : 23408 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 856538088 13951488000 265589 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23409] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23409/stat : 23409 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856538088 13951488000 265605 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23410] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23410/stat : 23410 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856538088 13951488000 265621 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23411] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23411/stat : 23411 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856538088 13951488000 265637 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23412] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23412/stat : 23412 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856538088 13951488000 265651 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23413] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23413/stat : 23413 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 856538088 13951488000 265653 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23414] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23414/stat : 23414 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 856538088 13951488000 265655 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23415] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23415/stat : 23415 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 856538088 13951488000 265657 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23416] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23416/stat : 23416 (java) S 23403 23405 22246 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 856538089 13951488000 265658 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 0 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23417] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23417/stat : 23417 (java) S 23403 23405 22246 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 856538089 13951488000 265661 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23418] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23418/stat : 23418 (java) S 23403 23405 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 856538089 13951488000 265661 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23419] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23419/stat : 23419 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856538092 13951488000 265662 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389125041 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23420] ppid=23403 vsize=13624500 CPUtime=0.15 cores=0,2,4,6
/proc/23405/task/23420/stat : 23420 (java) S 23403 23405 22246 0 -1 4202560 2059 0 0 0 15 0 0 0 16 0 18 0 856538092 13951488000 265665 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23421] ppid=23403 vsize=13624500 CPUtime=0.19 cores=0,2,4,6
/proc/23405/task/23421/stat : 23421 (java) S 23403 23405 22246 0 -1 4202560 1755 0 0 0 19 0 0 0 15 0 18 0 856538092 13951488000 265667 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23422] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23422/stat : 23422 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856538092 13951488000 265669 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23423] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23423/stat : 23423 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856538092 13951488000 265671 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13624500
[startup+3.10067 s]
/proc/loadavg: 1.96 2.02 2.00 3/472 23423
/proc/meminfo: memFree=17725844/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13624500 CPUtime=3.44 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 672261 0 1 0 269 75 0 0 18 0 18 0 856538085 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3406125 670186 2204 9 0 3396859 0
[pid=23405/tid=23406] ppid=23403 vsize=13624500 CPUtime=3.07 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 667295 0 1 0 233 74 0 0 25 0 18 0 856538086 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 46912505536554 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23405/tid=23408] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23408/stat : 23408 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 856538088 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23409] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23409/stat : 23409 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856538088 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23410] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23410/stat : 23410 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856538088 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23411] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23411/stat : 23411 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856538088 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23412] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23412/stat : 23412 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856538088 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23413] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23413/stat : 23413 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 856538088 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23414] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23414/stat : 23414 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 856538088 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23415] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23415/stat : 23415 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 856538088 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23416] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23416/stat : 23416 (java) S 23403 23405 22246 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 856538089 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 0 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23417] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23417/stat : 23417 (java) S 23403 23405 22246 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 856538089 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23418] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23418/stat : 23418 (java) S 23403 23405 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 856538089 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23419] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23419/stat : 23419 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856538092 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389125041 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23420] ppid=23403 vsize=13624500 CPUtime=0.15 cores=0,2,4,6
/proc/23405/task/23420/stat : 23420 (java) S 23403 23405 22246 0 -1 4202560 2059 0 0 0 15 0 0 0 16 0 18 0 856538092 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23421] ppid=23403 vsize=13624500 CPUtime=0.2 cores=0,2,4,6
/proc/23405/task/23421/stat : 23421 (java) S 23403 23405 22246 0 -1 4202560 1755 0 0 0 20 0 0 0 15 0 18 0 856538092 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23422] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23422/stat : 23422 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856538092 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23423] ppid=23403 vsize=13624500 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23423/stat : 23423 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856538092 13951488000 670186 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 13624500
[startup+6.30108 s]
/proc/loadavg: 1.96 2.02 2.00 4/472 23423
/proc/meminfo: memFree=15962424/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13625528 CPUtime=7.37 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 870367 0 1 0 641 96 0 0 18 0 19 0 856538085 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3406382 863983 2235 9 0 3397116 0
[pid=23405/tid=23406] ppid=23403 vsize=13625528 CPUtime=6.19 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 841511 0 1 0 526 93 0 0 18 0 19 0 856538086 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 46912505927438 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23405/tid=23408] ppid=23403 vsize=13625528 CPUtime=0.05 cores=0,2,4,6
/proc/23405/task/23408/stat : 23408 (java) S 23403 23405 22246 0 -1 4202560 5269 0 0 0 5 0 0 0 18 0 19 0 856538088 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23409] ppid=23403 vsize=13625528 CPUtime=0.04 cores=0,2,4,6
/proc/23405/task/23409/stat : 23409 (java) S 23403 23405 22246 0 -1 4202560 2413 0 0 0 4 0 0 0 18 0 19 0 856538088 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23410] ppid=23403 vsize=13625528 CPUtime=0.01 cores=0,2,4,6
/proc/23405/task/23410/stat : 23410 (java) S 23403 23405 22246 0 -1 4202560 2527 0 0 0 1 0 0 0 18 0 19 0 856538088 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23411] ppid=23403 vsize=13625528 CPUtime=0.03 cores=0,2,4,6
/proc/23405/task/23411/stat : 23411 (java) S 23403 23405 22246 0 -1 4202560 2744 0 0 0 3 0 0 0 18 0 19 0 856538088 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23412] ppid=23403 vsize=13625528 CPUtime=0.01 cores=0,2,4,6
/proc/23405/task/23412/stat : 23412 (java) S 23403 23405 22246 0 -1 4202560 2195 0 0 0 1 0 0 0 18 0 19 0 856538088 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23413] ppid=23403 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23413/stat : 23413 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23414] ppid=23403 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23414/stat : 23414 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23415] ppid=23403 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23415/stat : 23415 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23416] ppid=23403 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23416/stat : 23416 (java) S 23403 23405 22246 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 856538089 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 0 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23417] ppid=23403 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23417/stat : 23417 (java) S 23403 23405 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856538089 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23418] ppid=23403 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23418/stat : 23418 (java) S 23403 23405 22246 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856538089 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23419] ppid=23403 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23419/stat : 23419 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389125041 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23420] ppid=23403 vsize=13625528 CPUtime=0.26 cores=0,2,4,6
/proc/23405/task/23420/stat : 23420 (java) S 23403 23405 22246 0 -1 4202560 2077 0 0 0 26 0 0 0 15 0 19 0 856538092 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23421] ppid=23403 vsize=13625528 CPUtime=0.72 cores=0,2,4,6
/proc/23405/task/23421/stat : 23421 (java) S 23403 23405 22246 0 -1 4202560 10468 0 0 0 71 1 0 0 15 0 19 0 856538092 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23422] ppid=23403 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23422/stat : 23422 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23423] ppid=23403 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23423/stat : 23423 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856538092 13952540672 863983 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/23405/task/23418/stat : 23418 (java) S 23403 23405 22246 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23419] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23419/stat : 23419 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389125041 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23420] ppid=23403 vsize=13626748 CPUtime=0.42 cores=0,2,4,6
/proc/23405/task/23420/stat : 23420 (java) S 23403 23405 22246 0 -1 4202560 2295 0 0 0 42 0 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23421] ppid=23403 vsize=13626748 CPUtime=0.83 cores=0,2,4,6
/proc/23405/task/23421/stat : 23421 (java) S 23403 23405 22246 0 -1 4202560 10492 0 0 0 82 1 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23422] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23422/stat : 23422 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23423] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23423/stat : 23423 (java) S 23403 23405 22246 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 0 0 0 0
[pid=23405/tid=23424] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23424/stat : 23424 (java) S 23403 23405 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856538668 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1663.67
Current children cumulated vsize (KiB) 13626748
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/473 23470
/proc/meminfo: memFree=15892808/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13626748 CPUtime=1723.67 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 870955 0 1 0 172270 97 0 0 18 0 19 0 856538085 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3406687 863753 2240 9 0 3397421 0
[pid=23405/tid=23406] ppid=23403 vsize=13626748 CPUtime=1722.21 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 841753 0 1 0 172128 93 0 0 25 0 19 0 856538086 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 46912505927267 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23405/tid=23408] ppid=23403 vsize=13626748 CPUtime=0.05 cores=0,2,4,6
/proc/23405/task/23408/stat : 23408 (java) S 23403 23405 22246 0 -1 4202560 5269 0 0 0 5 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23409] ppid=23403 vsize=13626748 CPUtime=0.04 cores=0,2,4,6
/proc/23405/task/23409/stat : 23409 (java) S 23403 23405 22246 0 -1 4202560 2413 0 0 0 4 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23410] ppid=23403 vsize=13626748 CPUtime=0.01 cores=0,2,4,6
/proc/23405/task/23410/stat : 23410 (java) S 23403 23405 22246 0 -1 4202560 2527 0 0 0 1 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23411] ppid=23403 vsize=13626748 CPUtime=0.03 cores=0,2,4,6
/proc/23405/task/23411/stat : 23411 (java) S 23403 23405 22246 0 -1 4202560 2744 0 0 0 3 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23412] ppid=23403 vsize=13626748 CPUtime=0.01 cores=0,2,4,6
/proc/23405/task/23412/stat : 23412 (java) S 23403 23405 22246 0 -1 4202560 2195 0 0 0 1 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23413] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23413/stat : 23413 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23414] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23414/stat : 23414 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23415] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23415/stat : 23415 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23416] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23416/stat : 23416 (java) S 23403 23405 22246 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 0 0 16800975 18446604453841394560 0 0 -1 0 0 0 0
[pid=23405/tid=23417] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23417/stat : 23417 (java) S 23403 23405 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23418] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23418/stat : 23418 (java) S 23403 23405 22246 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23419] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23419/stat : 23419 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389125041 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23420] ppid=23403 vsize=13626748 CPUtime=0.42 cores=0,2,4,6
/proc/23405/task/23420/stat : 23420 (java) S 23403 23405 22246 0 -1 4202560 2295 0 0 0 42 0 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23421] ppid=23403 vsize=13626748 CPUtime=0.83 cores=0,2,4,6
/proc/23405/task/23421/stat : 23421 (java) S 23403 23405 22246 0 -1 4202560 10492 0 0 0 82 1 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23422] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23422/stat : 23422 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23423] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23423/stat : 23423 (java) S 23403 23405 22246 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 0 0 0 0
[pid=23405/tid=23424] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23424/stat : 23424 (java) S 23403 23405 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856538668 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1723.67
Current children cumulated vsize (KiB) 13626748
[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.00 2/454 23474
/proc/meminfo: memFree=16583868/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13626748 CPUtime=1783.67 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 870957 0 1 0 178270 97 0 0 18 0 19 0 856538085 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3406687 863753 2240 9 0 3397421 0
[pid=23405/tid=23406] ppid=23403 vsize=13626748 CPUtime=1782.21 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 841753 0 1 0 178128 93 0 0 25 0 19 0 856538086 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 46912505987763 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23405/tid=23408] ppid=23403 vsize=13626748 CPUtime=0.05 cores=0,2,4,6
/proc/23405/task/23408/stat : 23408 (java) S 23403 23405 22246 0 -1 4202560 5269 0 0 0 5 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23409] ppid=23403 vsize=13626748 CPUtime=0.04 cores=0,2,4,6
/proc/23405/task/23409/stat : 23409 (java) S 23403 23405 22246 0 -1 4202560 2413 0 0 0 4 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23410] ppid=23403 vsize=13626748 CPUtime=0.01 cores=0,2,4,6
/proc/23405/task/23410/stat : 23410 (java) S 23403 23405 22246 0 -1 4202560 2527 0 0 0 1 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23411] ppid=23403 vsize=13626748 CPUtime=0.03 cores=0,2,4,6
/proc/23405/task/23411/stat : 23411 (java) S 23403 23405 22246 0 -1 4202560 2744 0 0 0 3 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23412] ppid=23403 vsize=13626748 CPUtime=0.01 cores=0,2,4,6
/proc/23405/task/23412/stat : 23412 (java) S 23403 23405 22246 0 -1 4202560 2195 0 0 0 1 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23413] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23413/stat : 23413 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23414] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23414/stat : 23414 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23415] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23415/stat : 23415 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23416] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23416/stat : 23416 (java) S 23403 23405 22246 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 0 0 16800975 18446604453841394560 0 0 -1 0 0 0 0
[pid=23405/tid=23417] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23417/stat : 23417 (java) S 23403 23405 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23418] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23418/stat : 23418 (java) S 23403 23405 22246 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23419] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23419/stat : 23419 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389125041 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23420] ppid=23403 vsize=13626748 CPUtime=0.42 cores=0,2,4,6
/proc/23405/task/23420/stat : 23420 (java) S 23403 23405 22246 0 -1 4202560 2295 0 0 0 42 0 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23421] ppid=23403 vsize=13626748 CPUtime=0.83 cores=0,2,4,6
/proc/23405/task/23421/stat : 23421 (java) S 23403 23405 22246 0 -1 4202560 10492 0 0 0 82 1 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23422] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23422/stat : 23422 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23423] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23423/stat : 23423 (java) S 23403 23405 22246 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 0 0 0 0
[pid=23405/tid=23424] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23424/stat : 23424 (java) S 23403 23405 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856538668 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1783.67
Current children cumulated vsize (KiB) 13626748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.7 s]
/proc/loadavg: 1.76 1.98 1.98 2/449 23492
/proc/meminfo: memFree=16597676/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=13626748 CPUtime=1800.09 cores=0,2,4,6
/proc/23405/stat : 23405 (java) S 23403 23405 22246 0 -1 4202496 870959 0 1 0 179912 97 0 0 18 0 19 0 856538085 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 3406687 863753 2240 9 0 3397421 0
[pid=23405/tid=23406] ppid=23403 vsize=13626748 CPUtime=1798.62 cores=0,2,4,6
/proc/23405/task/23406/stat : 23406 (java) R 23403 23405 22246 0 -1 4202560 841753 0 1 0 179769 93 0 0 25 0 19 0 856538086 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 46912505927514 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23405/tid=23408] ppid=23403 vsize=13626748 CPUtime=0.05 cores=0,2,4,6
/proc/23405/task/23408/stat : 23408 (java) S 23403 23405 22246 0 -1 4202560 5269 0 0 0 5 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23409] ppid=23403 vsize=13626748 CPUtime=0.04 cores=0,2,4,6
/proc/23405/task/23409/stat : 23409 (java) S 23403 23405 22246 0 -1 4202560 2413 0 0 0 4 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23410] ppid=23403 vsize=13626748 CPUtime=0.01 cores=0,2,4,6
/proc/23405/task/23410/stat : 23410 (java) S 23403 23405 22246 0 -1 4202560 2527 0 0 0 1 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23411] ppid=23403 vsize=13626748 CPUtime=0.03 cores=0,2,4,6
/proc/23405/task/23411/stat : 23411 (java) S 23403 23405 22246 0 -1 4202560 2744 0 0 0 3 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23412] ppid=23403 vsize=13626748 CPUtime=0.01 cores=0,2,4,6
/proc/23405/task/23412/stat : 23412 (java) S 23403 23405 22246 0 -1 4202560 2195 0 0 0 1 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23413] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23413/stat : 23413 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23414] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23414/stat : 23414 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23415] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23415/stat : 23415 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856538088 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23416] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23416/stat : 23416 (java) S 23403 23405 22246 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 0 0 16800975 18446604453841394560 0 0 -1 0 0 0 0
[pid=23405/tid=23417] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23417/stat : 23417 (java) S 23403 23405 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23418] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23418/stat : 23418 (java) S 23403 23405 22246 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856538089 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23419] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23419/stat : 23419 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389125041 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23420] ppid=23403 vsize=13626748 CPUtime=0.42 cores=0,2,4,6
/proc/23405/task/23420/stat : 23420 (java) S 23403 23405 22246 0 -1 4202560 2295 0 0 0 42 0 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 2 0 0 0
[pid=23405/tid=23421] ppid=23403 vsize=13626748 CPUtime=0.83 cores=0,2,4,6
/proc/23405/task/23421/stat : 23421 (java) S 23403 23405 22246 0 -1 4202560 10492 0 0 0 82 1 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
[pid=23405/tid=23422] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23422/stat : 23422 (java) S 23403 23405 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117337 0 4 0 16800975 18446604453841394560 0 0 -1 6 0 0 0
[pid=23405/tid=23423] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23423/stat : 23423 (java) S 23403 23405 22246 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 856538092 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 0 0 0 0
[pid=23405/tid=23424] ppid=23403 vsize=13626748 CPUtime=0 cores=0,2,4,6
/proc/23405/task/23424/stat : 23424 (java) S 23403 23405 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856538668 13953789952 863753 33554432000 1073741824 1073778376 140736179043792 18446744073709551615 255389117952 0 4 0 16800975 18446604453841394560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13626748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.82 s]
/proc/loadavg: 1.76 1.98 1.98 2/449 23492
/proc/meminfo: memFree=16597676/32951124 swapFree=60787360/67111528
[pid=23405] ppid=23403 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/23405/stat : 23405 (java) Z 23403 23405 22246 0 -1 4203548 870987 0 1 0 179913 107 0 0 17 0 2 0 856538085 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23405/statm: 0 0 0 0 0 0 0
[pid=23405/tid=23413] ppid=23403 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/23405/task/23413/stat : 23413 (java) R 23403 23405 22246 0 -1 4203588 1 0 0 0 0 9 0 0 18 0 2 0 856538088 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.86
CPU time (s): 1800.24
CPU user time (s): 1799.13
CPU system time (s): 1.10983
CPU usage (%): 100.077
Max. virtual memory (cumulated for all children) (KiB): 13627388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.10983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 870987
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= 36759
involuntary context switches= 17321
runsolver used 8.40272 second user time and 17.7753 second system time
The end