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-4247744-1500736962/watcher-4247744-1500736962 -o /tmp/evaluation-result-4247744-1500736962/solver-4247744-1500736962 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22997 --watchdog 2560 bin/concrete HOME/instance-4247744-1500736962.xml
pid=31245
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.78 1.59 1.90 3/262 31248
/proc/meminfo: memFree=30565356/32770624 swapFree=5700/382176
[pid=31248] ppid=31245 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (bash) S 31245 31248 22965 0 -1 4202496 688 1533 0 0 0 0 0 0 20 0 1 0 8963760 9736192 351 33554432000 4194304 5098028 140735932266800 140735932264440 139692653808640 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 27680768 140735932269838 140735932269923 140735932269923 140735932272622 0
/proc/31248/statm: 2377 351 278 221 0 86 0
[startup+0.100186 s]
/proc/loadavg: 1.78 1.59 1.90 3/262 31248
/proc/meminfo: memFree=30565356/32770624 swapFree=5700/382176
[pid=31248] ppid=31245 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (bash) S 31245 31248 22965 0 -1 4202496 885 6420 0 0 0 0 0 1 20 0 1 0 8963760 9871360 378 33554432000 4194304 5098028 140735932266800 140735932260808 139692653808640 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 27680768 140735932269838 140735932269923 140735932269923 140735932272622 0
/proc/31248/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.2003 s]
/proc/loadavg: 1.78 1.59 1.90 3/262 31248
/proc/meminfo: memFree=30565356/32770624 swapFree=5700/382176
[pid=31248] ppid=31245 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (java) S 31245 31248 22965 0 -1 1077944320 5145 12581 0 0 6 1 8 4 20 0 13 0 8963760 10686320640 4946 33554432000 4194304 4196468 140727892686704 140727892669248 140436205362935 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
/proc/31248/statm: 2608965 4946 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300339 s]
/proc/loadavg: 1.78 1.59 1.90 3/262 31248
/proc/meminfo: memFree=30565356/32770624 swapFree=5700/382176
[pid=31248] ppid=31245 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (java) S 31245 31248 22965 0 -1 1077944320 8420 12581 0 0 22 2 8 4 20 0 20 0 8963760 11163947008 9481 33554432000 4194304 4196468 140727892686704 140727892669248 140436205362935 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
/proc/31248/statm: 2725573 9481 2949 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.700171 s]
/proc/loadavg: 1.78 1.59 1.90 3/262 31248
/proc/meminfo: memFree=30565356/32770624 swapFree=5700/382176
[pid=31248] ppid=31245 vsize=10902720 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (java) S 31245 31248 22965 0 -1 1077944320 12534 12581 0 0 76 4 8 4 20 0 20 0 8963760 11164385280 15839 33554432000 4194304 4196468 140727892686704 140727892669248 140436205362935 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
/proc/31248/statm: 2725680 15839 3185 1 0 2713890 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 10902720
[startup+1.50078 s]
/proc/loadavg: 1.79 1.59 1.90 3/282 31321
/proc/meminfo: memFree=30459752/32770624 swapFree=5700/382240
[pid=31248] ppid=31245 vsize=10913344 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (java) S 31245 31248 22965 0 -1 1077944320 27816 12581 0 0 206 11 8 4 20 0 20 0 8963760 11175264256 44530 33554432000 4194304 4196468 140727892686704 140727892669248 140436205362935 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
/proc/31248/statm: 2728336 44530 3408 1 0 2716450 0
[pid=31248/tid=31303] ppid=31245 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31303/stat : 31303 (java) R 31245 31248 22965 0 -1 4202560 19855 12581 0 0 125 5 8 4 20 0 20 0 8963773 11175264256 44530 33554432000 4194304 4196468 140727892686704 140436209589080 140436205374870 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31304] ppid=31245 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31304/stat : 31304 (java) S 31245 31248 22965 0 -1 1077944384 53 12581 0 0 0 0 8 4 20 0 20 0 8963774 11175264256 44530 33554432000 4194304 4196468 140727892686704 140436170644624 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31305] ppid=31245 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31305/stat : 31305 (java) S 31245 31248 22965 0 -1 1077944384 13 12581 0 0 1 0 8 4 20 0 20 0 8963774 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435811576848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31306] ppid=31245 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31306/stat : 31306 (java) S 31245 31248 22965 0 -1 1077944384 25 12581 0 0 1 0 8 4 20 0 20 0 8963774 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435810524048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31307] ppid=31245 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31307/stat : 31307 (java) S 31245 31248 22965 0 -1 1077944384 37 12581 0 0 0 0 8 4 20 0 20 0 8963774 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435809471248 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31308] ppid=31245 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31308/stat : 31308 (java) S 31245 31248 22965 0 -1 1077944384 8 12581 0 0 0 0 8 4 20 0 20 0 8963774 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435808418448 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31309] ppid=31245 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31309/stat : 31309 (java) S 31245 31248 22965 0 -1 1077944384 14 12581 0 0 1 0 8 4 20 0 20 0 8963774 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435807365648 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31310] ppid=31245 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31310/stat : 31310 (java) S 31245 31248 22965 0 -1 1077944384 17 12581 0 0 0 0 8 4 20 0 20 0 8963774 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435806312848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31311] ppid=31245 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31311/stat : 31311 (java) S 31245 31248 22965 0 -1 1077944384 139 12581 0 0 1 0 8 4 20 0 20 0 8963774 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435805260048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31312] ppid=31245 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31312/stat : 31312 (java) S 31245 31248 22965 0 -1 1077944384 1429 12581 0 0 1 0 8 4 20 0 20 0 8963776 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435680029552 140436205374082 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31313] ppid=31245 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31313/stat : 31313 (java) S 31245 31248 22965 0 -1 1077944384 56 12581 0 0 0 0 8 4 20 0 20 0 8963777 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435678975584 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31314] ppid=31245 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31314/stat : 31314 (java) S 31245 31248 22965 0 -1 1077944384 43 12581 0 0 0 0 8 4 20 0 20 0 8963777 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435677922688 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31315] ppid=31245 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31315/stat : 31315 (java) S 31245 31248 22965 0 -1 1077944384 1 12581 0 0 0 0 8 4 20 0 20 0 8963781 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435676870992 140436205381531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31316] ppid=31245 vsize=10913344 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31316/stat : 31316 (java) S 31245 31248 22965 0 -1 1077944384 1727 12581 0 0 17 0 8 4 20 0 20 0 8963781 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435675818352 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31317] ppid=31245 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31317/stat : 31317 (java) S 31245 31248 22965 0 -1 1077944384 618 12581 0 0 13 0 8 4 20 0 20 0 8963782 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435674765552 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31318] ppid=31245 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31318/stat : 31318 (java) S 31245 31248 22965 0 -1 1077944384 353 12581 0 0 11 0 8 4 20 0 20 0 8963782 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435673712752 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31319] ppid=31245 vsize=10913344 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31319/stat : 31319 (java) S 31245 31248 22965 0 -1 1077944384 1291 12581 0 0 27 0 8 4 20 0 20 0 8963782 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435672659952 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31320] ppid=31245 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31320/stat : 31320 (java) S 31245 31248 22965 0 -1 1077944384 3 12581 0 0 0 0 8 4 20 0 20 0 8963782 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435671608416 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31321] ppid=31245 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31321/stat : 31321 (java) S 31245 31248 22965 0 -1 1077944384 3 12581 0 0 0 0 8 4 20 0 20 0 8963782 11175264256 44530 33554432000 4194304 4196468 140727892686704 140435670555696 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344
[startup+3.10119 s]
/proc/loadavg: 1.79 1.59 1.90 4/282 31321
/proc/meminfo: memFree=30385292/32770624 swapFree=5700/382240
[pid=31248] ppid=31245 vsize=10925820 CPUtime=6.58 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (java) S 31245 31248 22965 0 -1 1077944320 44592 12581 0 0 629 17 8 4 20 0 20 0 8963760 11188039680 55328 33554432000 4194304 4196468 140727892686704 140727892669248 140436205362935 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
/proc/31248/statm: 2731455 55328 3473 1 0 2719010 0
[pid=31248/tid=31303] ppid=31245 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31303/stat : 31303 (java) R 31245 31248 22965 0 -1 4202560 26928 12581 0 0 282 7 8 4 20 0 20 0 8963773 11188039680 55328 33554432000 4194304 4196468 140727892686704 140436209593880 140435849929580 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31304] ppid=31245 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31304/stat : 31304 (java) S 31245 31248 22965 0 -1 1077944384 53 12581 0 0 0 0 8 4 20 0 20 0 8963774 11188039680 55328 33554432000 4194304 4196468 140727892686704 140436170644624 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31305] ppid=31245 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31305/stat : 31305 (java) S 31245 31248 22965 0 -1 1077944384 13 12581 0 0 1 0 8 4 20 0 20 0 8963774 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435811576848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31306] ppid=31245 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31306/stat : 31306 (java) S 31245 31248 22965 0 -1 1077944384 25 12581 0 0 1 0 8 4 20 0 20 0 8963774 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435810524048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31307] ppid=31245 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31307/stat : 31307 (java) S 31245 31248 22965 0 -1 1077944384 37 12581 0 0 0 0 8 4 20 0 20 0 8963774 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435809471248 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31308] ppid=31245 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31308/stat : 31308 (java) S 31245 31248 22965 0 -1 1077944384 8 12581 0 0 0 0 8 4 20 0 20 0 8963774 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435808418448 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31309] ppid=31245 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31309/stat : 31309 (java) S 31245 31248 22965 0 -1 1077944384 14 12581 0 0 1 0 8 4 20 0 20 0 8963774 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435807365648 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31310] ppid=31245 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31310/stat : 31310 (java) S 31245 31248 22965 0 -1 1077944384 17 12581 0 0 0 0 8 4 20 0 20 0 8963774 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435806312848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31311] ppid=31245 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31311/stat : 31311 (java) S 31245 31248 22965 0 -1 1077944384 139 12581 0 0 1 0 8 4 20 0 20 0 8963774 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435805260048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31312] ppid=31245 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31312/stat : 31312 (java) S 31245 31248 22965 0 -1 1077944384 1448 12581 0 0 1 0 8 4 20 0 20 0 8963776 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435680029552 140436205374082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31313] ppid=31245 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31313/stat : 31313 (java) S 31245 31248 22965 0 -1 1077944384 56 12581 0 0 0 0 8 4 20 0 20 0 8963777 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435678975584 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31314] ppid=31245 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31314/stat : 31314 (java) S 31245 31248 22965 0 -1 1077944384 43 12581 0 0 0 0 8 4 20 0 20 0 8963777 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435677922688 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31315] ppid=31245 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31315/stat : 31315 (java) S 31245 31248 22965 0 -1 1077944384 1 12581 0 0 0 0 8 4 20 0 20 0 8963781 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435676870992 140436205381531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31316] ppid=31245 vsize=10925820 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31316/stat : 31316 (java) S 31245 31248 22965 0 -1 1077944384 2613 12581 0 0 64 1 8 4 20 0 20 0 8963781 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435675818352 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31317] ppid=31245 vsize=10925820 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31317/stat : 31317 (java) S 31245 31248 22965 0 -1 1077944384 4400 12581 0 0 95 1 8 4 20 0 20 0 8963782 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435674765552 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31318] ppid=31245 vsize=10925820 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31318/stat : 31318 (java) S 31245 31248 22965 0 -1 1077944384 1541 12581 0 0 57 1 8 4 20 0 20 0 8963782 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435673712752 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31319] ppid=31245 vsize=10925820 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31319/stat : 31319 (java) R 31245 31248 22965 0 -1 4202560 5116 12581 0 0 117 1 8 4 20 0 20 0 8963782 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435672655600 140436189603285 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31320] ppid=31245 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31320/stat : 31320 (java) S 31245 31248 22965 0 -1 1077944384 3 12581 0 0 0 0 8 4 20 0 20 0 8963782 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435671608416 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31321] ppid=31245 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31321/stat : 31321 (java) S 31245 31248 22965 0 -1 1077944384 5 12581 0 0 0 0 8 4 20 0 20 0 8963782 11188039680 55328 33554432000 4194304 4196468 140727892686704 140435670555696 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 10925820
[startup+6.30102 s]
/proc/loadavg: 1.81 1.60 1.90 6/282 31321
/proc/meminfo: memFree=30207540/32770624 swapFree=5700/382240
[pid=31248] ppid=31245 vsize=10997500 CPUtime=16.48 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (java) S 31245 31248 22965 0 -1 1077944320 71574 12581 0 0 1605 31 8 4 20 0 20 0 8963760 11261440000 95624 33554432000 4194304 4196468 140727892686704 140727892669248 140436205362935 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
/proc/31248/statm: 2749375 95624 3505 1 0 2736930 0
[pid=31248/tid=31303] ppid=31245 vsize=10997500 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31303/stat : 31303 (java) R 31245 31248 22965 0 -1 4202560 41831 12581 0 0 572 10 8 4 20 0 20 0 8963773 11261440000 95624 33554432000 4194304 4196468 140727892686704 140436209591504 140435857659079 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31304] ppid=31245 vsize=10997500 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31304/stat : 31304 (java) S 31245 31248 22965 0 -1 1077944384 160 12581 0 0 14 1 8 4 20 0 20 0 8963774 11261440000 95624 33554432000 4194304 4196468 140727892686704 140436170644624 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31305] ppid=31245 vsize=10997500 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31305/stat : 31305 (java) S 31245 31248 22965 0 -1 1077944384 873 12581 0 0 14 1 8 4 20 0 20 0 8963774 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435811576848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31306] ppid=31245 vsize=10997500 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31306/stat : 31306 (java) S 31245 31248 22965 0 -1 1077944384 42 12581 0 0 15 1 8 4 20 0 20 0 8963774 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435810524048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31307] ppid=31245 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31307/stat : 31307 (java) S 31245 31248 22965 0 -1 1077944384 90 12581 0 0 13 1 8 4 20 0 20 0 8963774 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435809471248 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31308] ppid=31245 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31308/stat : 31308 (java) S 31245 31248 22965 0 -1 1077944384 41 12581 0 0 13 0 8 4 20 0 20 0 8963774 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435808418448 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31309] ppid=31245 vsize=10997500 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31309/stat : 31309 (java) S 31245 31248 22965 0 -1 1077944384 45 12581 0 0 14 1 8 4 20 0 20 0 8963774 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435807365648 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31310] ppid=31245 vsize=10997500 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31310/stat : 31310 (java) S 31245 31248 22965 0 -1 1077944384 51 12581 0 0 14 1 8 4 20 0 20 0 8963774 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435806312848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31311] ppid=31245 vsize=10997500 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31311/stat : 31311 (java) S 31245 31248 22965 0 -1 1077944384 170 12581 0 0 15 1 8 4 20 0 20 0 8963774 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435805260048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31312] ppid=31245 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31312/stat : 31312 (java) S 31245 31248 22965 0 -1 1077944384 2223 12581 0 0 13 0 8 4 20 0 20 0 8963776 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435680029552 140436205374082 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31313] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31313/stat : 31313 (java) S 31245 31248 22965 0 -1 1077944384 58 12581 0 0 0 0 8 4 20 0 20 0 8963777 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435678975584 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31314] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31314/stat : 31314 (java) S 31245 31248 22965 0 -1 1077944384 43 12581 0 0 0 0 8 4 20 0 20 0 8963777 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435677922688 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31315] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31315/stat : 31315 (java) S 31245 31248 22965 0 -1 1077944384 1 12581 0 0 0 0 8 4 20 0 20 0 8963781 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435676870992 140436205381531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31316] ppid=31245 vsize=10997500 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31316/stat : 31316 (java) R 31245 31248 22965 0 -1 4202560 8301 12581 0 0 243 2 8 4 20 0 20 0 8963781 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435675806848 140436190470514 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31317] ppid=31245 vsize=10997500 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31317/stat : 31317 (java) R 31245 31248 22965 0 -1 4202560 5944 12581 0 0 253 1 8 4 20 0 20 0 8963782 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435674765848 140436184609346 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31318] ppid=31245 vsize=10997500 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31318/stat : 31318 (java) S 31245 31248 22965 0 -1 1077944384 2874 12581 0 0 214 2 8 4 20 0 20 0 8963782 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435673712752 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31319] ppid=31245 vsize=10997500 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31319/stat : 31319 (java) S 31245 31248 22965 0 -1 1077944384 6690 12581 0 0 191 2 8 4 20 0 20 0 8963782 11261440000 95624 33554432000 4194304 4196468 140727892686704 140435672659952 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31320] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/31248/task/31317/stat : 31317 (java) S 31245 31248 22965 0 -1 1077944384 15388 12581 0 0 352 3 8 4 20 0 20 0 8963782 11261440000 225385 33554432000 4194304 4196468 140727892686704 140435674765552 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31318] ppid=31245 vsize=10997500 CPUtime=3.64 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31318/stat : 31318 (java) S 31245 31248 22965 0 -1 1077944384 15274 12581 0 0 348 4 8 4 20 0 20 0 8963782 11261440000 225385 33554432000 4194304 4196468 140727892686704 140435673712752 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31319] ppid=31245 vsize=10997500 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31319/stat : 31319 (java) S 31245 31248 22965 0 -1 1077944384 13446 12581 0 0 209 3 8 4 20 0 20 0 8963782 11261440000 225385 33554432000 4194304 4196468 140727892686704 140435672659952 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31320] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31320/stat : 31320 (java) S 31245 31248 22965 0 -1 1077944384 3 12581 0 0 0 0 8 4 20 0 20 0 8963782 11261440000 225385 33554432000 4194304 4196468 140727892686704 140435671608416 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31321] ppid=31245 vsize=10997500 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31321/stat : 31321 (java) S 31245 31248 22965 0 -1 1077944384 1191 12581 0 0 52 57 8 4 20 0 20 0 8963782 11261440000 225385 33554432000 4194304 4196468 140727892686704 140435670555696 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
Current children cumulated CPU time (s) 2325.29
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 1.46 1.39 1.43 3/282 31696
/proc/meminfo: memFree=29846024/32770624 swapFree=5700/383788
[pid=31248] ppid=31245 vsize=10997500 CPUtime=2386.67 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (java) S 31245 31248 22965 0 -1 1077944320 218286 12581 0 0 238251 404 8 4 20 0 20 0 8963760 11261440000 225909 33554432000 4194304 4196468 140727892686704 140727892669248 140436205362935 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
/proc/31248/statm: 2749375 225909 3527 1 0 2736930 0
[pid=31248/tid=31303] ppid=31245 vsize=10997500 CPUtime=2303.5 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31303/stat : 31303 (java) R 31245 31248 22965 0 -1 4202560 80779 12581 0 0 230306 32 8 4 20 0 20 0 8963773 11261440000 225909 33554432000 4194304 4196468 140727892686704 140436209596320 140435857236808 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31304] ppid=31245 vsize=10997500 CPUtime=7.82 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31304/stat : 31304 (java) S 31245 31248 22965 0 -1 1077944384 3447 12581 0 0 733 37 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140436170644624 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31305] ppid=31245 vsize=10997500 CPUtime=7.84 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31305/stat : 31305 (java) S 31245 31248 22965 0 -1 1077944384 7132 12581 0 0 735 37 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435811576848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31306] ppid=31245 vsize=10997500 CPUtime=7.86 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31306/stat : 31306 (java) S 31245 31248 22965 0 -1 1077944384 4982 12581 0 0 736 38 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435810524048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31307] ppid=31245 vsize=10997500 CPUtime=7.91 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31307/stat : 31307 (java) S 31245 31248 22965 0 -1 1077944384 6457 12581 0 0 740 39 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435809471248 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31308] ppid=31245 vsize=10997500 CPUtime=7.89 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31308/stat : 31308 (java) S 31245 31248 22965 0 -1 1077944384 11477 12581 0 0 738 39 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435808418448 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31309] ppid=31245 vsize=10997500 CPUtime=7.95 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31309/stat : 31309 (java) S 31245 31248 22965 0 -1 1077944384 7305 12581 0 0 746 37 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435807365648 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31310] ppid=31245 vsize=10997500 CPUtime=7.8 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31310/stat : 31310 (java) S 31245 31248 22965 0 -1 1077944384 9319 12581 0 0 730 38 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435806312848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31311] ppid=31245 vsize=10997500 CPUtime=7.94 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31311/stat : 31311 (java) S 31245 31248 22965 0 -1 1077944384 5576 12581 0 0 746 36 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435805260048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31312] ppid=31245 vsize=10997500 CPUtime=7.3 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31312/stat : 31312 (java) S 31245 31248 22965 0 -1 1077944384 15192 12581 0 0 679 39 8 4 20 0 20 0 8963776 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435680029552 140436205374082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31313] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31313/stat : 31313 (java) S 31245 31248 22965 0 -1 1077944384 71 12581 0 0 0 0 8 4 20 0 20 0 8963777 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435678975584 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31314] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31314/stat : 31314 (java) S 31245 31248 22965 0 -1 1077944384 43 12581 0 0 0 0 8 4 20 0 20 0 8963777 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435677922688 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31315] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31315/stat : 31315 (java) S 31245 31248 22965 0 -1 1077944384 1 12581 0 0 0 0 8 4 20 0 20 0 8963781 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435676870992 140436205381531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31316] ppid=31245 vsize=10997500 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31316/stat : 31316 (java) S 31245 31248 22965 0 -1 1077944384 19048 12581 0 0 345 3 8 4 20 0 20 0 8963781 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435675818352 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31317] ppid=31245 vsize=10997500 CPUtime=3.67 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31317/stat : 31317 (java) S 31245 31248 22965 0 -1 1077944384 15390 12581 0 0 352 3 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435674765552 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31318] ppid=31245 vsize=10997500 CPUtime=3.64 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31318/stat : 31318 (java) S 31245 31248 22965 0 -1 1077944384 15276 12581 0 0 348 4 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435673712752 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31319] ppid=31245 vsize=10997500 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31319/stat : 31319 (java) S 31245 31248 22965 0 -1 1077944384 13448 12581 0 0 209 3 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435672659952 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31320] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31320/stat : 31320 (java) S 31245 31248 22965 0 -1 1077944384 3 12581 0 0 0 0 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435671608416 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31321] ppid=31245 vsize=10997500 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31321/stat : 31321 (java) S 31245 31248 22965 0 -1 1077944384 1208 12581 0 0 53 58 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435670555696 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
Current children cumulated CPU time (s) 2386.67
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2335.3 s]
/proc/loadavg: 1.39 1.38 1.43 3/282 31696
/proc/meminfo: memFree=29845472/32770624 swapFree=5700/383816
[pid=31248] ppid=31245 vsize=10997500 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (java) S 31245 31248 22965 0 -1 1077944320 218393 12581 0 0 239582 406 8 4 20 0 20 0 8963760 11261440000 225909 33554432000 4194304 4196468 140727892686704 140727892669248 140436205362935 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
/proc/31248/statm: 2749375 225909 3527 1 0 2736930 0
[pid=31248/tid=31303] ppid=31245 vsize=10997500 CPUtime=2316.4 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31303/stat : 31303 (java) R 31245 31248 22965 0 -1 4202560 80882 12581 0 0 231596 32 8 4 20 0 20 0 8963773 11261440000 225909 33554432000 4194304 4196468 140727892686704 140436209596320 140435855338946 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31304] ppid=31245 vsize=10997500 CPUtime=7.88 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31304/stat : 31304 (java) S 31245 31248 22965 0 -1 1077944384 3447 12581 0 0 738 38 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140436170644624 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31305] ppid=31245 vsize=10997500 CPUtime=7.87 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31305/stat : 31305 (java) S 31245 31248 22965 0 -1 1077944384 7132 12581 0 0 738 37 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435811576848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31306] ppid=31245 vsize=10997500 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31306/stat : 31306 (java) S 31245 31248 22965 0 -1 1077944384 4982 12581 0 0 740 38 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435810524048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31307] ppid=31245 vsize=10997500 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31307/stat : 31307 (java) S 31245 31248 22965 0 -1 1077944384 6457 12581 0 0 745 39 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435809471248 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31308] ppid=31245 vsize=10997500 CPUtime=7.94 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31308/stat : 31308 (java) S 31245 31248 22965 0 -1 1077944384 11477 12581 0 0 743 39 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435808418448 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31309] ppid=31245 vsize=10997500 CPUtime=8.01 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31309/stat : 31309 (java) S 31245 31248 22965 0 -1 1077944384 7305 12581 0 0 751 38 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435807365648 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31310] ppid=31245 vsize=10997500 CPUtime=7.85 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31310/stat : 31310 (java) S 31245 31248 22965 0 -1 1077944384 9319 12581 0 0 734 39 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435806312848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31311] ppid=31245 vsize=10997500 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31311/stat : 31311 (java) S 31245 31248 22965 0 -1 1077944384 5576 12581 0 0 751 37 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435805260048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31312] ppid=31245 vsize=10997500 CPUtime=7.33 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31312/stat : 31312 (java) S 31245 31248 22965 0 -1 1077944384 15194 12581 0 0 682 39 8 4 20 0 20 0 8963776 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435680029552 140436205374082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31313] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31313/stat : 31313 (java) S 31245 31248 22965 0 -1 1077944384 71 12581 0 0 0 0 8 4 20 0 20 0 8963777 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435678975584 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31314] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31314/stat : 31314 (java) S 31245 31248 22965 0 -1 1077944384 43 12581 0 0 0 0 8 4 20 0 20 0 8963777 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435677922688 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31315] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31315/stat : 31315 (java) S 31245 31248 22965 0 -1 1077944384 1 12581 0 0 0 0 8 4 20 0 20 0 8963781 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435676870992 140436205381531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31316] ppid=31245 vsize=10997500 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31316/stat : 31316 (java) S 31245 31248 22965 0 -1 1077944384 19048 12581 0 0 345 3 8 4 20 0 20 0 8963781 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435675818352 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31317] ppid=31245 vsize=10997500 CPUtime=3.67 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31317/stat : 31317 (java) S 31245 31248 22965 0 -1 1077944384 15390 12581 0 0 352 3 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435674765552 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31318] ppid=31245 vsize=10997500 CPUtime=3.64 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31318/stat : 31318 (java) S 31245 31248 22965 0 -1 1077944384 15276 12581 0 0 348 4 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435673712752 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31319] ppid=31245 vsize=10997500 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31319/stat : 31319 (java) S 31245 31248 22965 0 -1 1077944384 13448 12581 0 0 209 3 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435672659952 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31320] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31320/stat : 31320 (java) S 31245 31248 22965 0 -1 1077944384 3 12581 0 0 0 0 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435671608416 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31321] ppid=31245 vsize=10997500 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31321/stat : 31321 (java) S 31245 31248 22965 0 -1 1077944384 1210 12581 0 0 54 59 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435670555696 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
Current children cumulated CPU time (s) 2400
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 31248 sig 9
??? kill -31248 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2335.3 s]
/proc/loadavg: 1.39 1.38 1.43 3/282 31696
/proc/meminfo: memFree=29845472/32770624 swapFree=5700/383816
[pid=31248] ppid=31245 vsize=10997500 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/31248/stat : 31248 (java) S 31245 31248 22965 0 -1 1077944320 218393 12581 0 0 239582 406 8 4 20 0 20 0 8963760 11261440000 225909 33554432000 4194304 4196468 140727892686704 140727892669248 140436205362935 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
/proc/31248/statm: 2749375 225909 3527 1 0 2736930 0
[pid=31248/tid=31303] ppid=31245 vsize=10997500 CPUtime=2316.4 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31303/stat : 31303 (java) R 31245 31248 22965 0 -1 4202560 80882 12581 0 0 231596 32 8 4 20 0 20 0 8963773 11261440000 225909 33554432000 4194304 4196468 140727892686704 140436209596320 140435855338946 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31304] ppid=31245 vsize=10997500 CPUtime=7.88 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31304/stat : 31304 (java) S 31245 31248 22965 0 -1 1077944384 3447 12581 0 0 738 38 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140436170644624 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31305] ppid=31245 vsize=10997500 CPUtime=7.87 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31305/stat : 31305 (java) S 31245 31248 22965 0 -1 1077944384 7132 12581 0 0 738 37 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435811576848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31306] ppid=31245 vsize=10997500 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31306/stat : 31306 (java) S 31245 31248 22965 0 -1 1077944384 4982 12581 0 0 740 38 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435810524048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31307] ppid=31245 vsize=10997500 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31307/stat : 31307 (java) S 31245 31248 22965 0 -1 1077944384 6457 12581 0 0 745 39 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435809471248 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31308] ppid=31245 vsize=10997500 CPUtime=7.94 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31308/stat : 31308 (java) S 31245 31248 22965 0 -1 1077944384 11477 12581 0 0 743 39 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435808418448 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31309] ppid=31245 vsize=10997500 CPUtime=8.01 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31309/stat : 31309 (java) S 31245 31248 22965 0 -1 1077944384 7305 12581 0 0 751 38 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435807365648 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31310] ppid=31245 vsize=10997500 CPUtime=7.85 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31310/stat : 31310 (java) S 31245 31248 22965 0 -1 1077944384 9319 12581 0 0 734 39 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435806312848 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31311] ppid=31245 vsize=10997500 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31311/stat : 31311 (java) S 31245 31248 22965 0 -1 1077944384 5576 12581 0 0 751 37 8 4 20 0 20 0 8963774 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435805260048 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31312] ppid=31245 vsize=10997500 CPUtime=7.33 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31312/stat : 31312 (java) S 31245 31248 22965 0 -1 1077944384 15194 12581 0 0 682 39 8 4 20 0 20 0 8963776 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435680029552 140436205374082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31313] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31313/stat : 31313 (java) S 31245 31248 22965 0 -1 1077944384 71 12581 0 0 0 0 8 4 20 0 20 0 8963777 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435678975584 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31314] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31314/stat : 31314 (java) S 31245 31248 22965 0 -1 1077944384 43 12581 0 0 0 0 8 4 20 0 20 0 8963777 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435677922688 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31315] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31315/stat : 31315 (java) S 31245 31248 22965 0 -1 1077944384 1 12581 0 0 0 0 8 4 20 0 20 0 8963781 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435676870992 140436205381531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31316] ppid=31245 vsize=10997500 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31316/stat : 31316 (java) S 31245 31248 22965 0 -1 1077944384 19048 12581 0 0 345 3 8 4 20 0 20 0 8963781 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435675818352 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31317] ppid=31245 vsize=10997500 CPUtime=3.67 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31317/stat : 31317 (java) S 31245 31248 22965 0 -1 1077944384 15390 12581 0 0 352 3 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435674765552 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31318] ppid=31245 vsize=10997500 CPUtime=3.64 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31318/stat : 31318 (java) S 31245 31248 22965 0 -1 1077944384 15276 12581 0 0 348 4 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435673712752 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31319] ppid=31245 vsize=10997500 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31319/stat : 31319 (java) S 31245 31248 22965 0 -1 1077944384 13448 12581 0 0 209 3 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435672659952 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31320] ppid=31245 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31320/stat : 31320 (java) S 31245 31248 22965 0 -1 1077944384 3 12581 0 0 0 0 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435671608416 140436205373141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
[pid=31248/tid=31321] ppid=31245 vsize=10997500 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/31248/task/31321/stat : 31321 (java) S 31245 31248 22965 0 -1 1077944384 1210 12581 0 0 54 59 8 4 20 0 20 0 8963782 11261440000 225909 33554432000 4194304 4196468 140727892686704 140435670555696 140436205374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 24981504 140727892691649 140727892694423 140727892694423 140727892697039 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2335.34
CPU time (s): 2400.06
CPU user time (s): 2395.94
CPU system time (s): 4.12023
CPU usage (%): 102.771
Max. virtual memory (cumulated for all children) (KiB): 10997556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.94
system time used= 4.12023
maximum resident set size= 904176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 301087
involuntary context switches= 178442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6872 second user time and 20.7935 second system time
The end