2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
slowpoke 2018-04-29	? (TO)		2520.08	2396.62
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11633 MiB free)
  memory of node 1: 16384 MiB (15004 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300245-1532890798/watcher-4300245-1532890798 -o /tmp/evaluation-result-4300245-1532890798/solver-4300245-1532890798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532880755-21206 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4300245-1532890798.xml --timelimit 2520 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22258, runsolver pid=22255
Current StackSize limit: 8192 KiB


[startup+0.100126 s]*
/proc/loadavg: 1.20 1.42 1.43 5/219 22273
/proc/meminfo: memFree=27263296/32770624 swapFree=67108860/67108860
[pid=22258] ppid=22255 vsize=10661056 memory=25580 CPUtime=0.12 cores=0,2,4,6
/proc/22258/stat : 22258 (java) S 22255 22258 21175 0 -1 1077944320 5289 0 0 0 11 1 0 0 20 0 15 0 106642944 10916921344 6395 33554432000 4194304 4196468 140721344765728 140721344748272 140219708907255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
/proc/22258/statm: 2665264 6395 2833 1 0 2627263 0
[pid=22258/tid=22260] ppid=22255 vsize=10661056 memory=-8413741653617446270 CPUtime=0.09 cores=0,2,4,6
/proc/22258/task/22260/stat : 22260 (java) R 22255 22258 21175 0 -1 4202560 3195 0 0 0 9 0 0 0 20 0 15 0 106642944 10916921344 6395 33554432000 4194304 4196468 140721344765728 140219713138800 140219708919190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22261] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22261/stat : 22261 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 6395 33554432000 4194304 4196468 140721344765728 140219316104080 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22262] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22262/stat : 22262 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 6395 33554432000 4194304 4196468 140721344765728 140219315051280 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22263] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22263/stat : 22263 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 6395 33554432000 4194304 4196468 140721344765728 140219313998992 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22264] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22264/stat : 22264 (java) S 22255 22258 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 6395 33554432000 4194304 4196468 140721344765728 140219312946192 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22265] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22265/stat : 22265 (java) S 22255 22258 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106642947 10916921344 6395 33554432000 4194304 4196468 140721344765728 140218745198704 140219708918402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22266] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22266/stat : 22266 (java) S 22255 22258 21175 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106642947 10916921344 6395 33554432000 4194304 4196468 140721344765728 140218744144672 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22267] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22267/stat : 22267 (java) S 22255 22258 21175 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106642947 10916921344 6395 33554432000 4194304 4196468 140721344765728 140218743092336 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22268] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22268/stat : 22268 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 6395 33554432000 4194304 4196468 140721344765728 140218742040656 140219708925851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22269] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22269/stat : 22269 (java) S 22255 22258 21175 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 6395 33554432000 4194304 4196468 140721344765728 140218740988528 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22270] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22270/stat : 22270 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 6395 33554432000 4194304 4196468 140721344765728 140218739935728 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22271] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0.01 cores=0,2,4,6
/proc/22258/task/22271/stat : 22271 (java) R 22255 22258 21175 0 -1 4202560 287 0 0 0 1 0 0 0 20 0 15 0 106642950 10916921344 6395 33554432000 4194304 4196468 140721344765728 140218738883440 140219708928602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22272] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22272/stat : 22272 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 6395 33554432000 4194304 4196468 140721344765728 140218429430752 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22273] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22273/stat : 22273 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 6395 33554432000 4194304 4196468 140721344765728 140218428377520 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 25580 KiB

[startup+0.21227 s]*
/proc/loadavg: 1.20 1.42 1.43 5/219 22273
/proc/meminfo: memFree=27251248/32770624 swapFree=67108860/67108860
[pid=22258] ppid=22255 vsize=10661056 memory=38976 CPUtime=0.34 cores=0,2,4,6
/proc/22258/stat : 22258 (java) S 22255 22258 21175 0 -1 1077944320 8369 0 0 0 32 2 0 0 20 0 15 0 106642944 10916921344 9744 33554432000 4194304 4196468 140721344765728 140721344748272 140219708907255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
/proc/22258/statm: 2665264 9744 2990 1 0 2627263 0
[pid=22258/tid=22260] ppid=22255 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/22258/task/22260/stat : 22260 (java) R 22255 22258 21175 0 -1 4202560 5180 0 0 0 19 1 0 0 20 0 15 0 106642944 10916921344 9744 33554432000 4194304 4196468 140721344765728 140219713146272 140219346691471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22261] ppid=22255 vsize=10661056 memory=365 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22261/stat : 22261 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 9744 33554432000 4194304 4196468 140721344765728 140219316104080 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22262] ppid=22255 vsize=10661056 memory=288370586702722688 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22262/stat : 22262 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 9744 33554432000 4194304 4196468 140721344765728 140219315051280 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22263] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22263/stat : 22263 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 9744 33554432000 4194304 4196468 140721344765728 140219313998992 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22264] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22264/stat : 22264 (java) S 22255 22258 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 9744 33554432000 4194304 4196468 140721344765728 140219312946192 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22265] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22265/stat : 22265 (java) S 22255 22258 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106642947 10916921344 9744 33554432000 4194304 4196468 140721344765728 140218745198704 140219708918402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22266] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22266/stat : 22266 (java) S 22255 22258 21175 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106642947 10916921344 9744 33554432000 4194304 4196468 140721344765728 140218744144672 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22267] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22267/stat : 22267 (java) S 22255 22258 21175 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106642947 10916921344 9744 33554432000 4194304 4196468 140721344765728 140218743092336 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22268] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22268/stat : 22268 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 9744 33554432000 4194304 4196468 140721344765728 140218742040656 140219708925851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22269] ppid=22255 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22258/task/22269/stat : 22269 (java) R 22255 22258 21175 0 -1 4202560 621 0 0 0 2 0 0 0 20 0 15 0 106642950 10916921344 9744 33554432000 4194304 4196468 140721344765728 140218740988528 140219694014272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22270] ppid=22255 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22258/task/22270/stat : 22270 (java) R 22255 22258 21175 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 106642950 10916921344 9744 33554432000 4194304 4196468 140721344765728 140218739935728 140219708918402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22271] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0.07 cores=0,2,4,6
/proc/22258/task/22271/stat : 22271 (java) R 22255 22258 21175 0 -1 4202560 966 0 0 0 7 0 0 0 20 0 15 0 106642950 10916921344 9744 33554432000 4194304 4196468 140721344765728 140218738880248 140219702004107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22272] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22272/stat : 22272 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 9744 33554432000 4194304 4196468 140721344765728 140218429430752 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22273] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22273/stat : 22273 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 9744 33554432000 4194304 4196468 140721344765728 140218428377520 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 38976 KiB

[startup+0.311196 s]*
/proc/loadavg: 1.20 1.42 1.43 5/219 22273
/proc/meminfo: memFree=27237140/32770624 swapFree=67108860/67108860
[pid=22258] ppid=22255 vsize=10661056 memory=55064 CPUtime=0.66 cores=0,2,4,6
/proc/22258/stat : 22258 (java) S 22255 22258 21175 0 -1 1077944320 10365 0 0 0 64 2 0 0 20 0 15 0 106642944 10916921344 13766 33554432000 4194304 4196468 140721344765728 140721344748272 140219708907255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
/proc/22258/statm: 2665264 13766 3040 1 0 2627263 0
[pid=22258/tid=22260] ppid=22255 vsize=10661056 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/22258/task/22260/stat : 22260 (java) R 22255 22258 21175 0 -1 4202560 5201 0 0 0 29 1 0 0 20 0 15 0 106642944 10916921344 13766 33554432000 4194304 4196468 140721344765728 140219713138112 140219690313544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22261] ppid=22255 vsize=10661056 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22261/stat : 22261 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 13766 33554432000 4194304 4196468 140721344765728 140219316104080 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22262] ppid=22255 vsize=10661056 memory=288370586702722688 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22262/stat : 22262 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 13766 33554432000 4194304 4196468 140721344765728 140219315051280 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22263] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22263/stat : 22263 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 13766 33554432000 4194304 4196468 140721344765728 140219313998992 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22264] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22264/stat : 22264 (java) S 22255 22258 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106642945 10916921344 13766 33554432000 4194304 4196468 140721344765728 140219312946192 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22265] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22265/stat : 22265 (java) S 22255 22258 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106642947 10916921344 13766 33554432000 4194304 4196468 140721344765728 140218745198704 140219708918402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22266] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22266/stat : 22266 (java) S 22255 22258 21175 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106642947 10916921344 13766 33554432000 4194304 4196468 140721344765728 140218744144672 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22267] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22267/stat : 22267 (java) S 22255 22258 21175 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106642947 10916921344 13766 33554432000 4194304 4196468 140721344765728 140218743092336 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22268] ppid=22255 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22268/stat : 22268 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 13766 33554432000 4194304 4196468 140721344765728 140218742040656 140219708925851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22269] ppid=22255 vsize=10661056 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22258/task/22269/stat : 22269 (java) R 22255 22258 21175 0 -1 4202560 1187 0 0 0 11 0 0 0 20 0 15 0 106642950 10916921344 13766 33554432000 4194304 4196468 140721344765728 140218740984896 140219694962278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22270] ppid=22255 vsize=10661056 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/22258/task/22270/stat : 22270 (java) R 22255 22258 21175 0 -1 4202560 1168 0 0 0 11 0 0 0 20 0 15 0 106642950 10916921344 13766 33554432000 4194304 4196468 140721344765728 140218739921752 140219690429825 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22271] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0.12 cores=0,2,4,6
/proc/22258/task/22271/stat : 22271 (java) S 22255 22258 21175 0 -1 1077944384 1441 0 0 0 12 0 0 0 20 0 15 0 106642950 10916921344 13766 33554432000 4194304 4196468 140721344765728 140218738883440 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22272] ppid=22255 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22272/stat : 22272 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 13766 33554432000 4194304 4196468 140721344765728 140218429430752 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22273] ppid=22255 vsize=10661056 memory=140210551010944 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22273/stat : 22273 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642950 10916921344 13766 33554432000 4194304 4196468 140721344765728 140218428377520 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 55064 KiB

[startup+0.700752 s]
/proc/loadavg: 1.20 1.42 1.43 6/219 22273
/proc/meminfo: memFree=27209776/32770624 swapFree=67108860/67108860
[pid=22258] ppid=22255 vsize=10661132 memory=127236 CPUtime=1.89 cores=0,2,4,6
/proc/22258/stat : 22258 (java) S 22255 22258 21175 0 -1 1077944320 11957 0 0 0 185 4 0 0 20 0 15 0 106642944 10916999168 31809 33554432000 4194304 4196468 140721344765728 140721344748272 140219708907255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
/proc/22258/statm: 2665283 31809 3106 1 0 2627263 0
[pid=22258/tid=22260] ppid=22255 vsize=10661132 memory=18180 CPUtime=0.68 cores=0,2,4,6
/proc/22258/task/22260/stat : 22260 (java) R 22255 22258 21175 0 -1 4202560 5618 0 0 0 66 2 0 0 20 0 15 0 106642944 10916999168 31809 33554432000 4194304 4196468 140721344765728 140219713142400 140219349890817 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22261] ppid=22255 vsize=10661132 memory=18220 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22261/stat : 22261 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916999168 31809 33554432000 4194304 4196468 140721344765728 140219316104080 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22262] ppid=22255 vsize=10661132 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22262/stat : 22262 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916999168 31809 33554432000 4194304 4196468 140721344765728 140219315051280 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22263] ppid=22255 vsize=10661132 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22263/stat : 22263 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642945 10916999168 31809 33554432000 4194304 4196468 140721344765728 140219313998992 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22264] ppid=22255 vsize=10661132 memory=644 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22264/stat : 22264 (java) S 22255 22258 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106642945 10916999168 31809 33554432000 4194304 4196468 140721344765728 140219312946192 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22265] ppid=22255 vsize=10661132 memory=952 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22265/stat : 22265 (java) S 22255 22258 21175 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 31809 33554432000 4194304 4196468 140721344765728 140218745198704 140219708918402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22266] ppid=22255 vsize=10661132 memory=2376 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22266/stat : 22266 (java) S 22255 22258 21175 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 31809 33554432000 4194304 4196468 140721344765728 140218744144672 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22267] ppid=22255 vsize=10661132 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22267/stat : 22267 (java) S 22255 22258 21175 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 31809 33554432000 4194304 4196468 140721344765728 140218743092336 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22268] ppid=22255 vsize=10661132 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22268/stat : 22268 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 31809 33554432000 4194304 4196468 140721344765728 140218742040656 140219708925851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22269] ppid=22255 vsize=10661132 memory=6081108994580113768 CPUtime=0.45 cores=0,2,4,6
/proc/22258/task/22269/stat : 22269 (java) R 22255 22258 21175 0 -1 4202560 1806 0 0 0 45 0 0 0 20 0 15 0 106642950 10916999168 31809 33554432000 4194304 4196468 140721344765728 140218740981552 140219692393197 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22270] ppid=22255 vsize=10661132 memory=6154282490091891024 CPUtime=0.46 cores=0,2,4,6
/proc/22258/task/22270/stat : 22270 (java) R 22255 22258 21175 0 -1 4202560 1367 0 0 0 46 0 0 0 20 0 15 0 106642950 10916999168 31809 33554432000 4194304 4196468 140721344765728 140218739935856 140219692438738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22271] ppid=22255 vsize=10661132 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/22258/task/22271/stat : 22271 (java) S 22255 22258 21175 0 -1 1077944384 1795 0 0 0 27 0 0 0 20 0 15 0 106642950 10916999168 31809 33554432000 4194304 4196468 140721344765728 140218738883440 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22272] ppid=22255 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22272/stat : 22272 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 31809 33554432000 4194304 4196468 140721344765728 140218429430752 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22273] ppid=22255 vsize=10661132 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22273/stat : 22273 (java) S 22255 22258 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 31809 33554432000 4194304 4196468 140721344765728 140218428377520 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 127236 KiB

[startup+1.50078 s]
/proc/loadavg: 1.20 1.42 1.43 5/219 22273
/proc/meminfo: memFree=27083120/32770624 swapFree=67108860/67108860
[pid=22258] ppid=22255 vsize=10661132 memory=257464 CPUtime=4.43 cores=0,2,4,6
/proc/22258/stat : 22258 (java) S 22255 22258 21175 0 -1 1077944320 15083 0 0 0 429 14 0 0 20 0 15 0 106642944 10916999168 64366 33554432000 4194304 4196468 140721344765728 140721344748272 140219708907255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
/proc/22258/statm: 2665283 64366 3169 1 0 2627263 0
[pid=22258/tid=22260] ppid=22255 vsize=10661132 memory=256828 CPUtime=1.41 cores=0,2,4,6
/proc/22258/task/22260/stat : 22260 (java) R 22255 22258 21175 0 -1 4202560 5715 0 0 0 138 3 0 0 20 0 15 0 106642944 10916999168 64366 33554432000 4194304 4196468 140721344765728 140219713143024 140219348005056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22261] ppid=22255 vsize=10661132 memory=6791534058613427641 CPUtime=0.06 cores=0,2,4,6
/proc/22258/task/22261/stat : 22261 (java) S 22255 22258 21175 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 15 0 106642945 10916999168 64366 33554432000 4194304 4196468 140721344765728 140219316104080 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22262] ppid=22255 vsize=10661132 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22258/task/22262/stat : 22262 (java) S 22255 22258 21175 0 -1 1077944384 71 0 0 0 3 1 0 0 20 0 15 0 106642945 10916999168 64366 33554432000 4194304 4196468 140721344765728 140219315051280 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22263] ppid=22255 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/22258/task/22263/stat : 22263 (java) S 22255 22258 21175 0 -1 1077944384 114 0 0 0 4 2 0 0 20 0 15 0 106642945 10916999168 64366 33554432000 4194304 4196468 140721344765728 140219313998992 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22264] ppid=22255 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/22258/task/22264/stat : 22264 (java) S 22255 22258 21175 0 -1 1077944384 95 0 0 0 4 2 0 0 20 0 15 0 106642945 10916999168 64366 33554432000 4194304 4196468 140721344765728 140219312946192 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22265] ppid=22255 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22265/stat : 22265 (java) S 22255 22258 21175 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 64366 33554432000 4194304 4196468 140721344765728 140218745198704 140219708918402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0

################
# More data... #
################

/proc/22258/task/22260/stat : 22260 (java) R 22255 22258 21175 0 -1 4202560 73071 0 0 0 222029 353 0 0 20 0 15 0 106642944 10916999168 695308 33554432000 4194304 4196468 140721344765728 140219713148176 140219354321824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22261] ppid=22255 vsize=10661132 memory=2803192 CPUtime=37.28 cores=0,2,4,6
/proc/22258/task/22261/stat : 22261 (java) S 22255 22258 21175 0 -1 1077944384 137752 0 0 0 3667 61 0 0 20 0 15 0 106642945 10916999168 695308 33554432000 4194304 4196468 140721344765728 140219316104080 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22262] ppid=22255 vsize=10661132 memory=2803192 CPUtime=37.24 cores=0,2,4,6
/proc/22258/task/22262/stat : 22262 (java) S 22255 22258 21175 0 -1 1077944384 131293 0 0 0 3670 54 0 0 20 0 15 0 106642945 10916999168 695308 33554432000 4194304 4196468 140721344765728 140219315051280 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22263] ppid=22255 vsize=10661132 memory=2803192 CPUtime=37.2 cores=0,2,4,6
/proc/22258/task/22263/stat : 22263 (java) S 22255 22258 21175 0 -1 1077944384 113166 0 0 0 3663 57 0 0 20 0 15 0 106642945 10916999168 695308 33554432000 4194304 4196468 140721344765728 140219313998992 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22264] ppid=22255 vsize=10661132 memory=2781232 CPUtime=37.29 cores=0,2,4,6
/proc/22258/task/22264/stat : 22264 (java) S 22255 22258 21175 0 -1 1077944384 115610 0 0 0 3674 55 0 0 20 0 15 0 106642945 10916999168 695308 33554432000 4194304 4196468 140721344765728 140219312946192 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22265] ppid=22255 vsize=10661132 memory=2781232 CPUtime=0.74 cores=0,2,4,6
/proc/22258/task/22265/stat : 22265 (java) S 22255 22258 21175 0 -1 1077944384 11490 0 0 0 70 4 0 0 20 0 15 0 106642947 10916999168 695308 33554432000 4194304 4196468 140721344765728 140218745198704 140219708918402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22266] ppid=22255 vsize=10661132 memory=2781232 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22266/stat : 22266 (java) S 22255 22258 21175 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 695308 33554432000 4194304 4196468 140721344765728 140218744144736 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22267] ppid=22255 vsize=10661132 memory=2781232 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22267/stat : 22267 (java) S 22255 22258 21175 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 695308 33554432000 4194304 4196468 140721344765728 140218743092336 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22268] ppid=22255 vsize=10661132 memory=2781232 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22268/stat : 22268 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 695308 33554432000 4194304 4196468 140721344765728 140218742040656 140219708925851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22269] ppid=22255 vsize=10661132 memory=792 CPUtime=2.77 cores=0,2,4,6
/proc/22258/task/22269/stat : 22269 (java) S 22255 22258 21175 0 -1 1077944384 13310 0 0 0 275 2 0 0 20 0 15 0 106642950 10916999168 695308 33554432000 4194304 4196468 140721344765728 140218740988528 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22270] ppid=22255 vsize=10661132 memory=2781232 CPUtime=2.76 cores=0,2,4,6
/proc/22258/task/22270/stat : 22270 (java) S 22255 22258 21175 0 -1 1077944384 9053 0 0 0 275 1 0 0 20 0 15 0 106642950 10916999168 695308 33554432000 4194304 4196468 140721344765728 140218739935728 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22271] ppid=22255 vsize=10661132 memory=2781232 CPUtime=0.67 cores=0,2,4,6
/proc/22258/task/22271/stat : 22271 (java) S 22255 22258 21175 0 -1 1077944384 8137 0 0 0 65 2 0 0 20 0 15 0 106642950 10916999168 695308 33554432000 4194304 4196468 140721344765728 140218738883440 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22272] ppid=22255 vsize=10661132 memory=2781232 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22272/stat : 22272 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 695308 33554432000 4194304 4196468 140721344765728 140218429430752 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22273] ppid=22255 vsize=10661132 memory=3560 CPUtime=1.34 cores=0,2,4,6
/proc/22258/task/22273/stat : 22273 (java) S 22255 22258 21175 0 -1 1077944384 1801 0 0 0 68 66 0 0 20 0 15 0 106642950 10916999168 695308 33554432000 4194304 4196468 140721344765728 140218428377520 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
Current children cumulated CPU time: 2381.21 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2781232 KiB

[startup+2322.3 s]
/proc/loadavg: 1.80 1.81 1.80 3/218 22446
/proc/meminfo: memFree=24456384/32770624 swapFree=67108860/67108860
[pid=22258] ppid=22255 vsize=10661132 memory=2781268 CPUtime=2442.63 cores=0,2,4,6
/proc/22258/stat : 22258 (java) S 22255 22258 21175 0 -1 1077944320 627594 0 0 0 243616 647 0 0 20 0 15 0 106642944 10916999168 695317 33554432000 4194304 4196468 140721344765728 140721344748272 140219708907255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
/proc/22258/statm: 2665283 695317 3193 1 0 2627263 0
[pid=22258/tid=22260] ppid=22255 vsize=10661132 memory=2781268 CPUtime=2283.35 cores=0,2,4,6
/proc/22258/task/22260/stat : 22260 (java) R 22255 22258 21175 0 -1 4202560 75055 0 0 0 227974 361 0 0 20 0 15 0 106642944 10916999168 695317 33554432000 4194304 4196468 140721344765728 140219713148176 140219354111537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22261] ppid=22255 vsize=10661132 memory=2781268 CPUtime=37.75 cores=0,2,4,6
/proc/22258/task/22261/stat : 22261 (java) S 22255 22258 21175 0 -1 1077944384 138193 0 0 0 3714 61 0 0 20 0 15 0 106642945 10916999168 695317 33554432000 4194304 4196468 140721344765728 140219316104080 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22262] ppid=22255 vsize=10661132 memory=2781232 CPUtime=37.71 cores=0,2,4,6
/proc/22258/task/22262/stat : 22262 (java) S 22255 22258 21175 0 -1 1077944384 131317 0 0 0 3717 54 0 0 20 0 15 0 106642945 10916999168 695317 33554432000 4194304 4196468 140721344765728 140219315051280 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22263] ppid=22255 vsize=10661132 memory=0 CPUtime=37.66 cores=0,2,4,6
/proc/22258/task/22263/stat : 22263 (java) S 22255 22258 21175 0 -1 1077944384 113522 0 0 0 3709 57 0 0 20 0 15 0 106642945 10916999168 695317 33554432000 4194304 4196468 140721344765728 140219313998992 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22264] ppid=22255 vsize=10661132 memory=2781268 CPUtime=37.75 cores=0,2,4,6
/proc/22258/task/22264/stat : 22264 (java) S 22255 22258 21175 0 -1 1077944384 123711 0 0 0 3720 55 0 0 20 0 15 0 106642945 10916999168 695317 33554432000 4194304 4196468 140721344765728 140219312946192 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22265] ppid=22255 vsize=10661132 memory=2781268 CPUtime=0.74 cores=0,2,4,6
/proc/22258/task/22265/stat : 22265 (java) S 22255 22258 21175 0 -1 1077944384 11723 0 0 0 70 4 0 0 20 0 15 0 106642947 10916999168 695317 33554432000 4194304 4196468 140721344765728 140218745198704 140219708918402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22266] ppid=22255 vsize=10661132 memory=2781268 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22266/stat : 22266 (java) S 22255 22258 21175 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 695317 33554432000 4194304 4196468 140721344765728 140218744144736 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22267] ppid=22255 vsize=10661132 memory=2781268 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22267/stat : 22267 (java) S 22255 22258 21175 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 695317 33554432000 4194304 4196468 140721344765728 140218743092336 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22268] ppid=22255 vsize=10661132 memory=2781268 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22268/stat : 22268 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 695317 33554432000 4194304 4196468 140721344765728 140218742040656 140219708925851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22269] ppid=22255 vsize=10661132 memory=2781268 CPUtime=2.77 cores=0,2,4,6
/proc/22258/task/22269/stat : 22269 (java) S 22255 22258 21175 0 -1 1077944384 13314 0 0 0 275 2 0 0 20 0 15 0 106642950 10916999168 695317 33554432000 4194304 4196468 140721344765728 140218740988528 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22270] ppid=22255 vsize=10661132 memory=2781268 CPUtime=2.77 cores=0,2,4,6
/proc/22258/task/22270/stat : 22270 (java) S 22255 22258 21175 0 -1 1077944384 9375 0 0 0 276 1 0 0 20 0 15 0 106642950 10916999168 695317 33554432000 4194304 4196468 140721344765728 140218739935728 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22271] ppid=22255 vsize=10661132 memory=2781268 CPUtime=0.67 cores=0,2,4,6
/proc/22258/task/22271/stat : 22271 (java) S 22255 22258 21175 0 -1 1077944384 8145 0 0 0 65 2 0 0 20 0 15 0 106642950 10916999168 695317 33554432000 4194304 4196468 140721344765728 140218738883440 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22272] ppid=22255 vsize=10661132 memory=3560 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22272/stat : 22272 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 695317 33554432000 4194304 4196468 140721344765728 140218429430752 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22273] ppid=22255 vsize=10661132 memory=2781268 CPUtime=1.37 cores=0,2,4,6
/proc/22258/task/22273/stat : 22273 (java) S 22255 22258 21175 0 -1 1077944384 1834 0 0 0 71 66 0 0 20 0 15 0 106642950 10916999168 695317 33554432000 4194304 4196468 140721344765728 140218428377520 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
Current children cumulated CPU time: 2442.63 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2781268 KiB

[startup+2382.3 s]
/proc/loadavg: 1.89 1.83 1.81 3/217 22447
/proc/meminfo: memFree=24416668/32770624 swapFree=67108860/67108860
[pid=22258] ppid=22255 vsize=10661132 memory=2818084 CPUtime=2505.74 cores=0,2,4,6
/proc/22258/stat : 22258 (java) S 22255 22258 21175 0 -1 1077944320 639210 0 0 0 249914 660 0 0 20 0 15 0 106642944 10916999168 704521 33554432000 4194304 4196468 140721344765728 140721344748272 140219708907255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
/proc/22258/statm: 2665283 704521 3193 1 0 2627263 0
[pid=22258/tid=22260] ppid=22255 vsize=10661132 memory=2817680 CPUtime=2342.3 cores=0,2,4,6
/proc/22258/task/22260/stat : 22260 (java) R 22255 22258 21175 0 -1 4202560 76940 0 0 0 233860 370 0 0 20 0 15 0 106642944 10916999168 704521 33554432000 4194304 4196468 140721344765728 140219713148176 140219354111730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22261] ppid=22255 vsize=10661132 memory=2818084 CPUtime=38.76 cores=0,2,4,6
/proc/22258/task/22261/stat : 22261 (java) S 22255 22258 21175 0 -1 1077944384 138278 0 0 0 3815 61 0 0 20 0 15 0 106642945 10916999168 704521 33554432000 4194304 4196468 140721344765728 140219316104080 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22262] ppid=22255 vsize=10661132 memory=7528 CPUtime=38.74 cores=0,2,4,6
/proc/22258/task/22262/stat : 22262 (java) S 22255 22258 21175 0 -1 1077944384 132089 0 0 0 3819 55 0 0 20 0 15 0 106642945 10916999168 704521 33554432000 4194304 4196468 140721344765728 140219315051280 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22263] ppid=22255 vsize=10661132 memory=2818084 CPUtime=38.69 cores=0,2,4,6
/proc/22258/task/22263/stat : 22263 (java) S 22255 22258 21175 0 -1 1077944384 114226 0 0 0 3812 57 0 0 20 0 15 0 106642945 10916999168 704521 33554432000 4194304 4196468 140721344765728 140219313998992 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22264] ppid=22255 vsize=10661132 memory=2818084 CPUtime=38.79 cores=0,2,4,6
/proc/22258/task/22264/stat : 22264 (java) S 22255 22258 21175 0 -1 1077944384 131088 0 0 0 3823 56 0 0 20 0 15 0 106642945 10916999168 704521 33554432000 4194304 4196468 140721344765728 140219312946192 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22265] ppid=22255 vsize=10661132 memory=246764 CPUtime=0.74 cores=0,2,4,6
/proc/22258/task/22265/stat : 22265 (java) S 22255 22258 21175 0 -1 1077944384 11952 0 0 0 70 4 0 0 20 0 15 0 106642947 10916999168 704521 33554432000 4194304 4196468 140721344765728 140218745198704 140219708918402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22266] ppid=22255 vsize=10661132 memory=3560 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22266/stat : 22266 (java) S 22255 22258 21175 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 704521 33554432000 4194304 4196468 140721344765728 140218744144736 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22267] ppid=22255 vsize=10661132 memory=2818084 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22267/stat : 22267 (java) S 22255 22258 21175 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 704521 33554432000 4194304 4196468 140721344765728 140218743092336 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22268] ppid=22255 vsize=10661132 memory=2818084 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22268/stat : 22268 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 704521 33554432000 4194304 4196468 140721344765728 140218742040656 140219708925851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22269] ppid=22255 vsize=10661132 memory=30584 CPUtime=2.77 cores=0,2,4,6
/proc/22258/task/22269/stat : 22269 (java) S 22255 22258 21175 0 -1 1077944384 13725 0 0 0 275 2 0 0 20 0 15 0 106642950 10916999168 704521 33554432000 4194304 4196468 140721344765728 140218740988528 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22270] ppid=22255 vsize=10661132 memory=56 CPUtime=2.77 cores=0,2,4,6
/proc/22258/task/22270/stat : 22270 (java) S 22255 22258 21175 0 -1 1077944384 9499 0 0 0 276 1 0 0 20 0 15 0 106642950 10916999168 704521 33554432000 4194304 4196468 140721344765728 140218739935728 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22271] ppid=22255 vsize=10661132 memory=2818084 CPUtime=0.67 cores=0,2,4,6
/proc/22258/task/22271/stat : 22271 (java) S 22255 22258 21175 0 -1 1077944384 8150 0 0 0 65 2 0 0 20 0 15 0 106642950 10916999168 704521 33554432000 4194304 4196468 140721344765728 140218738883440 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22272] ppid=22255 vsize=10661132 memory=952 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22272/stat : 22272 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 704521 33554432000 4194304 4196468 140721344765728 140218429430752 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22273] ppid=22255 vsize=10661132 memory=2376 CPUtime=1.42 cores=0,2,4,6
/proc/22258/task/22273/stat : 22273 (java) S 22255 22258 21175 0 -1 1077944384 1858 0 0 0 73 69 0 0 20 0 15 0 106642950 10916999168 704521 33554432000 4194304 4196468 140721344765728 140218428377520 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
Current children cumulated CPU time: 2505.74 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2818084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2396.6 s]
/proc/loadavg: 1.98 1.86 1.81 3/217 22447
/proc/meminfo: memFree=24410964/32770624 swapFree=67108860/67108860
[pid=22258] ppid=22255 vsize=10661132 memory=2824092 CPUtime=2520.05 cores=0,2,4,6
/proc/22258/stat : 22258 (java) S 22255 22258 21175 0 -1 1077944320 639366 0 0 0 251342 663 0 0 20 0 15 0 106642944 10916999168 706023 33554432000 4194304 4196468 140721344765728 140721344748272 140219708907255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
/proc/22258/statm: 2665283 706023 3193 1 0 2627263 0
[pid=22258/tid=22260] ppid=22255 vsize=10661132 memory=288230574492221466 CPUtime=2356.6 cores=0,2,4,6
/proc/22258/task/22260/stat : 22260 (java) R 22255 22258 21175 0 -1 4202560 77096 0 0 0 235287 373 0 0 20 0 15 0 106642944 10916999168 706023 33554432000 4194304 4196468 140721344765728 140219713148176 140219354108027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22261] ppid=22255 vsize=10661132 memory=304274669723451707 CPUtime=38.76 cores=0,2,4,6
/proc/22258/task/22261/stat : 22261 (java) S 22255 22258 21175 0 -1 1077944384 138278 0 0 0 3815 61 0 0 20 0 15 0 106642945 10916999168 706023 33554432000 4194304 4196468 140721344765728 140219316104080 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22262] ppid=22255 vsize=10661132 memory=16097087276189970 CPUtime=38.74 cores=0,2,4,6
/proc/22258/task/22262/stat : 22262 (java) S 22255 22258 21175 0 -1 1077944384 132089 0 0 0 3819 55 0 0 20 0 15 0 106642945 10916999168 706023 33554432000 4194304 4196468 140721344765728 140219315051280 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22263] ppid=22255 vsize=10661132 memory=1788 CPUtime=38.69 cores=0,2,4,6
/proc/22258/task/22263/stat : 22263 (java) S 22255 22258 21175 0 -1 1077944384 114226 0 0 0 3812 57 0 0 20 0 15 0 106642945 10916999168 706023 33554432000 4194304 4196468 140721344765728 140219313998992 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22264] ppid=22255 vsize=10661132 memory=1232 CPUtime=38.79 cores=0,2,4,6
/proc/22258/task/22264/stat : 22264 (java) S 22255 22258 21175 0 -1 1077944384 131088 0 0 0 3823 56 0 0 20 0 15 0 106642945 10916999168 706023 33554432000 4194304 4196468 140721344765728 140219312946192 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22265] ppid=22255 vsize=10661132 memory=644 CPUtime=0.74 cores=0,2,4,6
/proc/22258/task/22265/stat : 22265 (java) S 22255 22258 21175 0 -1 1077944384 11952 0 0 0 70 4 0 0 20 0 15 0 106642947 10916999168 706023 33554432000 4194304 4196468 140721344765728 140218745198704 140219708918402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22266] ppid=22255 vsize=10661132 memory=952 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22266/stat : 22266 (java) S 22255 22258 21175 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 706023 33554432000 4194304 4196468 140721344765728 140218744144736 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22267] ppid=22255 vsize=10661132 memory=2376 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22267/stat : 22267 (java) S 22255 22258 21175 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106642947 10916999168 706023 33554432000 4194304 4196468 140721344765728 140218743092336 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22268] ppid=22255 vsize=10661132 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22268/stat : 22268 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 706023 33554432000 4194304 4196468 140721344765728 140218742040656 140219708925851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22269] ppid=22255 vsize=10661132 memory=928 CPUtime=2.77 cores=0,2,4,6
/proc/22258/task/22269/stat : 22269 (java) S 22255 22258 21175 0 -1 1077944384 13725 0 0 0 275 2 0 0 20 0 15 0 106642950 10916999168 706023 33554432000 4194304 4196468 140721344765728 140218740988528 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22270] ppid=22255 vsize=10661132 memory=2244 CPUtime=2.77 cores=0,2,4,6
/proc/22258/task/22270/stat : 22270 (java) S 22255 22258 21175 0 -1 1077944384 9499 0 0 0 276 1 0 0 20 0 15 0 106642950 10916999168 706023 33554432000 4194304 4196468 140721344765728 140218739935728 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22271] ppid=22255 vsize=10661132 memory=4132 CPUtime=0.67 cores=0,2,4,6
/proc/22258/task/22271/stat : 22271 (java) S 22255 22258 21175 0 -1 1077944384 8150 0 0 0 65 2 0 0 20 0 15 0 106642950 10916999168 706023 33554432000 4194304 4196468 140721344765728 140218738883440 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22272] ppid=22255 vsize=10661132 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/22258/task/22272/stat : 22272 (java) S 22255 22258 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106642950 10916999168 706023 33554432000 4194304 4196468 140721344765728 140218429430752 140219708917461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
[pid=22258/tid=22273] ppid=22255 vsize=10661132 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/22258/task/22273/stat : 22273 (java) S 22255 22258 21175 0 -1 1077944384 1858 0 0 0 73 69 0 0 20 0 15 0 106642950 10916999168 706023 33554432000 4194304 4196468 140721344765728 140218428377520 140219708918402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6471680 140721344771228 140721344771337 140721344771337 140721344774095 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2824092 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2396.62 s]
# the end of solver process 22258 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.44 s, system=6.64823 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2396.62
CPU time (s): 2520.08
CPU user time (s): 2513.44
CPU system time (s): 6.64823
CPU usage (%): 105.152
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2824092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.44
system time used= 6.64823
maximum resident set size= 2824636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55890
involuntary context switches= 4326


# summary of solver processes directly reported to runsolver:
#   pid: 22258
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2513.44
#   total CPU system time (s): 6.64823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8032 second user time and 22.6531 second system time

The end
Name	SteelMillSlab_Mini/ SteelMillSlab-m2s-mini-5_0_c18.xml
MD5SUM	f8eb33047908f0330ddb33c9ffd84c06
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	190
Best CPU time to get the best result obtained on this benchmark	2519.64
Satisfiable
(Un)Satisfiability was proved
Number of variables	22422
Number of constraints	24975
Number of domains	4
Minimum domain size	2
Maximum domain size	111
Distribution of domain sizes	[{"size":2,"count":22089},{"size":18,"count":111},{"size":40,"count":111},{"size":111,"count":111}]
Minimum variable degree	2
Maximum variable degree	222
Distribution of variable degrees	[{"degree":2,"count":20424},{"degree":3,"count":1443},{"degree":4,"count":222},{"degree":5,"count":222},{"degree":222,"count":111}]
Minimum constraint arity	2
Maximum constraint arity	112
Distribution of constraint arities	[{"arity":2,"count":24753},{"arity":88,"count":111},{"arity":112,"count":111}]
Number of extensional constraints	24753
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":24753},{"type":"sum","count":222}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4300245

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
