2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	48	252.032	247.128
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 (13982 MiB free)
  memory of node 1: 16384 MiB (9306 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310539-1534329232/watcher-4310539-1534329232 -o /tmp/evaluation-result-4310539-1534329232/solver-4310539-1534329232 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534329232-16098 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1260027525 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310539-1534329232.xml 

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

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=16132, runsolver pid=16125

[startup+0.100089 s]*
/proc/loadavg: 1.22 1.32 1.34 4/223 16161
/proc/meminfo: memFree=23813604/32770624 swapFree=67108852/67108860
[pid=16132] ppid=16125 vsize=14082736 memory=30384 CPUtime=0.1 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16125 16132 16066 0 -1 1077944320 6513 0 0 0 10 0 0 0 20 0 15 0 250486390 14420721664 7596 33554432000 4194304 4196468 140726719530784 140726719513328 140058900229879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
/proc/16132/statm: 3520684 7596 3136 1 0 3482761 0
[pid=16132/tid=16134] ppid=16125 vsize=14082736 memory=5450919713671312938 CPUtime=0.08 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) R 16125 16132 16066 0 -1 4202560 4598 0 0 0 8 0 0 0 20 0 15 0 250486391 14420721664 7596 33554432000 4194304 4196468 140726719530784 140058904424688 140058884310366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16137] ppid=16125 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16125 16132 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 7596 33554432000 4194304 4196468 140726719530784 140058830318224 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16139] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 7596 33554432000 4194304 4196468 140726719530784 140058829265424 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16141] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 7596 33554432000 4194304 4196468 140726719530784 140058828212624 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16143] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 7596 33554432000 4194304 4196468 140726719530784 140058827159824 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16144] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16125 16132 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486393 14420721664 7596 33554432000 4194304 4196468 140726719530784 140058081917808 140058900241026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16147] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16125 16132 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 7596 33554432000 4194304 4196468 140726719530784 140058080863776 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16149] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16125 16132 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 7596 33554432000 4194304 4196468 140726719530784 140058079810928 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16151] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16151/stat : 16151 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7596 33554432000 4194304 4196468 140726719530784 140057675557200 140058900248475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16153] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16153/stat : 16153 (java) S 16125 16132 16066 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7596 33554432000 4194304 4196468 140726719530784 140057674504560 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16155] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16155/stat : 16155 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7596 33554432000 4194304 4196468 140726719530784 140057673451760 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16157] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16157/stat : 16157 (java) S 16125 16132 16066 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 15 0 250486397 14420721664 7596 33554432000 4194304 4196468 140726719530784 140057672398960 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16159] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16159/stat : 16159 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7596 33554432000 4194304 4196468 140726719530784 140057671346400 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16161] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16161/stat : 16161 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7596 33554432000 4194304 4196468 140726719530784 140057670294704 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30384 KiB

[startup+0.211121 s]*
/proc/loadavg: 1.22 1.32 1.34 9/223 16161
/proc/meminfo: memFree=23783020/32770624 swapFree=67108852/67108860
[pid=16132] ppid=16125 vsize=14082736 memory=46820 CPUtime=0.29 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16125 16132 16066 0 -1 1077944320 10255 0 0 0 28 1 0 0 20 0 15 0 250486390 14420721664 11705 33554432000 4194304 4196468 140726719530784 140726719513328 140058900229879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
/proc/16132/statm: 3520684 11705 3372 1 0 3482761 0
[pid=16132/tid=16134] ppid=16125 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) R 16125 16132 16066 0 -1 1077944384 8023 0 0 0 18 1 0 0 20 0 15 0 250486391 14420721664 11705 33554432000 4194304 4196468 140726719530784 140058904456960 140058900240085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16137] ppid=16125 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16125 16132 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 11705 33554432000 4194304 4196468 140726719530784 140058830318224 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16139] ppid=16125 vsize=14082736 memory=288370002137052800 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 11705 33554432000 4194304 4196468 140726719530784 140058829265424 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16141] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 11705 33554432000 4194304 4196468 140726719530784 140058828212624 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16143] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 11705 33554432000 4194304 4196468 140726719530784 140058827159824 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16144] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16125 16132 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250486393 14420721664 11705 33554432000 4194304 4196468 140726719530784 140058081917808 140058900241026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16147] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16125 16132 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 11705 33554432000 4194304 4196468 140726719530784 140058080863776 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16149] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16125 16132 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 11705 33554432000 4194304 4196468 140726719530784 140058079810928 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16151] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16151/stat : 16151 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 11705 33554432000 4194304 4196468 140726719530784 140057675557200 140058900248475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16153] ppid=16125 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16153/stat : 16153 (java) R 16125 16132 16066 0 -1 4202560 461 0 0 0 1 0 0 0 20 0 15 0 250486397 14420721664 11705 33554432000 4194304 4196468 140726719530784 140057674504656 140058880930176 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16155] ppid=16125 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16155/stat : 16155 (java) R 16125 16132 16066 0 -1 4202560 122 0 0 0 1 0 0 0 20 0 15 0 250486397 14420721664 11705 33554432000 4194304 4196468 140726719530784 140057673443408 140058883792968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16157] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0.05 cores=1,3,5,7
/proc/16132/task/16157/stat : 16157 (java) R 16125 16132 16066 0 -1 4202560 289 0 0 0 5 0 0 0 20 0 15 0 250486397 14420721664 11705 33554432000 4194304 4196468 140726719530784 140057672398960 140058884310366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16159] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16159/stat : 16159 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 11705 33554432000 4194304 4196468 140726719530784 140057671346400 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16161] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16161/stat : 16161 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 11705 33554432000 4194304 4196468 140726719530784 140057670294704 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46820 KiB

[startup+0.310722 s]*
/proc/loadavg: 1.22 1.32 1.34 4/223 16161
/proc/meminfo: memFree=23774160/32770624 swapFree=67108852/67108860
[pid=16132] ppid=16125 vsize=14082736 memory=50540 CPUtime=0.43 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16125 16132 16066 0 -1 1077944320 10725 0 0 0 41 2 0 0 20 0 15 0 250486390 14420721664 12635 33554432000 4194304 4196468 140726719530784 140726719513328 140058900229879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
/proc/16132/statm: 3520684 12635 3418 1 0 3482761 0
[pid=16132/tid=16134] ppid=16125 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) R 16125 16132 16066 0 -1 4202560 8412 0 0 0 28 1 0 0 20 0 15 0 250486391 14420721664 12635 33554432000 4194304 4196468 140726719530784 140058904427528 140058885395518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16137] ppid=16125 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16125 16132 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 12635 33554432000 4194304 4196468 140726719530784 140058830318224 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16139] ppid=16125 vsize=14082736 memory=288370002137052800 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 12635 33554432000 4194304 4196468 140726719530784 140058829265424 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16141] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 12635 33554432000 4194304 4196468 140726719530784 140058828212624 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16143] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 12635 33554432000 4194304 4196468 140726719530784 140058827159824 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16144] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16125 16132 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250486393 14420721664 12635 33554432000 4194304 4196468 140726719530784 140058081917808 140058900241026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16147] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16125 16132 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 12635 33554432000 4194304 4196468 140726719530784 140058080863776 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16149] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16125 16132 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 12635 33554432000 4194304 4196468 140726719530784 140058079810928 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16151] ppid=16125 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16151/stat : 16151 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 12635 33554432000 4194304 4196468 140726719530784 140057675557200 140058900248475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16153] ppid=16125 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16132/task/16153/stat : 16153 (java) S 16125 16132 16066 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 15 0 250486397 14420721664 12635 33554432000 4194304 4196468 140726719530784 140057674504560 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16155] ppid=16125 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16132/task/16155/stat : 16155 (java) S 16125 16132 16066 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 15 0 250486397 14420721664 12635 33554432000 4194304 4196468 140726719530784 140057673451760 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16157] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0.08 cores=1,3,5,7
/proc/16132/task/16157/stat : 16157 (java) S 16125 16132 16066 0 -1 1077944384 315 0 0 0 8 0 0 0 20 0 15 0 250486397 14420721664 12635 33554432000 4194304 4196468 140726719530784 140057672398960 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16159] ppid=16125 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16159/stat : 16159 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 12635 33554432000 4194304 4196468 140726719530784 140057671346400 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16161] ppid=16125 vsize=14082736 memory=139625985341056 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16161/stat : 16161 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 12635 33554432000 4194304 4196468 140726719530784 140057670294704 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50540 KiB

[startup+0.700704 s]
/proc/loadavg: 1.22 1.32 1.34 4/223 16161
/proc/meminfo: memFree=23729468/32770624 swapFree=67108852/67108860
[pid=16132] ppid=16125 vsize=14084804 memory=88660 CPUtime=0.99 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16125 16132 16066 0 -1 1077944320 17571 0 0 0 95 4 0 0 20 0 15 0 250486390 14422839296 22165 33554432000 4194304 4196468 140726719530784 140726719513328 140058900229879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
/proc/16132/statm: 3521201 22165 3492 1 0 3483273 0
[pid=16132/tid=16134] ppid=16125 vsize=14084804 memory=3340 CPUtime=0.66 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) R 16125 16132 16066 0 -1 4202560 14830 0 0 0 63 3 0 0 20 0 15 0 250486391 14422839296 22165 33554432000 4194304 4196468 140726719530784 140058904437872 140058885399642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16137] ppid=16125 vsize=14084804 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16125 16132 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14422839296 22165 33554432000 4194304 4196468 140726719530784 140058830318224 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16139] ppid=16125 vsize=14084804 memory=37796 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14422839296 22165 33554432000 4194304 4196468 140726719530784 140058829265424 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16141] ppid=16125 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14422839296 22165 33554432000 4194304 4196468 140726719530784 140058828212624 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16143] ppid=16125 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14422839296 22165 33554432000 4194304 4196468 140726719530784 140058827159824 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16144] ppid=16125 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16125 16132 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250486393 14422839296 22165 33554432000 4194304 4196468 140726719530784 140058081917808 140058900241026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16147] ppid=16125 vsize=14084804 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16125 16132 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250486394 14422839296 22165 33554432000 4194304 4196468 140726719530784 140058080863776 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16149] ppid=16125 vsize=14084804 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16125 16132 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250486394 14422839296 22165 33554432000 4194304 4196468 140726719530784 140058079810928 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16151] ppid=16125 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16151/stat : 16151 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14422839296 22165 33554432000 4194304 4196468 140726719530784 140057675557200 140058900248475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16153] ppid=16125 vsize=14084804 memory=7237400421040875609 CPUtime=0.08 cores=1,3,5,7
/proc/16132/task/16153/stat : 16153 (java) S 16125 16132 16066 0 -1 1077944384 638 0 0 0 8 0 0 0 20 0 15 0 250486397 14422839296 22165 33554432000 4194304 4196468 140726719530784 140057674504560 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16155] ppid=16125 vsize=14084804 memory=7523071198212214892 CPUtime=0.07 cores=1,3,5,7
/proc/16132/task/16155/stat : 16155 (java) S 16125 16132 16066 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 15 0 250486397 14422839296 22165 33554432000 4194304 4196468 140726719530784 140057673451760 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16157] ppid=16125 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16132/task/16157/stat : 16157 (java) S 16125 16132 16066 0 -1 1077944384 422 0 0 0 15 0 0 0 20 0 15 0 250486397 14422839296 22165 33554432000 4194304 4196468 140726719530784 140057672398960 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16159] ppid=16125 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16159/stat : 16159 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14422839296 22165 33554432000 4194304 4196468 140726719530784 140057671346400 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16161] ppid=16125 vsize=14084804 memory=6436 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16161/stat : 16161 (java) S 16125 16132 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486397 14422839296 22165 33554432000 4194304 4196468 140726719530784 140057670294704 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88660 KiB

[startup+1.50079 s]
/proc/loadavg: 1.22 1.32 1.34 8/223 16161
/proc/meminfo: memFree=23632800/32770624 swapFree=67108852/67108860
[pid=16132] ppid=16125 vsize=14086852 memory=223372 CPUtime=3.46 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16125 16132 16066 0 -1 1077944320 24118 0 0 0 338 8 0 0 20 0 15 0 250486390 14424936448 55843 33554432000 4194304 4196468 140726719530784 140726719513328 140058900229879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
/proc/16132/statm: 3521713 55843 3566 1 0 3483785 0
[pid=16132/tid=16134] ppid=16125 vsize=14086852 memory=162352 CPUtime=1.45 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) R 16125 16132 16066 0 -1 4202560 16480 0 0 0 140 5 0 0 20 0 15 0 250486391 14424936448 55843 33554432000 4194304 4196468 140726719530784 140058904463512 140058502797405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16137] ppid=16125 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16125 16132 16066 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 15 0 250486392 14424936448 55843 33554432000 4194304 4196468 140726719530784 140058830318224 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16139] ppid=16125 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16125 16132 16066 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 250486392 14424936448 55843 33554432000 4194304 4196468 140726719530784 140058829265424 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16141] ppid=16125 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16125 16132 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14424936448 55843 33554432000 4194304 4196468 140726719530784 140058828212624 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16143] ppid=16125 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16125 16132 16066 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 15 0 250486392 14424936448 55843 33554432000 4194304 4196468 140726719530784 140058827159824 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16144] ppid=16125 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16125 16132 16066 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 250486393 14424936448 55843 33554432000 4194304 4196468 140726719530784 140058081917808 140058900241026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0

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

/proc/16132/task/16134/stat : 16134 (java) R 16125 16132 16066 0 -1 4202560 27993 0 0 0 16210 11 0 0 20 0 15 0 250486391 14429130752 65329 33554432000 4194304 4196468 140726719530784 140058904466216 140058507457599 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16137] ppid=16125 vsize=14090948 memory=261316 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16125 16132 16066 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 250486392 14429130752 65329 33554432000 4194304 4196468 140726719530784 140058830318224 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16139] ppid=16125 vsize=14090948 memory=261316 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16125 16132 16066 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 65329 33554432000 4194304 4196468 140726719530784 140058829265424 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16141] ppid=16125 vsize=14090948 memory=14892 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16125 16132 16066 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 250486392 14429130752 65329 33554432000 4194304 4196468 140726719530784 140058828212624 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16143] ppid=16125 vsize=14090948 memory=13920 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16125 16132 16066 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 65329 33554432000 4194304 4196468 140726719530784 140058827159824 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16144] ppid=16125 vsize=14090948 memory=261292 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16125 16132 16066 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 15 0 250486393 14429130752 65329 33554432000 4194304 4196468 140726719530784 140058081917808 140058900241026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16147] ppid=16125 vsize=14090948 memory=261292 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16125 16132 16066 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65329 33554432000 4194304 4196468 140726719530784 140058080863840 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16149] ppid=16125 vsize=14090948 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16125 16132 16066 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65329 33554432000 4194304 4196468 140726719530784 140058079810944 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16151] ppid=16125 vsize=14090948 memory=7380 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16151/stat : 16151 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65329 33554432000 4194304 4196468 140726719530784 140057675557200 140058900248475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16153] ppid=16125 vsize=14090948 memory=6791534058613427641 CPUtime=1.82 cores=1,3,5,7
/proc/16132/task/16153/stat : 16153 (java) S 16125 16132 16066 0 -1 1077944384 8290 0 0 0 181 1 0 0 20 0 15 0 250486397 14429130752 65329 33554432000 4194304 4196468 140726719530784 140057674504560 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16155] ppid=16125 vsize=14090948 memory=68208 CPUtime=1.93 cores=1,3,5,7
/proc/16132/task/16155/stat : 16155 (java) S 16125 16132 16066 0 -1 1077944384 14009 0 0 0 193 0 0 0 20 0 15 0 250486397 14429130752 65329 33554432000 4194304 4196468 140726719530784 140057673451760 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16157] ppid=16125 vsize=14090948 memory=1100 CPUtime=0.94 cores=1,3,5,7
/proc/16132/task/16157/stat : 16157 (java) S 16125 16132 16066 0 -1 1077944384 13525 0 0 0 93 1 0 0 20 0 15 0 250486397 14429130752 65329 33554432000 4194304 4196468 140726719530784 140057672398960 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16159] ppid=16125 vsize=14090948 memory=261316 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16159/stat : 16159 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65329 33554432000 4194304 4196468 140726719530784 140057671346400 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16161] ppid=16125 vsize=14090948 memory=261316 CPUtime=0.02 cores=1,3,5,7
/proc/16132/task/16161/stat : 16161 (java) S 16125 16132 16066 0 -1 1077944384 476 0 0 0 1 1 0 0 20 0 15 0 250486397 14429130752 65329 33554432000 4194304 4196468 140726719530784 140057670294704 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
Current children cumulated CPU time: 167.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 261316 KiB

[startup+222.301 s]
/proc/loadavg: 2.39 1.81 1.54 3/224 16241
/proc/meminfo: memFree=23351256/32770624 swapFree=67108852/67108860
[pid=16132] ppid=16125 vsize=14090948 memory=261376 CPUtime=227.09 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16125 16132 16066 0 -1 1077944320 68273 0 0 0 22690 19 0 0 20 0 15 0 250486390 14429130752 65344 33554432000 4194304 4196468 140726719530784 140726719513328 140058900229879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
/proc/16132/statm: 3522737 65344 3582 1 0 3484809 0
[pid=16132/tid=16134] ppid=16125 vsize=14090948 memory=261376 CPUtime=222.2 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) R 16125 16132 16066 0 -1 4202560 28121 0 0 0 22209 11 0 0 20 0 15 0 250486391 14429130752 65344 33554432000 4194304 4196468 140726719530784 140058904462752 140058507457135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16137] ppid=16125 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16125 16132 16066 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 250486392 14429130752 65344 33554432000 4194304 4196468 140726719530784 140058830318224 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16139] ppid=16125 vsize=14090948 memory=261376 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16125 16132 16066 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 65344 33554432000 4194304 4196468 140726719530784 140058829265424 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16141] ppid=16125 vsize=14090948 memory=261376 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16125 16132 16066 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 250486392 14429130752 65344 33554432000 4194304 4196468 140726719530784 140058828212624 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16143] ppid=16125 vsize=14090948 memory=261376 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16125 16132 16066 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 65344 33554432000 4194304 4196468 140726719530784 140058827159824 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16144] ppid=16125 vsize=14090948 memory=261376 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16125 16132 16066 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 15 0 250486393 14429130752 65344 33554432000 4194304 4196468 140726719530784 140058081917808 140058900241026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16147] ppid=16125 vsize=14090948 memory=261376 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16125 16132 16066 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65344 33554432000 4194304 4196468 140726719530784 140058080863840 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16149] ppid=16125 vsize=14090948 memory=261376 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16125 16132 16066 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65344 33554432000 4194304 4196468 140726719530784 140058079810944 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16151] ppid=16125 vsize=14090948 memory=261376 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16151/stat : 16151 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65344 33554432000 4194304 4196468 140726719530784 140057675557200 140058900248475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16153] ppid=16125 vsize=14090948 memory=261376 CPUtime=1.83 cores=1,3,5,7
/proc/16132/task/16153/stat : 16153 (java) S 16125 16132 16066 0 -1 1077944384 8574 0 0 0 182 1 0 0 20 0 15 0 250486397 14429130752 65344 33554432000 4194304 4196468 140726719530784 140057674504560 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16155] ppid=16125 vsize=14090948 memory=261376 CPUtime=1.96 cores=1,3,5,7
/proc/16132/task/16155/stat : 16155 (java) S 16125 16132 16066 0 -1 1077944384 15306 0 0 0 196 0 0 0 20 0 15 0 250486397 14429130752 65344 33554432000 4194304 4196468 140726719530784 140057673451760 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16157] ppid=16125 vsize=14090948 memory=3708 CPUtime=0.94 cores=1,3,5,7
/proc/16132/task/16157/stat : 16157 (java) S 16125 16132 16066 0 -1 1077944384 13526 0 0 0 93 1 0 0 20 0 15 0 250486397 14429130752 65344 33554432000 4194304 4196468 140726719530784 140057672398960 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16159] ppid=16125 vsize=14090948 memory=261376 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16159/stat : 16159 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65344 33554432000 4194304 4196468 140726719530784 140057671346400 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16161] ppid=16125 vsize=14090948 memory=1172 CPUtime=0.04 cores=1,3,5,7
/proc/16132/task/16161/stat : 16161 (java) S 16125 16132 16066 0 -1 1077944384 483 0 0 0 2 2 0 0 20 0 15 0 250486397 14429130752 65344 33554432000 4194304 4196468 140726719530784 140057670294704 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
Current children cumulated CPU time: 227.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 261376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+247.11 s]
/proc/loadavg: 2.52 1.89 1.57 3/224 16241
/proc/meminfo: memFree=23351256/32770624 swapFree=67108852/67108860
[pid=16132] ppid=16125 vsize=14090948 memory=261496 CPUtime=252 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16125 16132 16066 0 -1 1077944320 73171 0 0 0 25180 20 0 0 20 0 15 0 250486390 14429130752 65374 33554432000 4194304 4196468 140726719530784 140726719513328 140058900229879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
/proc/16132/statm: 3522737 65374 3582 1 0 3484809 0
[pid=16132/tid=16134] ppid=16125 vsize=14090948 memory=261472 CPUtime=247.01 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) R 16125 16132 16066 0 -1 4202560 29762 0 0 0 24690 11 0 0 20 0 15 0 250486391 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058904466280 140058507457130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16137] ppid=16125 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16125 16132 16066 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 250486392 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058830318224 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16139] ppid=16125 vsize=14090948 memory=261376 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16125 16132 16066 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058829265424 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16141] ppid=16125 vsize=14090948 memory=261376 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16125 16132 16066 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 250486392 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058828212624 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16143] ppid=16125 vsize=14090948 memory=261496 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16125 16132 16066 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058827159824 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16144] ppid=16125 vsize=14090948 memory=261496 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16125 16132 16066 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 15 0 250486393 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058081917808 140058900241026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16147] ppid=16125 vsize=14090948 memory=261496 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16125 16132 16066 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058080863840 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16149] ppid=16125 vsize=14090948 memory=261496 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16125 16132 16066 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058079810944 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16151] ppid=16125 vsize=14090948 memory=261496 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16151/stat : 16151 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057675557200 140058900248475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16153] ppid=16125 vsize=14090948 memory=44508 CPUtime=1.89 cores=1,3,5,7
/proc/16132/task/16153/stat : 16153 (java) S 16125 16132 16066 0 -1 1077944384 9476 0 0 0 188 1 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057674504560 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16155] ppid=16125 vsize=14090948 memory=2584 CPUtime=1.98 cores=1,3,5,7
/proc/16132/task/16155/stat : 16155 (java) S 16125 16132 16066 0 -1 1077944384 15500 0 0 0 198 0 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057673451760 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16157] ppid=16125 vsize=14090948 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/16132/task/16157/stat : 16157 (java) S 16125 16132 16066 0 -1 1077944384 15682 0 0 0 95 1 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057672398960 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16159] ppid=16125 vsize=14090948 memory=25149 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16159/stat : 16159 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057671346400 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16161] ppid=16125 vsize=14090948 memory=2056 CPUtime=0.04 cores=1,3,5,7
/proc/16132/task/16161/stat : 16161 (java) S 16125 16132 16066 0 -1 1077944384 488 0 0 0 2 2 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057670294704 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 261496 KiB

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

[startup+247.128 s]
# the end of solver process 16132 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.818 s, system=0.214084 s

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

[startup+247.11 s]
/proc/loadavg: 2.52 1.89 1.57 3/224 16241
/proc/meminfo: memFree=23351256/32770624 swapFree=67108852/67108860
[pid=16132] ppid=16125 vsize=14090948 memory=261496 CPUtime=252 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16125 16132 16066 0 -1 1077944320 73171 0 0 0 25180 20 0 0 20 0 15 0 250486390 14429130752 65374 33554432000 4194304 4196468 140726719530784 140726719513328 140058900229879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
/proc/16132/statm: 3522737 65374 3582 1 0 3484809 0
[pid=16132/tid=16134] ppid=16125 vsize=14090948 memory=261472 CPUtime=247.01 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) R 16125 16132 16066 0 -1 4202560 29762 0 0 0 24690 11 0 0 20 0 15 0 250486391 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058904466280 140058507457130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16137] ppid=16125 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16125 16132 16066 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 250486392 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058830318224 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16139] ppid=16125 vsize=14090948 memory=261376 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16125 16132 16066 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058829265424 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16141] ppid=16125 vsize=14090948 memory=261376 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16125 16132 16066 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 250486392 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058828212624 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16143] ppid=16125 vsize=14090948 memory=261496 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16125 16132 16066 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058827159824 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16144] ppid=16125 vsize=14090948 memory=261496 CPUtime=0.01 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16125 16132 16066 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 15 0 250486393 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058081917808 140058900241026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16147] ppid=16125 vsize=14090948 memory=261496 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16125 16132 16066 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058080863840 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16149] ppid=16125 vsize=14090948 memory=261496 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16125 16132 16066 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65374 33554432000 4194304 4196468 140726719530784 140058079810944 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16151] ppid=16125 vsize=14090948 memory=261496 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16151/stat : 16151 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057675557200 140058900248475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16153] ppid=16125 vsize=14090948 memory=44508 CPUtime=1.89 cores=1,3,5,7
/proc/16132/task/16153/stat : 16153 (java) S 16125 16132 16066 0 -1 1077944384 9476 0 0 0 188 1 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057674504560 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16155] ppid=16125 vsize=14090948 memory=2584 CPUtime=1.98 cores=1,3,5,7
/proc/16132/task/16155/stat : 16155 (java) S 16125 16132 16066 0 -1 1077944384 15500 0 0 0 198 0 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057673451760 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16157] ppid=16125 vsize=14090948 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/16132/task/16157/stat : 16157 (java) S 16125 16132 16066 0 -1 1077944384 15682 0 0 0 95 1 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057672398960 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16159] ppid=16125 vsize=14090948 memory=25149 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16159/stat : 16159 (java) S 16125 16132 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057671346400 140058900240085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
[pid=16132/tid=16161] ppid=16125 vsize=14090948 memory=2056 CPUtime=0.04 cores=1,3,5,7
/proc/16132/task/16161/stat : 16161 (java) S 16125 16132 16066 0 -1 1077944384 488 0 0 0 2 2 0 0 20 0 15 0 250486397 14429130752 65374 33554432000 4194304 4196468 140726719530784 140057670294704 140058900241026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29470720 140726719534170 140726719534350 140726719534350 140726719537103 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 261496 KiB

Child status: 143
Real time (s): 247.128
CPU time (s): 252.032
CPU user time (s): 251.818
CPU system time (s): 0.214084
CPU usage (%): 101.985
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 261496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.818
system time used= 0.214084
maximum resident set size= 262292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9069
involuntary context switches= 385


# summary of solver processes directly reported to runsolver:
#   pid: 16132
#   total CPU time (s): 252.032
#   total CPU user time (s): 251.818
#   total CPU system time (s): 0.214084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51136 second user time and 2.05735 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml
MD5SUM	2ee48e6c5f3b799813662dbb853aaebc
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	16
Best CPU time to get the best result obtained on this benchmark	252.017
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	5548
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}]
Minimum variable degree	2
Maximum variable degree	62
Distribution of variable degrees	[{"degree":2,"count":12},{"degree":3,"count":2},{"degree":4,"count":38},{"degree":5,"count":25},{"degree":6,"count":95},{"degree":7,"count":25},{"degree":8,"count":106},{"degree":9,"count":20},{"degree":10,"count":111},{"degree":11,"count":39},{"degree":12,"count":56},{"degree":13,"count":41},{"degree":14,"count":47},{"degree":15,"count":30},{"degree":16,"count":41},{"degree":17,"count":19},{"degree":18,"count":32},{"degree":19,"count":15},{"degree":20,"count":27},{"degree":21,"count":21},{"degree":22,"count":8},{"degree":23,"count":11},{"degree":24,"count":18},{"degree":25,"count":13},{"degree":26,"count":7},{"degree":27,"count":7},{"degree":28,"count":7},{"degree":29,"count":7},{"degree":30,"count":7},{"degree":31,"count":6},{"degree":32,"count":4},{"degree":33,"count":2},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":3},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5548}]
Number of extensional constraints	0
Number of intensional constraints	5548
Distribution of constraint types	[{"type":"intension","count":5548}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4310539

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
