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-4249452-1500767271/watcher-4249452-1500767271 -o /tmp/evaluation-result-4249452-1500767271/solver-4249452-1500767271 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500750445-27392 --watchdog 2560 bin/concrete HOME/instance-4249452-1500767271.xml
pid=31256
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.37 1.58 1.56 3/261 31259
/proc/meminfo: memFree=27960652/32770624 swapFree=5896/238420
[pid=31259] ppid=31256 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (bash) S 31256 31259 27360 0 -1 4202496 684 1532 0 0 0 0 0 0 20 0 1 0 11996751 9736192 350 33554432000 4194304 5098028 140722959048944 140722959046584 140384442092544 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 40255488 140722959049998 140722959050083 140722959050083 140722959052782 0
/proc/31259/statm: 2377 350 278 221 0 86 0
[startup+0.100125 s]
/proc/loadavg: 1.37 1.58 1.56 3/261 31259
/proc/meminfo: memFree=27960652/32770624 swapFree=5896/238420
[pid=31259] ppid=31256 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (bash) S 31256 31259 27360 0 -1 4202496 878 6421 0 0 0 0 0 1 20 0 1 0 11996751 9871360 377 33554432000 4194304 5098028 140722959048944 140722959042952 140384442092544 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 40255488 140722959049998 140722959050083 140722959050083 140722959052782 0
/proc/31259/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200295 s]
/proc/loadavg: 1.37 1.58 1.56 3/261 31259
/proc/meminfo: memFree=27960652/32770624 swapFree=5896/238420
[pid=31259] ppid=31256 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (java) S 31256 31259 27360 0 -1 1077944320 4766 12601 0 0 7 1 8 3 20 0 13 0 11996751 10686320640 4626 33554432000 4194304 4196468 140724074355392 140724074337936 140647258447607 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
/proc/31259/statm: 2608965 4626 2173 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300311 s]
/proc/loadavg: 1.37 1.58 1.56 3/261 31259
/proc/meminfo: memFree=27960652/32770624 swapFree=5896/238420
[pid=31259] ppid=31256 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (java) S 31256 31259 27360 0 -1 1077944320 8240 12601 0 0 23 2 8 3 20 0 20 0 11996751 11163947008 9306 33554432000 4194304 4196468 140724074355392 140724074337936 140647258447607 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
/proc/31259/statm: 2725573 9306 2931 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.700233 s]
/proc/loadavg: 1.37 1.58 1.56 3/261 31259
/proc/meminfo: memFree=27960652/32770624 swapFree=5896/238420
[pid=31259] ppid=31256 vsize=10902720 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (java) S 31256 31259 27360 0 -1 1077944320 12728 12601 0 0 80 4 8 3 20 0 20 0 11996751 11164385280 16000 33554432000 4194304 4196468 140724074355392 140724074337936 140647258447607 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
/proc/31259/statm: 2725680 16000 3219 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720
[startup+1.50117 s]
/proc/loadavg: 1.37 1.58 1.56 4/281 31332
/proc/meminfo: memFree=27852004/32770624 swapFree=5896/238456
[pid=31259] ppid=31256 vsize=10913344 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (java) S 31256 31259 27360 0 -1 1077944320 25959 12601 0 0 204 14 8 3 20 0 20 0 11996751 11175264256 45552 33554432000 4194304 4196468 140724074355392 140724074337936 140647258447607 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
/proc/31259/statm: 2728336 45552 3407 1 0 2716450 0
[pid=31259/tid=31314] ppid=31256 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31314/stat : 31314 (java) R 31256 31259 27360 0 -1 4202560 18416 12601 0 0 126 5 8 3 20 0 20 0 11996763 11175264256 45552 33554432000 4194304 4196468 140724074355392 140647262673752 140647242491237 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31315] ppid=31256 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31315/stat : 31315 (java) S 31256 31259 27360 0 -1 1077944384 125 12601 0 0 0 0 8 3 20 0 20 0 11996764 11175264256 45552 33554432000 4194304 4196468 140724074355392 140647228160784 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31316] ppid=31256 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31316/stat : 31316 (java) S 31256 31259 27360 0 -1 1077944384 19 12601 0 0 0 0 8 3 20 0 20 0 11996764 11175264256 45552 33554432000 4194304 4196468 140724074355392 140646864522128 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31317] ppid=31256 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31317/stat : 31317 (java) S 31256 31259 27360 0 -1 1077944384 27 12601 0 0 1 0 8 3 20 0 20 0 11996764 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646863469584 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31318] ppid=31256 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31318/stat : 31318 (java) S 31256 31259 27360 0 -1 1077944384 22 12601 0 0 0 0 8 3 20 0 20 0 11996764 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646862417040 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31319] ppid=31256 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31319/stat : 31319 (java) S 31256 31259 27360 0 -1 1077944384 30 12601 0 0 1 0 8 3 20 0 20 0 11996764 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646861363472 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31320] ppid=31256 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31320/stat : 31320 (java) S 31256 31259 27360 0 -1 1077944384 19 12601 0 0 1 0 8 3 20 0 20 0 11996764 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646860310928 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31321] ppid=31256 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31321/stat : 31321 (java) S 31256 31259 27360 0 -1 1077944384 14 12601 0 0 1 0 8 3 20 0 20 0 11996764 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646859258384 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31322] ppid=31256 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31322/stat : 31322 (java) S 31256 31259 27360 0 -1 1077944384 40 12601 0 0 1 0 8 3 20 0 20 0 11996764 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646858205840 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31323] ppid=31256 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31323/stat : 31323 (java) S 31256 31259 27360 0 -1 1077944384 643 12601 0 0 1 0 8 3 20 0 20 0 11996766 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646008441328 140647258458754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31324] ppid=31256 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31324/stat : 31324 (java) S 31256 31259 27360 0 -1 1077944384 56 12601 0 0 0 0 8 3 20 0 20 0 11996766 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646007387616 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31325] ppid=31256 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31325/stat : 31325 (java) S 31256 31259 27360 0 -1 1077944384 43 12601 0 0 0 0 8 3 20 0 20 0 11996767 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646006334944 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31326] ppid=31256 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31326/stat : 31326 (java) S 31256 31259 27360 0 -1 1077944384 1 12601 0 0 0 0 8 3 20 0 20 0 11996771 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646005283536 140647258466203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31327] ppid=31256 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31327/stat : 31327 (java) S 31256 31259 27360 0 -1 1077944384 883 12601 0 0 12 0 8 3 20 0 20 0 11996771 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646004230128 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31328] ppid=31256 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31328/stat : 31328 (java) S 31256 31259 27360 0 -1 1077944384 558 12601 0 0 10 0 8 3 20 0 20 0 11996771 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646003177584 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31329] ppid=31256 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31329/stat : 31329 (java) S 31256 31259 27360 0 -1 1077944384 1474 12601 0 0 15 1 8 3 20 0 20 0 11996771 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646002125040 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31330] ppid=31256 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31330/stat : 31330 (java) R 31256 31259 27360 0 -1 4202560 1457 12601 0 0 27 0 8 3 20 0 20 0 11996771 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646001072496 140647243743816 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31331] ppid=31256 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31331/stat : 31331 (java) S 31256 31259 27360 0 -1 1077944384 3 12601 0 0 0 0 8 3 20 0 20 0 11996771 11175264256 45571 33554432000 4194304 4196468 140724074355392 140646000020192 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31332] ppid=31256 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31332/stat : 31332 (java) S 31256 31259 27360 0 -1 1077944384 3 12601 0 0 0 0 8 3 20 0 20 0 11996772 11175264256 45571 33554432000 4194304 4196468 140724074355392 140645998967728 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344
[startup+3.10094 s]
/proc/loadavg: 1.50 1.61 1.57 5/281 31332
/proc/meminfo: memFree=27777188/32770624 swapFree=5896/238460
[pid=31259] ppid=31256 vsize=10925820 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (java) S 31256 31259 27360 0 -1 1077944320 40683 12601 0 0 629 23 8 3 20 0 20 0 11996751 11188039680 76132 33554432000 4194304 4196468 140724074355392 140724074337936 140647258447607 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
/proc/31259/statm: 2731455 76132 3476 1 0 2719010 0
[pid=31259/tid=31314] ppid=31256 vsize=10925820 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31314/stat : 31314 (java) R 31256 31259 27360 0 -1 4202560 28176 12601 0 0 280 8 8 3 20 0 20 0 11996763 11188039680 76132 33554432000 4194304 4196468 140724074355392 140647262678744 140646895038744 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31315] ppid=31256 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31315/stat : 31315 (java) S 31256 31259 27360 0 -1 1077944384 131 12601 0 0 1 0 8 3 20 0 20 0 11996764 11188039680 76132 33554432000 4194304 4196468 140724074355392 140647228160784 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31316] ppid=31256 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31316/stat : 31316 (java) S 31256 31259 27360 0 -1 1077944384 137 12601 0 0 1 1 8 3 20 0 20 0 11996764 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646864522128 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31317] ppid=31256 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31317/stat : 31317 (java) S 31256 31259 27360 0 -1 1077944384 40 12601 0 0 1 1 8 3 20 0 20 0 11996764 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646863469584 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31318] ppid=31256 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31318/stat : 31318 (java) S 31256 31259 27360 0 -1 1077944384 34 12601 0 0 1 1 8 3 20 0 20 0 11996764 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646862417040 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31319] ppid=31256 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31319/stat : 31319 (java) S 31256 31259 27360 0 -1 1077944384 38 12601 0 0 1 1 8 3 20 0 20 0 11996764 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646861363472 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31320] ppid=31256 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31320/stat : 31320 (java) S 31256 31259 27360 0 -1 1077944384 48 12601 0 0 2 1 8 3 20 0 20 0 11996764 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646860310928 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31321] ppid=31256 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31321/stat : 31321 (java) S 31256 31259 27360 0 -1 1077944384 21 12601 0 0 2 0 8 3 20 0 20 0 11996764 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646859258384 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31322] ppid=31256 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31322/stat : 31322 (java) S 31256 31259 27360 0 -1 1077944384 42 12601 0 0 1 0 8 3 20 0 20 0 11996764 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646858205840 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31323] ppid=31256 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31323/stat : 31323 (java) S 31256 31259 27360 0 -1 1077944384 789 12601 0 0 2 0 8 3 20 0 20 0 11996766 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646008441328 140647258458754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31324] ppid=31256 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31324/stat : 31324 (java) S 31256 31259 27360 0 -1 1077944384 57 12601 0 0 0 0 8 3 20 0 20 0 11996766 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646007387616 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31325] ppid=31256 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31325/stat : 31325 (java) S 31256 31259 27360 0 -1 1077944384 47 12601 0 0 0 0 8 3 20 0 20 0 11996767 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646006334976 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31326] ppid=31256 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31326/stat : 31326 (java) S 31256 31259 27360 0 -1 1077944384 1 12601 0 0 0 0 8 3 20 0 20 0 11996771 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646005283536 140647258466203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31327] ppid=31256 vsize=10925820 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31327/stat : 31327 (java) R 31256 31259 27360 0 -1 4202560 1349 12601 0 0 70 1 8 3 20 0 20 0 11996771 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646004230048 140647241946761 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31328] ppid=31256 vsize=10925820 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31328/stat : 31328 (java) R 31256 31259 27360 0 -1 4202560 1221 12601 0 0 70 0 8 3 20 0 20 0 11996771 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646003177880 140647243573618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31329] ppid=31256 vsize=10925820 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31329/stat : 31329 (java) R 31256 31259 27360 0 -1 4202560 3346 12601 0 0 100 1 8 3 20 0 20 0 11996771 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646002125040 140647251432649 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31330] ppid=31256 vsize=10925820 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31330/stat : 31330 (java) S 31256 31259 27360 0 -1 1077944384 3071 12601 0 0 88 1 8 3 20 0 20 0 11996771 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646001072496 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31331] ppid=31256 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31331/stat : 31331 (java) S 31256 31259 27360 0 -1 1077944384 3 12601 0 0 0 0 8 3 20 0 20 0 11996771 11188039680 76132 33554432000 4194304 4196468 140724074355392 140646000020192 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31332] ppid=31256 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31332/stat : 31332 (java) S 31256 31259 27360 0 -1 1077944384 4 12601 0 0 0 0 8 3 20 0 20 0 11996772 11188039680 76132 33554432000 4194304 4196468 140724074355392 140645998967728 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 10925820
[startup+6.30076 s]
/proc/loadavg: 1.50 1.61 1.57 7/281 31332
/proc/meminfo: memFree=27469980/32770624 swapFree=5896/238460
[pid=31259] ppid=31256 vsize=10997500 CPUtime=17.45 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (java) S 31256 31259 27360 0 -1 1077944320 67825 12601 0 0 1667 67 8 3 20 0 20 0 11996751 11261440000 138450 33554432000 4194304 4196468 140724074355392 140724074337936 140647258447607 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
/proc/31259/statm: 2749375 138450 3507 1 0 2736930 0
[pid=31259/tid=31314] ppid=31256 vsize=10997500 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31314/stat : 31314 (java) R 31256 31259 27360 0 -1 4202560 37949 12601 0 0 582 11 8 3 20 0 20 0 11996763 11261440000 138450 33554432000 4194304 4196468 140724074355392 140647262680488 140646896697490 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31315] ppid=31256 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31315/stat : 31315 (java) S 31256 31259 27360 0 -1 1077944384 169 12601 0 0 5 4 8 3 20 0 20 0 11996764 11261440000 138450 33554432000 4194304 4196468 140724074355392 140647228160784 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31316] ppid=31256 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31316/stat : 31316 (java) S 31256 31259 27360 0 -1 1077944384 198 12601 0 0 8 5 8 3 20 0 20 0 11996764 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646864522128 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31317] ppid=31256 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31317/stat : 31317 (java) S 31256 31259 27360 0 -1 1077944384 85 12601 0 0 8 5 8 3 20 0 20 0 11996764 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646863469584 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31318] ppid=31256 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31318/stat : 31318 (java) S 31256 31259 27360 0 -1 1077944384 283 12601 0 0 7 6 8 3 20 0 20 0 11996764 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646862417040 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31319] ppid=31256 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31319/stat : 31319 (java) S 31256 31259 27360 0 -1 1077944384 82 12601 0 0 7 6 8 3 20 0 20 0 11996764 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646861363472 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31320] ppid=31256 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31320/stat : 31320 (java) S 31256 31259 27360 0 -1 1077944384 89 12601 0 0 8 5 8 3 20 0 20 0 11996764 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646860310928 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31321] ppid=31256 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31321/stat : 31321 (java) S 31256 31259 27360 0 -1 1077944384 57 12601 0 0 7 4 8 3 20 0 20 0 11996764 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646859258384 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31322] ppid=31256 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31322/stat : 31322 (java) S 31256 31259 27360 0 -1 1077944384 85 12601 0 0 6 5 8 3 20 0 20 0 11996764 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646858205840 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31323] ppid=31256 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31323/stat : 31323 (java) S 31256 31259 27360 0 -1 1077944384 2023 12601 0 0 5 0 8 3 20 0 20 0 11996766 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646008441328 140647258458754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31324] ppid=31256 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31324/stat : 31324 (java) S 31256 31259 27360 0 -1 1077944384 57 12601 0 0 0 0 8 3 20 0 20 0 11996766 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646007387680 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31325] ppid=31256 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31325/stat : 31325 (java) S 31256 31259 27360 0 -1 1077944384 47 12601 0 0 0 0 8 3 20 0 20 0 11996767 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646006334976 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31326] ppid=31256 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31326/stat : 31326 (java) S 31256 31259 27360 0 -1 1077944384 1 12601 0 0 0 0 8 3 20 0 20 0 11996771 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646005283536 140647258466203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31327] ppid=31256 vsize=10997500 CPUtime=2.85 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31327/stat : 31327 (java) R 31256 31259 27360 0 -1 4202560 6677 12601 0 0 271 3 8 3 20 0 20 0 11996771 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646004210896 140647241946598 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31328] ppid=31256 vsize=10997500 CPUtime=2.73 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31328/stat : 31328 (java) R 31256 31259 27360 0 -1 4202560 4302 12601 0 0 261 1 8 3 20 0 20 0 11996771 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646003163680 140647243377037 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31329] ppid=31256 vsize=10997500 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31329/stat : 31329 (java) R 31256 31259 27360 0 -1 4202560 7832 12601 0 0 302 2 8 3 20 0 20 0 11996771 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646002113712 140647236901441 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31330] ppid=31256 vsize=10997500 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31330/stat : 31330 (java) S 31256 31259 27360 0 -1 1077944384 5505 12601 0 0 182 2 8 3 20 0 20 0 11996771 11261440000 138450 33554432000 4194304 4196468 140724074355392 140646001072496 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31331] ppid=31256 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=31259/tid=31330] ppid=31256 vsize=10997500 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31330/stat : 31330 (java) S 31256 31259 27360 0 -1 1077944384 22071 12601 0 0 207 4 8 3 20 0 20 0 11996771 11261440000 795641 33554432000 4194304 4196468 140724074355392 140646001072496 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31331] ppid=31256 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31331/stat : 31331 (java) S 31256 31259 27360 0 -1 1077944384 3 12601 0 0 0 0 8 3 20 0 20 0 11996771 11261440000 795641 33554432000 4194304 4196468 140724074355392 140646000020192 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31332] ppid=31256 vsize=10997500 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31332/stat : 31332 (java) S 31256 31259 27360 0 -1 1077944384 3711 12601 0 0 61 70 8 3 20 0 20 0 11996772 11261440000 795641 33554432000 4194304 4196468 140724074355392 140645998967728 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
Current children cumulated CPU time (s) 2382.76
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2339.4 s]
/proc/loadavg: 1.53 1.60 1.65 3/282 31570
/proc/meminfo: memFree=26600248/32770624 swapFree=5872/239800
[pid=31259] ppid=31256 vsize=10997500 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (java) S 31256 31259 27360 0 -1 1077944320 446067 12601 0 0 239243 750 8 3 20 0 20 0 11996751 11261440000 795643 33554432000 4194304 4196468 140724074355392 140724074337936 140647258447607 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
/proc/31259/statm: 2749375 795643 3516 1 0 2736930 0
[pid=31259/tid=31314] ppid=31256 vsize=10997500 CPUtime=2329.38 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31314/stat : 31314 (java) R 31256 31259 27360 0 -1 4202560 221825 12601 0 0 232840 87 8 3 20 0 20 0 11996763 11261440000 795643 33554432000 4194304 4196468 140724074355392 140647262681824 140646908956227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31315] ppid=31256 vsize=10997500 CPUtime=6.7 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31315/stat : 31315 (java) S 31256 31259 27360 0 -1 1077944384 15433 12601 0 0 589 70 8 3 20 0 20 0 11996764 11261440000 795643 33554432000 4194304 4196468 140724074355392 140647228160784 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31316] ppid=31256 vsize=10997500 CPUtime=6.77 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31316/stat : 31316 (java) S 31256 31259 27360 0 -1 1077944384 11551 12601 0 0 596 70 8 3 20 0 20 0 11996764 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646864522128 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31317] ppid=31256 vsize=10997500 CPUtime=6.64 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31317/stat : 31317 (java) S 31256 31259 27360 0 -1 1077944384 13260 12601 0 0 583 70 8 3 20 0 20 0 11996764 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646863469584 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31318] ppid=31256 vsize=10997500 CPUtime=6.74 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31318/stat : 31318 (java) S 31256 31259 27360 0 -1 1077944384 16641 12601 0 0 589 74 8 3 20 0 20 0 11996764 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646862417040 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31319] ppid=31256 vsize=10997500 CPUtime=6.61 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31319/stat : 31319 (java) S 31256 31259 27360 0 -1 1077944384 12842 12601 0 0 578 72 8 3 20 0 20 0 11996764 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646861363472 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31320] ppid=31256 vsize=10997500 CPUtime=6.64 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31320/stat : 31320 (java) S 31256 31259 27360 0 -1 1077944384 11170 12601 0 0 580 73 8 3 20 0 20 0 11996764 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646860310928 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31321] ppid=31256 vsize=10997500 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31321/stat : 31321 (java) S 31256 31259 27360 0 -1 1077944384 13210 12601 0 0 582 70 8 3 20 0 20 0 11996764 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646859258384 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31322] ppid=31256 vsize=10997500 CPUtime=6.67 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31322/stat : 31322 (java) S 31256 31259 27360 0 -1 1077944384 9558 12601 0 0 582 74 8 3 20 0 20 0 11996764 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646858205840 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31323] ppid=31256 vsize=10997500 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31323/stat : 31323 (java) S 31256 31259 27360 0 -1 1077944384 29992 12601 0 0 96 18 8 3 20 0 20 0 11996766 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646008441328 140647258458754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31324] ppid=31256 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31324/stat : 31324 (java) S 31256 31259 27360 0 -1 1077944384 59 12601 0 0 0 0 8 3 20 0 20 0 11996766 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646007387680 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31325] ppid=31256 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31325/stat : 31325 (java) S 31256 31259 27360 0 -1 1077944384 53 12601 0 0 0 0 8 3 20 0 20 0 11996767 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646006334976 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31326] ppid=31256 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31326/stat : 31326 (java) S 31256 31259 27360 0 -1 1077944384 1 12601 0 0 0 0 8 3 20 0 20 0 11996771 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646005283536 140647258466203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31327] ppid=31256 vsize=10997500 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31327/stat : 31327 (java) S 31256 31259 27360 0 -1 1077944384 19505 12601 0 0 440 4 8 3 20 0 20 0 11996771 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646004230128 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31328] ppid=31256 vsize=10997500 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31328/stat : 31328 (java) S 31256 31259 27360 0 -1 1077944384 20999 12601 0 0 441 3 8 3 20 0 20 0 11996771 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646003177584 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31329] ppid=31256 vsize=10997500 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31329/stat : 31329 (java) S 31256 31259 27360 0 -1 1077944384 22053 12601 0 0 447 4 8 3 20 0 20 0 11996771 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646002125040 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31330] ppid=31256 vsize=10997500 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31330/stat : 31330 (java) S 31256 31259 27360 0 -1 1077944384 22071 12601 0 0 207 4 8 3 20 0 20 0 11996771 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646001072496 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31331] ppid=31256 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31331/stat : 31331 (java) S 31256 31259 27360 0 -1 1077944384 3 12601 0 0 0 0 8 3 20 0 20 0 11996771 11261440000 795643 33554432000 4194304 4196468 140724074355392 140646000020192 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31332] ppid=31256 vsize=10997500 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31332/stat : 31332 (java) S 31256 31259 27360 0 -1 1077944384 3713 12601 0 0 62 71 8 3 20 0 20 0 11996772 11261440000 795643 33554432000 4194304 4196468 140724074355392 140645998967728 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10997500
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 31259 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2339.6 s]
/proc/loadavg: 1.53 1.60 1.65 3/282 31570
/proc/meminfo: memFree=26600248/32770624 swapFree=5872/239800
[pid=31259] ppid=31256 vsize=11130628 CPUtime=2401.13 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (java) S 31256 31259 27360 0 -1 1077944320 458220 12601 0 0 239350 752 8 3 20 0 22 0 11996751 11397763072 796231 33554432000 4194304 4196468 140724074355392 140724074337936 140647258447607 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
/proc/31259/statm: 2782657 796231 3516 1 0 2770212 0
[pid=31259/tid=31314] ppid=31256 vsize=11130628 CPUtime=2329.39 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31314/stat : 31314 (java) S 31256 31259 27360 0 -1 1077944384 222979 12601 0 0 232841 87 8 3 20 0 22 0 11996763 11397763072 796231 33554432000 4194304 4196468 140724074355392 140647262685280 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31315] ppid=31256 vsize=11130628 CPUtime=6.83 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31315/stat : 31315 (java) R 31256 31259 27360 0 -1 4202560 15436 12601 0 0 602 70 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140647228160984 140647243444160 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31316] ppid=31256 vsize=11130628 CPUtime=6.87 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31316/stat : 31316 (java) R 31256 31259 27360 0 -1 4202560 11554 12601 0 0 606 70 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646864522328 140647242905198 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31317] ppid=31256 vsize=11130628 CPUtime=6.77 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31317/stat : 31317 (java) R 31256 31259 27360 0 -1 4202560 13270 12601 0 0 596 70 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646863469784 140647243146366 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31318] ppid=31256 vsize=11130628 CPUtime=6.86 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31318/stat : 31318 (java) R 31256 31259 27360 0 -1 4202560 16649 12601 0 0 601 74 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646862417040 140647243146575 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31319] ppid=31256 vsize=11130628 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31319/stat : 31319 (java) R 31256 31259 27360 0 -1 4202560 12873 12601 0 0 591 73 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646861363472 140647240000848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31320] ppid=31256 vsize=11130628 CPUtime=6.78 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31320/stat : 31320 (java) R 31256 31259 27360 0 -1 4202560 11184 12601 0 0 593 74 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646860311128 140647243146347 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31321] ppid=31256 vsize=11130628 CPUtime=6.76 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31321/stat : 31321 (java) R 31256 31259 27360 0 -1 4202560 13220 12601 0 0 595 70 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646859258584 140647240057414 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31322] ppid=31256 vsize=11130628 CPUtime=6.8 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31322/stat : 31322 (java) R 31256 31259 27360 0 -1 4202560 9572 12601 0 0 595 74 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646858205840 140647240057412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31323] ppid=31256 vsize=11130628 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31323/stat : 31323 (java) S 31256 31259 27360 0 -1 1077944384 40293 12601 0 0 101 19 8 3 20 0 22 0 11996766 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646008439952 140647258457813 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31324] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31324/stat : 31324 (java) S 31256 31259 27360 0 -1 1077944384 61 12601 0 0 0 0 8 3 20 0 22 0 11996766 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646007387280 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31325] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31325/stat : 31325 (java) S 31256 31259 27360 0 -1 1077944384 53 12601 0 0 0 0 8 3 20 0 22 0 11996767 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646006334976 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31326] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31326/stat : 31326 (java) S 31256 31259 27360 0 -1 1077944384 250 12601 0 0 0 0 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646005283536 140647258466203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31327] ppid=31256 vsize=11130628 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31327/stat : 31327 (java) S 31256 31259 27360 0 -1 1077944384 19505 12601 0 0 440 4 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646004230128 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31328] ppid=31256 vsize=11130628 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31328/stat : 31328 (java) S 31256 31259 27360 0 -1 1077944384 20999 12601 0 0 441 3 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646003177584 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31329] ppid=31256 vsize=11130628 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31329/stat : 31329 (java) S 31256 31259 27360 0 -1 1077944384 22053 12601 0 0 447 4 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646002125040 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31330] ppid=31256 vsize=11130628 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31330/stat : 31330 (java) S 31256 31259 27360 0 -1 1077944384 22071 12601 0 0 207 4 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646001072496 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31331] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31331/stat : 31331 (java) S 31256 31259 27360 0 -1 1077944384 3 12601 0 0 0 0 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646000020192 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31332] ppid=31256 vsize=11130628 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31332/stat : 31332 (java) S 31256 31259 27360 0 -1 1077944384 3713 12601 0 0 62 71 8 3 20 0 22 0 11996772 11397763072 796231 33554432000 4194304 4196468 140724074355392 140645998967728 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
Current children cumulated CPU time (s) 2401.13
Current children cumulated vsize (KiB) 11130628
[startup+2339.81 s]
/proc/loadavg: 1.53 1.60 1.65 5/284 31572
/proc/meminfo: memFree=26598392/32770624 swapFree=5872/239796
[pid=31259] ppid=31256 vsize=11130628 CPUtime=2402.39 cores=1,3,5,7,9,11,13,15
/proc/31259/stat : 31259 (java) S 31256 31259 27360 0 -1 1077944320 458247 12601 0 0 239475 753 8 3 20 0 22 0 11996751 11397763072 796231 33554432000 4194304 4196468 140724074355392 140724074337936 140647258447607 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
/proc/31259/statm: 2782657 796231 3516 1 0 2770212 0
[pid=31259/tid=31314] ppid=31256 vsize=11130628 CPUtime=2329.39 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31314/stat : 31314 (java) S 31256 31259 27360 0 -1 1077944384 222979 12601 0 0 232841 87 8 3 20 0 22 0 11996763 11397763072 796231 33554432000 4194304 4196468 140724074355392 140647262685280 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31315] ppid=31256 vsize=11130628 CPUtime=6.98 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31315/stat : 31315 (java) R 31256 31259 27360 0 -1 4202560 15436 12601 0 0 617 70 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140647228160984 140647243146355 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31316] ppid=31256 vsize=11130628 CPUtime=7.03 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31316/stat : 31316 (java) R 31256 31259 27360 0 -1 4202560 11561 12601 0 0 622 70 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646864522128 140647243444008 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31317] ppid=31256 vsize=11130628 CPUtime=6.9 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31317/stat : 31317 (java) R 31256 31259 27360 0 -1 4202560 13272 12601 0 0 609 70 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646863469784 140647243444011 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31318] ppid=31256 vsize=11130628 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31318/stat : 31318 (java) R 31256 31259 27360 0 -1 4202560 16653 12601 0 0 617 74 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646862417040 140647242905240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31319] ppid=31256 vsize=11130628 CPUtime=6.9 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31319/stat : 31319 (java) R 31256 31259 27360 0 -1 4202560 12873 12601 0 0 606 73 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646861363672 140647242905184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31320] ppid=31256 vsize=11130628 CPUtime=6.93 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31320/stat : 31320 (java) R 31256 31259 27360 0 -1 4202560 11184 12601 0 0 608 74 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646860311128 140647240057446 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31321] ppid=31256 vsize=11130628 CPUtime=6.91 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31321/stat : 31321 (java) R 31256 31259 27360 0 -1 4202560 13227 12601 0 0 610 70 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646859258584 140647242905205 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31322] ppid=31256 vsize=11130628 CPUtime=6.95 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31322/stat : 31322 (java) R 31256 31259 27360 0 -1 4202560 9576 12601 0 0 610 74 8 3 20 0 22 0 11996764 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646858206040 140647242905059 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31323] ppid=31256 vsize=11130628 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31323/stat : 31323 (java) S 31256 31259 27360 0 -1 1077944384 40293 12601 0 0 106 19 8 3 20 0 22 0 11996766 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646008439952 140647258457813 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31324] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31324/stat : 31324 (java) S 31256 31259 27360 0 -1 1077944384 63 12601 0 0 0 0 8 3 20 0 22 0 11996766 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646007387184 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31325] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31325/stat : 31325 (java) S 31256 31259 27360 0 -1 1077944384 53 12601 0 0 0 0 8 3 20 0 22 0 11996767 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646006334976 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31326] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31326/stat : 31326 (java) S 31256 31259 27360 0 -1 1077944384 250 12601 0 0 0 0 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646005283536 140647258466203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31327] ppid=31256 vsize=11130628 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31327/stat : 31327 (java) S 31256 31259 27360 0 -1 1077944384 19505 12601 0 0 440 4 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646004230128 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31328] ppid=31256 vsize=11130628 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31328/stat : 31328 (java) S 31256 31259 27360 0 -1 1077944384 20999 12601 0 0 441 3 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646003177584 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31329] ppid=31256 vsize=11130628 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31329/stat : 31329 (java) S 31256 31259 27360 0 -1 1077944384 22053 12601 0 0 447 4 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646002125040 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31330] ppid=31256 vsize=11130628 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31330/stat : 31330 (java) S 31256 31259 27360 0 -1 1077944384 22071 12601 0 0 207 4 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646001072496 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31331] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31331/stat : 31331 (java) S 31256 31259 27360 0 -1 1077944384 3 12601 0 0 0 0 8 3 20 0 22 0 11996771 11397763072 796231 33554432000 4194304 4196468 140724074355392 140646000020192 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31332] ppid=31256 vsize=11130628 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31332/stat : 31332 (java) S 31256 31259 27360 0 -1 1077944384 3713 12601 0 0 62 71 8 3 20 0 22 0 11996772 11397763072 796231 33554432000 4194304 4196468 140724074355392 140645998967728 140647258458754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31571] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31571/stat : 31571 (java) S 31256 31259 27360 0 -1 1077944384 325 12601 0 0 0 0 8 3 20 0 22 0 12230691 11397763072 796231 33554432000 4194304 4196468 140724074355392 140645967360752 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
[pid=31259/tid=31572] ppid=31256 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31259/task/31572/stat : 31572 (java) S 31256 31259 27360 0 -1 1077944384 29 12601 0 0 0 0 8 3 20 0 22 0 12230692 11397763072 796231 33554432000 4194304 4196468 140724074355392 140645966308928 140647258457813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17096704 140724074359489 140724074362263 140724074362263 140724074364879 0
Current children cumulated CPU time (s) 2402.39
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2339.87
CPU time (s): 2402.67
CPU user time (s): 2395.08
CPU system time (s): 7.59292
CPU usage (%): 102.684
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.08
system time used= 7.59292
maximum resident set size= 3185528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471231
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93465
involuntary context switches= 127697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0732 second user time and 14.6557 second system time
The end