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

Solver Name	Answer	objective function	CPU time	Wall clock time
Solver of Xavier Schul & Yvhan Smal 2018-04-28	SAT (TO)	8	2520.05	2491.32
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 (9039 MiB free)
  memory of node 1: 16384 MiB (13653 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298445-1532758429/watcher-4298445-1532758429 -o /tmp/evaluation-result-4298445-1532758429/solver-4298445-1532758429 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532740894-20191 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298445-1532758429.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
solver pid=22256, runsolver pid=22253
Current StackSize limit: 8192 KiB


[startup+0.101062 s]*
/proc/loadavg: 1.28 1.33 1.38 4/215 22271
/proc/meminfo: memFree=23222464/32770624 swapFree=67108688/67108860
[pid=22256] ppid=22253 vsize=10661052 memory=26952 CPUtime=0.13 cores=0,2,4,6
/proc/22256/stat : 22256 (java) S 22253 22256 20160 0 -1 1077944320 5103 0 0 0 12 1 0 0 20 0 15 0 93405723 10916917248 6738 33554432000 4194304 4196468 140724121097776 140724121080320 140502032690935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
/proc/22256/statm: 2665263 6738 2884 1 0 2627263 0
[pid=22256/tid=22258] ppid=22253 vsize=10661052 memory=-8341684059579388026 CPUtime=0.09 cores=0,2,4,6
/proc/22256/task/22258/stat : 22258 (java) R 22253 22256 20160 0 -1 4202560 2895 0 0 0 8 1 0 0 20 0 15 0 93405724 10916917248 6738 33554432000 4194304 4196468 140724121097776 140502036912096 140502016734565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22259] ppid=22253 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22259/stat : 22259 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916917248 6738 33554432000 4194304 4196468 140724121097776 140502004534416 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22260] ppid=22253 vsize=10661052 memory=140684993263232 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22260/stat : 22260 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501638810640 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22261] ppid=22253 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22261/stat : 22261 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501637757840 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22262] ppid=22253 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22262/stat : 22262 (java) S 22253 22256 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93405724 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501636705040 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22263] ppid=22253 vsize=10661052 memory=140684993263232 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22263/stat : 22263 (java) S 22253 22256 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93405726 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501525162352 140502032702082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22264] ppid=22253 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22264/stat : 22264 (java) S 22253 22256 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93405726 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501524108320 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22265] ppid=22253 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22265/stat : 22265 (java) S 22253 22256 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93405726 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501523055472 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22266] ppid=22253 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22266/stat : 22266 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501522003792 140502032709531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22267] ppid=22253 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22267/stat : 22267 (java) R 22253 22256 20160 0 -1 4202560 349 0 0 0 0 0 0 0 20 0 15 0 93405729 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501520944072 140502010523792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22268] ppid=22253 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22268/stat : 22268 (java) R 22253 22256 20160 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 93405729 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501519899472 140502032701141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22269] ppid=22253 vsize=10661052 memory=140684993263232 CPUtime=0.02 cores=0,2,4,6
/proc/22256/task/22269/stat : 22269 (java) S 22253 22256 20160 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 15 0 93405729 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501518846576 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22270] ppid=22253 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22270/stat : 22270 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501517794016 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22271] ppid=22253 vsize=10661052 memory=140684993263232 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22271/stat : 22271 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405729 10916917248 6738 33554432000 4194304 4196468 140724121097776 140501516741296 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 26952 KiB

[startup+0.212889 s]*
/proc/loadavg: 1.28 1.33 1.38 4/215 22271
/proc/meminfo: memFree=23210732/32770624 swapFree=67108688/67108860
[pid=22256] ppid=22253 vsize=10661052 memory=39584 CPUtime=0.35 cores=0,2,4,6
/proc/22256/stat : 22256 (java) S 22253 22256 20160 0 -1 1077944320 7915 0 0 0 32 3 0 0 20 0 15 0 93405723 10916917248 9896 33554432000 4194304 4196468 140724121097776 140724121080320 140502032690935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
/proc/22256/statm: 2665263 9896 3005 1 0 2627263 0
[pid=22256/tid=22258] ppid=22253 vsize=10661052 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/22256/task/22258/stat : 22258 (java) R 22253 22256 20160 0 -1 4202560 4699 0 0 0 19 2 0 0 20 0 15 0 93405724 10916917248 9896 33554432000 4194304 4196468 140724121097776 140502036928976 140501671011973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22259] ppid=22253 vsize=10661052 memory=343 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22259/stat : 22259 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916917248 9896 33554432000 4194304 4196468 140724121097776 140502004534416 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22260] ppid=22253 vsize=10661052 memory=140684993784930 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22260/stat : 22260 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501638810640 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22261] ppid=22253 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22261/stat : 22261 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501637757840 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22262] ppid=22253 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22262/stat : 22262 (java) S 22253 22256 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93405724 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501636705040 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22263] ppid=22253 vsize=10661052 memory=140684993263232 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22263/stat : 22263 (java) S 22253 22256 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93405726 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501525162352 140502032702082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22264] ppid=22253 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22264/stat : 22264 (java) S 22253 22256 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93405726 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501524108320 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22265] ppid=22253 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22265/stat : 22265 (java) S 22253 22256 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93405726 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501523055472 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22266] ppid=22253 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22266/stat : 22266 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501522003792 140502032709531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22267] ppid=22253 vsize=10661052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22256/task/22267/stat : 22267 (java) R 22253 22256 20160 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 93405729 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501520952176 140502032702082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22268] ppid=22253 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22256/task/22268/stat : 22268 (java) R 22253 22256 20160 0 -1 4202560 401 0 0 0 2 0 0 0 20 0 15 0 93405729 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501519890704 140502024928062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22269] ppid=22253 vsize=10661052 memory=140684993263232 CPUtime=0.08 cores=0,2,4,6
/proc/22256/task/22269/stat : 22269 (java) R 22253 22256 20160 0 -1 4202560 1000 0 0 0 8 0 0 0 20 0 15 0 93405729 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501518844240 140502011819354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22270] ppid=22253 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22270/stat : 22270 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501517794016 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22271] ppid=22253 vsize=10661052 memory=140684993263232 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22271/stat : 22271 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405729 10916917248 9896 33554432000 4194304 4196468 140724121097776 140501516741296 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 39584 KiB

[startup+0.310592 s]*
/proc/loadavg: 1.28 1.33 1.38 6/215 22271
/proc/meminfo: memFree=23199196/32770624 swapFree=67108688/67108860
[pid=22256] ppid=22253 vsize=10661128 memory=51208 CPUtime=0.69 cores=0,2,4,6
/proc/22256/stat : 22256 (java) S 22253 22256 20160 0 -1 1077944320 9949 0 0 0 66 3 0 0 20 0 15 0 93405723 10916995072 12802 33554432000 4194304 4196468 140724121097776 140724121080320 140502032690935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
/proc/22256/statm: 2665282 12802 3069 1 0 2627263 0
[pid=22256/tid=22258] ppid=22253 vsize=10661128 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/22256/task/22258/stat : 22258 (java) R 22253 22256 20160 0 -1 4202560 5009 0 0 0 28 2 0 0 20 0 15 0 93405724 10916995072 12802 33554432000 4194304 4196468 140724121097776 140502036926672 140502032702870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22259] ppid=22253 vsize=10661128 memory=4294979917 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22259/stat : 22259 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916995072 12802 33554432000 4194304 4196468 140724121097776 140502004534416 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22260] ppid=22253 vsize=10661128 memory=140684993605036 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22260/stat : 22260 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501638810640 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22261] ppid=22253 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22261/stat : 22261 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501637757840 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22262] ppid=22253 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22262/stat : 22262 (java) S 22253 22256 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93405724 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501636705040 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22263] ppid=22253 vsize=10661128 memory=140684993263232 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22263/stat : 22263 (java) S 22253 22256 20160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501525162352 140502032702082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22264] ppid=22253 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22264/stat : 22264 (java) S 22253 22256 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501524108320 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22265] ppid=22253 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22265/stat : 22265 (java) S 22253 22256 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501523055472 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22266] ppid=22253 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22266/stat : 22266 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501522003792 140502032709531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22267] ppid=22253 vsize=10661128 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22256/task/22267/stat : 22267 (java) R 22253 22256 20160 0 -1 4202560 1234 0 0 0 11 0 0 0 20 0 15 0 93405729 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501520945200 140502032704817 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22268] ppid=22253 vsize=10661128 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/22256/task/22268/stat : 22268 (java) R 22253 22256 20160 0 -1 4202560 842 0 0 0 12 0 0 0 20 0 15 0 93405729 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501519899504 140502016247324 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22269] ppid=22253 vsize=10661128 memory=140684993263232 CPUtime=0.14 cores=0,2,4,6
/proc/22256/task/22269/stat : 22269 (java) R 22253 22256 20160 0 -1 1077944384 1494 0 0 0 14 0 0 0 20 0 15 0 93405729 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501518846576 140502032702082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22270] ppid=22253 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22270/stat : 22270 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501517794016 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22271] ppid=22253 vsize=10661128 memory=140684993263232 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22271/stat : 22271 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 12802 33554432000 4194304 4196468 140724121097776 140501516741296 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 51208 KiB

[startup+0.700687 s]
/proc/loadavg: 1.28 1.33 1.38 5/215 22271
/proc/meminfo: memFree=23169232/32770624 swapFree=67108688/67108860
[pid=22256] ppid=22253 vsize=10661128 memory=112256 CPUtime=1.89 cores=0,2,4,6
/proc/22256/stat : 22256 (java) S 22253 22256 20160 0 -1 1077944320 11315 0 0 0 184 5 0 0 20 0 15 0 93405723 10916995072 28064 33554432000 4194304 4196468 140724121097776 140724121080320 140502032690935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
/proc/22256/statm: 2665282 28064 3103 1 0 2627263 0
[pid=22256/tid=22258] ppid=22253 vsize=10661128 memory=236303731944022 CPUtime=0.68 cores=0,2,4,6
/proc/22256/task/22258/stat : 22258 (java) R 22253 22256 20160 0 -1 4202560 5236 0 0 0 65 3 0 0 20 0 15 0 93405724 10916995072 28064 33554432000 4194304 4196468 140724121097776 140502036925232 140501673408225 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22259] ppid=22253 vsize=10661128 memory=4051047449723404320 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22259/stat : 22259 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916995072 28064 33554432000 4194304 4196468 140724121097776 140502004534416 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22260] ppid=22253 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22260/stat : 22260 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916995072 28064 33554432000 4194304 4196468 140724121097776 140501638810640 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22261] ppid=22253 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22261/stat : 22261 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405724 10916995072 28064 33554432000 4194304 4196468 140724121097776 140501637757840 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22262] ppid=22253 vsize=10661128 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22262/stat : 22262 (java) S 22253 22256 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93405724 10916995072 28064 33554432000 4194304 4196468 140724121097776 140501636705040 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22263] ppid=22253 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22263/stat : 22263 (java) S 22253 22256 20160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 28064 33554432000 4194304 4196468 140724121097776 140501525162352 140502032702082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22264] ppid=22253 vsize=10661128 memory=-6007660418857049897 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22264/stat : 22264 (java) S 22253 22256 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 28064 33554432000 4194304 4196468 140724121097776 140501524108320 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22265] ppid=22253 vsize=10661128 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22265/stat : 22265 (java) S 22253 22256 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 28576 33554432000 4194304 4196468 140724121097776 140501523055472 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22266] ppid=22253 vsize=10661128 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22266/stat : 22266 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 28576 33554432000 4194304 4196468 140724121097776 140501522003792 140502032709531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22267] ppid=22253 vsize=10661128 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/22256/task/22267/stat : 22267 (java) R 22253 22256 20160 0 -1 4202560 1356 0 0 0 40 0 0 0 20 0 15 0 93405729 10916995072 28576 33554432000 4194304 4196468 140724121097776 140501520936576 140502012121113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22268] ppid=22253 vsize=10661128 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/22256/task/22268/stat : 22268 (java) S 22253 22256 20160 0 -1 1077944384 1399 0 0 0 43 0 0 0 20 0 15 0 93405729 10916995072 28576 33554432000 4194304 4196468 140724121097776 140501519899376 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22269] ppid=22253 vsize=10661128 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/22256/task/22269/stat : 22269 (java) S 22253 22256 20160 0 -1 1077944384 1953 0 0 0 34 0 0 0 20 0 15 0 93405729 10916995072 28576 33554432000 4194304 4196468 140724121097776 140501518846576 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22270] ppid=22253 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22270/stat : 22270 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 28576 33554432000 4194304 4196468 140724121097776 140501517794016 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22271] ppid=22253 vsize=10661128 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22271/stat : 22271 (java) S 22253 22256 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 28576 33554432000 4194304 4196468 140724121097776 140501516741296 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 112256 KiB

[startup+1.50072 s]
/proc/loadavg: 1.28 1.33 1.38 6/215 22271
/proc/meminfo: memFree=23024076/32770624 swapFree=67108688/67108860
[pid=22256] ppid=22253 vsize=10661128 memory=229980 CPUtime=4.09 cores=0,2,4,6
/proc/22256/stat : 22256 (java) S 22253 22256 20160 0 -1 1077944320 12804 0 0 0 396 13 0 0 20 0 15 0 93405723 10916995072 57495 33554432000 4194304 4196468 140724121097776 140724121080320 140502032690935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
/proc/22256/statm: 2665282 57495 3145 1 0 2627263 0
[pid=22256/tid=22258] ppid=22253 vsize=10661128 memory=12848 CPUtime=1.44 cores=0,2,4,6
/proc/22256/task/22258/stat : 22258 (java) R 22253 22256 20160 0 -1 4202560 5363 0 0 0 140 4 0 0 20 0 15 0 93405724 10916995072 57495 33554432000 4194304 4196468 140724121097776 140502036927976 140502017196288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22259] ppid=22253 vsize=10661128 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/22256/task/22259/stat : 22259 (java) S 22253 22256 20160 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 15 0 93405724 10916995072 57495 33554432000 4194304 4196468 140724121097776 140502004534416 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22260] ppid=22253 vsize=10661128 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22256/task/22260/stat : 22260 (java) S 22253 22256 20160 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 15 0 93405724 10916995072 57495 33554432000 4194304 4196468 140724121097776 140501638810640 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22261] ppid=22253 vsize=10661128 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22256/task/22261/stat : 22261 (java) S 22253 22256 20160 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 15 0 93405724 10916995072 57495 33554432000 4194304 4196468 140724121097776 140501637757840 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22262] ppid=22253 vsize=10661128 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22256/task/22262/stat : 22262 (java) S 22253 22256 20160 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 15 0 93405724 10916995072 57495 33554432000 4194304 4196468 140724121097776 140501636705040 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22263] ppid=22253 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22263/stat : 22263 (java) S 22253 22256 20160 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 57495 33554432000 4194304 4196468 140724121097776 140501525162352 140502032702082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0

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

/proc/22256/task/22258/stat : 22258 (java) R 22253 22256 20160 0 -1 4202560 29310 0 0 0 236706 28 0 0 20 0 15 0 93405724 10916995072 135788 33554432000 4194304 4196468 140724121097776 140502036930448 140501674896739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22259] ppid=22253 vsize=10661128 memory=545720 CPUtime=8.69 cores=0,2,4,6
/proc/22256/task/22259/stat : 22259 (java) S 22253 22256 20160 0 -1 1077944384 6989 0 0 0 838 31 0 0 20 0 15 0 93405724 10916995072 135788 33554432000 4194304 4196468 140724121097776 140502004534416 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22260] ppid=22253 vsize=10661128 memory=544180 CPUtime=8.7 cores=0,2,4,6
/proc/22256/task/22260/stat : 22260 (java) S 22253 22256 20160 0 -1 1077944384 6094 0 0 0 840 30 0 0 20 0 15 0 93405724 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501638810640 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22261] ppid=22253 vsize=10661128 memory=868 CPUtime=8.66 cores=0,2,4,6
/proc/22256/task/22261/stat : 22261 (java) S 22253 22256 20160 0 -1 1077944384 8062 0 0 0 838 28 0 0 20 0 15 0 93405724 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501637757840 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22262] ppid=22253 vsize=10661128 memory=548800 CPUtime=8.7 cores=0,2,4,6
/proc/22256/task/22262/stat : 22262 (java) S 22253 22256 20160 0 -1 1077944384 8357 0 0 0 841 29 0 0 20 0 15 0 93405724 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501636705040 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22263] ppid=22253 vsize=10661128 memory=552396 CPUtime=3.54 cores=0,2,4,6
/proc/22256/task/22263/stat : 22263 (java) S 22253 22256 20160 0 -1 1077944384 8775 0 0 0 325 29 0 0 20 0 15 0 93405726 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501525162352 140502032702082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22264] ppid=22253 vsize=10661128 memory=27108 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22264/stat : 22264 (java) S 22253 22256 20160 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501524108384 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22265] ppid=22253 vsize=10661128 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22265/stat : 22265 (java) S 22253 22256 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501523055472 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22266] ppid=22253 vsize=10661128 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22266/stat : 22266 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501522003792 140502032709531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22267] ppid=22253 vsize=10661128 memory=545716 CPUtime=1.09 cores=0,2,4,6
/proc/22256/task/22267/stat : 22267 (java) S 22253 22256 20160 0 -1 1077944384 3069 0 0 0 109 0 0 0 20 0 15 0 93405729 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501520952176 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22268] ppid=22253 vsize=10661128 memory=546232 CPUtime=1.2 cores=0,2,4,6
/proc/22256/task/22268/stat : 22268 (java) S 22253 22256 20160 0 -1 1077944384 3527 0 0 0 120 0 0 0 20 0 15 0 93405729 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501519899376 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22269] ppid=22253 vsize=10661128 memory=6791534058613427641 CPUtime=0.47 cores=0,2,4,6
/proc/22256/task/22269/stat : 22269 (java) S 22253 22256 20160 0 -1 1077944384 2698 0 0 0 46 1 0 0 20 0 15 0 93405729 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501518846576 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22270] ppid=22253 vsize=10661128 memory=543664 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22270/stat : 22270 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501517794016 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22271] ppid=22253 vsize=10661128 memory=544696 CPUtime=1.15 cores=0,2,4,6
/proc/22256/task/22271/stat : 22271 (java) S 22253 22256 20160 0 -1 1077944384 1073 0 0 0 61 54 0 0 20 0 15 0 93405729 10916995072 135788 33554432000 4194304 4196468 140724121097776 140501516741296 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
Current children cumulated CPU time: 2409.65 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 543152 KiB

[startup+2442.3 s]
/proc/loadavg: 1.93 1.79 1.67 3/216 22574
/proc/meminfo: memFree=22609088/32770624 swapFree=67108688/67108860
[pid=22256] ppid=22253 vsize=10661128 memory=535964 CPUtime=2470.4 cores=0,2,4,6
/proc/22256/stat : 22256 (java) S 22253 22256 20160 0 -1 1077944320 80193 0 0 0 246829 211 0 0 20 0 15 0 93405723 10916995072 133991 33554432000 4194304 4196468 140724121097776 140724121080320 140502032690935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
/proc/22256/statm: 2665282 133991 3163 1 0 2627263 0
[pid=22256/tid=22258] ppid=22253 vsize=10661128 memory=535964 CPUtime=2426.89 cores=0,2,4,6
/proc/22256/task/22258/stat : 22258 (java) R 22253 22256 20160 0 -1 4202560 29676 0 0 0 242660 29 0 0 20 0 15 0 93405724 10916995072 133991 33554432000 4194304 4196468 140724121097776 140502036930560 140501674885690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22259] ppid=22253 vsize=10661128 memory=539040 CPUtime=8.95 cores=0,2,4,6
/proc/22256/task/22259/stat : 22259 (java) S 22253 22256 20160 0 -1 1077944384 7107 0 0 0 864 31 0 0 20 0 15 0 93405724 10916995072 133991 33554432000 4194304 4196468 140724121097776 140502004534416 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22260] ppid=22253 vsize=10661128 memory=542636 CPUtime=8.98 cores=0,2,4,6
/proc/22256/task/22260/stat : 22260 (java) S 22253 22256 20160 0 -1 1077944384 6173 0 0 0 867 31 0 0 20 0 15 0 93405724 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501638810640 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22261] ppid=22253 vsize=10661128 memory=539040 CPUtime=8.93 cores=0,2,4,6
/proc/22256/task/22261/stat : 22261 (java) S 22253 22256 20160 0 -1 1077944384 8201 0 0 0 864 29 0 0 20 0 15 0 93405724 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501637757840 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22262] ppid=22253 vsize=10661128 memory=538016 CPUtime=8.97 cores=0,2,4,6
/proc/22256/task/22262/stat : 22262 (java) S 22253 22256 20160 0 -1 1077944384 8439 0 0 0 867 30 0 0 20 0 15 0 93405724 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501636705040 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22263] ppid=22253 vsize=10661128 memory=536476 CPUtime=3.65 cores=0,2,4,6
/proc/22256/task/22263/stat : 22263 (java) S 22253 22256 20160 0 -1 1077944384 8823 0 0 0 335 30 0 0 20 0 15 0 93405726 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501525162352 140502032702082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22264] ppid=22253 vsize=10661128 memory=535964 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22264/stat : 22264 (java) S 22253 22256 20160 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501524108384 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22265] ppid=22253 vsize=10661128 memory=535964 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22265/stat : 22265 (java) S 22253 22256 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501523055472 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22266] ppid=22253 vsize=10661128 memory=535964 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22266/stat : 22266 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501522003792 140502032709531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22267] ppid=22253 vsize=10661128 memory=535964 CPUtime=1.09 cores=0,2,4,6
/proc/22256/task/22267/stat : 22267 (java) S 22253 22256 20160 0 -1 1077944384 3069 0 0 0 109 0 0 0 20 0 15 0 93405729 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501520952176 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22268] ppid=22253 vsize=10661128 memory=539040 CPUtime=1.2 cores=0,2,4,6
/proc/22256/task/22268/stat : 22268 (java) S 22253 22256 20160 0 -1 1077944384 3527 0 0 0 120 0 0 0 20 0 15 0 93405729 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501519899376 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22269] ppid=22253 vsize=10661128 memory=535964 CPUtime=0.47 cores=0,2,4,6
/proc/22256/task/22269/stat : 22269 (java) S 22253 22256 20160 0 -1 1077944384 2698 0 0 0 46 1 0 0 20 0 15 0 93405729 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501518846576 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22270] ppid=22253 vsize=10661128 memory=536992 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22270/stat : 22270 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501517794016 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22271] ppid=22253 vsize=10661128 memory=538528 CPUtime=1.18 cores=0,2,4,6
/proc/22256/task/22271/stat : 22271 (java) S 22253 22256 20160 0 -1 1077944384 1087 0 0 0 63 55 0 0 20 0 15 0 93405729 10916995072 133991 33554432000 4194304 4196468 140724121097776 140501516741296 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
Current children cumulated CPU time: 2470.4 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 535964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2491.3 s]
/proc/loadavg: 1.55 1.70 1.64 3/215 22576
/proc/meminfo: memFree=22604236/32770624 swapFree=67108688/67108860
[pid=22256] ppid=22253 vsize=10661128 memory=540060 CPUtime=2520.02 cores=0,2,4,6
/proc/22256/stat : 22256 (java) S 22253 22256 20160 0 -1 1077944320 81569 0 0 0 251788 214 0 0 20 0 15 0 93405723 10916995072 135015 33554432000 4194304 4196468 140724121097776 140724121080320 140502032690935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
/proc/22256/statm: 2665282 135015 3163 1 0 2627263 0
[pid=22256/tid=22258] ppid=22253 vsize=10661128 memory=538012 CPUtime=2475.55 cores=0,2,4,6
/proc/22256/task/22258/stat : 22258 (java) R 22253 22256 20160 0 -1 4202560 30002 0 0 0 247526 29 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140502036930288 140501674897571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22259] ppid=22253 vsize=10661128 memory=540060 CPUtime=9.16 cores=0,2,4,6
/proc/22256/task/22259/stat : 22259 (java) S 22253 22256 20160 0 -1 1077944384 7359 0 0 0 885 31 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140502004534416 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22260] ppid=22253 vsize=10661128 memory=540060 CPUtime=9.19 cores=0,2,4,6
/proc/22256/task/22260/stat : 22260 (java) S 22253 22256 20160 0 -1 1077944384 6540 0 0 0 888 31 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501638810640 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22261] ppid=22253 vsize=10661128 memory=538012 CPUtime=9.14 cores=0,2,4,6
/proc/22256/task/22261/stat : 22261 (java) S 22253 22256 20160 0 -1 1077944384 8423 0 0 0 885 29 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501637757840 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22262] ppid=22253 vsize=10661128 memory=538012 CPUtime=9.18 cores=0,2,4,6
/proc/22256/task/22262/stat : 22262 (java) S 22253 22256 20160 0 -1 1077944384 8451 0 0 0 888 30 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501636705040 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22263] ppid=22253 vsize=10661128 memory=540060 CPUtime=3.72 cores=0,2,4,6
/proc/22256/task/22263/stat : 22263 (java) S 22253 22256 20160 0 -1 1077944384 8997 0 0 0 341 31 0 0 20 0 15 0 93405726 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501525162352 140502032702082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22264] ppid=22253 vsize=10661128 memory=540060 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22264/stat : 22264 (java) S 22253 22256 20160 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501524108384 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22265] ppid=22253 vsize=10661128 memory=538012 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22265/stat : 22265 (java) S 22253 22256 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501523055472 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22266] ppid=22253 vsize=10661128 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22266/stat : 22266 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501522003792 140502032709531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22267] ppid=22253 vsize=10661128 memory=540060 CPUtime=1.09 cores=0,2,4,6
/proc/22256/task/22267/stat : 22267 (java) S 22253 22256 20160 0 -1 1077944384 3071 0 0 0 109 0 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501520952176 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22268] ppid=22253 vsize=10661128 memory=540060 CPUtime=1.2 cores=0,2,4,6
/proc/22256/task/22268/stat : 22268 (java) S 22253 22256 20160 0 -1 1077944384 3529 0 0 0 120 0 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501519899376 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22269] ppid=22253 vsize=10661128 memory=540060 CPUtime=0.47 cores=0,2,4,6
/proc/22256/task/22269/stat : 22269 (java) S 22253 22256 20160 0 -1 1077944384 2700 0 0 0 46 1 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501518846576 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22270] ppid=22253 vsize=10661128 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22270/stat : 22270 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501517794016 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22271] ppid=22253 vsize=10661128 memory=644 CPUtime=1.21 cores=0,2,4,6
/proc/22256/task/22271/stat : 22271 (java) S 22253 22256 20160 0 -1 1077944384 1104 0 0 0 64 57 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501516741296 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 540060 KiB

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

[startup+2491.32 s]
# the end of solver process 22256 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.91 s, system=2.14886 s

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

[startup+2491.3 s]
/proc/loadavg: 1.55 1.70 1.64 3/215 22576
/proc/meminfo: memFree=22604236/32770624 swapFree=67108688/67108860
[pid=22256] ppid=22253 vsize=10661128 memory=540060 CPUtime=2520.02 cores=0,2,4,6
/proc/22256/stat : 22256 (java) S 22253 22256 20160 0 -1 1077944320 81569 0 0 0 251788 214 0 0 20 0 15 0 93405723 10916995072 135015 33554432000 4194304 4196468 140724121097776 140724121080320 140502032690935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
/proc/22256/statm: 2665282 135015 3163 1 0 2627263 0
[pid=22256/tid=22258] ppid=22253 vsize=10661128 memory=538012 CPUtime=2475.55 cores=0,2,4,6
/proc/22256/task/22258/stat : 22258 (java) R 22253 22256 20160 0 -1 4202560 30002 0 0 0 247526 29 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140502036930288 140501674897571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22259] ppid=22253 vsize=10661128 memory=540060 CPUtime=9.16 cores=0,2,4,6
/proc/22256/task/22259/stat : 22259 (java) S 22253 22256 20160 0 -1 1077944384 7359 0 0 0 885 31 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140502004534416 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22260] ppid=22253 vsize=10661128 memory=540060 CPUtime=9.19 cores=0,2,4,6
/proc/22256/task/22260/stat : 22260 (java) S 22253 22256 20160 0 -1 1077944384 6540 0 0 0 888 31 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501638810640 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22261] ppid=22253 vsize=10661128 memory=538012 CPUtime=9.14 cores=0,2,4,6
/proc/22256/task/22261/stat : 22261 (java) S 22253 22256 20160 0 -1 1077944384 8423 0 0 0 885 29 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501637757840 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22262] ppid=22253 vsize=10661128 memory=538012 CPUtime=9.18 cores=0,2,4,6
/proc/22256/task/22262/stat : 22262 (java) S 22253 22256 20160 0 -1 1077944384 8451 0 0 0 888 30 0 0 20 0 15 0 93405724 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501636705040 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22263] ppid=22253 vsize=10661128 memory=540060 CPUtime=3.72 cores=0,2,4,6
/proc/22256/task/22263/stat : 22263 (java) S 22253 22256 20160 0 -1 1077944384 8997 0 0 0 341 31 0 0 20 0 15 0 93405726 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501525162352 140502032702082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22264] ppid=22253 vsize=10661128 memory=540060 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22264/stat : 22264 (java) S 22253 22256 20160 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501524108384 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22265] ppid=22253 vsize=10661128 memory=538012 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22265/stat : 22265 (java) S 22253 22256 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93405726 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501523055472 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22266] ppid=22253 vsize=10661128 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22266/stat : 22266 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501522003792 140502032709531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22267] ppid=22253 vsize=10661128 memory=540060 CPUtime=1.09 cores=0,2,4,6
/proc/22256/task/22267/stat : 22267 (java) S 22253 22256 20160 0 -1 1077944384 3071 0 0 0 109 0 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501520952176 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22268] ppid=22253 vsize=10661128 memory=540060 CPUtime=1.2 cores=0,2,4,6
/proc/22256/task/22268/stat : 22268 (java) S 22253 22256 20160 0 -1 1077944384 3529 0 0 0 120 0 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501519899376 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22269] ppid=22253 vsize=10661128 memory=540060 CPUtime=0.47 cores=0,2,4,6
/proc/22256/task/22269/stat : 22269 (java) S 22253 22256 20160 0 -1 1077944384 2700 0 0 0 46 1 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501518846576 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22270] ppid=22253 vsize=10661128 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22256/task/22270/stat : 22270 (java) S 22253 22256 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501517794016 140502032701141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
[pid=22256/tid=22271] ppid=22253 vsize=10661128 memory=644 CPUtime=1.21 cores=0,2,4,6
/proc/22256/task/22271/stat : 22271 (java) S 22253 22256 20160 0 -1 1077944384 1104 0 0 0 64 57 0 0 20 0 15 0 93405729 10916995072 135015 33554432000 4194304 4196468 140724121097776 140501516741296 140502032702082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140724121105581 140724121105673 140724121105673 140724121108431 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 540060 KiB

Child status: 143
Real time (s): 2491.32
CPU time (s): 2520.05
CPU user time (s): 2517.91
CPU system time (s): 2.14886
CPU usage (%): 101.153
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 1201780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.91
system time used= 2.14886
maximum resident set size= 1203828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 156218
involuntary context switches= 6531


# summary of solver processes directly reported to runsolver:
#   pid: 22256
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2517.91
#   total CPU system time (s): 2.14886

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0708 second user time and 23.4193 second system time

The end
Name	GraphColoring/ GraphColoring-4-fullins-4_c18.xml
MD5SUM	954cbc6df2411a2de12d490b8b2019f6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	7
Best CPU time to get the best result obtained on this benchmark	15.1303
Satisfiable
(Un)Satisfiability was proved
Number of variables	690
Number of constraints	6650
Number of domains	1
Minimum domain size	690
Maximum domain size	690
Distribution of domain sizes	[{"size":690,"count":690}]
Minimum variable degree	7
Maximum variable degree	120
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":18},{"degree":9,"count":14},{"degree":10,"count":56},{"degree":11,"count":18},{"degree":12,"count":78},{"degree":13,"count":10},{"degree":14,"count":40},{"degree":15,"count":40},{"degree":16,"count":160},{"degree":17,"count":6},{"degree":18,"count":24},{"degree":19,"count":6},{"degree":20,"count":24},{"degree":26,"count":6},{"degree":29,"count":6},{"degree":30,"count":24},{"degree":31,"count":24},{"degree":32,"count":96},{"degree":47,"count":6},{"degree":48,"count":24},{"degree":120,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6650}]
Number of extensional constraints	0
Number of intensional constraints	6650
Distribution of constraint types	[{"type":"intension","count":6650}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298445

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
