2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT (TO)	72	252.086	247.137
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 (13912 MiB free)
  memory of node 1: 16384 MiB (9705 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312225-1534568904/watcher-4312225-1534568904 -o /tmp/evaluation-result-4312225-1534568904/solver-4312225-1534568904 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534568406-29560 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 225843520 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312225-1534568904.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=30028, runsolver pid=30025

[startup+0.100145 s]*
/proc/loadavg: 1.87 1.56 1.31 3/218 30043
/proc/meminfo: memFree=24163932/32770624 swapFree=67108688/67108860
[pid=30028] ppid=30025 vsize=14082736 memory=34024 CPUtime=0.12 cores=0,2,4,6
/proc/30028/stat : 30028 (java) S 30025 30028 25964 0 -1 1077944320 6895 0 0 0 11 1 0 0 20 0 15 0 274453610 14420721664 8506 33554432000 4194304 4196468 140733843265600 140733843248144 139726759141111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
/proc/30028/statm: 3520684 8506 3164 1 0 3482761 0
[pid=30028/tid=30030] ppid=30025 vsize=14082736 memory=-8485517772678402947 CPUtime=0.09 cores=0,2,4,6
/proc/30028/task/30030/stat : 30030 (java) R 30025 30028 25964 0 -1 4202560 4939 0 0 0 9 0 0 0 20 0 15 0 274453610 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726763344928 139726759153046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30031] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726696741520 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30032] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726353340944 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30033] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726352288144 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30034] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726351235344 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30035] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274453612 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726301215600 139726759152258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30036] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274453613 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726300161568 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30037] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274453613 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726299108720 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30038] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726298057040 139726759159707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30039] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 25964 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 274453615 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726297004400 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30040] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30040/stat : 30040 (java) R 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453615 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726295951600 139726759152258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30041] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0.01 cores=0,2,4,6
/proc/30028/task/30041/stat : 30041 (java) R 30025 30028 25964 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 274453615 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726294898800 139726759162458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30042] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14420721664 8506 33554432000 4194304 4196468 140733843265600 139726293846240 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30043] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453616 14420721664 8506 33554432000 4194304 4196468 140733843265600 139725663104176 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34024 KiB

[startup+0.215494 s]*
/proc/loadavg: 1.87 1.56 1.31 5/218 30043
/proc/meminfo: memFree=24148428/32770624 swapFree=67108688/67108860
[pid=30028] ppid=30025 vsize=14082736 memory=49840 CPUtime=0.32 cores=0,2,4,6
/proc/30028/stat : 30028 (java) S 30025 30028 25964 0 -1 1077944320 10569 0 0 0 30 2 0 0 20 0 15 0 274453610 14420721664 12460 33554432000 4194304 4196468 140733843265600 140733843248144 139726759141111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
/proc/30028/statm: 3520684 12460 3377 1 0 3482761 0
[pid=30028/tid=30030] ppid=30025 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30028/task/30030/stat : 30030 (java) R 30025 30028 25964 0 -1 4202560 8283 0 0 0 19 1 0 0 20 0 15 0 274453610 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726763369968 139726759153046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30031] ppid=30025 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726696741520 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30032] ppid=30025 vsize=14082736 memory=3547068899900225184 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726353340944 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30033] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726352288144 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30034] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726351235344 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30035] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 25964 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274453612 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726301215600 139726759152258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30036] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274453613 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726300161568 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30037] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274453613 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726299108720 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30038] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726298057040 139726759159707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30039] ppid=30025 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 25964 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 274453615 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726297004400 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30040] ppid=30025 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 25964 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 274453615 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726295951600 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30041] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0.06 cores=0,2,4,6
/proc/30028/task/30041/stat : 30041 (java) R 30025 30028 25964 0 -1 4202560 288 0 0 0 6 0 0 0 20 0 15 0 274453615 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726294898800 139726759153046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30042] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14420721664 12460 33554432000 4194304 4196468 140733843265600 139726293846240 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30043] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453616 14420721664 12460 33554432000 4194304 4196468 140733843265600 139725663104176 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49840 KiB

[startup+0.31065 s]*
/proc/loadavg: 1.87 1.56 1.31 3/218 30043
/proc/meminfo: memFree=24144148/32770624 swapFree=67108688/67108860
[pid=30028] ppid=30025 vsize=14082736 memory=52968 CPUtime=0.44 cores=0,2,4,6
/proc/30028/stat : 30028 (java) S 30025 30028 25964 0 -1 1077944320 10925 0 0 0 42 2 0 0 20 0 15 0 274453610 14420721664 13242 33554432000 4194304 4196468 140733843265600 140733843248144 139726759141111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
/proc/30028/statm: 3520684 13242 3380 1 0 3482761 0
[pid=30028/tid=30030] ppid=30025 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/30028/task/30030/stat : 30030 (java) R 30025 30028 25964 0 -1 4202560 8611 0 0 0 28 1 0 0 20 0 15 0 274453610 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726763359024 139726743221598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30031] ppid=30025 vsize=14082736 memory=4294980954 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726696741520 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30032] ppid=30025 vsize=14082736 memory=3475011305862297248 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726353340944 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30033] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726352288144 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30034] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274453611 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726351235344 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30035] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 25964 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274453612 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726301215600 139726759152258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30036] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274453613 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726300161568 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30037] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274453613 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726299108720 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30038] ppid=30025 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726298057040 139726759159707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30039] ppid=30025 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 25964 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 274453615 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726297004400 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30040] ppid=30025 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 25964 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 274453615 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726295951600 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30041] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0.08 cores=0,2,4,6
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 25964 0 -1 1077944384 296 0 0 0 8 0 0 0 20 0 15 0 274453615 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726294898800 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30042] ppid=30025 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14420721664 13242 33554432000 4194304 4196468 140733843265600 139726293846240 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30043] ppid=30025 vsize=14082736 memory=139817734076032 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453616 14420721664 13242 33554432000 4194304 4196468 140733843265600 139725663104176 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52968 KiB

[startup+0.700802 s]
/proc/loadavg: 1.87 1.56 1.31 3/218 30043
/proc/meminfo: memFree=24120212/32770624 swapFree=67108688/67108860
[pid=30028] ppid=30025 vsize=14084804 memory=93148 CPUtime=0.98 cores=0,2,4,6
/proc/30028/stat : 30028 (java) S 30025 30028 25964 0 -1 1077944320 17604 0 0 0 94 4 0 0 20 0 15 0 274453610 14422839296 23287 33554432000 4194304 4196468 140733843265600 140733843248144 139726759141111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
/proc/30028/statm: 3521201 23287 3505 1 0 3483273 0
[pid=30028/tid=30030] ppid=30025 vsize=14084804 memory=1172 CPUtime=0.67 cores=0,2,4,6
/proc/30028/task/30030/stat : 30030 (java) R 30025 30028 25964 0 -1 4202560 14933 0 0 0 64 3 0 0 20 0 15 0 274453610 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726763365216 139726759163037 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30031] ppid=30025 vsize=14084804 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726696741520 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30032] ppid=30025 vsize=14084804 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726353340944 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30033] ppid=30025 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726352288144 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30034] ppid=30025 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274453611 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726351235344 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30035] ppid=30025 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 25964 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274453612 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726301215600 139726759152258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30036] ppid=30025 vsize=14084804 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274453613 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726300161568 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30037] ppid=30025 vsize=14084804 memory=924 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274453613 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726299108720 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30038] ppid=30025 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726298057040 139726759159707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30039] ppid=30025 vsize=14084804 memory=7237400421024098393 CPUtime=0.06 cores=0,2,4,6
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 25964 0 -1 1077944384 664 0 0 0 6 0 0 0 20 0 15 0 274453615 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726297004400 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30040] ppid=30025 vsize=14084804 memory=6154282490091891024 CPUtime=0.08 cores=0,2,4,6
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 25964 0 -1 1077944384 272 0 0 0 8 0 0 0 20 0 15 0 274453615 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726295951600 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30041] ppid=30025 vsize=14084804 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 25964 0 -1 1077944384 354 0 0 0 14 0 0 0 20 0 15 0 274453615 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726294898800 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30042] ppid=30025 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14422839296 23287 33554432000 4194304 4196468 140733843265600 139726293846240 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30043] ppid=30025 vsize=14084804 memory=8716 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453616 14422839296 23287 33554432000 4194304 4196468 140733843265600 139725663104176 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 93148 KiB

[startup+1.50073 s]
/proc/loadavg: 1.87 1.56 1.31 5/218 30043
/proc/meminfo: memFree=24065876/32770624 swapFree=67108688/67108860
[pid=30028] ppid=30025 vsize=14088900 memory=185672 CPUtime=3.25 cores=0,2,4,6
/proc/30028/stat : 30028 (java) S 30025 30028 25964 0 -1 1077944320 22424 0 0 0 319 6 0 0 20 0 15 0 274453610 14427033600 46418 33554432000 4194304 4196468 140733843265600 140733843248144 139726759141111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
/proc/30028/statm: 3522225 46418 3546 1 0 3484297 0
[pid=30028/tid=30030] ppid=30025 vsize=14088900 memory=165800 CPUtime=1.46 cores=0,2,4,6
/proc/30028/task/30030/stat : 30030 (java) R 30025 30028 25964 0 -1 4202560 16800 0 0 0 142 4 0 0 20 0 15 0 274453610 14427033600 46418 33554432000 4194304 4196468 140733843265600 139726763367760 139726743221598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30031] ppid=30025 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14427033600 46418 33554432000 4194304 4196468 140733843265600 139726696741520 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30032] ppid=30025 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14427033600 46418 33554432000 4194304 4196468 140733843265600 139726353340944 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30033] ppid=30025 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274453611 14427033600 46418 33554432000 4194304 4196468 140733843265600 139726352288144 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30034] ppid=30025 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274453611 14427033600 46418 33554432000 4194304 4196468 140733843265600 139726351235344 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30035] ppid=30025 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 25964 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 274453612 14427033600 46418 33554432000 4194304 4196468 140733843265600 139726301215600 139726759152258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0

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

/proc/30028/task/30030/stat : 30030 (java) R 30025 30028 25964 0 -1 4202560 23564 0 0 0 16170 8 0 0 20 0 15 0 274453610 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726763379216 139726385234916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30031] ppid=30025 vsize=14090948 memory=176768 CPUtime=0.3 cores=0,2,4,6
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 25964 0 -1 1077944384 2784 0 0 0 27 3 0 0 20 0 15 0 274453611 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726696741520 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30032] ppid=30025 vsize=14090948 memory=176768 CPUtime=0.3 cores=0,2,4,6
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 25964 0 -1 1077944384 1177 0 0 0 26 4 0 0 20 0 15 0 274453611 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726353340944 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30033] ppid=30025 vsize=14090948 memory=176768 CPUtime=0.29 cores=0,2,4,6
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 25964 0 -1 1077944384 1744 0 0 0 26 3 0 0 20 0 15 0 274453611 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726352288144 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30034] ppid=30025 vsize=14090948 memory=176768 CPUtime=0.3 cores=0,2,4,6
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 25964 0 -1 1077944384 2351 0 0 0 27 3 0 0 20 0 15 0 274453611 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726351235344 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30035] ppid=30025 vsize=14090948 memory=176768 CPUtime=0.13 cores=0,2,4,6
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 25964 0 -1 1077944384 1541 0 0 0 12 1 0 0 20 0 15 0 274453612 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726301215600 139726759152258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30036] ppid=30025 vsize=14090948 memory=6868 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 25964 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 274453613 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726300161632 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30037] ppid=30025 vsize=14090948 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 25964 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 274453613 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726299108736 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30038] ppid=30025 vsize=14090948 memory=171104 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726298057040 139726759159707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30039] ppid=30025 vsize=14090948 memory=171104 CPUtime=1.3 cores=0,2,4,6
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 25964 0 -1 1077944384 5690 0 0 0 129 1 0 0 20 0 15 0 274453615 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726297004400 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30040] ppid=30025 vsize=14090948 memory=171104 CPUtime=1.36 cores=0,2,4,6
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 25964 0 -1 1077944384 6137 0 0 0 135 1 0 0 20 0 15 0 274453615 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726295951600 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30041] ppid=30025 vsize=14090948 memory=3824 CPUtime=0.8 cores=0,2,4,6
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 25964 0 -1 1077944384 6869 0 0 0 79 1 0 0 20 0 15 0 274453615 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726294898800 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30042] ppid=30025 vsize=14090948 memory=176768 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14429130752 44192 33554432000 4194304 4196468 140733843265600 139726293846240 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30043] ppid=30025 vsize=14090948 memory=171104 CPUtime=0.08 cores=0,2,4,6
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 25964 0 -1 1077944384 675 0 0 0 5 3 0 0 20 0 15 0 274453616 14429130752 44192 33554432000 4194304 4196468 140733843265600 139725663104176 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
Current children cumulated CPU time: 166.73 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 176768 KiB

[startup+222.301 s]
/proc/loadavg: 1.43 1.55 1.37 3/221 30056
/proc/meminfo: memFree=24238724/32770624 swapFree=67108688/67108860
[pid=30028] ppid=30025 vsize=14090948 memory=177740 CPUtime=227.1 cores=0,2,4,6
/proc/30028/stat : 30028 (java) S 30025 30028 25964 0 -1 1077944320 56371 0 0 0 22678 32 0 0 20 0 15 0 274453610 14429130752 44435 33554432000 4194304 4196468 140733843265600 140733843248144 139726759141111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
/proc/30028/statm: 3522737 44435 3592 1 0 3484809 0
[pid=30028/tid=30030] ppid=30025 vsize=14090948 memory=3824 CPUtime=221.6 cores=0,2,4,6
/proc/30028/task/30030/stat : 30030 (java) R 30025 30028 25964 0 -1 4202560 23932 0 0 0 22152 8 0 0 20 0 15 0 274453610 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726763379120 139726385234825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30031] ppid=30025 vsize=14090948 memory=1404 CPUtime=0.4 cores=0,2,4,6
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 25964 0 -1 1077944384 2927 0 0 0 37 3 0 0 20 0 15 0 274453611 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726696741520 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30032] ppid=30025 vsize=14090948 memory=177740 CPUtime=0.41 cores=0,2,4,6
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 25964 0 -1 1077944384 1516 0 0 0 37 4 0 0 20 0 15 0 274453611 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726353340944 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30033] ppid=30025 vsize=14090948 memory=175692 CPUtime=0.4 cores=0,2,4,6
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 25964 0 -1 1077944384 1994 0 0 0 37 3 0 0 20 0 15 0 274453611 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726352288144 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30034] ppid=30025 vsize=14090948 memory=175692 CPUtime=0.41 cores=0,2,4,6
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 25964 0 -1 1077944384 2524 0 0 0 38 3 0 0 20 0 15 0 274453611 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726351235344 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30035] ppid=30025 vsize=14090948 memory=175692 CPUtime=0.18 cores=0,2,4,6
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 25964 0 -1 1077944384 1764 0 0 0 17 1 0 0 20 0 15 0 274453612 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726301215600 139726759152258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30036] ppid=30025 vsize=14090948 memory=175692 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 25964 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 274453613 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726300161632 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30037] ppid=30025 vsize=14090948 memory=175692 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 25964 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 274453613 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726299108736 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30038] ppid=30025 vsize=14090948 memory=177740 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726298057040 139726759159707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30039] ppid=30025 vsize=14090948 memory=177740 CPUtime=1.3 cores=0,2,4,6
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 25964 0 -1 1077944384 5987 0 0 0 129 1 0 0 20 0 15 0 274453615 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726297004400 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30040] ppid=30025 vsize=14090948 memory=752 CPUtime=1.37 cores=0,2,4,6
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 25964 0 -1 1077944384 6143 0 0 0 136 1 0 0 20 0 15 0 274453615 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726295951600 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30041] ppid=30025 vsize=14090948 memory=175692 CPUtime=0.81 cores=0,2,4,6
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 25964 0 -1 1077944384 7499 0 0 0 80 1 0 0 20 0 15 0 274453615 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726294898800 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30042] ppid=30025 vsize=14090948 memory=175692 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14429130752 44435 33554432000 4194304 4196468 140733843265600 139726293846240 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30043] ppid=30025 vsize=14090948 memory=924 CPUtime=0.13 cores=0,2,4,6
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 25964 0 -1 1077944384 694 0 0 0 7 6 0 0 20 0 15 0 274453616 14429130752 44435 33554432000 4194304 4196468 140733843265600 139725663104176 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
Current children cumulated CPU time: 227.1 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 177740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+247.11 s]
/proc/loadavg: 1.49 1.56 1.37 3/221 30136
/proc/meminfo: memFree=24071280/32770624 swapFree=67108688/67108860
[pid=30028] ppid=30025 vsize=14090948 memory=177744 CPUtime=252.06 cores=0,2,4,6
/proc/30028/stat : 30028 (java) S 30025 30028 25964 0 -1 1077944320 56784 0 0 0 25173 33 0 0 20 0 15 0 274453610 14429130752 44436 33554432000 4194304 4196468 140733843265600 140733843248144 139726759141111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
/proc/30028/statm: 3522737 44436 3592 1 0 3484809 0
[pid=30028/tid=30030] ppid=30025 vsize=14090948 memory=177744 CPUtime=246.33 cores=0,2,4,6
/proc/30028/task/30030/stat : 30030 (java) R 30025 30028 25964 0 -1 4202560 23969 0 0 0 24625 8 0 0 20 0 15 0 274453610 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726763379120 139726384885680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30031] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.45 cores=0,2,4,6
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 25964 0 -1 1077944384 2977 0 0 0 42 3 0 0 20 0 15 0 274453611 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726696741520 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30032] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.45 cores=0,2,4,6
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 25964 0 -1 1077944384 1582 0 0 0 41 4 0 0 20 0 15 0 274453611 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726353340944 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30033] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.45 cores=0,2,4,6
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 25964 0 -1 1077944384 2049 0 0 0 42 3 0 0 20 0 15 0 274453611 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726352288144 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30034] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.45 cores=0,2,4,6
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 25964 0 -1 1077944384 2600 0 0 0 42 3 0 0 20 0 15 0 274453611 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726351235344 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30035] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.21 cores=0,2,4,6
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 25964 0 -1 1077944384 1766 0 0 0 20 1 0 0 20 0 15 0 274453612 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726301215600 139726759152258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30036] ppid=30025 vsize=14090948 memory=177744 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 25964 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 274453613 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726300161632 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30037] ppid=30025 vsize=14090948 memory=752 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 25964 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 274453613 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726299108736 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30038] ppid=30025 vsize=14090948 memory=177744 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726298057040 139726759159707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30039] ppid=30025 vsize=14090948 memory=177744 CPUtime=1.3 cores=0,2,4,6
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 25964 0 -1 1077944384 5987 0 0 0 129 1 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726297004400 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30040] ppid=30025 vsize=14090948 memory=177744 CPUtime=1.37 cores=0,2,4,6
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 25964 0 -1 1077944384 6143 0 0 0 136 1 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726295951600 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30041] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.81 cores=0,2,4,6
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 25964 0 -1 1077944384 7624 0 0 0 80 1 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726294898800 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30042] ppid=30025 vsize=14090948 memory=3824 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726293846240 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30043] ppid=30025 vsize=14090948 memory=6791534058613427641 CPUtime=0.14 cores=0,2,4,6
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 25964 0 -1 1077944384 696 0 0 0 7 7 0 0 20 0 15 0 274453616 14429130752 44436 33554432000 4194304 4196468 140733843265600 139725663104176 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 177744 KiB

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

[startup+247.136 s]
# the end of solver process 30028 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.744 s, system=0.341424 s

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

[startup+247.11 s]
/proc/loadavg: 1.49 1.56 1.37 3/221 30136
/proc/meminfo: memFree=24071280/32770624 swapFree=67108688/67108860
[pid=30028] ppid=30025 vsize=14090948 memory=177744 CPUtime=252.06 cores=0,2,4,6
/proc/30028/stat : 30028 (java) S 30025 30028 25964 0 -1 1077944320 56784 0 0 0 25173 33 0 0 20 0 15 0 274453610 14429130752 44436 33554432000 4194304 4196468 140733843265600 140733843248144 139726759141111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
/proc/30028/statm: 3522737 44436 3592 1 0 3484809 0
[pid=30028/tid=30030] ppid=30025 vsize=14090948 memory=177744 CPUtime=246.33 cores=0,2,4,6
/proc/30028/task/30030/stat : 30030 (java) R 30025 30028 25964 0 -1 4202560 23969 0 0 0 24625 8 0 0 20 0 15 0 274453610 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726763379120 139726384885680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30031] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.45 cores=0,2,4,6
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 25964 0 -1 1077944384 2977 0 0 0 42 3 0 0 20 0 15 0 274453611 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726696741520 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30032] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.45 cores=0,2,4,6
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 25964 0 -1 1077944384 1582 0 0 0 41 4 0 0 20 0 15 0 274453611 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726353340944 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30033] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.45 cores=0,2,4,6
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 25964 0 -1 1077944384 2049 0 0 0 42 3 0 0 20 0 15 0 274453611 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726352288144 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30034] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.45 cores=0,2,4,6
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 25964 0 -1 1077944384 2600 0 0 0 42 3 0 0 20 0 15 0 274453611 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726351235344 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30035] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.21 cores=0,2,4,6
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 25964 0 -1 1077944384 1766 0 0 0 20 1 0 0 20 0 15 0 274453612 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726301215600 139726759152258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30036] ppid=30025 vsize=14090948 memory=177744 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 25964 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 274453613 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726300161632 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30037] ppid=30025 vsize=14090948 memory=752 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 25964 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 274453613 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726299108736 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30038] ppid=30025 vsize=14090948 memory=177744 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726298057040 139726759159707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30039] ppid=30025 vsize=14090948 memory=177744 CPUtime=1.3 cores=0,2,4,6
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 25964 0 -1 1077944384 5987 0 0 0 129 1 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726297004400 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30040] ppid=30025 vsize=14090948 memory=177744 CPUtime=1.37 cores=0,2,4,6
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 25964 0 -1 1077944384 6143 0 0 0 136 1 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726295951600 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30041] ppid=30025 vsize=14090948 memory=177744 CPUtime=0.81 cores=0,2,4,6
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 25964 0 -1 1077944384 7624 0 0 0 80 1 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726294898800 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30042] ppid=30025 vsize=14090948 memory=3824 CPUtime=0 cores=0,2,4,6
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274453615 14429130752 44436 33554432000 4194304 4196468 140733843265600 139726293846240 139726759151317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
[pid=30028/tid=30043] ppid=30025 vsize=14090948 memory=6791534058613427641 CPUtime=0.14 cores=0,2,4,6
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 25964 0 -1 1077944384 696 0 0 0 7 7 0 0 20 0 15 0 274453616 14429130752 44436 33554432000 4194304 4196468 140733843265600 139725663104176 139726759152258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8634368 140733843268687 140733843268878 140733843268878 140733843271631 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 177744 KiB

Child status: 143
Real time (s): 247.137
CPU time (s): 252.086
CPU user time (s): 251.744
CPU system time (s): 0.341424
CPU usage (%): 102.003
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 289820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.744
system time used= 0.341424
maximum resident set size= 290252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12978
involuntary context switches= 439


# summary of solver processes directly reported to runsolver:
#   pid: 30028
#   total CPU time (s): 252.086
#   total CPU user time (s): 251.744
#   total CPU system time (s): 0.341424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44564 second user time and 2.45 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	70
Best CPU time to get the best result obtained on this benchmark	251.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 4312225

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
