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

Solver Name	Answer	objective function	CPU time	Wall clock time
MiniCPFever 2018-04-29	SAT (TO)	72	2520.11	2473.52
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 (15171 MiB free)
  memory of node 1: 16384 MiB (10196 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298310-1532753667/watcher-4298310-1532753667 -o /tmp/evaluation-result-4298310-1532753667/solver-4298310-1532753667 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532741282-23861 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298310-1532753667.xml 

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
Current StackSize limit: 8192 KiB

solver pid=25397, runsolver pid=25394

[startup+0.100882 s]*
/proc/loadavg: 1.57 1.53 1.53 4/216 25412
/proc/meminfo: memFree=25962096/32770624 swapFree=67108496/67108860
[pid=25397] ppid=25394 vsize=10658972 memory=27340 CPUtime=0.12 cores=0,2,4,6
/proc/25397/stat : 25397 (java) S 25394 25397 23830 0 -1 1077944320 5293 0 0 0 12 0 0 0 20 0 15 0 92929903 10914787328 6835 33554432000 4194304 4196468 140728760687360 140728760669904 139903582826231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
/proc/25397/statm: 2664743 6835 2845 1 0 2627263 0
[pid=25397/tid=25399] ppid=25394 vsize=10658972 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6
/proc/25397/task/25399/stat : 25399 (java) S 25394 25397 23830 0 -1 1077944384 3134 0 0 0 9 0 0 0 20 0 15 0 92929903 10914787328 6835 33554432000 4194304 4196468 140728760687360 139903587053584 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25400] ppid=25394 vsize=10658972 memory=5793855723944556985 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25400/stat : 25400 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914787328 6835 33554432000 4194304 4196468 140728760687360 139903535446544 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25401] ppid=25394 vsize=10658972 memory=140472934663808 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25401/stat : 25401 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914787328 6835 33554432000 4194304 4196468 140728760687360 139903534394000 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25402] ppid=25394 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25402/stat : 25402 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914787328 6835 33554432000 4194304 4196468 140728760687360 139903533340944 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25403] ppid=25394 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25403/stat : 25403 (java) S 25394 25397 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92929904 10914787328 6835 33554432000 4194304 4196468 140728760687360 139903532288400 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25404] ppid=25394 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25404/stat : 25404 (java) S 25394 25397 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92929905 10914787328 6835 33554432000 4194304 4196468 140728760687360 139902618188528 139903582837378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25405] ppid=25394 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25405/stat : 25405 (java) S 25394 25397 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92929906 10914787328 6835 33554432000 4194304 4196468 140728760687360 139902617134752 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25406] ppid=25394 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25406/stat : 25406 (java) S 25394 25397 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92929906 10914787328 6835 33554432000 4194304 4196468 140728760687360 139902616081648 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25407] ppid=25394 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25407/stat : 25407 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914787328 6835 33554432000 4194304 4196468 140728760687360 139902615030224 139903582844827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25408] ppid=25394 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25408/stat : 25408 (java) R 25394 25397 23830 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 92929909 10914787328 6835 33554432000 4194304 4196468 140728760687360 139902613977328 139903582837378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25409] ppid=25394 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25409/stat : 25409 (java) R 25394 25397 23830 0 -1 4202560 169 0 0 0 0 0 0 0 20 0 15 0 92929909 10914787328 6835 33554432000 4194304 4196468 140728760687360 139902612924784 139903560666432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25410] ppid=25394 vsize=10658972 memory=140472934663808 CPUtime=0.02 cores=0,2,4,6
/proc/25397/task/25410/stat : 25410 (java) S 25394 25397 23830 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 15 0 92929909 10914787328 6835 33554432000 4194304 4196468 140728760687360 139902611871728 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25411] ppid=25394 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25411/stat : 25411 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914787328 6835 33554432000 4194304 4196468 140728760687360 139902610819424 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25412] ppid=25394 vsize=10658972 memory=140472934663808 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25412/stat : 25412 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929909 10914787328 6835 33554432000 4194304 4196468 140728760687360 139902609767472 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27340 KiB

[startup+0.210607 s]*
/proc/loadavg: 1.57 1.53 1.53 4/216 25412
/proc/meminfo: memFree=25950296/32770624 swapFree=67108496/67108860
[pid=25397] ppid=25394 vsize=10658972 memory=40480 CPUtime=0.35 cores=0,2,4,6
/proc/25397/stat : 25397 (java) S 25394 25397 23830 0 -1 1077944320 8138 0 0 0 33 2 0 0 20 0 15 0 92929903 10914787328 10120 33554432000 4194304 4196468 140728760687360 140728760669904 139903582826231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
/proc/25397/statm: 2664743 10120 3005 1 0 2627263 0
[pid=25397/tid=25399] ppid=25394 vsize=10658972 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/25397/task/25399/stat : 25399 (java) R 25394 25397 23830 0 -1 4202560 5086 0 0 0 19 1 0 0 20 0 15 0 92929903 10914787328 10120 33554432000 4194304 4196468 140728760687360 139903587064032 139903582848157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25400] ppid=25394 vsize=10658972 memory=4211974199139454346 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25400/stat : 25400 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914787328 10120 33554432000 4194304 4196468 140728760687360 139903535446544 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25401] ppid=25394 vsize=10658972 memory=140472934663808 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25401/stat : 25401 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914787328 10120 33554432000 4194304 4196468 140728760687360 139903534394000 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25402] ppid=25394 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25402/stat : 25402 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914787328 10120 33554432000 4194304 4196468 140728760687360 139903533340944 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25403] ppid=25394 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25403/stat : 25403 (java) S 25394 25397 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92929904 10914787328 10120 33554432000 4194304 4196468 140728760687360 139903532288400 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25404] ppid=25394 vsize=10658972 memory=140472934663808 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25404/stat : 25404 (java) S 25394 25397 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92929905 10914787328 10120 33554432000 4194304 4196468 140728760687360 139902618188528 139903582837378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25405] ppid=25394 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25405/stat : 25405 (java) S 25394 25397 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92929906 10914787328 10120 33554432000 4194304 4196468 140728760687360 139902617134752 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25406] ppid=25394 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25406/stat : 25406 (java) S 25394 25397 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92929906 10914787328 10120 33554432000 4194304 4196468 140728760687360 139902616081648 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25407] ppid=25394 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25407/stat : 25407 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914787328 10120 33554432000 4194304 4196468 140728760687360 139902615030224 139903582844827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25408] ppid=25394 vsize=10658972 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25397/task/25408/stat : 25408 (java) S 25394 25397 23830 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 92929909 10914787328 10120 33554432000 4194304 4196468 140728760687360 139902613977328 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25409] ppid=25394 vsize=10658972 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/25397/task/25409/stat : 25409 (java) R 25394 25397 23830 0 -1 4202560 536 0 0 0 3 0 0 0 20 0 15 0 92929909 10914787328 10120 33554432000 4194304 4196468 140728760687360 139902612914896 139903561273531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25410] ppid=25394 vsize=10658972 memory=140472934663808 CPUtime=0.08 cores=0,2,4,6
/proc/25397/task/25410/stat : 25410 (java) R 25394 25397 23830 0 -1 4202560 797 0 0 0 8 0 0 0 20 0 15 0 92929909 10914787328 10120 33554432000 4194304 4196468 140728760687360 139902611868096 139903582838166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25411] ppid=25394 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25411/stat : 25411 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914787328 10120 33554432000 4194304 4196468 140728760687360 139902610819424 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25412] ppid=25394 vsize=10658972 memory=140472934663808 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25412/stat : 25412 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929909 10914787328 10120 33554432000 4194304 4196468 140728760687360 139902609767472 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40480 KiB

[startup+0.312765 s]*
/proc/loadavg: 1.57 1.53 1.53 5/216 25412
/proc/meminfo: memFree=25937412/32770624 swapFree=67108496/67108860
[pid=25397] ppid=25394 vsize=10659048 memory=53192 CPUtime=0.69 cores=0,2,4,6
/proc/25397/stat : 25397 (java) S 25394 25397 23830 0 -1 1077944320 10364 0 0 0 66 3 0 0 20 0 15 0 92929903 10914865152 13298 33554432000 4194304 4196468 140728760687360 140728760669904 139903582826231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
/proc/25397/statm: 2664762 13298 3068 1 0 2627263 0
[pid=25397/tid=25399] ppid=25394 vsize=10659048 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/25397/task/25399/stat : 25399 (java) R 25394 25397 23830 0 -1 4202560 5402 0 0 0 28 1 0 0 20 0 15 0 92929903 10914865152 13298 33554432000 4194304 4196468 140728760687360 139903587053856 139903560820836 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25400] ppid=25394 vsize=10659048 memory=4211974199139454346 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25400/stat : 25400 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 13298 33554432000 4194304 4196468 140728760687360 139903535446544 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25401] ppid=25394 vsize=10659048 memory=140472934666152 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25401/stat : 25401 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 13298 33554432000 4194304 4196468 140728760687360 139903534394000 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25402] ppid=25394 vsize=10659048 memory=140472811128614 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25402/stat : 25402 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 13298 33554432000 4194304 4196468 140728760687360 139903533340944 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25403] ppid=25394 vsize=10659048 memory=140472811113935 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25403/stat : 25403 (java) S 25394 25397 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 13298 33554432000 4194304 4196468 140728760687360 139903532288400 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25404] ppid=25394 vsize=10659048 memory=140472934687665 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25404/stat : 25404 (java) S 25394 25397 23830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92929905 10914865152 13298 33554432000 4194304 4196468 140728760687360 139902618188528 139903582837378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25405] ppid=25394 vsize=10659048 memory=140472811123119 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25405/stat : 25405 (java) S 25394 25397 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 13298 33554432000 4194304 4196468 140728760687360 139902617134752 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25406] ppid=25394 vsize=10659048 memory=280945622237072 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25406/stat : 25406 (java) S 25394 25397 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 13298 33554432000 4194304 4196468 140728760687360 139902616081648 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25407] ppid=25394 vsize=10659048 memory=280945622234768 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25407/stat : 25407 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 13298 33554432000 4194304 4196468 140728760687360 139902615030224 139903582844827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25408] ppid=25394 vsize=10659048 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25397/task/25408/stat : 25408 (java) R 25394 25397 23830 0 -1 4202560 1197 0 0 0 11 0 0 0 20 0 15 0 92929909 10914865152 13298 33554432000 4194304 4196468 140728760687360 139902613958808 139903575923067 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25409] ppid=25394 vsize=10659048 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/25397/task/25409/stat : 25409 (java) R 25394 25397 23830 0 -1 1077944384 1017 0 0 0 11 0 0 0 20 0 15 0 92929909 10914865152 13298 33554432000 4194304 4196468 140728760687360 139902612924784 139903582837378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25410] ppid=25394 vsize=10659048 memory=140472934663808 CPUtime=0.15 cores=0,2,4,6
/proc/25397/task/25410/stat : 25410 (java) R 25394 25397 23830 0 -1 4202560 1381 0 0 0 15 0 0 0 20 0 15 0 92929909 10914865152 13298 33554432000 4194304 4196468 140728760687360 139902611871728 139903561962580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25411] ppid=25394 vsize=10659048 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25411/stat : 25411 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 13298 33554432000 4194304 4196468 140728760687360 139902610819424 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25412] ppid=25394 vsize=10659048 memory=140472934663808 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25412/stat : 25412 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 13298 33554432000 4194304 4196468 140728760687360 139902609767472 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 53192 KiB

[startup+0.706121 s]
/proc/loadavg: 1.57 1.53 1.53 5/216 25412
/proc/meminfo: memFree=25902396/32770624 swapFree=67108496/67108860
[pid=25397] ppid=25394 vsize=10659048 memory=124732 CPUtime=1.93 cores=0,2,4,6
/proc/25397/stat : 25397 (java) S 25394 25397 23830 0 -1 1077944320 13400 0 0 0 189 4 0 0 20 0 15 0 92929903 10914865152 31183 33554432000 4194304 4196468 140728760687360 140728760669904 139903582826231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
/proc/25397/statm: 2664762 31183 3105 1 0 2627263 0
[pid=25397/tid=25399] ppid=25394 vsize=10659048 memory=1616 CPUtime=0.68 cores=0,2,4,6
/proc/25397/task/25399/stat : 25399 (java) R 25394 25397 23830 0 -1 4202560 5632 0 0 0 65 3 0 0 20 0 15 0 92929903 10914865152 31183 33554432000 4194304 4196468 140728760687360 139903587056528 139903563045296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25400] ppid=25394 vsize=10659048 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25400/stat : 25400 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 31183 33554432000 4194304 4196468 140728760687360 139903535446544 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25401] ppid=25394 vsize=10659048 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25401/stat : 25401 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 31183 33554432000 4194304 4196468 140728760687360 139903534394000 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25402] ppid=25394 vsize=10659048 memory=7235408084361307456 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25402/stat : 25402 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 31183 33554432000 4194304 4196468 140728760687360 139903533340944 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25403] ppid=25394 vsize=10659048 memory=7739276948478193257 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25403/stat : 25403 (java) S 25394 25397 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 31183 33554432000 4194304 4196468 140728760687360 139903532288400 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25404] ppid=25394 vsize=10659048 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25404/stat : 25404 (java) S 25394 25397 23830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92929905 10914865152 31183 33554432000 4194304 4196468 140728760687360 139902618188528 139903582837378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25405] ppid=25394 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25405/stat : 25405 (java) S 25394 25397 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 31183 33554432000 4194304 4196468 140728760687360 139902617134752 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25406] ppid=25394 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25406/stat : 25406 (java) S 25394 25397 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 31183 33554432000 4194304 4196468 140728760687360 139902616081648 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25407] ppid=25394 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25407/stat : 25407 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 31183 33554432000 4194304 4196468 140728760687360 139902615030224 139903582844827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25408] ppid=25394 vsize=10659048 memory=3252 CPUtime=0.44 cores=0,2,4,6
/proc/25397/task/25408/stat : 25408 (java) R 25394 25397 23830 0 -1 4202560 2575 0 0 0 44 0 0 0 20 0 15 0 92929909 10914865152 31183 33554432000 4194304 4196468 140728760687360 139902613963488 139903566213892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25409] ppid=25394 vsize=10659048 memory=4 CPUtime=0.45 cores=0,2,4,6
/proc/25397/task/25409/stat : 25409 (java) R 25394 25397 23830 0 -1 4202560 1692 0 0 0 45 0 0 0 20 0 15 0 92929909 10914865152 31183 33554432000 4194304 4196468 140728760687360 139902612924912 139903562337216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25410] ppid=25394 vsize=10659048 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/25397/task/25410/stat : 25410 (java) R 25394 25397 23830 0 -1 4202560 2130 0 0 0 33 0 0 0 20 0 15 0 92929909 10914865152 31183 33554432000 4194304 4196468 140728760687360 139902611869520 139903561089920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25411] ppid=25394 vsize=10659048 memory=280945622420976 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25411/stat : 25411 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 31183 33554432000 4194304 4196468 140728760687360 139902610819424 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25412] ppid=25394 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25412/stat : 25412 (java) S 25394 25397 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 31183 33554432000 4194304 4196468 140728760687360 139902609767472 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 124732 KiB

[startup+1.50075 s]
/proc/loadavg: 1.57 1.53 1.53 3/216 25412
/proc/meminfo: memFree=25838628/32770624 swapFree=67108496/67108860
[pid=25397] ppid=25394 vsize=10659048 memory=197112 CPUtime=3.27 cores=0,2,4,6
/proc/25397/stat : 25397 (java) S 25394 25397 23830 0 -1 1077944320 15957 0 0 0 321 6 0 0 20 0 15 0 92929903 10914865152 49278 33554432000 4194304 4196468 140728760687360 140728760669904 139903582826231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
/proc/25397/statm: 2664762 49278 3117 1 0 2627263 0
[pid=25397/tid=25399] ppid=25394 vsize=10659048 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/25397/task/25399/stat : 25399 (java) R 25394 25397 23830 0 -1 4202560 5840 0 0 0 142 3 0 0 20 0 15 0 92929903 10914865152 49278 33554432000 4194304 4196468 140728760687360 139903587065456 139903209118518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25400] ppid=25394 vsize=10659048 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25400/stat : 25400 (java) S 25394 25397 23830 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 49278 33554432000 4194304 4196468 140728760687360 139903535446544 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25401] ppid=25394 vsize=10659048 memory=4945971198227225216 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25401/stat : 25401 (java) S 25394 25397 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 49278 33554432000 4194304 4196468 140728760687360 139903534394000 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25402] ppid=25394 vsize=10659048 memory=-6079718012894977833 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25402/stat : 25402 (java) S 25394 25397 23830 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 49278 33554432000 4194304 4196468 140728760687360 139903533340944 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25403] ppid=25394 vsize=10659048 memory=-6511738152573949827 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25403/stat : 25403 (java) S 25394 25397 23830 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 92929904 10914865152 49278 33554432000 4194304 4196468 140728760687360 139903532288400 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25404] ppid=25394 vsize=10659048 memory=-6305719394850071680 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25404/stat : 25404 (java) S 25394 25397 23830 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 92929905 10914865152 49278 33554432000 4194304 4196468 140728760687360 139902618188528 139903582837378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0

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

/proc/25397/task/25399/stat : 25399 (java) R 25394 25397 23830 0 -1 4202560 64340 0 0 0 236152 23 0 0 20 0 15 0 92929903 10914865152 86362 33554432000 4194304 4196468 140728760687360 139903587065760 139903209118664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25400] ppid=25394 vsize=10659048 memory=341636 CPUtime=14.77 cores=0,2,4,6
/proc/25397/task/25400/stat : 25400 (java) S 25394 25397 23830 0 -1 1077944384 16354 0 0 0 1451 26 0 0 20 0 15 0 92929904 10914865152 86362 33554432000 4194304 4196468 140728760687360 139903535446544 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25401] ppid=25394 vsize=10659048 memory=346264 CPUtime=14.7 cores=0,2,4,6
/proc/25397/task/25401/stat : 25401 (java) S 25394 25397 23830 0 -1 1077944384 16429 0 0 0 1442 28 0 0 20 0 15 0 92929904 10914865152 86362 33554432000 4194304 4196468 140728760687360 139903534394000 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25402] ppid=25394 vsize=10659048 memory=345448 CPUtime=14.75 cores=0,2,4,6
/proc/25397/task/25402/stat : 25402 (java) S 25394 25397 23830 0 -1 1077944384 15490 0 0 0 1449 26 0 0 20 0 15 0 92929904 10914865152 86362 33554432000 4194304 4196468 140728760687360 139903533340944 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25403] ppid=25394 vsize=10659048 memory=345448 CPUtime=14.72 cores=0,2,4,6
/proc/25397/task/25403/stat : 25403 (java) S 25394 25397 23830 0 -1 1077944384 16797 0 0 0 1446 26 0 0 20 0 15 0 92929904 10914865152 86362 33554432000 4194304 4196468 140728760687360 139903532288400 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25404] ppid=25394 vsize=10659048 memory=0 CPUtime=3.04 cores=0,2,4,6
/proc/25397/task/25404/stat : 25404 (java) S 25394 25397 23830 0 -1 1077944384 8603 0 0 0 269 35 0 0 20 0 15 0 92929905 10914865152 86362 33554432000 4194304 4196468 140728760687360 139902618188528 139903582837378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25405] ppid=25394 vsize=10659048 memory=341636 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25405/stat : 25405 (java) S 25394 25397 23830 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 86362 33554432000 4194304 4196468 140728760687360 139902617134816 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25406] ppid=25394 vsize=10659048 memory=341636 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25406/stat : 25406 (java) S 25394 25397 23830 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 86362 33554432000 4194304 4196468 140728760687360 139902616081648 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25407] ppid=25394 vsize=10659048 memory=341636 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25407/stat : 25407 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 86362 33554432000 4194304 4196468 140728760687360 139902615030224 139903582844827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25408] ppid=25394 vsize=10659048 memory=341636 CPUtime=1.06 cores=0,2,4,6
/proc/25397/task/25408/stat : 25408 (java) S 25394 25397 23830 0 -1 1077944384 11158 0 0 0 105 1 0 0 20 0 15 0 92929909 10914865152 86362 33554432000 4194304 4196468 140728760687360 139902613977328 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25409] ppid=25394 vsize=10659048 memory=1564 CPUtime=0.93 cores=0,2,4,6
/proc/25397/task/25409/stat : 25409 (java) S 25394 25397 23830 0 -1 1077944384 7973 0 0 0 92 1 0 0 20 0 15 0 92929909 10914865152 86362 33554432000 4194304 4196468 140728760687360 139902612924784 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25410] ppid=25394 vsize=10659048 memory=2212 CPUtime=0.45 cores=0,2,4,6
/proc/25397/task/25410/stat : 25410 (java) S 25394 25397 23830 0 -1 1077944384 6187 0 0 0 44 1 0 0 20 0 15 0 92929909 10914865152 86362 33554432000 4194304 4196468 140728760687360 139902611871728 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25411] ppid=25394 vsize=10659048 memory=3988 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25411/stat : 25411 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 86362 33554432000 4194304 4196468 140728760687360 139902610819424 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25412] ppid=25394 vsize=10659048 memory=2048 CPUtime=1.22 cores=0,2,4,6
/proc/25397/task/25412/stat : 25412 (java) S 25394 25397 23830 0 -1 1077944384 1307 0 0 0 62 60 0 0 20 0 15 0 92929909 10914865152 86362 33554432000 4194304 4196468 140728760687360 139902609767472 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
Current children cumulated CPU time: 2427.49 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 345448 KiB

[startup+2442.3 s]
/proc/loadavg: 1.46 1.63 1.66 3/215 25509
/proc/meminfo: memFree=24330888/32770624 swapFree=67108496/67108860
[pid=25397] ppid=25394 vsize=10659048 memory=363088 CPUtime=2488.44 cores=0,2,4,6
/proc/25397/stat : 25397 (java) S 25394 25397 23830 0 -1 1077944320 168579 0 0 0 248633 211 0 0 20 0 15 0 92929903 10914865152 90772 33554432000 4194304 4196468 140728760687360 140728760669904 139903582826231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
/proc/25397/statm: 2664762 90772 3159 1 0 2627263 0
[pid=25397/tid=25399] ppid=25394 vsize=10659048 memory=363344 CPUtime=2421.27 cores=0,2,4,6
/proc/25397/task/25399/stat : 25399 (java) R 25394 25397 23830 0 -1 4202560 64894 0 0 0 242104 23 0 0 20 0 15 0 92929903 10914865152 90772 33554432000 4194304 4196468 140728760687360 139903587065760 139903211992592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25400] ppid=25394 vsize=10659048 memory=356076 CPUtime=15.11 cores=0,2,4,6
/proc/25397/task/25400/stat : 25400 (java) S 25394 25397 23830 0 -1 1077944384 16823 0 0 0 1484 27 0 0 20 0 15 0 92929904 10914865152 90772 33554432000 4194304 4196468 140728760687360 139903535446544 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25401] ppid=25394 vsize=10659048 memory=6791534058613427641 CPUtime=15.03 cores=0,2,4,6
/proc/25397/task/25401/stat : 25401 (java) S 25394 25397 23830 0 -1 1077944384 16907 0 0 0 1474 29 0 0 20 0 15 0 92929904 10914865152 90772 33554432000 4194304 4196468 140728760687360 139903534394000 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25402] ppid=25394 vsize=10659048 memory=356076 CPUtime=15.08 cores=0,2,4,6
/proc/25397/task/25402/stat : 25402 (java) S 25394 25397 23830 0 -1 1077944384 15934 0 0 0 1482 26 0 0 20 0 15 0 92929904 10914865152 90772 33554432000 4194304 4196468 140728760687360 139903533340944 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25403] ppid=25394 vsize=10659048 memory=363344 CPUtime=15.06 cores=0,2,4,6
/proc/25397/task/25403/stat : 25403 (java) S 25394 25397 23830 0 -1 1077944384 17077 0 0 0 1479 27 0 0 20 0 15 0 92929904 10914865152 90772 33554432000 4194304 4196468 140728760687360 139903532288400 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25404] ppid=25394 vsize=10659048 memory=363344 CPUtime=3.1 cores=0,2,4,6
/proc/25397/task/25404/stat : 25404 (java) S 25394 25397 23830 0 -1 1077944384 8858 0 0 0 275 35 0 0 20 0 15 0 92929905 10914865152 90772 33554432000 4194304 4196468 140728760687360 139902618188528 139903582837378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25405] ppid=25394 vsize=10659048 memory=363088 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25405/stat : 25405 (java) S 25394 25397 23830 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 90772 33554432000 4194304 4196468 140728760687360 139902617134816 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25406] ppid=25394 vsize=10659048 memory=363088 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25406/stat : 25406 (java) S 25394 25397 23830 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 90772 33554432000 4194304 4196468 140728760687360 139902616081648 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25407] ppid=25394 vsize=10659048 memory=363088 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25407/stat : 25407 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 90772 33554432000 4194304 4196468 140728760687360 139902615030224 139903582844827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25408] ppid=25394 vsize=10659048 memory=363088 CPUtime=1.06 cores=0,2,4,6
/proc/25397/task/25408/stat : 25408 (java) S 25394 25397 23830 0 -1 1077944384 11160 0 0 0 105 1 0 0 20 0 15 0 92929909 10914865152 90772 33554432000 4194304 4196468 140728760687360 139902613977328 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25409] ppid=25394 vsize=10659048 memory=366152 CPUtime=0.93 cores=0,2,4,6
/proc/25397/task/25409/stat : 25409 (java) S 25394 25397 23830 0 -1 1077944384 7976 0 0 0 92 1 0 0 20 0 15 0 92929909 10914865152 90772 33554432000 4194304 4196468 140728760687360 139902612924784 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25410] ppid=25394 vsize=10659048 memory=3872 CPUtime=0.45 cores=0,2,4,6
/proc/25397/task/25410/stat : 25410 (java) S 25394 25397 23830 0 -1 1077944384 6189 0 0 0 44 1 0 0 20 0 15 0 92929909 10914865152 90772 33554432000 4194304 4196468 140728760687360 139902611871728 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25411] ppid=25394 vsize=10659048 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25411/stat : 25411 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 90772 33554432000 4194304 4196468 140728760687360 139902610819424 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25412] ppid=25394 vsize=10659048 memory=15184 CPUtime=1.25 cores=0,2,4,6
/proc/25397/task/25412/stat : 25412 (java) S 25394 25397 23830 0 -1 1077944384 1343 0 0 0 64 61 0 0 20 0 15 0 92929909 10914865152 90772 33554432000 4194304 4196468 140728760687360 139902609767472 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
Current children cumulated CPU time: 2488.44 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 363088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2473.5 s]
/proc/loadavg: 1.51 1.62 1.66 3/215 25510
/proc/meminfo: memFree=24339084/32770624 swapFree=67108496/67108860
[pid=25397] ppid=25394 vsize=10659048 memory=363376 CPUtime=2520.08 cores=0,2,4,6
/proc/25397/stat : 25397 (java) S 25394 25397 23830 0 -1 1077944320 169527 0 0 0 251795 213 0 0 20 0 15 0 92929903 10914865152 90844 33554432000 4194304 4196468 140728760687360 140728760669904 139903582826231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
/proc/25397/statm: 2664762 90844 3159 1 0 2627263 0
[pid=25397/tid=25399] ppid=25394 vsize=10659048 memory=363084 CPUtime=2452.25 cores=0,2,4,6
/proc/25397/task/25399/stat : 25399 (java) R 25394 25397 23830 0 -1 4202560 65480 0 0 0 245201 24 0 0 20 0 15 0 92929903 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903587065600 139903211821142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25400] ppid=25394 vsize=10659048 memory=363596 CPUtime=15.26 cores=0,2,4,6
/proc/25397/task/25400/stat : 25400 (java) S 25394 25397 23830 0 -1 1077944384 17049 0 0 0 1499 27 0 0 20 0 15 0 92929904 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903535446544 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25401] ppid=25394 vsize=10659048 memory=363084 CPUtime=15.18 cores=0,2,4,6
/proc/25397/task/25401/stat : 25401 (java) S 25394 25397 23830 0 -1 1077944384 16932 0 0 0 1489 29 0 0 20 0 15 0 92929904 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903534394000 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25402] ppid=25394 vsize=10659048 memory=56 CPUtime=15.24 cores=0,2,4,6
/proc/25397/task/25402/stat : 25402 (java) S 25394 25397 23830 0 -1 1077944384 15994 0 0 0 1497 27 0 0 20 0 15 0 92929904 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903533340944 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25403] ppid=25394 vsize=10659048 memory=363084 CPUtime=15.21 cores=0,2,4,6
/proc/25397/task/25403/stat : 25403 (java) S 25394 25397 23830 0 -1 1077944384 17096 0 0 0 1494 27 0 0 20 0 15 0 92929904 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903532288400 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25404] ppid=25394 vsize=10659048 memory=363376 CPUtime=3.14 cores=0,2,4,6
/proc/25397/task/25404/stat : 25404 (java) S 25394 25397 23830 0 -1 1077944384 8880 0 0 0 278 36 0 0 20 0 15 0 92929905 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902618188528 139903582837378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25405] ppid=25394 vsize=10659048 memory=363376 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25405/stat : 25405 (java) S 25394 25397 23830 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902617134816 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25406] ppid=25394 vsize=10659048 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25406/stat : 25406 (java) S 25394 25397 23830 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902616081648 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25407] ppid=25394 vsize=10659048 memory=363376 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25407/stat : 25407 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902615030224 139903582844827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25408] ppid=25394 vsize=10659048 memory=363376 CPUtime=1.06 cores=0,2,4,6
/proc/25397/task/25408/stat : 25408 (java) S 25394 25397 23830 0 -1 1077944384 11162 0 0 0 105 1 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902613977328 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25409] ppid=25394 vsize=10659048 memory=288230574492221466 CPUtime=0.93 cores=0,2,4,6
/proc/25397/task/25409/stat : 25409 (java) S 25394 25397 23830 0 -1 1077944384 7978 0 0 0 92 1 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902612924784 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25410] ppid=25394 vsize=10659048 memory=288230583166042426 CPUtime=0.45 cores=0,2,4,6
/proc/25397/task/25410/stat : 25410 (java) S 25394 25397 23830 0 -1 1077944384 6191 0 0 0 44 1 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902611871728 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25411] ppid=25394 vsize=10659048 memory=363376 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25411/stat : 25411 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902610819424 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25412] ppid=25394 vsize=10659048 memory=363376 CPUtime=1.27 cores=0,2,4,6
/proc/25397/task/25412/stat : 25412 (java) S 25394 25397 23830 0 -1 1077944384 1347 0 0 0 65 62 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902609767472 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 363376 KiB

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

[startup+2473.52 s]
# the end of solver process 25397 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.97 s, system=2.13724 s

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

[startup+2473.5 s]
/proc/loadavg: 1.51 1.62 1.66 3/215 25510
/proc/meminfo: memFree=24339084/32770624 swapFree=67108496/67108860
[pid=25397] ppid=25394 vsize=10659048 memory=363376 CPUtime=2520.08 cores=0,2,4,6
/proc/25397/stat : 25397 (java) S 25394 25397 23830 0 -1 1077944320 169527 0 0 0 251795 213 0 0 20 0 15 0 92929903 10914865152 90844 33554432000 4194304 4196468 140728760687360 140728760669904 139903582826231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
/proc/25397/statm: 2664762 90844 3159 1 0 2627263 0
[pid=25397/tid=25399] ppid=25394 vsize=10659048 memory=363084 CPUtime=2452.25 cores=0,2,4,6
/proc/25397/task/25399/stat : 25399 (java) R 25394 25397 23830 0 -1 4202560 65480 0 0 0 245201 24 0 0 20 0 15 0 92929903 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903587065600 139903211821142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25400] ppid=25394 vsize=10659048 memory=363596 CPUtime=15.26 cores=0,2,4,6
/proc/25397/task/25400/stat : 25400 (java) S 25394 25397 23830 0 -1 1077944384 17049 0 0 0 1499 27 0 0 20 0 15 0 92929904 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903535446544 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25401] ppid=25394 vsize=10659048 memory=363084 CPUtime=15.18 cores=0,2,4,6
/proc/25397/task/25401/stat : 25401 (java) S 25394 25397 23830 0 -1 1077944384 16932 0 0 0 1489 29 0 0 20 0 15 0 92929904 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903534394000 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25402] ppid=25394 vsize=10659048 memory=56 CPUtime=15.24 cores=0,2,4,6
/proc/25397/task/25402/stat : 25402 (java) S 25394 25397 23830 0 -1 1077944384 15994 0 0 0 1497 27 0 0 20 0 15 0 92929904 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903533340944 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25403] ppid=25394 vsize=10659048 memory=363084 CPUtime=15.21 cores=0,2,4,6
/proc/25397/task/25403/stat : 25403 (java) S 25394 25397 23830 0 -1 1077944384 17096 0 0 0 1494 27 0 0 20 0 15 0 92929904 10914865152 90844 33554432000 4194304 4196468 140728760687360 139903532288400 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25404] ppid=25394 vsize=10659048 memory=363376 CPUtime=3.14 cores=0,2,4,6
/proc/25397/task/25404/stat : 25404 (java) S 25394 25397 23830 0 -1 1077944384 8880 0 0 0 278 36 0 0 20 0 15 0 92929905 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902618188528 139903582837378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25405] ppid=25394 vsize=10659048 memory=363376 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25405/stat : 25405 (java) S 25394 25397 23830 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902617134816 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25406] ppid=25394 vsize=10659048 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25406/stat : 25406 (java) S 25394 25397 23830 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 92929906 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902616081648 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25407] ppid=25394 vsize=10659048 memory=363376 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25407/stat : 25407 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902615030224 139903582844827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25408] ppid=25394 vsize=10659048 memory=363376 CPUtime=1.06 cores=0,2,4,6
/proc/25397/task/25408/stat : 25408 (java) S 25394 25397 23830 0 -1 1077944384 11162 0 0 0 105 1 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902613977328 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25409] ppid=25394 vsize=10659048 memory=288230574492221466 CPUtime=0.93 cores=0,2,4,6
/proc/25397/task/25409/stat : 25409 (java) S 25394 25397 23830 0 -1 1077944384 7978 0 0 0 92 1 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902612924784 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25410] ppid=25394 vsize=10659048 memory=288230583166042426 CPUtime=0.45 cores=0,2,4,6
/proc/25397/task/25410/stat : 25410 (java) S 25394 25397 23830 0 -1 1077944384 6191 0 0 0 44 1 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902611871728 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25411] ppid=25394 vsize=10659048 memory=363376 CPUtime=0 cores=0,2,4,6
/proc/25397/task/25411/stat : 25411 (java) S 25394 25397 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902610819424 139903582836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
[pid=25397/tid=25412] ppid=25394 vsize=10659048 memory=363376 CPUtime=1.27 cores=0,2,4,6
/proc/25397/task/25412/stat : 25412 (java) S 25394 25397 23830 0 -1 1077944384 1347 0 0 0 65 62 0 0 20 0 15 0 92929909 10914865152 90844 33554432000 4194304 4196468 140728760687360 139902609767472 139903582837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10698752 140728760693933 140728760694025 140728760694025 140728760696783 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 363376 KiB

Child status: 143
Real time (s): 2473.52
CPU time (s): 2520.11
CPU user time (s): 2517.97
CPU system time (s): 2.13724
CPU usage (%): 101.883
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 367444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.97
system time used= 2.13724
maximum resident set size= 367444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134550
involuntary context switches= 8265


# summary of solver processes directly reported to runsolver:
#   pid: 25397
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2517.97
#   total CPU system time (s): 2.13724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8917 second user time and 22.7705 second system time

The end
Name	PseudoBoolean-opt/ Pb-circ6-3_c18.xml
MD5SUM	d3b486de415a0401f3261f3cd9b637d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	66
Best CPU time to get the best result obtained on this benchmark	2519.98
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	4476
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":540}]
Minimum variable degree	12
Maximum variable degree	76
Distribution of variable degrees	[{"degree":12,"count":12},{"degree":13,"count":60},{"degree":18,"count":12},{"degree":19,"count":12},{"degree":20,"count":54},{"degree":26,"count":30},{"degree":28,"count":120},{"degree":35,"count":30},{"degree":44,"count":30},{"degree":52,"count":30},{"degree":60,"count":30},{"degree":68,"count":30},{"degree":74,"count":30},{"degree":75,"count":30},{"degree":76,"count":30}]
Minimum constraint arity	2
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":2,"count":630},{"arity":3,"count":1860},{"arity":4,"count":282},{"arity":5,"count":372},{"arity":6,"count":300},{"arity":7,"count":240},{"arity":8,"count":240},{"arity":9,"count":240},{"arity":10,"count":270},{"arity":20,"count":42}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":4476}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4298310

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
