runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4103270-1466221407/watcher-4103270-1466221407 -o /tmp/evaluation-result-4103270-1466221407/solver-4103270-1466221407 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15309 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103270-1466221407.opb
pid=23765
running on 8 cores: 4-7,12-15
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: 3.95 4.08 4.21 4/284 23768
/proc/meminfo: memFree=30946696/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=91816 CPUtime=0 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 1283 0 0 0 0 0 0 0 20 0 2 0 24185413 94019584 917 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 22954 917 697 9 0 16769 0
[pid=23768/tid=23769] ppid=23765 vsize=91816 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) D 23765 23768 15292 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 24185414 94019584 917 33554432000 1073741824 1073778376 140736614770400 140144223481384 216799472935 0 0 4096 0 18446744072100756772 0 0 -1 6 0 0 0 0 0
[startup+0.100116 s]
/proc/loadavg: 3.95 4.08 4.21 4/284 23768
/proc/meminfo: memFree=30946696/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=9896436 CPUtime=0.09 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 4480 0 1 0 8 1 0 0 20 0 23 0 24185413 10133950464 6084 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 2474109 6084 2126 9 0 2464786 0
[pid=23768/tid=23769] ppid=23765 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) R 23765 23768 15292 0 -1 4202560 2421 0 1 0 6 0 0 0 20 0 23 0 24185414 10133950464 6084 33554432000 1073741824 1073778376 140736614770400 140144223484832 216812021005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9896436
[startup+0.200272 s]
/proc/loadavg: 3.95 4.08 4.21 4/284 23768
/proc/meminfo: memFree=30946696/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=9896436 CPUtime=0.26 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 5050 0 1 0 25 1 0 0 20 0 23 0 24185413 10133950464 11638 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 2474109 11638 2204 9 0 2464786 0
[pid=23768/tid=23769] ppid=23765 vsize=9896436 CPUtime=0.16 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) R 23765 23768 15292 0 -1 4202560 2447 0 1 0 16 0 0 0 20 0 23 0 24185414 10133950464 11638 33554432000 1073741824 1073778376 140736614770400 140144223484728 140144061571792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9896436
[startup+0.30029 s]
/proc/loadavg: 3.95 4.08 4.21 4/284 23768
/proc/meminfo: memFree=30946696/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=9896436 CPUtime=0.56 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 6577 0 1 0 54 2 0 0 20 0 23 0 24185413 10133950464 14407 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 2474109 14407 2240 9 0 2464786 0
[pid=23768/tid=23769] ppid=23765 vsize=9896436 CPUtime=0.26 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) R 23765 23768 15292 0 -1 4202560 2459 0 1 0 25 1 0 0 20 0 23 0 24185414 10133950464 14407 33554432000 1073741824 1073778376 140736614770400 140144223484728 140144061531649 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9896436
[startup+0.700243 s]
/proc/loadavg: 3.95 4.08 4.21 4/284 23768
/proc/meminfo: memFree=30946696/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=9896436 CPUtime=1.63 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 20565 0 1 0 158 5 0 0 20 0 23 0 24185413 10133950464 42843 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 2474109 42843 2260 9 0 2464786 0
[pid=23768/tid=23769] ppid=23765 vsize=9896436 CPUtime=0.66 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) R 23765 23768 15292 0 -1 4202560 2502 0 1 0 64 2 0 0 20 0 23 0 24185414 10133950464 42843 33554432000 1073741824 1073778376 140736614770400 140144223477664 140144062068250 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9896436
[startup+1.50098 s]
/proc/loadavg: 3.95 4.08 4.21 16/307 23791
/proc/meminfo: memFree=30650048/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=9896436 CPUtime=3.47 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 21603 0 1 0 285 62 0 0 20 0 23 0 24185413 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 2474109 90403 2276 9 0 2464786 0
[pid=23768/tid=23769] ppid=23765 vsize=9896436 CPUtime=1.31 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) R 23765 23768 15292 0 -1 4202560 2539 0 1 0 127 4 0 0 20 0 23 0 24185414 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144223484472 140144061963900 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23771] ppid=23765 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/23768/task/23771/stat : 23771 (java) S 23765 23768 15292 0 -1 4202560 30 0 0 0 2 4 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144184978472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23772] ppid=23765 vsize=9896436 CPUtime=0.09 cores=4-7,12-15
/proc/23768/task/23772/stat : 23772 (java) S 23765 23768 15292 0 -1 4202560 46 0 0 0 4 5 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144183925672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23773] ppid=23765 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/23768/task/23773/stat : 23773 (java) S 23765 23768 15292 0 -1 4202560 95 0 0 0 4 7 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144182872872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23774] ppid=23765 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/23768/task/23774/stat : 23774 (java) S 23765 23768 15292 0 -1 4202560 84 0 0 0 3 3 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144181820072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23775] ppid=23765 vsize=9896436 CPUtime=0.12 cores=4-7,12-15
/proc/23768/task/23775/stat : 23775 (java) S 23765 23768 15292 0 -1 4202560 91 0 0 0 6 6 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144180767272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=23768/tid=23776] ppid=23765 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/23768/task/23776/stat : 23776 (java) S 23765 23768 15292 0 -1 4202560 89 0 0 0 5 6 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144061442472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=23768/tid=23777] ppid=23765 vsize=9896436 CPUtime=0.05 cores=4-7,12-15
/proc/23768/task/23777/stat : 23777 (java) S 23765 23768 15292 0 -1 4202560 23 0 0 0 2 3 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144060389672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23778] ppid=23765 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/23768/task/23778/stat : 23778 (java) S 23765 23768 15292 0 -1 4202560 77 0 0 0 2 4 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144059336872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23779] ppid=23765 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/23768/task/23779/stat : 23779 (java) S 23765 23768 15292 0 -1 4202560 35 0 0 0 2 4 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144058285096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23780] ppid=23765 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/23768/task/23780/stat : 23780 (java) S 23765 23768 15292 0 -1 4202560 33 0 0 0 3 3 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144057232296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23781] ppid=23765 vsize=9896436 CPUtime=0.1 cores=4-7,12-15
/proc/23768/task/23781/stat : 23781 (java) S 23765 23768 15292 0 -1 4202560 157 0 0 0 5 5 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144056179496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23768/tid=23782] ppid=23765 vsize=9896436 CPUtime=0.04 cores=4-7,12-15
/proc/23768/task/23782/stat : 23782 (java) S 23765 23768 15292 0 -1 4202560 131 0 0 0 2 2 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144055126696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23783] ppid=23765 vsize=9896436 CPUtime=0.05 cores=4-7,12-15
/proc/23768/task/23783/stat : 23783 (java) S 23765 23768 15292 0 -1 4202560 61 0 0 0 2 3 0 0 20 0 23 0 24185415 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140144054073896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23784] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23784/stat : 23784 (java) S 23765 23768 15292 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 23 0 24185416 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140143163828584 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23785] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23785/stat : 23785 (java) S 23765 23768 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 23 0 24185416 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140143162774648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23786] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23786/stat : 23786 (java) S 23765 23768 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 23 0 24185416 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140143161721736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23787] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23787/stat : 23787 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 24185419 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140143160671248 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23788] ppid=23765 vsize=9896436 CPUtime=0.53 cores=4-7,12-15
/proc/23768/task/23788/stat : 23788 (java) S 23765 23768 15292 0 -1 4202560 11583 0 0 0 51 2 0 0 20 0 23 0 24185419 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140143159618360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23789] ppid=23765 vsize=9896436 CPUtime=0.41 cores=4-7,12-15
/proc/23768/task/23789/stat : 23789 (java) S 23765 23768 15292 0 -1 4202560 5203 0 0 0 40 1 0 0 20 0 23 0 24185419 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140143158565560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23790] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23790/stat : 23790 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 24185419 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140143157512952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23791] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23791/stat : 23791 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 24185419 10133950464 90403 33554432000 1073741824 1073778376 140736614770400 140143156460360 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 9896436
[startup+3.10137 s]
/proc/loadavg: 3.95 4.08 4.21 4/307 23791
/proc/meminfo: memFree=30430548/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=9896436 CPUtime=7.28 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 23214 0 1 0 565 163 0 0 20 0 23 0 24185413 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 2474109 164901 2284 9 0 2464786 0
[pid=23768/tid=23769] ppid=23765 vsize=9896436 CPUtime=1.98 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) R 23765 23768 15292 0 -1 4202560 2567 0 1 0 193 5 0 0 20 0 23 0 24185414 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144223477712 140144062069725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23768/tid=23771] ppid=23765 vsize=9896436 CPUtime=0.22 cores=4-7,12-15
/proc/23768/task/23771/stat : 23771 (java) S 23765 23768 15292 0 -1 4202560 90 0 0 0 12 10 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144184978472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23772] ppid=23765 vsize=9896436 CPUtime=0.22 cores=4-7,12-15
/proc/23768/task/23772/stat : 23772 (java) S 23765 23768 15292 0 -1 4202560 91 0 0 0 12 10 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144183925672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23773] ppid=23765 vsize=9896436 CPUtime=0.43 cores=4-7,12-15
/proc/23768/task/23773/stat : 23773 (java) S 23765 23768 15292 0 -1 4202560 216 0 0 0 23 20 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144182872872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23774] ppid=23765 vsize=9896436 CPUtime=0.24 cores=4-7,12-15
/proc/23768/task/23774/stat : 23774 (java) S 23765 23768 15292 0 -1 4202560 148 0 0 0 13 11 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144181820072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23775] ppid=23765 vsize=9896436 CPUtime=0.28 cores=4-7,12-15
/proc/23768/task/23775/stat : 23775 (java) S 23765 23768 15292 0 -1 4202560 150 0 0 0 16 12 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144180767272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23768/tid=23776] ppid=23765 vsize=9896436 CPUtime=0.44 cores=4-7,12-15
/proc/23768/task/23776/stat : 23776 (java) S 23765 23768 15292 0 -1 4202560 207 0 0 0 25 19 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144061442472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=23768/tid=23777] ppid=23765 vsize=9896436 CPUtime=0.2 cores=4-7,12-15
/proc/23768/task/23777/stat : 23777 (java) S 23765 23768 15292 0 -1 4202560 71 0 0 0 11 9 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144060389672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23778] ppid=23765 vsize=9896436 CPUtime=0.19 cores=4-7,12-15
/proc/23768/task/23778/stat : 23778 (java) S 23765 23768 15292 0 -1 4202560 267 0 0 0 11 8 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144059336872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23779] ppid=23765 vsize=9896436 CPUtime=0.28 cores=4-7,12-15
/proc/23768/task/23779/stat : 23779 (java) S 23765 23768 15292 0 -1 4202560 114 0 0 0 15 13 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144058285096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23780] ppid=23765 vsize=9896436 CPUtime=0.24 cores=4-7,12-15
/proc/23768/task/23780/stat : 23780 (java) S 23765 23768 15292 0 -1 4202560 237 0 0 0 15 9 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144057232296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=23768/tid=23781] ppid=23765 vsize=9896436 CPUtime=0.4 cores=4-7,12-15
/proc/23768/task/23781/stat : 23781 (java) S 23765 23768 15292 0 -1 4202560 262 0 0 0 23 17 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144056179496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23768/tid=23782] ppid=23765 vsize=9896436 CPUtime=0.2 cores=4-7,12-15
/proc/23768/task/23782/stat : 23782 (java) S 23765 23768 15292 0 -1 4202560 182 0 0 0 11 9 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144055126696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23783] ppid=23765 vsize=9896436 CPUtime=0.19 cores=4-7,12-15
/proc/23768/task/23783/stat : 23783 (java) S 23765 23768 15292 0 -1 4202560 115 0 0 0 10 9 0 0 20 0 23 0 24185415 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140144054073896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23784] ppid=23765 vsize=9896436 CPUtime=0.6 cores=4-7,12-15
/proc/23768/task/23784/stat : 23784 (java) S 23765 23768 15292 0 -1 4202560 457 0 0 0 60 0 0 0 20 0 23 0 24185416 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140143163828584 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23785] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23785/stat : 23785 (java) S 23765 23768 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 23 0 24185416 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140143162774648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23786] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23786/stat : 23786 (java) S 23765 23768 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 23 0 24185416 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140143161721736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23787] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23787/stat : 23787 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 24185419 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140143160671248 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23788] ppid=23765 vsize=9896436 CPUtime=0.53 cores=4-7,12-15
/proc/23768/task/23788/stat : 23788 (java) S 23765 23768 15292 0 -1 4202560 11583 0 0 0 51 2 0 0 20 0 23 0 24185419 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140143159618360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23789] ppid=23765 vsize=9896436 CPUtime=0.41 cores=4-7,12-15
/proc/23768/task/23789/stat : 23789 (java) S 23765 23768 15292 0 -1 4202560 5203 0 0 0 40 1 0 0 20 0 23 0 24185419 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140143158565560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23790] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23790/stat : 23790 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 24185419 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140143157512952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23791] ppid=23765 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23791/stat : 23791 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 24185419 10133950464 164901 33554432000 1073741824 1073778376 140736614770400 140143156460360 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9896436
[startup+6.30094 s]
/proc/loadavg: 4.76 4.24 4.26 4/307 23791
/proc/meminfo: memFree=29878528/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=9896436 CPUtime=12.95 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 26105 0 1 0 1027 268 0 0 20 0 23 0 24185413 10133950464 278952 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 2474109 278952 2284 9 0 2464786 0
[pid=23768/tid=23769] ppid=23765 vsize=9896436 CPUtime=3.83 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) S 23765 23768 15292 0 -1 4202560 2855 0 1 0 376 7 0 0 20 0 23 0 24185414 10133950464 278952 33554432000 1073741824 1073778376 140736614770400 140144223484472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23768/tid=23771] ppid=23765 vsize=9896436 CPUtime=0.41 cores=4-7,12-15
/proc/23768/task/23771/stat : 23771 (java) R 23765 23768 15292 0 -1 4202560 169 0 0 0 24 17 0 0 20 0 23 0 24185415 10133950464 278952 33554432000 1073741824 1073778376 140736614770400 140144184978352 140144230382873 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23772] ppid=23765 vsize=9896436 CPUtime=0.42 cores=4-7,12-15
/proc/23768/task/23772/stat : 23772 (java) R 23765 23768 15292 0 -1 4202560 461 0 0 0 25 17 0 0 20 0 23 0 24185415 10133950464 278952 33554432000 1073741824 1073778376 140736614770400 140144183925848 140144227243191 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=23768/tid=23773] ppid=23765 vsize=9896436 CPUtime=0.66 cores=4-7,12-15
/proc/23768/task/23773/stat : 23773 (java) R 23765 23768 15292 0 -1 4202560 306 0 0 0 38 28 0 0 20 0 23 0 24185415 10133950464 278952 33554432000 1073741824 1073778376 140736614770400 140144182872872 140144230384722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23774] ppid=23765 vsize=9896436 CPUtime=0.46 cores=4-7,12-15
/proc/23768/task/23774/stat : 23774 (java) R 23765 23768 15292 0 -1 4202560 530 0 0 0 27 19 0 0 20 0 23 0 24185415 10133950464 278952 33554432000 1073741824 1073778376 140736614770400 140144181820248 140144227648228 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23775] ppid=23765 vsize=9896436 CPUtime=0.52 cores=4-7,12-15
/proc/23768/task/23775/stat : 23775 (java) R 23765 23768 15292 0 -1 4202560 242 0 0 0 30 22 0 0 20 0 23 0 24185415 10133950464 278952 33554432000 1073741824 1073778376 140736614770400 140144180767448 140144227661999 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=23768/tid=23776] ppid=23765 vsize=9896436 CPUtime=0.59 cores=4-7,12-15
################
# More data... #
################
/proc/23768/task/23788/stat : 23788 (java) S 23765 23768 15292 0 -1 4202560 11664 0 0 0 165 2 0 0 20 0 27 0 24185419 10406596608 1021083 33554432000 1073741824 1073778376 140736614770400 140143159618360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23789] ppid=23765 vsize=10162692 CPUtime=1.03 cores=4-7,12-15
/proc/23768/task/23789/stat : 23789 (java) S 23765 23768 15292 0 -1 4202560 5218 0 0 0 101 2 0 0 20 0 27 0 24185419 10406596608 1021083 33554432000 1073741824 1073778376 140736614770400 140143158565560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23790] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23790/stat : 23790 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24185419 10406596608 1021083 33554432000 1073741824 1073778376 140736614770400 140143157512952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23791] ppid=23765 vsize=10162692 CPUtime=0.36 cores=4-7,12-15
/proc/23768/task/23791/stat : 23791 (java) S 23765 23768 15292 0 -1 4202560 45 0 0 0 15 21 0 0 20 0 27 0 24185419 10406596608 1021083 33554432000 1073741824 1073778376 140736614770400 140143156460360 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23792] ppid=23765 vsize=10162692 CPUtime=736.32 cores=4-7,12-15
/proc/23768/task/23792/stat : 23792 (java) R 23765 23768 15292 0 -1 4202560 44 0 0 0 73621 11 0 0 20 0 27 0 24186352 10406596608 1021083 33554432000 1073741824 1073778376 140736614770400 140143155404240 140144062358572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23768/tid=23793] ppid=23765 vsize=10162692 CPUtime=736.31 cores=4-7,12-15
/proc/23768/task/23793/stat : 23793 (java) R 23765 23768 15292 0 -1 4202560 53 0 0 0 73620 11 0 0 20 0 27 0 24186352 10406596608 1021083 33554432000 1073741824 1073778376 140736614770400 140143154350064 140144062344088 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23794] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23794/stat : 23794 (java) S 23765 23768 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 24186372 10406596608 1021083 33554432000 1073741824 1073778376 140736614770400 140143153300264 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=23768/tid=23795] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23795/stat : 23795 (java) S 23765 23768 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 24186379 10406596608 1021083 33554432000 1073741824 1073778376 140736614770400 140143152248488 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1593.33
Current children cumulated vsize (KiB) 10162692
[startup+822.301 s]
/proc/loadavg: 4.05 4.09 4.19 5/311 23887
/proc/meminfo: memFree=26920120/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=10162692 CPUtime=1716.77 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 42976 0 1 0 170054 1623 0 0 20 0 27 0 24185413 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 2540673 1029606 2298 9 0 2531350 0
[pid=23768/tid=23769] ppid=23765 vsize=10162692 CPUtime=6.42 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) S 23765 23768 15292 0 -1 4202560 3433 0 1 0 631 11 0 0 20 0 27 0 24185414 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144223486840 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23771] ppid=23765 vsize=10162692 CPUtime=7.71 cores=4-7,12-15
/proc/23768/task/23771/stat : 23771 (java) S 23765 23768 15292 0 -1 4202560 1354 0 0 0 657 114 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144184978472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23772] ppid=23765 vsize=10162692 CPUtime=8.12 cores=4-7,12-15
/proc/23768/task/23772/stat : 23772 (java) S 23765 23768 15292 0 -1 4202560 1320 0 0 0 701 111 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144183925672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23773] ppid=23765 vsize=10162692 CPUtime=7.82 cores=4-7,12-15
/proc/23768/task/23773/stat : 23773 (java) S 23765 23768 15292 0 -1 4202560 1613 0 0 0 646 136 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144182872872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23774] ppid=23765 vsize=10162692 CPUtime=8.08 cores=4-7,12-15
/proc/23768/task/23774/stat : 23774 (java) S 23765 23768 15292 0 -1 4202560 1307 0 0 0 708 100 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144181820072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23775] ppid=23765 vsize=10162692 CPUtime=8.78 cores=4-7,12-15
/proc/23768/task/23775/stat : 23775 (java) S 23765 23768 15292 0 -1 4202560 1134 0 0 0 766 112 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144180767272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23776] ppid=23765 vsize=10162692 CPUtime=8.8 cores=4-7,12-15
/proc/23768/task/23776/stat : 23776 (java) S 23765 23768 15292 0 -1 4202560 1436 0 0 0 736 144 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144061442472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23777] ppid=23765 vsize=10162692 CPUtime=8.71 cores=4-7,12-15
/proc/23768/task/23777/stat : 23777 (java) S 23765 23768 15292 0 -1 4202560 1754 0 0 0 736 135 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144060389672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23778] ppid=23765 vsize=10162692 CPUtime=7.74 cores=4-7,12-15
/proc/23768/task/23778/stat : 23778 (java) S 23765 23768 15292 0 -1 4202560 1350 0 0 0 659 115 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144059336872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=23768/tid=23779] ppid=23765 vsize=10162692 CPUtime=8.45 cores=4-7,12-15
/proc/23768/task/23779/stat : 23779 (java) S 23765 23768 15292 0 -1 4202560 1339 0 0 0 729 116 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144058285096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23780] ppid=23765 vsize=10162692 CPUtime=8.21 cores=4-7,12-15
/proc/23768/task/23780/stat : 23780 (java) S 23765 23768 15292 0 -1 4202560 1308 0 0 0 707 114 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144057232296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=23768/tid=23781] ppid=23765 vsize=10162692 CPUtime=8.01 cores=4-7,12-15
/proc/23768/task/23781/stat : 23781 (java) S 23765 23768 15292 0 -1 4202560 1440 0 0 0 687 114 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144056179496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23782] ppid=23765 vsize=10162692 CPUtime=8.86 cores=4-7,12-15
/proc/23768/task/23782/stat : 23782 (java) S 23765 23768 15292 0 -1 4202560 1521 0 0 0 756 130 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144055126696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23783] ppid=23765 vsize=10162692 CPUtime=7.99 cores=4-7,12-15
/proc/23768/task/23783/stat : 23783 (java) S 23765 23768 15292 0 -1 4202560 1504 0 0 0 663 136 0 0 20 0 27 0 24185415 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140144054073896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=23768/tid=23784] ppid=23765 vsize=10162692 CPUtime=4.53 cores=4-7,12-15
/proc/23768/task/23784/stat : 23784 (java) S 23765 23768 15292 0 -1 4202560 2867 0 0 0 450 3 0 0 20 0 27 0 24185416 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143163828584 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23785] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23785/stat : 23785 (java) S 23765 23768 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 24185416 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143162774648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23786] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23786/stat : 23786 (java) S 23765 23768 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 24185416 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143161721736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23787] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23787/stat : 23787 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24185419 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143160671248 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23788] ppid=23765 vsize=10162692 CPUtime=1.67 cores=4-7,12-15
/proc/23768/task/23788/stat : 23788 (java) S 23765 23768 15292 0 -1 4202560 11664 0 0 0 165 2 0 0 20 0 27 0 24185419 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143159618360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23789] ppid=23765 vsize=10162692 CPUtime=1.03 cores=4-7,12-15
/proc/23768/task/23789/stat : 23789 (java) S 23765 23768 15292 0 -1 4202560 5218 0 0 0 101 2 0 0 20 0 27 0 24185419 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143158565560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23790] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23790/stat : 23790 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24185419 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143157512952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23791] ppid=23765 vsize=10162692 CPUtime=0.39 cores=4-7,12-15
/proc/23768/task/23791/stat : 23791 (java) S 23765 23768 15292 0 -1 4202560 47 0 0 0 17 22 0 0 20 0 27 0 24185419 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143156460360 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23792] ppid=23765 vsize=10162692 CPUtime=795.57 cores=4-7,12-15
/proc/23768/task/23792/stat : 23792 (java) R 23765 23768 15292 0 -1 4202560 46 0 0 0 79545 12 0 0 20 0 27 0 24186352 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143155403344 140144062153164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23768/tid=23793] ppid=23765 vsize=10162692 CPUtime=795.57 cores=4-7,12-15
/proc/23768/task/23793/stat : 23793 (java) R 23765 23768 15292 0 -1 4202560 54 0 0 0 79544 13 0 0 20 0 27 0 24186352 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143154351376 140144062417731 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23794] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23794/stat : 23794 (java) S 23765 23768 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 24186372 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143153300264 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=23768/tid=23795] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23795/stat : 23795 (java) S 23765 23768 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 24186379 10406596608 1029606 33554432000 1073741824 1073778376 140736614770400 140143152248488 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1716.77
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+865.601 s]
/proc/loadavg: 4.05 4.09 4.18 5/311 23888
/proc/meminfo: memFree=26223560/32872528 swapFree=7804/7804
[pid=23768] ppid=23765 vsize=10162692 CPUtime=1800.19 cores=4-7,12-15
/proc/23768/stat : 23768 (java) S 23765 23768 15292 0 -1 4202496 44407 0 1 0 178375 1644 0 0 20 0 27 0 24185413 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140736614761536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23768/statm: 2540673 1056453 2298 9 0 2531350 0
[pid=23768/tid=23769] ppid=23765 vsize=10162692 CPUtime=6.42 cores=4-7,12-15
/proc/23768/task/23769/stat : 23769 (java) S 23765 23768 15292 0 -1 4202560 3433 0 1 0 631 11 0 0 20 0 27 0 24185414 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144223486840 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23771] ppid=23765 vsize=10162692 CPUtime=7.86 cores=4-7,12-15
/proc/23768/task/23771/stat : 23771 (java) S 23765 23768 15292 0 -1 4202560 1363 0 0 0 671 115 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144184978472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=23768/tid=23772] ppid=23765 vsize=10162692 CPUtime=8.27 cores=4-7,12-15
/proc/23768/task/23772/stat : 23772 (java) S 23765 23768 15292 0 -1 4202560 1330 0 0 0 715 112 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144183925672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23768/tid=23773] ppid=23765 vsize=10162692 CPUtime=8.18 cores=4-7,12-15
/proc/23768/task/23773/stat : 23773 (java) S 23765 23768 15292 0 -1 4202560 1633 0 0 0 679 139 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144182872872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23774] ppid=23765 vsize=10162692 CPUtime=8.26 cores=4-7,12-15
/proc/23768/task/23774/stat : 23774 (java) S 23765 23768 15292 0 -1 4202560 1320 0 0 0 724 102 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144181820072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23775] ppid=23765 vsize=10162692 CPUtime=8.96 cores=4-7,12-15
/proc/23768/task/23775/stat : 23775 (java) S 23765 23768 15292 0 -1 4202560 1143 0 0 0 783 113 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144180767272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=23768/tid=23776] ppid=23765 vsize=10162692 CPUtime=9.01 cores=4-7,12-15
/proc/23768/task/23776/stat : 23776 (java) S 23765 23768 15292 0 -1 4202560 1447 0 0 0 756 145 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144061442472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23777] ppid=23765 vsize=10162692 CPUtime=8.91 cores=4-7,12-15
/proc/23768/task/23777/stat : 23777 (java) S 23765 23768 15292 0 -1 4202560 1767 0 0 0 754 137 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144060389672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23768/tid=23778] ppid=23765 vsize=10162692 CPUtime=7.91 cores=4-7,12-15
/proc/23768/task/23778/stat : 23778 (java) S 23765 23768 15292 0 -1 4202560 1358 0 0 0 675 116 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144059336872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23768/tid=23779] ppid=23765 vsize=10162692 CPUtime=8.81 cores=4-7,12-15
/proc/23768/task/23779/stat : 23779 (java) S 23765 23768 15292 0 -1 4202560 1358 0 0 0 762 119 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144058285096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23780] ppid=23765 vsize=10162692 CPUtime=8.52 cores=4-7,12-15
/proc/23768/task/23780/stat : 23780 (java) S 23765 23768 15292 0 -1 4202560 1325 0 0 0 736 116 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144057232296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23781] ppid=23765 vsize=10162692 CPUtime=8.26 cores=4-7,12-15
/proc/23768/task/23781/stat : 23781 (java) S 23765 23768 15292 0 -1 4202560 1449 0 0 0 710 116 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144056179496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23782] ppid=23765 vsize=10162692 CPUtime=9.01 cores=4-7,12-15
/proc/23768/task/23782/stat : 23782 (java) S 23765 23768 15292 0 -1 4202560 1527 0 0 0 770 131 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144055126696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23783] ppid=23765 vsize=10162692 CPUtime=8.18 cores=4-7,12-15
/proc/23768/task/23783/stat : 23783 (java) S 23765 23768 15292 0 -1 4202560 1511 0 0 0 681 137 0 0 20 0 27 0 24185415 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140144054073896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=23768/tid=23784] ppid=23765 vsize=10162692 CPUtime=9.84 cores=4-7,12-15
/proc/23768/task/23784/stat : 23784 (java) S 23765 23768 15292 0 -1 4202560 4139 0 0 0 980 4 0 0 20 0 27 0 24185416 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143163828584 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=23768/tid=23785] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23785/stat : 23785 (java) S 23765 23768 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 24185416 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143162774648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23786] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23786/stat : 23786 (java) S 23765 23768 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 24185416 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143161721736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23787] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23787/stat : 23787 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24185419 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143160671248 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23788] ppid=23765 vsize=10162692 CPUtime=1.67 cores=4-7,12-15
/proc/23768/task/23788/stat : 23788 (java) S 23765 23768 15292 0 -1 4202560 11665 0 0 0 165 2 0 0 20 0 27 0 24185419 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143159618360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=23768/tid=23789] ppid=23765 vsize=10162692 CPUtime=1.03 cores=4-7,12-15
/proc/23768/task/23789/stat : 23789 (java) S 23765 23768 15292 0 -1 4202560 5218 0 0 0 101 2 0 0 20 0 27 0 24185419 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143158565560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23768/tid=23790] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23790/stat : 23790 (java) S 23765 23768 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24185419 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143157512952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=23768/tid=23791] ppid=23765 vsize=10162692 CPUtime=0.42 cores=4-7,12-15
/proc/23768/task/23791/stat : 23791 (java) S 23765 23768 15292 0 -1 4202560 51 0 0 0 18 24 0 0 20 0 27 0 24185419 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143156460360 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23768/tid=23792] ppid=23765 vsize=10162692 CPUtime=833.08 cores=4-7,12-15
/proc/23768/task/23792/stat : 23792 (java) R 23765 23768 15292 0 -1 4202560 47 0 0 0 83296 12 0 0 20 0 27 0 24186352 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143155404128 140144062358592 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=23768/tid=23793] ppid=23765 vsize=10162692 CPUtime=833.07 cores=4-7,12-15
/proc/23768/task/23793/stat : 23793 (java) R 23765 23768 15292 0 -1 4202560 56 0 0 0 83294 13 0 0 20 0 27 0 24186352 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143154350064 140144062340208 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=23768/tid=23794] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23794/stat : 23794 (java) S 23765 23768 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 24186372 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143153300264 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=23768/tid=23795] ppid=23765 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/23768/task/23795/stat : 23795 (java) S 23765 23768 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 24186379 10406596608 1056453 33554432000 1073741824 1073778376 140736614770400 140143152248488 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10162692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23768 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23768 and gives
# childrusage.ru_utime.tv_sec=1779
# childrusage.ru_utime.tv_usec=301505
# childrusage.ru_stime.tv_sec=16
# childrusage.ru_stime.tv_usec=881433
# CPU time returned by wait4() is 1796.18
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 865.653
CPU time (s): 1800.19
CPU user time (s): 1783.75
CPU system time (s): 16.44
CPU usage (%): 207.957
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.3
system time used= 16.8814
maximum resident set size= 4225928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44443
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23787
involuntary context switches= 21818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47986 second user time and 10.0215 second system time
The end