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-4244504-1500688610/watcher-4244504-1500688610 -o /tmp/evaluation-result-4244504-1500688610/solver-4244504-1500688610 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500684099-14650 --watchdog 2560 bin/concrete HOME/instance-4244504-1500688610.xml
pid=15365
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.76 1.73 1.77 2/261 15368
/proc/meminfo: memFree=29859588/32770624 swapFree=5940/245828
[pid=15368] ppid=15365 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (bash) S 15365 15368 14618 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 4127886 9736192 351 33554432000 4194304 5098028 140733995353296 140733995350936 139852705795072 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 35065856 140733995361550 140733995361635 140733995361635 140733995364334 0
/proc/15368/statm: 2377 351 278 221 0 86 0
[startup+0.100063 s]
/proc/loadavg: 1.76 1.73 1.77 2/261 15368
/proc/meminfo: memFree=29859588/32770624 swapFree=5940/245828
[pid=15368] ppid=15365 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (bash) S 15365 15368 14618 0 -1 4202496 885 6414 0 0 0 0 0 1 20 0 1 0 4127886 9871360 378 33554432000 4194304 5098028 140733995353296 140733995347304 139852705795072 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 35065856 140733995361550 140733995361635 140733995361635 140733995364334 0
/proc/15368/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200304 s]
/proc/loadavg: 1.76 1.73 1.77 2/261 15368
/proc/meminfo: memFree=29859588/32770624 swapFree=5940/245828
[pid=15368] ppid=15365 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (java) S 15365 15368 14618 0 -1 1077944320 4834 12686 0 0 5 1 8 4 20 0 13 0 4127886 10686320640 5684 33554432000 4194304 4196468 140723256987760 140723256970304 140624465825527 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
/proc/15368/statm: 2608965 5684 2139 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300318 s]
/proc/loadavg: 1.76 1.73 1.77 2/261 15368
/proc/meminfo: memFree=29859588/32770624 swapFree=5940/245828
[pid=15368] ppid=15365 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (java) S 15365 15368 14618 0 -1 1077944320 8095 12686 0 0 21 3 8 4 20 0 20 0 4127886 11163947008 9788 33554432000 4194304 4196468 140723256987760 140723256970304 140624465825527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
/proc/15368/statm: 2725573 9788 2981 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.700214 s]
/proc/loadavg: 1.76 1.73 1.77 2/261 15368
/proc/meminfo: memFree=29859588/32770624 swapFree=5940/245828
[pid=15368] ppid=15365 vsize=10902720 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (java) S 15365 15368 14618 0 -1 1077944320 12399 12686 0 0 76 4 8 4 20 0 20 0 4127886 11164385280 16253 33554432000 4194304 4196468 140723256987760 140723256970304 140624465825527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
/proc/15368/statm: 2725680 16253 3205 1 0 2713890 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 10902720
[startup+1.50108 s]
/proc/loadavg: 1.76 1.73 1.77 3/281 15441
/proc/meminfo: memFree=29750288/32770624 swapFree=5940/245844
[pid=15368] ppid=15365 vsize=10913344 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (java) S 15365 15368 14618 0 -1 1077944320 25880 12686 0 0 209 12 8 4 20 0 20 0 4127886 11175264256 45209 33554432000 4194304 4196468 140723256987760 140723256970304 140624465825527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
/proc/15368/statm: 2728336 45209 3414 1 0 2716450 0
[pid=15368/tid=15423] ppid=15365 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15423/stat : 15423 (java) R 15365 15368 14618 0 -1 4202560 18654 12686 0 0 125 5 8 4 20 0 20 0 4127899 11175264256 45209 33554432000 4194304 4196468 140723256987760 140624470033200 140624451505652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15424] ppid=15365 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15424/stat : 15424 (java) S 15365 15368 14618 0 -1 1077944384 21 12686 0 0 1 0 8 4 20 0 20 0 4127900 11175264256 45209 33554432000 4194304 4196468 140723256987760 140624418446480 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15425] ppid=15365 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15425/stat : 15425 (java) S 15365 15368 14618 0 -1 1077944384 25 12686 0 0 1 0 8 4 20 0 20 0 4127900 11175264256 45209 33554432000 4194304 4196468 140723256987760 140624417393680 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15426] ppid=15365 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15426/stat : 15426 (java) S 15365 15368 14618 0 -1 1077944384 6 12686 0 0 0 0 8 4 20 0 20 0 4127900 11175264256 45209 33554432000 4194304 4196468 140723256987760 140624416340880 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15427] ppid=15365 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15427/stat : 15427 (java) S 15365 15368 14618 0 -1 1077944384 12 12686 0 0 1 0 8 4 20 0 20 0 4127900 11175264256 45209 33554432000 4194304 4196468 140723256987760 140624415288080 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15428] ppid=15365 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15428/stat : 15428 (java) S 15365 15368 14618 0 -1 1077944384 47 12686 0 0 1 0 8 4 20 0 20 0 4127900 11175264256 45209 33554432000 4194304 4196468 140723256987760 140624414235280 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15429] ppid=15365 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15429/stat : 15429 (java) S 15365 15368 14618 0 -1 1077944384 14 12686 0 0 0 0 8 4 20 0 20 0 4127900 11175264256 45209 33554432000 4194304 4196468 140723256987760 140624413182480 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15430] ppid=15365 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15430/stat : 15430 (java) S 15365 15368 14618 0 -1 1077944384 15 12686 0 0 1 0 8 4 20 0 20 0 4127900 11175264256 45209 33554432000 4194304 4196468 140723256987760 140624412129680 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15431] ppid=15365 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15431/stat : 15431 (java) S 15365 15368 14618 0 -1 1077944384 124 12686 0 0 1 0 8 4 20 0 20 0 4127900 11175264256 45209 33554432000 4194304 4196468 140723256987760 140624411076880 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15432] ppid=15365 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15432/stat : 15432 (java) S 15365 15368 14618 0 -1 1077944384 617 12686 0 0 1 0 8 4 20 0 20 0 4127902 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623282695024 140624465836674 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15433] ppid=15365 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15433/stat : 15433 (java) S 15365 15368 14618 0 -1 1077944384 54 12686 0 0 0 0 8 4 20 0 20 0 4127903 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623281641056 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15434] ppid=15365 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15434/stat : 15434 (java) S 15365 15368 14618 0 -1 1077944384 42 12686 0 0 0 0 8 4 20 0 20 0 4127903 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623280588160 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15435] ppid=15365 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15435/stat : 15435 (java) S 15365 15368 14618 0 -1 1077944384 1 12686 0 0 0 0 8 4 20 0 20 0 4127907 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623279536464 140624465844123 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15436] ppid=15365 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15436/stat : 15436 (java) S 15365 15368 14618 0 -1 1077944384 1072 12686 0 0 12 0 8 4 20 0 20 0 4127907 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623278483824 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15437] ppid=15365 vsize=10913344 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15437/stat : 15437 (java) S 15365 15368 14618 0 -1 1077944384 1261 12686 0 0 18 0 8 4 20 0 20 0 4127907 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623277431024 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15438] ppid=15365 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15438/stat : 15438 (java) S 15365 15368 14618 0 -1 1077944384 476 12686 0 0 13 0 8 4 20 0 20 0 4127907 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623276378224 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15439] ppid=15365 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15439/stat : 15439 (java) S 15365 15368 14618 0 -1 1077944384 1299 12686 0 0 26 0 8 4 20 0 20 0 4127907 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623275325424 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15440] ppid=15365 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15440/stat : 15440 (java) S 15365 15368 14618 0 -1 1077944384 3 12686 0 0 0 0 8 4 20 0 20 0 4127908 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623274273888 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15441] ppid=15365 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15441/stat : 15441 (java) S 15365 15368 14618 0 -1 1077944384 3 12686 0 0 0 0 8 4 20 0 20 0 4127908 11175264256 45209 33554432000 4194304 4196468 140723256987760 140623273221168 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10913344
[startup+3.10117 s]
/proc/loadavg: 1.76 1.73 1.77 5/281 15441
/proc/meminfo: memFree=29678516/32770624 swapFree=5940/245852
[pid=15368] ppid=15365 vsize=10925820 CPUtime=7.3 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (java) S 15365 15368 14618 0 -1 1077944320 40620 12686 0 0 700 18 8 4 20 0 20 0 4127886 11188039680 58314 33554432000 4194304 4196468 140723256987760 140723256970304 140624465825527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
/proc/15368/statm: 2731455 58314 3484 1 0 2719010 0
[pid=15368/tid=15423] ppid=15365 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15423/stat : 15423 (java) R 15365 15368 14618 0 -1 4202560 24488 12686 0 0 281 8 8 4 20 0 20 0 4127899 11188039680 58314 33554432000 4194304 4196468 140723256987760 140624470053528 140624465837462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15424] ppid=15365 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15424/stat : 15424 (java) S 15365 15368 14618 0 -1 1077944384 21 12686 0 0 1 0 8 4 20 0 20 0 4127900 11188039680 58314 33554432000 4194304 4196468 140723256987760 140624418446480 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15425] ppid=15365 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15425/stat : 15425 (java) S 15365 15368 14618 0 -1 1077944384 25 12686 0 0 1 0 8 4 20 0 20 0 4127900 11188039680 58314 33554432000 4194304 4196468 140723256987760 140624417393680 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15426] ppid=15365 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15426/stat : 15426 (java) S 15365 15368 14618 0 -1 1077944384 6 12686 0 0 0 0 8 4 20 0 20 0 4127900 11188039680 58314 33554432000 4194304 4196468 140723256987760 140624416340880 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15427] ppid=15365 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15427/stat : 15427 (java) S 15365 15368 14618 0 -1 1077944384 12 12686 0 0 1 0 8 4 20 0 20 0 4127900 11188039680 58314 33554432000 4194304 4196468 140723256987760 140624415288080 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15428] ppid=15365 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15428/stat : 15428 (java) S 15365 15368 14618 0 -1 1077944384 47 12686 0 0 1 0 8 4 20 0 20 0 4127900 11188039680 58314 33554432000 4194304 4196468 140723256987760 140624414235280 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15429] ppid=15365 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15429/stat : 15429 (java) S 15365 15368 14618 0 -1 1077944384 14 12686 0 0 0 0 8 4 20 0 20 0 4127900 11188039680 58314 33554432000 4194304 4196468 140723256987760 140624413182480 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15430] ppid=15365 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15430/stat : 15430 (java) S 15365 15368 14618 0 -1 1077944384 15 12686 0 0 1 0 8 4 20 0 20 0 4127900 11188039680 58314 33554432000 4194304 4196468 140723256987760 140624412129680 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15431] ppid=15365 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15431/stat : 15431 (java) S 15365 15368 14618 0 -1 1077944384 124 12686 0 0 1 0 8 4 20 0 20 0 4127900 11188039680 58314 33554432000 4194304 4196468 140723256987760 140624411076880 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15432] ppid=15365 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15432/stat : 15432 (java) S 15365 15368 14618 0 -1 1077944384 626 12686 0 0 2 0 8 4 20 0 20 0 4127902 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623282695024 140624465836674 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15433] ppid=15365 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15433/stat : 15433 (java) S 15365 15368 14618 0 -1 1077944384 54 12686 0 0 0 0 8 4 20 0 20 0 4127903 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623281641056 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15434] ppid=15365 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15434/stat : 15434 (java) S 15365 15368 14618 0 -1 1077944384 42 12686 0 0 0 0 8 4 20 0 20 0 4127903 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623280588160 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15435] ppid=15365 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15435/stat : 15435 (java) S 15365 15368 14618 0 -1 1077944384 1 12686 0 0 0 0 8 4 20 0 20 0 4127907 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623279536464 140624465844123 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15436] ppid=15365 vsize=10925820 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15436/stat : 15436 (java) R 15365 15368 14618 0 -1 4202560 2290 12686 0 0 86 1 8 4 20 0 20 0 4127907 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623278470560 140624447346871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15437] ppid=15365 vsize=10925820 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15437/stat : 15437 (java) R 15365 15368 14618 0 -1 4202560 3857 12686 0 0 109 0 8 4 20 0 20 0 4127907 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623277416992 140624450933100 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15438] ppid=15365 vsize=10925820 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15438/stat : 15438 (java) R 15365 15368 14618 0 -1 4202560 1809 12686 0 0 86 0 8 4 20 0 20 0 4127907 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623276362976 140624446037680 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15439] ppid=15365 vsize=10925820 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15439/stat : 15439 (java) S 15365 15368 14618 0 -1 1077944384 5048 12686 0 0 122 2 8 4 20 0 20 0 4127907 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623275325424 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15440] ppid=15365 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15440/stat : 15440 (java) S 15365 15368 14618 0 -1 1077944384 3 12686 0 0 0 0 8 4 20 0 20 0 4127908 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623274273888 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15441] ppid=15365 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15441/stat : 15441 (java) S 15365 15368 14618 0 -1 1077944384 4 12686 0 0 0 0 8 4 20 0 20 0 4127908 11188039680 58314 33554432000 4194304 4196468 140723256987760 140623273221168 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 10925820
[startup+6.30081 s]
/proc/loadavg: 2.02 1.79 1.79 7/281 15441
/proc/meminfo: memFree=29418312/32770624 swapFree=5940/245864
[pid=15368] ppid=15365 vsize=10927868 CPUtime=17.79 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (java) S 15365 15368 14618 0 -1 1077944320 57716 12686 0 0 1685 82 8 4 20 0 20 0 4127886 11190136832 123039 33554432000 4194304 4196468 140723256987760 140723256970304 140624465825527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
/proc/15368/statm: 2731967 123039 3505 1 0 2719522 0
[pid=15368/tid=15423] ppid=15365 vsize=10927868 CPUtime=6 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15423/stat : 15423 (java) R 15365 15368 14618 0 -1 4202560 27779 12686 0 0 577 11 8 4 20 0 20 0 4127899 11190136832 123039 33554432000 4194304 4196468 140723256987760 140624470057832 140624108287079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15424] ppid=15365 vsize=10927868 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15424/stat : 15424 (java) S 15365 15368 14618 0 -1 1077944384 179 12686 0 0 11 8 8 4 20 0 20 0 4127900 11190136832 123039 33554432000 4194304 4196468 140723256987760 140624418446480 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15425] ppid=15365 vsize=10927868 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15425/stat : 15425 (java) S 15365 15368 14618 0 -1 1077944384 101 12686 0 0 9 5 8 4 20 0 20 0 4127900 11190136832 123039 33554432000 4194304 4196468 140723256987760 140624417393680 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15426] ppid=15365 vsize=10927868 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15426/stat : 15426 (java) S 15365 15368 14618 0 -1 1077944384 129 12686 0 0 12 7 8 4 20 0 20 0 4127900 11190136832 123039 33554432000 4194304 4196468 140723256987760 140624416340880 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15427] ppid=15365 vsize=10927868 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15427/stat : 15427 (java) S 15365 15368 14618 0 -1 1077944384 138 12686 0 0 12 8 8 4 20 0 20 0 4127900 11190136832 123039 33554432000 4194304 4196468 140723256987760 140624415288080 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15428] ppid=15365 vsize=10927868 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15428/stat : 15428 (java) S 15365 15368 14618 0 -1 1077944384 282 12686 0 0 11 6 8 4 20 0 20 0 4127900 11190136832 123039 33554432000 4194304 4196468 140723256987760 140624414235280 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15429] ppid=15365 vsize=10927868 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15429/stat : 15429 (java) S 15365 15368 14618 0 -1 1077944384 145 12686 0 0 11 9 8 4 20 0 20 0 4127900 11190136832 123039 33554432000 4194304 4196468 140723256987760 140624413182480 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15430] ppid=15365 vsize=10927868 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15430/stat : 15430 (java) S 15365 15368 14618 0 -1 1077944384 115 12686 0 0 10 6 8 4 20 0 20 0 4127900 11190136832 123039 33554432000 4194304 4196468 140723256987760 140624412129680 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15431] ppid=15365 vsize=10927868 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15431/stat : 15431 (java) S 15365 15368 14618 0 -1 1077944384 233 12686 0 0 11 7 8 4 20 0 20 0 4127900 11190136832 123039 33554432000 4194304 4196468 140723256987760 140624411076880 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15432] ppid=15365 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15432/stat : 15432 (java) S 15365 15368 14618 0 -1 1077944384 829 12686 0 0 3 0 8 4 20 0 20 0 4127902 11190136832 123039 33554432000 4194304 4196468 140723256987760 140623282695024 140624465836674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15433] ppid=15365 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15433/stat : 15433 (java) S 15365 15368 14618 0 -1 1077944384 56 12686 0 0 0 0 8 4 20 0 20 0 4127903 11190136832 123039 33554432000 4194304 4196468 140723256987760 140623281641056 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15434] ppid=15365 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15434/stat : 15434 (java) S 15365 15368 14618 0 -1 1077944384 43 12686 0 0 0 0 8 4 20 0 20 0 4127903 11190136832 123039 33554432000 4194304 4196468 140723256987760 140623280588160 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15435] ppid=15365 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15435/stat : 15435 (java) S 15365 15368 14618 0 -1 1077944384 1 12686 0 0 0 0 8 4 20 0 20 0 4127907 11190136832 123039 33554432000 4194304 4196468 140723256987760 140623279536464 140624465844123 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15436] ppid=15365 vsize=10927868 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15436/stat : 15436 (java) S 15365 15368 14618 0 -1 1077944384 5498 12686 0 0 256 1 8 4 20 0 20 0 4127907 11190136832 123039 33554432000 4194304 4196468 140723256987760 140623278483824 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15437] ppid=15365 vsize=10927868 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15437/stat : 15437 (java) S 15365 15368 14618 0 -1 1077944384 7505 12686 0 0 299 1 8 4 20 0 20 0 4127907 11190136832 123039 33554432000 4194304 4196468 140723256987760 140623277431024 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15438] ppid=15365 vsize=10927868 CPUtime=2.82 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15438/stat : 15438 (java) S 15365 15368 14618 0 -1 1077944384 5183 12686 0 0 269 1 8 4 20 0 20 0 4127907 11190136832 123039 33554432000 4194304 4196468 140723256987760 140623276378224 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15439] ppid=15365 vsize=10927868 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15439/stat : 15439 (java) S 15365 15368 14618 0 -1 1077944384 7355 12686 0 0 185 3 8 4 20 0 20 0 4127907 11190136832 123039 33554432000 4194304 4196468 140723256987760 140623275325424 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15440] ppid=15365 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=15368/tid=15437] ppid=15365 vsize=10931964 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15437/stat : 15437 (java) S 15365 15368 14618 0 -1 1077944384 15041 12686 0 0 561 3 8 4 20 0 20 0 4127907 11194331136 547819 33554432000 4194304 4196468 140723256987760 140623277431024 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15438] ppid=15365 vsize=10931964 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15438/stat : 15438 (java) S 15365 15368 14618 0 -1 1077944384 12428 12686 0 0 513 3 8 4 20 0 20 0 4127907 11194331136 547819 33554432000 4194304 4196468 140723256987760 140623276378224 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15439] ppid=15365 vsize=10931964 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15439/stat : 15439 (java) S 15365 15368 14618 0 -1 1077944384 16079 12686 0 0 278 6 8 4 20 0 20 0 4127907 11194331136 547819 33554432000 4194304 4196468 140723256987760 140623275325424 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15440] ppid=15365 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15440/stat : 15440 (java) S 15365 15368 14618 0 -1 1077944384 3 12686 0 0 0 0 8 4 20 0 20 0 4127908 11194331136 547819 33554432000 4194304 4196468 140723256987760 140623274273888 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15441] ppid=15365 vsize=10931964 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15441/stat : 15441 (java) S 15365 15368 14618 0 -1 1077944384 1479 12686 0 0 57 67 8 4 20 0 20 0 4127908 11194331136 547819 33554432000 4194304 4196468 140723256987760 140623273221168 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
Current children cumulated CPU time (s) 2354.02
Current children cumulated vsize (KiB) 10931964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2306.8 s]
/proc/loadavg: 1.21 1.37 1.45 3/281 15672
/proc/meminfo: memFree=28012632/32770624 swapFree=5940/248024
[pid=15368] ppid=15365 vsize=10931964 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (java) S 15365 15368 14618 0 -1 1077944320 300974 12686 0 0 239451 542 8 4 20 0 20 0 4127886 11194331136 547837 33554432000 4194304 4196468 140723256987760 140723256970304 140624465825527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
/proc/15368/statm: 2732991 547837 3523 1 0 2720546 0
[pid=15368/tid=15423] ppid=15365 vsize=10931964 CPUtime=2286.31 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15423/stat : 15423 (java) R 15365 15368 14618 0 -1 4202560 106200 12686 0 0 228559 60 8 4 20 0 20 0 4127899 11194331136 547837 33554432000 4194304 4196468 140723256987760 140624470059696 140624104588224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15424] ppid=15365 vsize=10931964 CPUtime=11.07 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15424/stat : 15424 (java) S 15365 15368 14618 0 -1 1077944384 14512 12686 0 0 1047 48 8 4 20 0 20 0 4127900 11194331136 547837 33554432000 4194304 4196468 140723256987760 140624418446480 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15425] ppid=15365 vsize=10931964 CPUtime=11.03 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15425/stat : 15425 (java) S 15365 15368 14618 0 -1 1077944384 9530 12686 0 0 1042 49 8 4 20 0 20 0 4127900 11194331136 547837 33554432000 4194304 4196468 140723256987760 140624417393680 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15426] ppid=15365 vsize=10931964 CPUtime=11.18 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15426/stat : 15426 (java) S 15365 15368 14618 0 -1 1077944384 11250 12686 0 0 1059 47 8 4 20 0 20 0 4127900 11194331136 547837 33554432000 4194304 4196468 140723256987760 140624416340880 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15427] ppid=15365 vsize=10931964 CPUtime=11.02 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15427/stat : 15427 (java) S 15365 15368 14618 0 -1 1077944384 17171 12686 0 0 1041 49 8 4 20 0 20 0 4127900 11194331136 547837 33554432000 4194304 4196468 140723256987760 140624415288080 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15428] ppid=15365 vsize=10931964 CPUtime=11.09 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15428/stat : 15428 (java) S 15365 15368 14618 0 -1 1077944384 13602 12686 0 0 1049 48 8 4 20 0 20 0 4127900 11194331136 547837 33554432000 4194304 4196468 140723256987760 140624414235280 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15429] ppid=15365 vsize=10931964 CPUtime=11.13 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15429/stat : 15429 (java) S 15365 15368 14618 0 -1 1077944384 15388 12686 0 0 1045 56 8 4 20 0 20 0 4127900 11194331136 547837 33554432000 4194304 4196468 140723256987760 140624413182480 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15430] ppid=15365 vsize=10931964 CPUtime=11.03 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15430/stat : 15430 (java) S 15365 15368 14618 0 -1 1077944384 16950 12686 0 0 1045 46 8 4 20 0 20 0 4127900 11194331136 547837 33554432000 4194304 4196468 140723256987760 140624412129680 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15431] ppid=15365 vsize=10931964 CPUtime=11.17 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15431/stat : 15431 (java) S 15365 15368 14618 0 -1 1077944384 11071 12686 0 0 1058 47 8 4 20 0 20 0 4127900 11194331136 547837 33554432000 4194304 4196468 140723256987760 140624411076880 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15432] ppid=15365 vsize=10931964 CPUtime=5.69 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15432/stat : 15432 (java) S 15365 15368 14618 0 -1 1077944384 22486 12686 0 0 516 41 8 4 20 0 20 0 4127902 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623282695024 140624465836674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15433] ppid=15365 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15433/stat : 15433 (java) S 15365 15368 14618 0 -1 1077944384 60 12686 0 0 0 0 8 4 20 0 20 0 4127903 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623281641120 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15434] ppid=15365 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15434/stat : 15434 (java) S 15365 15368 14618 0 -1 1077944384 50 12686 0 0 0 0 8 4 20 0 20 0 4127903 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623280588160 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15435] ppid=15365 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15435/stat : 15435 (java) S 15365 15368 14618 0 -1 1077944384 1 12686 0 0 0 0 8 4 20 0 20 0 4127907 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623279536464 140624465844123 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15436] ppid=15365 vsize=10931964 CPUtime=5.42 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15436/stat : 15436 (java) S 15365 15368 14618 0 -1 1077944384 15507 12686 0 0 527 3 8 4 20 0 20 0 4127907 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623278483824 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15437] ppid=15365 vsize=10931964 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15437/stat : 15437 (java) S 15365 15368 14618 0 -1 1077944384 15046 12686 0 0 561 3 8 4 20 0 20 0 4127907 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623277431024 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15438] ppid=15365 vsize=10931964 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15438/stat : 15438 (java) S 15365 15368 14618 0 -1 1077944384 12432 12686 0 0 513 3 8 4 20 0 20 0 4127907 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623276378224 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15439] ppid=15365 vsize=10931964 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15439/stat : 15439 (java) S 15365 15368 14618 0 -1 1077944384 16083 12686 0 0 278 6 8 4 20 0 20 0 4127907 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623275325424 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15440] ppid=15365 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15440/stat : 15440 (java) S 15365 15368 14618 0 -1 1077944384 3 12686 0 0 0 0 8 4 20 0 20 0 4127908 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623274273888 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15441] ppid=15365 vsize=10931964 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15441/stat : 15441 (java) S 15365 15368 14618 0 -1 1077944384 1498 12686 0 0 58 69 8 4 20 0 20 0 4127908 11194331136 547837 33554432000 4194304 4196468 140723256987760 140623273221168 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10931964
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 15368 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2307.3 s]
/proc/loadavg: 1.21 1.37 1.45 3/281 15672
/proc/meminfo: memFree=28012632/32770624 swapFree=5940/248024
[pid=15368] ppid=15365 vsize=11065092 CPUtime=2403.55 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (java) S 15365 15368 14618 0 -1 1077944320 304581 12686 0 0 239798 545 8 4 20 0 22 0 4127886 11330654208 550090 33554432000 4194304 4196468 140723256987760 140723256970304 140624465825527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
/proc/15368/statm: 2766273 550090 3523 1 0 2753828 0
[pid=15368/tid=15423] ppid=15365 vsize=11065092 CPUtime=2286.31 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15423/stat : 15423 (java) S 15365 15368 14618 0 -1 1077944384 106401 12686 0 0 228559 60 8 4 20 0 22 0 4127899 11330654208 550090 33554432000 4194304 4196468 140723256987760 140624470063072 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15424] ppid=15365 vsize=11065092 CPUtime=11.5 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15424/stat : 15424 (java) R 15365 15368 14618 0 -1 4202560 14516 12686 0 0 1090 48 8 4 20 0 22 0 4127900 11330654208 550090 33554432000 4194304 4196468 140723256987760 140624418446600 140624458453735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15425] ppid=15365 vsize=11065092 CPUtime=11.46 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15425/stat : 15425 (java) R 15365 15368 14618 0 -1 4202560 9538 12686 0 0 1085 49 8 4 20 0 22 0 4127900 11330654208 550090 33554432000 4194304 4196468 140723256987760 140624417393800 140624450526160 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15426] ppid=15365 vsize=11065092 CPUtime=11.62 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15426/stat : 15426 (java) R 15365 15368 14618 0 -1 4202560 11250 12686 0 0 1102 48 8 4 20 0 22 0 4127900 11330654208 550090 33554432000 4194304 4196468 140723256987760 140624416341000 140624458453735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15427] ppid=15365 vsize=11065092 CPUtime=11.46 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15427/stat : 15427 (java) R 15365 15368 14618 0 -1 4202560 17174 12686 0 0 1084 50 8 4 20 0 22 0 4127900 11330654208 550090 33554432000 4194304 4196468 140723256987760 140624415288200 140624458453735 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15428] ppid=15365 vsize=11065092 CPUtime=11.53 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15428/stat : 15428 (java) R 15365 15368 14618 0 -1 4202560 13614 12686 0 0 1092 49 8 4 20 0 22 0 4127900 11330654208 550090 33554432000 4194304 4196468 140723256987760 140624414235400 140624458453735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15429] ppid=15365 vsize=11065092 CPUtime=11.57 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15429/stat : 15429 (java) R 15365 15368 14618 0 -1 4202560 15403 12686 0 0 1088 57 8 4 20 0 22 0 4127900 11330654208 550090 33554432000 4194304 4196468 140723256987760 140624413182600 140624458453735 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15430] ppid=15365 vsize=11065092 CPUtime=11.48 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15430/stat : 15430 (java) R 15365 15368 14618 0 -1 4202560 16960 12686 0 0 1089 47 8 4 20 0 22 0 4127900 11330654208 550090 33554432000 4194304 4196468 140723256987760 140624412129800 140624458930220 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15431] ppid=15365 vsize=11065092 CPUtime=11.61 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15431/stat : 15431 (java) R 15365 15368 14618 0 -1 4202560 11075 12686 0 0 1102 47 8 4 20 0 22 0 4127900 11330654208 550090 33554432000 4194304 4196468 140723256987760 140624411077000 140624458453735 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15432] ppid=15365 vsize=11065092 CPUtime=5.72 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15432/stat : 15432 (java) S 15365 15368 14618 0 -1 1077944384 25623 12686 0 0 519 41 8 4 20 0 22 0 4127902 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623282693648 140624465835733 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15433] ppid=15365 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15433/stat : 15433 (java) S 15365 15368 14618 0 -1 1077944384 60 12686 0 0 0 0 8 4 20 0 22 0 4127903 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623281641120 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15434] ppid=15365 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15434/stat : 15434 (java) S 15365 15368 14618 0 -1 1077944384 50 12686 0 0 0 0 8 4 20 0 22 0 4127903 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623280588160 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15435] ppid=15365 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15435/stat : 15435 (java) S 15365 15368 14618 0 -1 1077944384 100 12686 0 0 0 0 8 4 20 0 22 0 4127907 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623279536464 140624465844123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15436] ppid=15365 vsize=11065092 CPUtime=5.42 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15436/stat : 15436 (java) S 15365 15368 14618 0 -1 1077944384 15507 12686 0 0 527 3 8 4 20 0 22 0 4127907 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623278483824 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15437] ppid=15365 vsize=11065092 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15437/stat : 15437 (java) S 15365 15368 14618 0 -1 1077944384 15046 12686 0 0 561 3 8 4 20 0 22 0 4127907 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623277431024 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15438] ppid=15365 vsize=11065092 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15438/stat : 15438 (java) S 15365 15368 14618 0 -1 1077944384 12442 12686 0 0 513 3 8 4 20 0 22 0 4127907 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623276370256 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15439] ppid=15365 vsize=11065092 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15439/stat : 15439 (java) S 15365 15368 14618 0 -1 1077944384 16084 12686 0 0 278 6 8 4 20 0 22 0 4127907 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623275325184 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15440] ppid=15365 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15440/stat : 15440 (java) S 15365 15368 14618 0 -1 1077944384 3 12686 0 0 0 0 8 4 20 0 22 0 4127908 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623274273888 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15441] ppid=15365 vsize=11065092 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15441/stat : 15441 (java) S 15365 15368 14618 0 -1 1077944384 1498 12686 0 0 58 69 8 4 20 0 22 0 4127908 11330654208 550090 33554432000 4194304 4196468 140723256987760 140623273221168 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
Current children cumulated CPU time (s) 2403.55
Current children cumulated vsize (KiB) 11065092
[startup+2307.7 s]
/proc/loadavg: 1.21 1.37 1.45 3/281 15672
/proc/meminfo: memFree=28012632/32770624 swapFree=5940/248024
[pid=15368] ppid=15365 vsize=11065092 CPUtime=2406.32 cores=1,3,5,7,9,11,13,15
/proc/15368/stat : 15368 (java) S 15365 15368 14618 0 -1 1077944320 304751 12686 0 0 240074 546 8 4 20 0 22 0 4127886 11330654208 550122 33554432000 4194304 4196468 140723256987760 140723256970304 140624465825527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
/proc/15368/statm: 2766273 550122 3523 1 0 2753828 0
[pid=15368/tid=15423] ppid=15365 vsize=11065092 CPUtime=2286.32 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15423/stat : 15423 (java) S 15365 15368 14618 0 -1 1077944384 106401 12686 0 0 228560 60 8 4 20 0 22 0 4127899 11330654208 550122 33554432000 4194304 4196468 140723256987760 140624470063072 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15424] ppid=15365 vsize=11065092 CPUtime=11.85 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15424/stat : 15424 (java) R 15365 15368 14618 0 -1 4202560 14516 12686 0 0 1124 49 8 4 20 0 22 0 4127900 11330654208 550122 33554432000 4194304 4196468 140723256987760 140624418446376 140624449208560 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15425] ppid=15365 vsize=11065092 CPUtime=11.81 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15425/stat : 15425 (java) R 15365 15368 14618 0 -1 4202560 9544 12686 0 0 1120 49 8 4 20 0 22 0 4127900 11330654208 550122 33554432000 4194304 4196468 140723256987760 140624417393880 140624450776132 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15426] ppid=15365 vsize=11065092 CPUtime=11.96 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15426/stat : 15426 (java) R 15365 15368 14618 0 -1 4202560 11251 12686 0 0 1136 48 8 4 20 0 22 0 4127900 11330654208 550122 33554432000 4194304 4196468 140723256987760 140624416340776 140624458453735 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15427] ppid=15365 vsize=11065092 CPUtime=11.8 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15427/stat : 15427 (java) R 15365 15368 14618 0 -1 4202560 17174 12686 0 0 1118 50 8 4 20 0 22 0 4127900 11330654208 550122 33554432000 4194304 4196468 140723256987760 140624415287976 140624458453735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15428] ppid=15365 vsize=11065092 CPUtime=11.86 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15428/stat : 15428 (java) R 15365 15368 14618 0 -1 4202560 13615 12686 0 0 1125 49 8 4 20 0 22 0 4127900 11330654208 550122 33554432000 4194304 4196468 140723256987760 140624414235176 140624458453735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15429] ppid=15365 vsize=11065092 CPUtime=11.91 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15429/stat : 15429 (java) R 15365 15368 14618 0 -1 4202560 15403 12686 0 0 1122 57 8 4 20 0 22 0 4127900 11330654208 550122 33554432000 4194304 4196468 140723256987760 140624413182376 140624458453735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15430] ppid=15365 vsize=11065092 CPUtime=11.82 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15430/stat : 15430 (java) S 15365 15368 14618 0 -1 1077944384 16960 12686 0 0 1123 47 8 4 20 0 22 0 4127900 11330654208 550122 33554432000 4194304 4196468 140723256987760 140624412129680 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15431] ppid=15365 vsize=11065092 CPUtime=11.95 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15431/stat : 15431 (java) S 15365 15368 14618 0 -1 1077944384 11075 12686 0 0 1136 47 8 4 20 0 22 0 4127900 11330654208 550122 33554432000 4194304 4196468 140723256987760 140624411076880 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15432] ppid=15365 vsize=11065092 CPUtime=5.78 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15432/stat : 15432 (java) S 15365 15368 14618 0 -1 1077944384 25779 12686 0 0 525 41 8 4 20 0 22 0 4127902 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623282693424 140624465835733 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15433] ppid=15365 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15433/stat : 15433 (java) S 15365 15368 14618 0 -1 1077944384 62 12686 0 0 0 0 8 4 20 0 22 0 4127903 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623281641200 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15434] ppid=15365 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15434/stat : 15434 (java) S 15365 15368 14618 0 -1 1077944384 50 12686 0 0 0 0 8 4 20 0 22 0 4127903 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623280588160 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15435] ppid=15365 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15435/stat : 15435 (java) S 15365 15368 14618 0 -1 1077944384 100 12686 0 0 0 0 8 4 20 0 22 0 4127907 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623279536464 140624465844123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15436] ppid=15365 vsize=11065092 CPUtime=5.42 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15436/stat : 15436 (java) S 15365 15368 14618 0 -1 1077944384 15507 12686 0 0 527 3 8 4 20 0 22 0 4127907 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623278483824 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15437] ppid=15365 vsize=11065092 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15437/stat : 15437 (java) S 15365 15368 14618 0 -1 1077944384 15046 12686 0 0 561 3 8 4 20 0 22 0 4127907 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623277431024 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15438] ppid=15365 vsize=11065092 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15438/stat : 15438 (java) S 15365 15368 14618 0 -1 1077944384 12443 12686 0 0 513 3 8 4 20 0 22 0 4127907 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623276368688 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15439] ppid=15365 vsize=11065092 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15439/stat : 15439 (java) S 15365 15368 14618 0 -1 1077944384 16084 12686 0 0 278 6 8 4 20 0 22 0 4127907 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623275325424 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15440] ppid=15365 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15440/stat : 15440 (java) S 15365 15368 14618 0 -1 1077944384 3 12686 0 0 0 0 8 4 20 0 22 0 4127908 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623274273888 140624465835733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
[pid=15368/tid=15441] ppid=15365 vsize=11065092 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/15368/task/15441/stat : 15441 (java) S 15365 15368 14618 0 -1 1077944384 1498 12686 0 0 58 69 8 4 20 0 22 0 4127908 11330654208 550122 33554432000 4194304 4196468 140723256987760 140623273221168 140624465836674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723256994497 140723256997271 140723256997271 140723256999887 0
Current children cumulated CPU time (s) 2406.32
Current children cumulated vsize (KiB) 11065092
Child status: 143
Real time (s): 2307.78
CPU time (s): 2406.74
CPU user time (s): 2401.21
CPU system time (s): 5.52378
CPU usage (%): 104.288
Max. virtual memory (cumulated for all children) (KiB): 11065092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2401.21
system time used= 5.52378
maximum resident set size= 2914588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 230334
involuntary context switches= 163168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7722 second user time and 18.4754 second system time
The end