2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-14	SAT (TO)	76	2520.04	2501.73
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 (9121 MiB free)
  memory of node 1: 16384 MiB (13090 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307907-1534273147/watcher-4307907-1534273147 -o /tmp/evaluation-result-4307907-1534273147/solver-4307907-1534273147 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30546 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 360729668 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307907-1534273147.xml 

running on 4 cores: 1,3,5,7

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=30751, runsolver pid=30748
Current StackSize limit: 8192 KiB


[startup+0.108727 s]*
/proc/loadavg: 1.61 1.56 1.49 4/218 30766
/proc/meminfo: memFree=22726592/32770624 swapFree=67108856/67108860
[pid=30751] ppid=30748 vsize=14082736 memory=33616 CPUtime=0.13 cores=1,3,5,7
/proc/30751/stat : 30751 (java) S 30748 30751 28719 0 -1 1077944320 7302 0 0 0 11 2 0 0 20 0 15 0 244877880 14420721664 8404 33554432000 4194304 4196468 140724217445984 140724217428528 139893541891831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
/proc/30751/statm: 3520684 8404 3160 1 0 3482761 0
[pid=30751/tid=30753] ppid=30748 vsize=14082736 memory=-8557575366716200061 CPUtime=0.1 cores=1,3,5,7
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 28719 0 -1 4202560 5383 0 0 0 9 1 0 0 20 0 15 0 244877880 14420721664 8470 33554432000 4194304 4196468 140724217445984 139893546116696 139893534128958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30754] ppid=30748 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 8470 33554432000 4194304 4196468 140724217445984 139893471979792 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30755] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 8470 33554432000 4194304 4196468 140724217445984 139893470927248 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30756] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 8470 33554432000 4194304 4196468 140724217445984 139893469874704 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30757] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 8470 33554432000 4194304 4196468 140724217445984 139893468822160 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30758] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877883 14420721664 8470 33554432000 4194304 4196468 140724217445984 139892723436016 139893541902978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30759] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244877883 14420721664 8470 33554432000 4194304 4196468 140724217445984 139892386424224 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30760] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244877883 14420721664 8470 33554432000 4194304 4196468 140724217445984 139892385371632 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30761] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 8470 33554432000 4194304 4196468 140724217445984 139892384320208 139893541910427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30762] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 28719 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 8470 33554432000 4194304 4196468 140724217445984 139892383266800 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30763] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 8470 33554432000 4194304 4196468 140724217445984 139892382214256 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30764] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0.01 cores=1,3,5,7
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 28719 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 15 0 244877886 14420721664 8536 33554432000 4194304 4196468 140724217445984 139892381161712 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30765] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 8536 33554432000 4194304 4196468 140724217445984 139892380109408 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30766] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 8536 33554432000 4194304 4196468 140724217445984 139892379056944 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33616 KiB

[startup+0.210674 s]*
/proc/loadavg: 1.61 1.56 1.49 6/218 30766
/proc/meminfo: memFree=22711832/32770624 swapFree=67108856/67108860
[pid=30751] ppid=30748 vsize=14082736 memory=47064 CPUtime=0.31 cores=1,3,5,7
/proc/30751/stat : 30751 (java) S 30748 30751 28719 0 -1 1077944320 10424 0 0 0 28 3 0 0 20 0 15 0 244877880 14420721664 11766 33554432000 4194304 4196468 140724217445984 140724217428528 139893541891831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
/proc/30751/statm: 3520684 11766 3318 1 0 3482761 0
[pid=30751/tid=30753] ppid=30748 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 28719 0 -1 4202560 8160 0 0 0 18 2 0 0 20 0 15 0 244877880 14420721664 11766 33554432000 4194304 4196468 140724217445984 139893546115600 139893523285565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30754] ppid=30748 vsize=14082736 memory=364 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 11766 33554432000 4194304 4196468 140724217445984 139893471979792 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30755] ppid=30748 vsize=14082736 memory=288370261701506688 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 11766 33554432000 4194304 4196468 140724217445984 139893470927248 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30756] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 11766 33554432000 4194304 4196468 140724217445984 139893469874704 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30757] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 11766 33554432000 4194304 4196468 140724217445984 139893468822160 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30758] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244877883 14420721664 11766 33554432000 4194304 4196468 140724217445984 139892723436016 139893541902978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30759] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244877883 14420721664 11766 33554432000 4194304 4196468 140724217445984 139892386424224 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30760] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244877883 14420721664 11766 33554432000 4194304 4196468 140724217445984 139892385371632 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30761] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 11766 33554432000 4194304 4196468 140724217445984 139892384320208 139893541910427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30762] ppid=30748 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30751/task/30762/stat : 30762 (java) R 30748 30751 28719 0 -1 4202560 510 0 0 0 2 0 0 0 20 0 15 0 244877886 14420721664 11766 33554432000 4194304 4196468 140724217445984 139892383257184 139893523435584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30763] ppid=30748 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30751/task/30763/stat : 30763 (java) R 30748 30751 28719 0 -1 4202560 62 0 0 0 1 0 0 0 20 0 15 0 244877886 14420721664 11766 33554432000 4194304 4196468 140724217445984 139892382214256 139893523262144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30764] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0.06 cores=1,3,5,7
/proc/30751/task/30764/stat : 30764 (java) R 30748 30751 28719 0 -1 4202560 311 0 0 0 6 0 0 0 20 0 15 0 244877886 14420721664 11766 33554432000 4194304 4196468 140724217445984 139892381158648 139893521179060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30765] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 11766 33554432000 4194304 4196468 140724217445984 139892380109408 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30766] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 11766 33554432000 4194304 4196468 140724217445984 139892379056944 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47064 KiB

[startup+0.310615 s]*
/proc/loadavg: 1.61 1.56 1.49 3/218 30766
/proc/meminfo: memFree=22708668/32770624 swapFree=67108856/67108860
[pid=30751] ppid=30748 vsize=14082736 memory=50916 CPUtime=0.44 cores=1,3,5,7
/proc/30751/stat : 30751 (java) S 30748 30751 28719 0 -1 1077944320 10810 0 0 0 41 3 0 0 20 0 15 0 244877880 14420721664 12729 33554432000 4194304 4196468 140724217445984 140724217428528 139893541891831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
/proc/30751/statm: 3520684 12729 3420 1 0 3482761 0
[pid=30751/tid=30753] ppid=30748 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 28719 0 -1 4202560 8494 0 0 0 28 2 0 0 20 0 15 0 244877880 14420721664 12729 33554432000 4194304 4196468 140724217445984 139893546103344 139893523455364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30754] ppid=30748 vsize=14082736 memory=4294982659 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 12729 33554432000 4194304 4196468 140724217445984 139893471979792 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30755] ppid=30748 vsize=14082736 memory=288370261701506688 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 12729 33554432000 4194304 4196468 140724217445984 139893470927248 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30756] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 12729 33554432000 4194304 4196468 140724217445984 139893469874704 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30757] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877881 14420721664 12729 33554432000 4194304 4196468 140724217445984 139893468822160 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30758] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244877883 14420721664 12729 33554432000 4194304 4196468 140724217445984 139892723436016 139893541902978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30759] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244877883 14420721664 12729 33554432000 4194304 4196468 140724217445984 139892386424224 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30760] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244877883 14420721664 12729 33554432000 4194304 4196468 140724217445984 139892385371632 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30761] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 12729 33554432000 4194304 4196468 140724217445984 139892384320208 139893541910427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30762] ppid=30748 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 28719 0 -1 1077944384 535 0 0 0 3 0 0 0 20 0 15 0 244877886 14420721664 12729 33554432000 4194304 4196468 140724217445984 139892383266800 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30763] ppid=30748 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 28719 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 15 0 244877886 14420721664 12729 33554432000 4194304 4196468 140724217445984 139892382214256 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30764] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0.08 cores=1,3,5,7
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 28719 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 244877886 14420721664 12729 33554432000 4194304 4196468 140724217445984 139892381161712 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30765] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 12729 33554432000 4194304 4196468 140724217445984 139892380109408 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30766] ppid=30748 vsize=14082736 memory=139885549794944 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877886 14420721664 12729 33554432000 4194304 4196468 140724217445984 139892379056944 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50916 KiB

[startup+0.700693 s]
/proc/loadavg: 1.61 1.56 1.49 3/218 30766
/proc/meminfo: memFree=22684492/32770624 swapFree=67108856/67108860
[pid=30751] ppid=30748 vsize=14084804 memory=88972 CPUtime=0.98 cores=1,3,5,7
/proc/30751/stat : 30751 (java) S 30748 30751 28719 0 -1 1077944320 17634 0 0 0 94 4 0 0 20 0 15 0 244877880 14422839296 22243 33554432000 4194304 4196468 140724217445984 140724217428528 139893541891831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
/proc/30751/statm: 3521201 22243 3485 1 0 3483273 0
[pid=30751/tid=30753] ppid=30748 vsize=14084804 memory=271990011235205 CPUtime=0.67 cores=1,3,5,7
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 28719 0 -1 4202560 14927 0 0 0 64 3 0 0 20 0 15 0 244877880 14422839296 22243 33554432000 4194304 4196468 140724217445984 139893546116048 139893525972318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30754] ppid=30748 vsize=14084804 memory=3834592127481040488 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14422839296 22243 33554432000 4194304 4196468 140724217445984 139893471979792 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30755] ppid=30748 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14422839296 22243 33554432000 4194304 4196468 140724217445984 139893470927248 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30756] ppid=30748 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14422839296 22243 33554432000 4194304 4196468 140724217445984 139893469874704 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30757] ppid=30748 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877881 14422839296 22243 33554432000 4194304 4196468 140724217445984 139893468822160 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30758] ppid=30748 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244877883 14422839296 22243 33554432000 4194304 4196468 140724217445984 139892723436016 139893541902978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30759] ppid=30748 vsize=14084804 memory=-6151176607409464160 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244877883 14422839296 22243 33554432000 4194304 4196468 140724217445984 139892386424224 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30760] ppid=30748 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244877883 14422839296 22243 33554432000 4194304 4196468 140724217445984 139892385371632 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30761] ppid=30748 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14422839296 22243 33554432000 4194304 4196468 140724217445984 139892384320208 139893541910427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30762] ppid=30748 vsize=14084804 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 28719 0 -1 1077944384 661 0 0 0 7 0 0 0 20 0 15 0 244877886 14422839296 22243 33554432000 4194304 4196468 140724217445984 139892383266800 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30763] ppid=30748 vsize=14084804 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 28719 0 -1 1077944384 258 0 0 0 8 0 0 0 20 0 15 0 244877886 14422839296 22243 33554432000 4194304 4196468 140724217445984 139892382214256 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30764] ppid=30748 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 28719 0 -1 1077944384 405 0 0 0 15 0 0 0 20 0 15 0 244877886 14422839296 22243 33554432000 4194304 4196468 140724217445984 139892381161712 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30765] ppid=30748 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14422839296 22243 33554432000 4194304 4196468 140724217445984 139892380109408 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30766] ppid=30748 vsize=14084804 memory=36872 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877886 14422839296 22243 33554432000 4194304 4196468 140724217445984 139892379056944 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88972 KiB

[startup+1.50067 s]
/proc/loadavg: 1.64 1.57 1.50 5/218 30766
/proc/meminfo: memFree=22625856/32770624 swapFree=67108856/67108860
[pid=30751] ppid=30748 vsize=14088900 memory=183300 CPUtime=3.17 cores=1,3,5,7
/proc/30751/stat : 30751 (java) S 30748 30751 28719 0 -1 1077944320 29051 0 0 0 309 8 0 0 20 0 15 0 244877880 14427033600 45825 33554432000 4194304 4196468 140724217445984 140724217428528 139893541891831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
/proc/30751/statm: 3522225 45825 3554 1 0 3484297 0
[pid=30751/tid=30753] ppid=30748 vsize=14088900 memory=3303 CPUtime=1.47 cores=1,3,5,7
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 28719 0 -1 4202560 21050 0 0 0 142 5 0 0 20 0 15 0 244877880 14427033600 45825 33554432000 4194304 4196468 140724217445984 139893546122384 139893521193584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30754] ppid=30748 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14427033600 45825 33554432000 4194304 4196468 140724217445984 139893471979792 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30755] ppid=30748 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14427033600 45825 33554432000 4194304 4196468 140724217445984 139893470927248 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30756] ppid=30748 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244877881 14427033600 45825 33554432000 4194304 4196468 140724217445984 139893469874704 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30757] ppid=30748 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244877881 14427033600 45825 33554432000 4194304 4196468 140724217445984 139893468822160 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30758] ppid=30748 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 28719 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 244877883 14427033600 45825 33554432000 4194304 4196468 140724217445984 139892723436016 139893541902978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0

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

/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 28719 0 -1 4202560 39408 0 0 0 237220 15 0 0 20 0 15 0 244877880 14429130752 64911 33554432000 4194304 4196468 140724217445984 139893546129984 139893151028193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30754] ppid=30748 vsize=14090948 memory=259644 CPUtime=5.02 cores=1,3,5,7
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 28719 0 -1 1077944384 4324 0 0 0 484 18 0 0 20 0 15 0 244877881 14429130752 64911 33554432000 4194304 4196468 140724217445984 139893471979792 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30755] ppid=30748 vsize=14090948 memory=259644 CPUtime=5.02 cores=1,3,5,7
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 28719 0 -1 1077944384 4662 0 0 0 486 16 0 0 20 0 15 0 244877881 14429130752 64911 33554432000 4194304 4196468 140724217445984 139893470927248 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30756] ppid=30748 vsize=14090948 memory=259644 CPUtime=5.03 cores=1,3,5,7
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 28719 0 -1 1077944384 2644 0 0 0 486 17 0 0 20 0 15 0 244877881 14429130752 64911 33554432000 4194304 4196468 140724217445984 139893469874704 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30757] ppid=30748 vsize=14090948 memory=259644 CPUtime=5.02 cores=1,3,5,7
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 28719 0 -1 1077944384 3333 0 0 0 486 16 0 0 20 0 15 0 244877881 14429130752 64911 33554432000 4194304 4196468 140724217445984 139893468822160 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30758] ppid=30748 vsize=14090948 memory=259644 CPUtime=2.36 cores=1,3,5,7
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 28719 0 -1 1077944384 5380 0 0 0 216 20 0 0 20 0 15 0 244877883 14429130752 64911 33554432000 4194304 4196468 140724217445984 139892723436016 139893541902978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30759] ppid=30748 vsize=14090948 memory=483 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 28719 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 244877883 14429130752 64911 33554432000 4194304 4196468 140724217445984 139892386424288 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30760] ppid=30748 vsize=14090948 memory=56 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 28719 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 244877883 14429130752 64911 33554432000 4194304 4196468 140724217445984 139892385371648 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30761] ppid=30748 vsize=14090948 memory=2433 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14429130752 64911 33554432000 4194304 4196468 140724217445984 139892384320208 139893541910427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30762] ppid=30748 vsize=14090948 memory=257596 CPUtime=1.42 cores=1,3,5,7
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 28719 0 -1 1077944384 7050 0 0 0 141 1 0 0 20 0 15 0 244877886 14429130752 64911 33554432000 4194304 4196468 140724217445984 139892383266800 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30763] ppid=30748 vsize=14090948 memory=257596 CPUtime=1.37 cores=1,3,5,7
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 28719 0 -1 1077944384 7704 0 0 0 136 1 0 0 20 0 15 0 244877886 14429130752 64911 33554432000 4194304 4196468 140724217445984 139892382214256 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30764] ppid=30748 vsize=14090948 memory=6791534058613427641 CPUtime=0.81 cores=1,3,5,7
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 28719 0 -1 1077944384 10669 0 0 0 79 2 0 0 20 0 15 0 244877886 14429130752 64911 33554432000 4194304 4196468 140724217445984 139892381161712 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30765] ppid=30748 vsize=14090948 memory=259644 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14429130752 64911 33554432000 4194304 4196468 140724217445984 139892380109408 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30766] ppid=30748 vsize=14090948 memory=4872558044660077418 CPUtime=1.38 cores=1,3,5,7
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 28719 0 -1 1077944384 722 0 0 0 64 74 0 0 20 0 15 0 244877886 14429130752 64911 33554432000 4194304 4196468 140724217445984 139892379056944 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
Current children cumulated CPU time: 2399.88 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 259644 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.36 1.37 4/218 30943
/proc/meminfo: memFree=23479564/32770624 swapFree=67108856/67108860
[pid=30751] ppid=30748 vsize=14090948 memory=261692 CPUtime=2460.26 cores=1,3,5,7
/proc/30751/stat : 30751 (java) S 30748 30751 28719 0 -1 1077944320 88173 0 0 0 245862 164 0 0 20 0 15 0 244877880 14429130752 65423 33554432000 4194304 4196468 140724217445984 140724217428528 139893541891831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
/proc/30751/statm: 3522737 65423 3597 1 0 3484809 0
[pid=30751/tid=30753] ppid=30748 vsize=14090948 memory=261692 CPUtime=2432.1 cores=1,3,5,7
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 28719 0 -1 4202560 39807 0 0 0 243195 15 0 0 20 0 15 0 244877880 14429130752 65423 33554432000 4194304 4196468 140724217445984 139893546129984 139893150679219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30754] ppid=30748 vsize=14090948 memory=259644 CPUtime=5.15 cores=1,3,5,7
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 28719 0 -1 1077944384 4345 0 0 0 496 19 0 0 20 0 15 0 244877881 14429130752 65423 33554432000 4194304 4196468 140724217445984 139893471979792 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30755] ppid=30748 vsize=14090948 memory=259644 CPUtime=5.15 cores=1,3,5,7
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 28719 0 -1 1077944384 4766 0 0 0 499 16 0 0 20 0 15 0 244877881 14429130752 65423 33554432000 4194304 4196468 140724217445984 139893470927248 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30756] ppid=30748 vsize=14090948 memory=259644 CPUtime=5.15 cores=1,3,5,7
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 28719 0 -1 1077944384 2745 0 0 0 498 17 0 0 20 0 15 0 244877881 14429130752 65423 33554432000 4194304 4196468 140724217445984 139893469874704 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30757] ppid=30748 vsize=14090948 memory=261692 CPUtime=5.15 cores=1,3,5,7
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 28719 0 -1 1077944384 3341 0 0 0 499 16 0 0 20 0 15 0 244877881 14429130752 65423 33554432000 4194304 4196468 140724217445984 139893468822160 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30758] ppid=30748 vsize=14090948 memory=261692 CPUtime=2.42 cores=1,3,5,7
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 28719 0 -1 1077944384 5553 0 0 0 221 21 0 0 20 0 15 0 244877883 14429130752 65423 33554432000 4194304 4196468 140724217445984 139892723436016 139893541902978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30759] ppid=30748 vsize=14090948 memory=261692 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 28719 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 244877883 14429130752 65423 33554432000 4194304 4196468 140724217445984 139892386424288 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30760] ppid=30748 vsize=14090948 memory=261692 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 28719 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 244877883 14429130752 65423 33554432000 4194304 4196468 140724217445984 139892385371648 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30761] ppid=30748 vsize=14090948 memory=261692 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14429130752 65423 33554432000 4194304 4196468 140724217445984 139892384320208 139893541910427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30762] ppid=30748 vsize=14090948 memory=261692 CPUtime=1.42 cores=1,3,5,7
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 28719 0 -1 1077944384 7052 0 0 0 141 1 0 0 20 0 15 0 244877886 14429130752 65423 33554432000 4194304 4196468 140724217445984 139892383266800 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30763] ppid=30748 vsize=14090948 memory=259644 CPUtime=1.37 cores=1,3,5,7
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 28719 0 -1 1077944384 7706 0 0 0 136 1 0 0 20 0 15 0 244877886 14429130752 65423 33554432000 4194304 4196468 140724217445984 139892382214256 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30764] ppid=30748 vsize=14090948 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 28719 0 -1 1077944384 10671 0 0 0 79 2 0 0 20 0 15 0 244877886 14429130752 65423 33554432000 4194304 4196468 140724217445984 139892381161712 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30765] ppid=30748 vsize=14090948 memory=261692 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14429130752 65423 33554432000 4194304 4196468 140724217445984 139892380109408 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30766] ppid=30748 vsize=14090948 memory=261692 CPUtime=1.41 cores=1,3,5,7
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 28719 0 -1 1077944384 737 0 0 0 65 76 0 0 20 0 15 0 244877886 14429130752 65423 33554432000 4194304 4196468 140724217445984 139892379056944 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
Current children cumulated CPU time: 2460.26 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 261692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2501.7 s]
/proc/loadavg: 1.41 1.36 1.37 3/219 31029
/proc/meminfo: memFree=24324008/32770624 swapFree=67108856/67108860
[pid=30751] ppid=30748 vsize=14090948 memory=263740 CPUtime=2520 cores=1,3,5,7
/proc/30751/stat : 30751 (java) S 30748 30751 28719 0 -1 1077944320 88354 0 0 0 251833 167 0 0 20 0 15 0 244877880 14429130752 65935 33554432000 4194304 4196468 140724217445984 140724217428528 139893541891831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
/proc/30751/statm: 3522737 65935 3597 1 0 3484809 0
[pid=30751/tid=30753] ppid=30748 vsize=14090948 memory=263740 CPUtime=2491.24 cores=1,3,5,7
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 28719 0 -1 4202560 39916 0 0 0 249109 15 0 0 20 0 15 0 244877880 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893546129872 139893142534797 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30754] ppid=30748 vsize=14090948 memory=263740 CPUtime=5.28 cores=1,3,5,7
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 28719 0 -1 1077944384 4360 0 0 0 508 20 0 0 20 0 15 0 244877881 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893471979792 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30755] ppid=30748 vsize=14090948 memory=263740 CPUtime=5.28 cores=1,3,5,7
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 28719 0 -1 1077944384 4771 0 0 0 512 16 0 0 20 0 15 0 244877881 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893470927248 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30756] ppid=30748 vsize=14090948 memory=263740 CPUtime=5.29 cores=1,3,5,7
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 28719 0 -1 1077944384 2747 0 0 0 511 18 0 0 20 0 15 0 244877881 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893469874704 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30757] ppid=30748 vsize=14090948 memory=261692 CPUtime=5.29 cores=1,3,5,7
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 28719 0 -1 1077944384 3380 0 0 0 512 17 0 0 20 0 15 0 244877881 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893468822160 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30758] ppid=30748 vsize=14090948 memory=263740 CPUtime=2.49 cores=1,3,5,7
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 28719 0 -1 1077944384 5560 0 0 0 227 22 0 0 20 0 15 0 244877883 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892723436016 139893541902978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30759] ppid=30748 vsize=14090948 memory=752 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 28719 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 244877883 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892386424288 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30760] ppid=30748 vsize=14090948 memory=7328 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 28719 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 244877883 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892385371648 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30761] ppid=30748 vsize=14090948 memory=263740 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892384320208 139893541910427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30762] ppid=30748 vsize=14090948 memory=4132 CPUtime=1.42 cores=1,3,5,7
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 28719 0 -1 1077944384 7052 0 0 0 141 1 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892383266800 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30763] ppid=30748 vsize=14090948 memory=4132 CPUtime=1.37 cores=1,3,5,7
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 28719 0 -1 1077944384 7706 0 0 0 136 1 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892382214256 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30764] ppid=30748 vsize=14090948 memory=66508 CPUtime=0.81 cores=1,3,5,7
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 28719 0 -1 1077944384 10671 0 0 0 79 2 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892381161712 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30765] ppid=30748 vsize=14090948 memory=263740 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892380109408 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30766] ppid=30748 vsize=14090948 memory=263740 CPUtime=1.45 cores=1,3,5,7
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 28719 0 -1 1077944384 741 0 0 0 68 77 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892379056944 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 263740 KiB

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

[startup+2501.73 s]
# the end of solver process 30751 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.36 s, system=1.68037 s

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

[startup+2501.7 s]
/proc/loadavg: 1.41 1.36 1.37 3/219 31029
/proc/meminfo: memFree=24324008/32770624 swapFree=67108856/67108860
[pid=30751] ppid=30748 vsize=14090948 memory=263740 CPUtime=2520 cores=1,3,5,7
/proc/30751/stat : 30751 (java) S 30748 30751 28719 0 -1 1077944320 88354 0 0 0 251833 167 0 0 20 0 15 0 244877880 14429130752 65935 33554432000 4194304 4196468 140724217445984 140724217428528 139893541891831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
/proc/30751/statm: 3522737 65935 3597 1 0 3484809 0
[pid=30751/tid=30753] ppid=30748 vsize=14090948 memory=263740 CPUtime=2491.24 cores=1,3,5,7
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 28719 0 -1 4202560 39916 0 0 0 249109 15 0 0 20 0 15 0 244877880 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893546129872 139893142534797 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30754] ppid=30748 vsize=14090948 memory=263740 CPUtime=5.28 cores=1,3,5,7
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 28719 0 -1 1077944384 4360 0 0 0 508 20 0 0 20 0 15 0 244877881 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893471979792 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30755] ppid=30748 vsize=14090948 memory=263740 CPUtime=5.28 cores=1,3,5,7
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 28719 0 -1 1077944384 4771 0 0 0 512 16 0 0 20 0 15 0 244877881 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893470927248 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30756] ppid=30748 vsize=14090948 memory=263740 CPUtime=5.29 cores=1,3,5,7
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 28719 0 -1 1077944384 2747 0 0 0 511 18 0 0 20 0 15 0 244877881 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893469874704 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30757] ppid=30748 vsize=14090948 memory=261692 CPUtime=5.29 cores=1,3,5,7
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 28719 0 -1 1077944384 3380 0 0 0 512 17 0 0 20 0 15 0 244877881 14429130752 65935 33554432000 4194304 4196468 140724217445984 139893468822160 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30758] ppid=30748 vsize=14090948 memory=263740 CPUtime=2.49 cores=1,3,5,7
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 28719 0 -1 1077944384 5560 0 0 0 227 22 0 0 20 0 15 0 244877883 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892723436016 139893541902978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30759] ppid=30748 vsize=14090948 memory=752 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 28719 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 244877883 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892386424288 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30760] ppid=30748 vsize=14090948 memory=7328 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 28719 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 244877883 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892385371648 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30761] ppid=30748 vsize=14090948 memory=263740 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892384320208 139893541910427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30762] ppid=30748 vsize=14090948 memory=4132 CPUtime=1.42 cores=1,3,5,7
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 28719 0 -1 1077944384 7052 0 0 0 141 1 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892383266800 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30763] ppid=30748 vsize=14090948 memory=4132 CPUtime=1.37 cores=1,3,5,7
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 28719 0 -1 1077944384 7706 0 0 0 136 1 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892382214256 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30764] ppid=30748 vsize=14090948 memory=66508 CPUtime=0.81 cores=1,3,5,7
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 28719 0 -1 1077944384 10671 0 0 0 79 2 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892381161712 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30765] ppid=30748 vsize=14090948 memory=263740 CPUtime=0 cores=1,3,5,7
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892380109408 139893541902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
[pid=30751/tid=30766] ppid=30748 vsize=14090948 memory=263740 CPUtime=1.45 cores=1,3,5,7
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 28719 0 -1 1077944384 741 0 0 0 68 77 0 0 20 0 15 0 244877886 14429130752 65935 33554432000 4194304 4196468 140724217445984 139892379056944 139893541902978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32538624 140724217447497 140724217447689 140724217447689 140724217450447 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 263740 KiB

Child status: 143
Real time (s): 2501.73
CPU time (s): 2520.04
CPU user time (s): 2518.36
CPU system time (s): 1.68037
CPU usage (%): 100.732
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 266672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.36
system time used= 1.68037
maximum resident set size= 266672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118278
involuntary context switches= 6839


# summary of solver processes directly reported to runsolver:
#   pid: 30751
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2518.36
#   total CPU system time (s): 1.68037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.769 second user time and 22.584 second system time

The end
Name	PseudoBoolean-opt/ Pb-circ6-3_c18.xml
MD5SUM	d3b486de415a0401f3261f3cd9b637d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	66
Best CPU time to get the best result obtained on this benchmark	2400.09
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 4307907

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
