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-4101938-1466216867/watcher-4101938-1466216867 -o /tmp/evaluation-result-4101938-1466216867/solver-4101938-1466216867 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15308 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101938-1466216867.opb
pid=21795
running on 8 cores: 0-3,8-11
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: 4.25 4.17 4.12 4/284 21798
/proc/meminfo: memFree=28177156/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=91816 CPUtime=0 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 23731525 94019584 917 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 4096 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 22954 917 697 9 0 16769 0
[pid=21798/tid=21799] ppid=21795 vsize=91816 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) D 21795 21798 15292 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 23731526 94019584 917 33554432000 1073741824 1073778376 140737082282000 140563301813800 216799472935 0 0 4096 0 18446744072100756772 0 0 -1 9 0 0 0 0 0
[startup+0.100099 s]
/proc/loadavg: 4.25 4.17 4.12 4/284 21798
/proc/meminfo: memFree=28177156/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=9896436 CPUtime=0.1 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 4442 0 1 0 8 2 0 0 20 0 23 0 23731525 10133950464 6081 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 2474109 6081 2126 9 0 2464786 0
[pid=21798/tid=21799] ppid=21795 vsize=9896436 CPUtime=0.06 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) R 21795 21798 15292 0 -1 4202560 2413 0 1 0 5 1 0 0 20 0 23 0 23731526 10133950464 6081 33554432000 1073741824 1073778376 140737082282000 140563301814024 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9896436
[startup+0.200262 s]
/proc/loadavg: 4.25 4.17 4.12 4/284 21798
/proc/meminfo: memFree=28177156/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=9896436 CPUtime=0.25 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 4748 0 1 0 23 2 0 0 20 0 23 0 23731525 10133950464 6829 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 2474109 6829 2205 9 0 2464786 0
[pid=21798/tid=21799] ppid=21795 vsize=9896436 CPUtime=0.16 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) R 21795 21798 15292 0 -1 4202560 2433 0 1 0 15 1 0 0 20 0 23 0 23731526 10133950464 6829 33554432000 1073741824 1073778376 140737082282000 140563301814024 216812010552 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9896436
[startup+0.300257 s]
/proc/loadavg: 4.25 4.17 4.12 4/284 21798
/proc/meminfo: memFree=28177156/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=9897652 CPUtime=0.56 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 11590 0 1 0 52 4 0 0 20 0 23 0 23731525 10135195648 13348 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 2474413 13376 2234 9 0 2465090 0
[pid=21798/tid=21799] ppid=21795 vsize=9897652 CPUtime=0.26 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) R 21795 21798 15292 0 -1 4202560 2436 0 1 0 25 1 0 0 20 0 23 0 23731526 10135195648 13395 33554432000 1073741824 1073778376 140737082282000 140563301818448 140563156779020 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9897652
[startup+0.700232 s]
/proc/loadavg: 4.25 4.17 4.12 4/284 21798
/proc/meminfo: memFree=28177156/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=9896436 CPUtime=1.38 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 16236 0 1 0 132 6 0 0 20 0 23 0 23731525 10133950464 41941 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 2474109 41941 2245 9 0 2464786 0
[pid=21798/tid=21799] ppid=21795 vsize=9896436 CPUtime=0.66 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) R 21795 21798 15292 0 -1 4202560 2491 0 1 0 63 3 0 0 20 0 23 0 23731526 10133950464 41941 33554432000 1073741824 1073778376 140737082282000 140563301810080 140563156910225 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9896436
[startup+1.50096 s]
/proc/loadavg: 4.25 4.17 4.12 4/307 21821
/proc/meminfo: memFree=27962056/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=9896436 CPUtime=2.74 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 18812 0 1 0 245 29 0 0 20 0 23 0 23731525 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 2474109 77745 2261 9 0 2464786 0
[pid=21798/tid=21799] ppid=21795 vsize=9896436 CPUtime=1.39 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) R 21795 21798 15292 0 -1 4202560 2541 0 1 0 135 4 0 0 20 0 23 0 23731526 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140563301810064 140563156755720 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=21798/tid=21801] ppid=21795 vsize=9896436 CPUtime=0.02 cores=0-3,8-11
/proc/21798/task/21801/stat : 21801 (java) S 21795 21798 15292 0 -1 4202560 46 0 0 0 0 2 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140563145337128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21802] ppid=21795 vsize=9896436 CPUtime=0.05 cores=0-3,8-11
/proc/21798/task/21802/stat : 21802 (java) S 21795 21798 15292 0 -1 4202560 72 0 0 0 2 3 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140563144284328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21803] ppid=21795 vsize=9896436 CPUtime=0.05 cores=0-3,8-11
/proc/21798/task/21803/stat : 21803 (java) S 21795 21798 15292 0 -1 4202560 59 0 0 0 2 3 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140563143232040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21798/tid=21804] ppid=21795 vsize=9896436 CPUtime=0.02 cores=0-3,8-11
/proc/21798/task/21804/stat : 21804 (java) S 21795 21798 15292 0 -1 4202560 71 0 0 0 0 2 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140563142179240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21805] ppid=21795 vsize=9896436 CPUtime=0.02 cores=0-3,8-11
/proc/21798/task/21805/stat : 21805 (java) S 21795 21798 15292 0 -1 4202560 63 0 0 0 0 2 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140563141126952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=21798/tid=21806] ppid=21795 vsize=9896436 CPUtime=0.01 cores=0-3,8-11
/proc/21798/task/21806/stat : 21806 (java) S 21795 21798 15292 0 -1 4202560 17 0 0 0 0 1 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562803976872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21798/tid=21807] ppid=21795 vsize=9896436 CPUtime=0.04 cores=0-3,8-11
/proc/21798/task/21807/stat : 21807 (java) S 21795 21798 15292 0 -1 4202560 43 0 0 0 2 2 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562802924584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21808] ppid=21795 vsize=9896436 CPUtime=0.02 cores=0-3,8-11
/proc/21798/task/21808/stat : 21808 (java) S 21795 21798 15292 0 -1 4202560 14 0 0 0 1 1 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562801871784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21798/tid=21809] ppid=21795 vsize=9896436 CPUtime=0.02 cores=0-3,8-11
/proc/21798/task/21809/stat : 21809 (java) S 21795 21798 15292 0 -1 4202560 13 0 0 0 0 2 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562800818472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21810] ppid=21795 vsize=9896436 CPUtime=0.01 cores=0-3,8-11
/proc/21798/task/21810/stat : 21810 (java) S 21795 21798 15292 0 -1 4202560 13 0 0 0 0 1 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562799765672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=21798/tid=21811] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21811/stat : 21811 (java) S 21795 21798 15292 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562798713384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21798/tid=21812] ppid=21795 vsize=9896436 CPUtime=0.01 cores=0-3,8-11
/proc/21798/task/21812/stat : 21812 (java) S 21795 21798 15292 0 -1 4202560 14 0 0 0 0 1 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562797660584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21813] ppid=21795 vsize=9896436 CPUtime=0.02 cores=0-3,8-11
/proc/21798/task/21813/stat : 21813 (java) S 21795 21798 15292 0 -1 4202560 62 0 0 0 1 1 0 0 20 0 23 0 23731527 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562796608296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21814] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21814/stat : 21814 (java) S 21795 21798 15292 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 23 0 23731528 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562779146856 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21815] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21815/stat : 21815 (java) S 21795 21798 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 23 0 23731529 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562778093432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21816] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21816/stat : 21816 (java) S 21795 21798 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 23 0 23731529 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562777040520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21817] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21817/stat : 21817 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23731531 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562775988496 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21818] ppid=21795 vsize=9896436 CPUtime=0.32 cores=0-3,8-11
/proc/21798/task/21818/stat : 21818 (java) S 21795 21798 15292 0 -1 4202560 7319 0 0 0 30 2 0 0 20 0 23 0 23731531 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562774935608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21819] ppid=21795 vsize=9896436 CPUtime=0.48 cores=0-3,8-11
/proc/21798/task/21819/stat : 21819 (java) S 21795 21798 15292 0 -1 4202560 7083 0 0 0 48 0 0 0 20 0 23 0 23731531 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562773883320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21820] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21820/stat : 21820 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23731531 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562772830712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21821] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21821/stat : 21821 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23731531 10133950464 77745 33554432000 1073741824 1073778376 140737082282000 140562771778632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 9896436
[startup+3.10092 s]
/proc/loadavg: 4.25 4.17 4.12 4/307 21821
/proc/meminfo: memFree=27744992/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=9896436 CPUtime=5.48 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 19765 0 1 0 468 80 0 0 20 0 23 0 23731525 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 2474109 157588 2262 9 0 2464786 0
[pid=21798/tid=21799] ppid=21795 vsize=9896436 CPUtime=2.83 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) R 21795 21798 15292 0 -1 4202560 2825 0 1 0 276 7 0 0 20 0 23 0 23731526 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140563301810048 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=21798/tid=21801] ppid=21795 vsize=9896436 CPUtime=0.13 cores=0-3,8-11
/proc/21798/task/21801/stat : 21801 (java) S 21795 21798 15292 0 -1 4202560 92 0 0 0 7 6 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140563145337128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21802] ppid=21795 vsize=9896436 CPUtime=0.13 cores=0-3,8-11
/proc/21798/task/21802/stat : 21802 (java) S 21795 21798 15292 0 -1 4202560 113 0 0 0 6 7 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140563144284328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=21798/tid=21803] ppid=21795 vsize=9896436 CPUtime=0.15 cores=0-3,8-11
/proc/21798/task/21803/stat : 21803 (java) S 21795 21798 15292 0 -1 4202560 93 0 0 0 9 6 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140563143232040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21804] ppid=21795 vsize=9896436 CPUtime=0.12 cores=0-3,8-11
/proc/21798/task/21804/stat : 21804 (java) S 21795 21798 15292 0 -1 4202560 105 0 0 0 6 6 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140563142179240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21805] ppid=21795 vsize=9896436 CPUtime=0.13 cores=0-3,8-11
/proc/21798/task/21805/stat : 21805 (java) S 21795 21798 15292 0 -1 4202560 111 0 0 0 7 6 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140563141126952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21806] ppid=21795 vsize=9896436 CPUtime=0.1 cores=0-3,8-11
/proc/21798/task/21806/stat : 21806 (java) S 21795 21798 15292 0 -1 4202560 53 0 0 0 5 5 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562803976872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21807] ppid=21795 vsize=9896436 CPUtime=0.15 cores=0-3,8-11
/proc/21798/task/21807/stat : 21807 (java) S 21795 21798 15292 0 -1 4202560 86 0 0 0 9 6 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562802924584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=21798/tid=21808] ppid=21795 vsize=9896436 CPUtime=0.09 cores=0-3,8-11
/proc/21798/task/21808/stat : 21808 (java) S 21795 21798 15292 0 -1 4202560 39 0 0 0 5 4 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562801871784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21809] ppid=21795 vsize=9896436 CPUtime=0.07 cores=0-3,8-11
/proc/21798/task/21809/stat : 21809 (java) S 21795 21798 15292 0 -1 4202560 48 0 0 0 4 3 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562800818472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21810] ppid=21795 vsize=9896436 CPUtime=0.13 cores=0-3,8-11
/proc/21798/task/21810/stat : 21810 (java) S 21795 21798 15292 0 -1 4202560 59 0 0 0 7 6 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562799765672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21811] ppid=21795 vsize=9896436 CPUtime=0.09 cores=0-3,8-11
/proc/21798/task/21811/stat : 21811 (java) S 21795 21798 15292 0 -1 4202560 120 0 0 0 5 4 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562798713384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21798/tid=21812] ppid=21795 vsize=9896436 CPUtime=0.07 cores=0-3,8-11
/proc/21798/task/21812/stat : 21812 (java) S 21795 21798 15292 0 -1 4202560 38 0 0 0 4 3 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562797660584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21798/tid=21813] ppid=21795 vsize=9896436 CPUtime=0.12 cores=0-3,8-11
/proc/21798/task/21813/stat : 21813 (java) S 21795 21798 15292 0 -1 4202560 123 0 0 0 7 5 0 0 20 0 23 0 23731527 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562796608296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21814] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21814/stat : 21814 (java) S 21795 21798 15292 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 23 0 23731528 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562779146856 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21815] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21815/stat : 21815 (java) S 21795 21798 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 23 0 23731529 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562778093432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21816] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21816/stat : 21816 (java) S 21795 21798 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 23 0 23731529 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562777040520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21817] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21817/stat : 21817 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23731531 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562775988496 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21818] ppid=21795 vsize=9896436 CPUtime=0.37 cores=0-3,8-11
/proc/21798/task/21818/stat : 21818 (java) S 21795 21798 15292 0 -1 4202560 7322 0 0 0 35 2 0 0 20 0 23 0 23731531 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562774935608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21819] ppid=21795 vsize=9896436 CPUtime=0.53 cores=0-3,8-11
/proc/21798/task/21819/stat : 21819 (java) S 21795 21798 15292 0 -1 4202560 7088 0 0 0 53 0 0 0 20 0 23 0 23731531 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562773883320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21820] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21820/stat : 21820 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23731531 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562772830712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21821] ppid=21795 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21821/stat : 21821 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23731531 10133950464 157588 33554432000 1073741824 1073778376 140737082282000 140562771778632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 9896436
[startup+6.30177 s]
/proc/loadavg: 4.23 4.17 4.12 4/307 21821
/proc/meminfo: memFree=27059628/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=9896436 CPUtime=12.88 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 28949 0 1 0 1024 264 0 0 20 0 23 0 23731525 10133950464 374434 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 2474109 374434 2277 9 0 2464786 0
[pid=21798/tid=21799] ppid=21795 vsize=9896436 CPUtime=5.47 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) R 21795 21798 15292 0 -1 4202560 3537 0 1 0 532 15 0 0 20 0 23 0 23731526 10133950464 374434 33554432000 1073741824 1073778376 140737082282000 140563301817512 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=21798/tid=21801] ppid=21795 vsize=9896436 CPUtime=0.38 cores=0-3,8-11
/proc/21798/task/21801/stat : 21801 (java) S 21795 21798 15292 0 -1 4202560 186 0 0 0 23 15 0 0 20 0 23 0 23731527 10133950464 374434 33554432000 1073741824 1073778376 140737082282000 140563145337128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21802] ppid=21795 vsize=9896436 CPUtime=0.46 cores=0-3,8-11
/proc/21798/task/21802/stat : 21802 (java) S 21795 21798 15292 0 -1 4202560 216 0 0 0 26 20 0 0 20 0 23 0 23731527 10133950464 374434 33554432000 1073741824 1073778376 140737082282000 140563144284328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21803] ppid=21795 vsize=9896436 CPUtime=0.58 cores=0-3,8-11
/proc/21798/task/21803/stat : 21803 (java) S 21795 21798 15292 0 -1 4202560 232 0 0 0 34 24 0 0 20 0 23 0 23731527 10133950464 374434 33554432000 1073741824 1073778376 140737082282000 140563143232040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21804] ppid=21795 vsize=9896436 CPUtime=0.46 cores=0-3,8-11
/proc/21798/task/21804/stat : 21804 (java) S 21795 21798 15292 0 -1 4202560 213 0 0 0 26 20 0 0 20 0 23 0 23731527 10133950464 374434 33554432000 1073741824 1073778376 140737082282000 140563142179240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21805] ppid=21795 vsize=9896436 CPUtime=0.44 cores=0-3,8-11
/proc/21798/task/21805/stat : 21805 (java) S 21795 21798 15292 0 -1 4202560 249 0 0 0 25 19 0 0 20 0 23 0 23731527 10133950464 374434 33554432000 1073741824 1073778376 140737082282000 140563141126952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21806] ppid=21795 vsize=9896436 CPUtime=0.49 cores=0-3,8-11
################
# More data... #
################
/proc/21798/task/21818/stat : 21818 (java) S 21795 21798 15292 0 -1 4202560 14382 0 0 0 213 3 0 0 20 0 27 0 23731531 10406596608 917287 33554432000 1073741824 1073778376 140737082282000 140562774935608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21819] ppid=21795 vsize=10162692 CPUtime=1.96 cores=0-3,8-11
/proc/21798/task/21819/stat : 21819 (java) S 21795 21798 15292 0 -1 4202560 15517 0 0 0 193 3 0 0 20 0 27 0 23731531 10406596608 917287 33554432000 1073741824 1073778376 140737082282000 140562773883320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21798/tid=21820] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21820/stat : 21820 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23731531 10406596608 917287 33554432000 1073741824 1073778376 140737082282000 140562772830712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21821] ppid=21795 vsize=10162692 CPUtime=0.32 cores=0-3,8-11
/proc/21798/task/21821/stat : 21821 (java) S 21795 21798 15292 0 -1 4202560 45 0 0 0 16 16 0 0 20 0 27 0 23731531 10406596608 917287 33554432000 1073741824 1073778376 140737082282000 140562771778632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21822] ppid=21795 vsize=10162692 CPUtime=729.52 cores=0-3,8-11
/proc/21798/task/21822/stat : 21822 (java) R 21795 21798 15292 0 -1 4202560 62 0 0 0 72941 11 0 0 20 0 27 0 23733424 10406596608 917287 33554432000 1073741824 1073778376 140737082282000 140562770721712 140563157326939 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21823] ppid=21795 vsize=10162692 CPUtime=729.53 cores=0-3,8-11
/proc/21798/task/21823/stat : 21823 (java) R 21795 21798 15292 0 -1 4202560 107 0 0 0 72941 12 0 0 20 0 27 0 23733424 10406596608 917287 33554432000 1073741824 1073778376 140737082282000 140562769670096 140563157112191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21798/tid=21824] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21824/stat : 21824 (java) S 21795 21798 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23733426 10406596608 917287 33554432000 1073741824 1073778376 140737082282000 140562768619048 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=21798/tid=21825] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21825/stat : 21825 (java) S 21795 21798 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23733426 10406596608 917287 33554432000 1073741824 1073778376 140737082282000 140562767565736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1581.76
Current children cumulated vsize (KiB) 10162692
[startup+822.301 s]
/proc/loadavg: 4.15 4.18 4.12 5/311 21965
/proc/meminfo: memFree=24035680/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=10162692 CPUtime=1704.75 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 53227 0 1 0 169362 1113 0 0 20 0 27 0 23731525 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 2540673 939352 2301 9 0 2531350 0
[pid=21798/tid=21799] ppid=21795 vsize=10162692 CPUtime=13.15 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) S 21795 21798 15292 0 -1 4202560 4321 0 1 0 1286 29 0 0 20 0 27 0 23731526 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140563301819256 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21801] ppid=21795 vsize=10162692 CPUtime=7.47 cores=0-3,8-11
/proc/21798/task/21801/stat : 21801 (java) S 21795 21798 15292 0 -1 4202560 1223 0 0 0 664 83 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140563145337128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21802] ppid=21795 vsize=10162692 CPUtime=7.7 cores=0-3,8-11
/proc/21798/task/21802/stat : 21802 (java) S 21795 21798 15292 0 -1 4202560 978 0 0 0 692 78 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140563144284328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21803] ppid=21795 vsize=10162692 CPUtime=8.14 cores=0-3,8-11
/proc/21798/task/21803/stat : 21803 (java) S 21795 21798 15292 0 -1 4202560 1123 0 0 0 733 81 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140563143232040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=21798/tid=21804] ppid=21795 vsize=10162692 CPUtime=7.49 cores=0-3,8-11
/proc/21798/task/21804/stat : 21804 (java) S 21795 21798 15292 0 -1 4202560 1100 0 0 0 666 83 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140563142179240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21805] ppid=21795 vsize=10162692 CPUtime=7.46 cores=0-3,8-11
/proc/21798/task/21805/stat : 21805 (java) S 21795 21798 15292 0 -1 4202560 1091 0 0 0 669 77 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140563141126952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21806] ppid=21795 vsize=10162692 CPUtime=7.86 cores=0-3,8-11
/proc/21798/task/21806/stat : 21806 (java) S 21795 21798 15292 0 -1 4202560 1077 0 0 0 701 85 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562803976872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21807] ppid=21795 vsize=10162692 CPUtime=7.67 cores=0-3,8-11
/proc/21798/task/21807/stat : 21807 (java) S 21795 21798 15292 0 -1 4202560 1014 0 0 0 685 82 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562802924584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=21798/tid=21808] ppid=21795 vsize=10162692 CPUtime=7.7 cores=0-3,8-11
/proc/21798/task/21808/stat : 21808 (java) S 21795 21798 15292 0 -1 4202560 1078 0 0 0 677 93 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562801871784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21798/tid=21809] ppid=21795 vsize=10162692 CPUtime=7.37 cores=0-3,8-11
/proc/21798/task/21809/stat : 21809 (java) S 21795 21798 15292 0 -1 4202560 1030 0 0 0 657 80 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562800818472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21798/tid=21810] ppid=21795 vsize=10162692 CPUtime=7.64 cores=0-3,8-11
/proc/21798/task/21810/stat : 21810 (java) S 21795 21798 15292 0 -1 4202560 1074 0 0 0 684 80 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562799765672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21811] ppid=21795 vsize=10162692 CPUtime=8.11 cores=0-3,8-11
/proc/21798/task/21811/stat : 21811 (java) S 21795 21798 15292 0 -1 4202560 1132 0 0 0 732 79 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562798713384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21798/tid=21812] ppid=21795 vsize=10162692 CPUtime=7.69 cores=0-3,8-11
/proc/21798/task/21812/stat : 21812 (java) S 21795 21798 15292 0 -1 4202560 1091 0 0 0 683 86 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562797660584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21813] ppid=21795 vsize=10162692 CPUtime=7.31 cores=0-3,8-11
/proc/21798/task/21813/stat : 21813 (java) S 21795 21798 15292 0 -1 4202560 958 0 0 0 667 64 0 0 20 0 27 0 23731527 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562796608296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21814] ppid=21795 vsize=10162692 CPUtime=5.29 cores=0-3,8-11
/proc/21798/task/21814/stat : 21814 (java) S 21795 21798 15292 0 -1 4202560 3541 0 0 0 524 5 0 0 20 0 27 0 23731528 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562779146856 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21815] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21815/stat : 21815 (java) S 21795 21798 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 23731529 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562778093432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21816] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21816/stat : 21816 (java) S 21795 21798 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23731529 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562777040520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21817] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21817/stat : 21817 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23731531 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562775988496 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21818] ppid=21795 vsize=10162692 CPUtime=2.16 cores=0-3,8-11
/proc/21798/task/21818/stat : 21818 (java) S 21795 21798 15292 0 -1 4202560 14382 0 0 0 213 3 0 0 20 0 27 0 23731531 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562774935608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21798/tid=21819] ppid=21795 vsize=10162692 CPUtime=2.1 cores=0-3,8-11
/proc/21798/task/21819/stat : 21819 (java) S 21795 21798 15292 0 -1 4202560 15518 0 0 0 207 3 0 0 20 0 27 0 23731531 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562773883320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=21798/tid=21820] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21820/stat : 21820 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23731531 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562772830712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21821] ppid=21795 vsize=10162692 CPUtime=0.35 cores=0-3,8-11
/proc/21798/task/21821/stat : 21821 (java) S 21795 21798 15292 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 27 0 23731531 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562771778632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21822] ppid=21795 vsize=10162692 CPUtime=788.87 cores=0-3,8-11
/proc/21798/task/21822/stat : 21822 (java) R 21795 21798 15292 0 -1 4202560 70 0 0 0 78876 11 0 0 20 0 27 0 23733424 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562770722480 140563157326321 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21823] ppid=21795 vsize=10162692 CPUtime=788.88 cores=0-3,8-11
/proc/21798/task/21823/stat : 21823 (java) R 21795 21798 15292 0 -1 4202560 112 0 0 0 78876 12 0 0 20 0 27 0 23733424 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562769669312 140563157342744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21798/tid=21824] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21824/stat : 21824 (java) S 21795 21798 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23733426 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562768619048 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=21798/tid=21825] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21825/stat : 21825 (java) S 21795 21798 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23733426 10406596608 939352 33554432000 1073741824 1073778376 140737082282000 140562767565736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1704.75
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+868.801 s]
/proc/loadavg: 4.06 4.15 4.11 5/311 21966
/proc/meminfo: memFree=23970288/32872528 swapFree=7804/7804
[pid=21798] ppid=21795 vsize=10162692 CPUtime=1800.1 cores=0-3,8-11
/proc/21798/stat : 21798 (java) S 21795 21798 15292 0 -1 4202496 53426 0 1 0 178882 1128 0 0 20 0 27 0 23731525 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140737082273136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/21798/statm: 2540673 956791 2301 9 0 2531350 0
[pid=21798/tid=21799] ppid=21795 vsize=10162692 CPUtime=13.15 cores=0-3,8-11
/proc/21798/task/21799/stat : 21799 (java) S 21795 21798 15292 0 -1 4202560 4322 0 1 0 1286 29 0 0 20 0 27 0 23731526 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140563301819256 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21801] ppid=21795 vsize=10162692 CPUtime=7.71 cores=0-3,8-11
/proc/21798/task/21801/stat : 21801 (java) S 21795 21798 15292 0 -1 4202560 1238 0 0 0 687 84 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140563145337128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=21798/tid=21802] ppid=21795 vsize=10162692 CPUtime=7.97 cores=0-3,8-11
/proc/21798/task/21802/stat : 21802 (java) S 21795 21798 15292 0 -1 4202560 989 0 0 0 718 79 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140563144284328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21803] ppid=21795 vsize=10162692 CPUtime=8.43 cores=0-3,8-11
/proc/21798/task/21803/stat : 21803 (java) S 21795 21798 15292 0 -1 4202560 1140 0 0 0 761 82 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140563143232040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=21798/tid=21804] ppid=21795 vsize=10162692 CPUtime=7.71 cores=0-3,8-11
/proc/21798/task/21804/stat : 21804 (java) S 21795 21798 15292 0 -1 4202560 1108 0 0 0 688 83 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140563142179240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21805] ppid=21795 vsize=10162692 CPUtime=7.71 cores=0-3,8-11
/proc/21798/task/21805/stat : 21805 (java) S 21795 21798 15292 0 -1 4202560 1102 0 0 0 693 78 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140563141126952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21806] ppid=21795 vsize=10162692 CPUtime=8.2 cores=0-3,8-11
/proc/21798/task/21806/stat : 21806 (java) S 21795 21798 15292 0 -1 4202560 1095 0 0 0 733 87 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562803976872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21807] ppid=21795 vsize=10162692 CPUtime=7.86 cores=0-3,8-11
/proc/21798/task/21807/stat : 21807 (java) S 21795 21798 15292 0 -1 4202560 1026 0 0 0 703 83 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562802924584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=21798/tid=21808] ppid=21795 vsize=10162692 CPUtime=7.86 cores=0-3,8-11
/proc/21798/task/21808/stat : 21808 (java) S 21795 21798 15292 0 -1 4202560 1083 0 0 0 693 93 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562801871784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21809] ppid=21795 vsize=10162692 CPUtime=7.64 cores=0-3,8-11
/proc/21798/task/21809/stat : 21809 (java) S 21795 21798 15292 0 -1 4202560 1039 0 0 0 683 81 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562800818472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21798/tid=21810] ppid=21795 vsize=10162692 CPUtime=7.87 cores=0-3,8-11
/proc/21798/task/21810/stat : 21810 (java) S 21795 21798 15292 0 -1 4202560 1092 0 0 0 706 81 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562799765672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=21798/tid=21811] ppid=21795 vsize=10162692 CPUtime=8.42 cores=0-3,8-11
/proc/21798/task/21811/stat : 21811 (java) S 21795 21798 15292 0 -1 4202560 1147 0 0 0 762 80 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562798713384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21812] ppid=21795 vsize=10162692 CPUtime=7.88 cores=0-3,8-11
/proc/21798/task/21812/stat : 21812 (java) S 21795 21798 15292 0 -1 4202560 1100 0 0 0 702 86 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562797660584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21813] ppid=21795 vsize=10162692 CPUtime=7.49 cores=0-3,8-11
/proc/21798/task/21813/stat : 21813 (java) S 21795 21798 15292 0 -1 4202560 967 0 0 0 684 65 0 0 20 0 27 0 23731527 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562796608296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21814] ppid=21795 vsize=10162692 CPUtime=5.3 cores=0-3,8-11
/proc/21798/task/21814/stat : 21814 (java) S 21795 21798 15292 0 -1 4202560 3573 0 0 0 524 6 0 0 20 0 27 0 23731528 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562779146856 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21798/tid=21815] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21815/stat : 21815 (java) S 21795 21798 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 23731529 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562778093432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21816] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21816/stat : 21816 (java) S 21795 21798 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23731529 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562777040520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21817] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21817/stat : 21817 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23731531 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562775988496 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21818] ppid=21795 vsize=10162692 CPUtime=2.16 cores=0-3,8-11
/proc/21798/task/21818/stat : 21818 (java) S 21795 21798 15292 0 -1 4202560 14382 0 0 0 213 3 0 0 20 0 27 0 23731531 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562774935608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21798/tid=21819] ppid=21795 vsize=10162692 CPUtime=2.11 cores=0-3,8-11
/proc/21798/task/21819/stat : 21819 (java) S 21795 21798 15292 0 -1 4202560 15519 0 0 0 208 3 0 0 20 0 27 0 23731531 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562773883320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=21798/tid=21820] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21820/stat : 21820 (java) S 21795 21798 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23731531 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562772830712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=21798/tid=21821] ppid=21795 vsize=10162692 CPUtime=0.37 cores=0-3,8-11
/proc/21798/task/21821/stat : 21821 (java) S 21795 21798 15292 0 -1 4202560 51 0 0 0 18 19 0 0 20 0 27 0 23731531 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562771778632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21798/tid=21822] ppid=21795 vsize=10162692 CPUtime=834.85 cores=0-3,8-11
/proc/21798/task/21822/stat : 21822 (java) R 21795 21798 15292 0 -1 4202560 71 0 0 0 83473 12 0 0 20 0 27 0 23733424 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562770721832 140563157351366 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=21798/tid=21823] ppid=21795 vsize=10162692 CPUtime=834.85 cores=0-3,8-11
/proc/21798/task/21823/stat : 21823 (java) R 21795 21798 15292 0 -1 4202560 115 0 0 0 83472 13 0 0 20 0 27 0 23733424 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562769670232 140563157086471 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21798/tid=21824] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21824/stat : 21824 (java) S 21795 21798 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23733426 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562768619048 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=21798/tid=21825] ppid=21795 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/21798/task/21825/stat : 21825 (java) S 21795 21798 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23733426 10406596608 956791 33554432000 1073741824 1073778376 140737082282000 140562767565736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 21798 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 21798 and gives
# childrusage.ru_utime.tv_sec=1784
# childrusage.ru_utime.tv_usec=318742
# childrusage.ru_stime.tv_sec=11
# childrusage.ru_stime.tv_usec=691222
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 868.852
CPU time (s): 1800.1
CPU user time (s): 1788.82
CPU system time (s): 11.28
CPU usage (%): 207.182
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.32
system time used= 11.6912
maximum resident set size= 3827280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53458
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25702
involuntary context switches= 39459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.96679 second user time and 9.44356 second system time
The end