2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	OPT	792	11.6644	6.38784
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-4310525-1534329232/watcher-4310525-1534329232 -o /tmp/evaluation-result-4310525-1534329232/solver-4310525-1534329232 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534329232-16097 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1260027525 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310525-1534329232.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16128, runsolver pid=16124
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 1.22 1.32 1.34 3/223 16161
/proc/meminfo: memFree=23813604/32770624 swapFree=67108852/67108860
[pid=16128] ppid=16124 vsize=14082736 memory=30488 CPUtime=0.1 cores=0,2,4,6
/proc/16128/stat : 16128 (java) S 16124 16128 16066 0 -1 1077944320 6521 0 0 0 9 1 0 0 20 0 15 0 250486390 14420721664 7622 33554432000 4194304 4196468 140730324155744 140730324138288 139660059479799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
/proc/16128/statm: 3520684 7622 3136 1 0 3482761 0
[pid=16128/tid=16135] ppid=16124 vsize=14082736 memory=5450919713671312938 CPUtime=0.08 cores=0,2,4,6
/proc/16128/task/16135/stat : 16135 (java) R 16124 16128 16066 0 -1 4202560 4621 0 0 0 7 1 0 0 20 0 15 0 250486391 14420721664 7622 33554432000 4194304 4196468 140730324155744 139660063674608 139660051716926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16136] ppid=16124 vsize=14082736 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16136/stat : 16136 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659989568656 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16138] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16138/stat : 16138 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659654642704 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16140] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16140/stat : 16140 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659653589904 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16142] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16142/stat : 16142 (java) S 16124 16128 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659652537104 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16145] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16145/stat : 16145 (java) S 16124 16128 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486393 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659601660272 139660059490946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16146] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16146/stat : 16146 (java) S 16124 16128 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659600606240 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16148] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16148/stat : 16148 (java) S 16124 16128 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659599553392 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16150] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16150/stat : 16150 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659598501712 139660059498395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16152] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16152/stat : 16152 (java) S 16124 16128 16066 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659597450096 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16154] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16154/stat : 16154 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659596397296 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16156] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16156/stat : 16156 (java) S 16124 16128 16066 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 15 0 250486397 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659595344496 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16158] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16158/stat : 16158 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659594291936 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16160] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16160/stat : 16160 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 7622 33554432000 4194304 4196468 140730324155744 139659593239216 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30488 KiB

[startup+0.211257 s]*
/proc/loadavg: 1.22 1.32 1.34 9/223 16161
/proc/meminfo: memFree=23783392/32770624 swapFree=67108852/67108860
[pid=16128] ppid=16124 vsize=14082736 memory=46332 CPUtime=0.29 cores=0,2,4,6
/proc/16128/stat : 16128 (java) S 16124 16128 16066 0 -1 1077944320 10218 0 0 0 26 3 0 0 20 0 15 0 250486390 14420721664 11583 33554432000 4194304 4196468 140730324155744 140730324138288 139660059479799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
/proc/16128/statm: 3520684 11583 3307 1 0 3482761 0
[pid=16128/tid=16135] ppid=16124 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/16128/task/16135/stat : 16135 (java) R 16124 16128 16066 0 -1 4202560 8032 0 0 0 18 2 0 0 20 0 15 0 250486391 14420721664 11583 33554432000 4194304 4196468 140730324155744 139660063709616 139660042672533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16136] ppid=16124 vsize=14082736 memory=345 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16136/stat : 16136 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659989568656 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16138] ppid=16124 vsize=14082736 memory=288370254853535360 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16138/stat : 16138 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659654642704 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16140] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16140/stat : 16140 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659653589904 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16142] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16142/stat : 16142 (java) S 16124 16128 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659652537104 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16145] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16145/stat : 16145 (java) S 16124 16128 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250486393 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659601660272 139660059490946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16146] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16146/stat : 16146 (java) S 16124 16128 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659600606240 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16148] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16148/stat : 16148 (java) S 16124 16128 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659599553392 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16150] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16150/stat : 16150 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659598501712 139660059498395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16152] ppid=16124 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16152/stat : 16152 (java) R 16124 16128 16066 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 250486397 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659597450192 139660059490005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16154] ppid=16124 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16154/stat : 16154 (java) S 16124 16128 16066 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 15 0 250486397 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659596397296 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16156] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0.05 cores=0,2,4,6
/proc/16128/task/16156/stat : 16156 (java) R 16124 16128 16066 0 -1 4202560 290 0 0 0 5 0 0 0 20 0 15 0 250486397 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659595339536 139660038124977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16158] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16158/stat : 16158 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659594291936 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16160] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16160/stat : 16160 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 11583 33554432000 4194304 4196468 140730324155744 139659593239216 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46332 KiB

[startup+0.310982 s]*
/proc/loadavg: 1.22 1.32 1.34 3/223 16161
/proc/meminfo: memFree=23774160/32770624 swapFree=67108852/67108860
[pid=16128] ppid=16124 vsize=14082736 memory=50076 CPUtime=0.43 cores=0,2,4,6
/proc/16128/stat : 16128 (java) S 16124 16128 16066 0 -1 1077944320 10688 0 0 0 40 3 0 0 20 0 15 0 250486390 14420721664 12519 33554432000 4194304 4196468 140730324155744 140730324138288 139660059479799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
/proc/16128/statm: 3520684 12519 3384 1 0 3482761 0
[pid=16128/tid=16135] ppid=16124 vsize=14082736 memory=8390339637985935414 CPUtime=0.29 cores=0,2,4,6
/proc/16128/task/16135/stat : 16135 (java) R 16124 16128 16066 0 -1 4202560 8398 0 0 0 27 2 0 0 20 0 15 0 250486391 14420721664 12519 33554432000 4194304 4196468 140730324155744 139660063662096 139660042666590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16136] ppid=16124 vsize=14082736 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16136/stat : 16136 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659989568656 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16138] ppid=16124 vsize=14082736 memory=288370254853535360 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16138/stat : 16138 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659654642704 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16140] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16140/stat : 16140 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659653589904 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16142] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16142/stat : 16142 (java) S 16124 16128 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659652537104 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16145] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16145/stat : 16145 (java) S 16124 16128 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250486393 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659601660272 139660059490946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16146] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16146/stat : 16146 (java) S 16124 16128 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659600606240 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16148] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16148/stat : 16148 (java) S 16124 16128 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250486394 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659599553392 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16150] ppid=16124 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16150/stat : 16150 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659598501712 139660059498395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16152] ppid=16124 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16152/stat : 16152 (java) S 16124 16128 16066 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 250486397 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659597450096 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16154] ppid=16124 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16128/task/16154/stat : 16154 (java) S 16124 16128 16066 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 15 0 250486397 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659596397296 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16156] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0.07 cores=0,2,4,6
/proc/16128/task/16156/stat : 16156 (java) S 16124 16128 16066 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 15 0 250486397 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659595344496 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16158] ppid=16124 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16158/stat : 16158 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659594291936 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16160] ppid=16124 vsize=14082736 memory=139878701823616 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16160/stat : 16160 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486397 14420721664 12519 33554432000 4194304 4196468 140730324155744 139659593239216 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50076 KiB

[startup+0.700705 s]
/proc/loadavg: 1.22 1.32 1.34 3/223 16161
/proc/meminfo: memFree=23729468/32770624 swapFree=67108852/67108860
[pid=16128] ppid=16124 vsize=14084804 memory=86644 CPUtime=0.98 cores=0,2,4,6
/proc/16128/stat : 16128 (java) S 16124 16128 16066 0 -1 1077944320 17520 0 0 0 93 5 0 0 20 0 15 0 250486390 14422839296 21661 33554432000 4194304 4196468 140730324155744 140730324138288 139660059479799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
/proc/16128/statm: 3521201 21661 3498 1 0 3483273 0
[pid=16128/tid=16135] ppid=16124 vsize=14084804 memory=3340 CPUtime=0.67 cores=0,2,4,6
/proc/16128/task/16135/stat : 16135 (java) R 16124 16128 16066 0 -1 4202560 14813 0 0 0 63 4 0 0 20 0 15 0 250486391 14422839296 21661 33554432000 4194304 4196468 140730324155744 139660063703904 139660051716926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16136] ppid=16124 vsize=14084804 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16136/stat : 16136 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659989568656 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16138] ppid=16124 vsize=14084804 memory=37796 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16138/stat : 16138 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659654642704 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16140] ppid=16124 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16140/stat : 16140 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659653589904 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16142] ppid=16124 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16142/stat : 16142 (java) S 16124 16128 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659652537104 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16145] ppid=16124 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16145/stat : 16145 (java) S 16124 16128 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250486393 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659601660272 139660059490946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16146] ppid=16124 vsize=14084804 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16146/stat : 16146 (java) S 16124 16128 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250486394 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659600606240 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16148] ppid=16124 vsize=14084804 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16148/stat : 16148 (java) S 16124 16128 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250486394 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659599553392 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16150] ppid=16124 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16150/stat : 16150 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659598501712 139660059498395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16152] ppid=16124 vsize=14084804 memory=7237400421040875609 CPUtime=0.06 cores=0,2,4,6
/proc/16128/task/16152/stat : 16152 (java) S 16124 16128 16066 0 -1 1077944384 505 0 0 0 6 0 0 0 20 0 15 0 250486397 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659597450096 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16154] ppid=16124 vsize=14084804 memory=7523071198212214892 CPUtime=0.08 cores=0,2,4,6
/proc/16128/task/16154/stat : 16154 (java) S 16124 16128 16066 0 -1 1077944384 412 0 0 0 8 0 0 0 20 0 15 0 250486397 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659596397296 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16156] ppid=16124 vsize=14084804 memory=5450916488555034154 CPUtime=0.15 cores=0,2,4,6
/proc/16128/task/16156/stat : 16156 (java) S 16124 16128 16066 0 -1 1077944384 412 0 0 0 15 0 0 0 20 0 15 0 250486397 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659595344496 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16158] ppid=16124 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16158/stat : 16158 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659594291936 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16160] ppid=16124 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16160/stat : 16160 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486397 14422839296 21661 33554432000 4194304 4196468 140730324155744 139659593239216 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86644 KiB

[startup+1.50123 s]
/proc/loadavg: 1.22 1.32 1.34 8/223 16161
/proc/meminfo: memFree=23632800/32770624 swapFree=67108852/67108860
[pid=16128] ppid=16124 vsize=14088900 memory=200800 CPUtime=3.5 cores=0,2,4,6
/proc/16128/stat : 16128 (java) S 16124 16128 16066 0 -1 1077944320 26128 0 0 0 341 9 0 0 20 0 15 0 250486390 14427033600 50200 33554432000 4194304 4196468 140730324155744 140730324138288 139660059479799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
/proc/16128/statm: 3522225 50200 3548 1 0 3484297 0
[pid=16128/tid=16135] ppid=16124 vsize=14088900 memory=3905526003455508146 CPUtime=1.46 cores=0,2,4,6
/proc/16128/task/16135/stat : 16135 (java) R 16124 16128 16066 0 -1 4202560 18452 0 0 0 140 6 0 0 20 0 15 0 250486391 14427033600 50200 33554432000 4194304 4196468 140730324155744 139660063708400 139660043560286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16136] ppid=16124 vsize=14088900 memory=7019544350982230627 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16136/stat : 16136 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659989568656 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16138] ppid=16124 vsize=14088900 memory=7378954919362979922 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16138/stat : 16138 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659654642704 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16140] ppid=16124 vsize=14088900 memory=7733925651507996754 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16140/stat : 16140 (java) S 16124 16128 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250486392 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659653589904 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16142] ppid=16124 vsize=14088900 memory=7381234185260265575 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16142/stat : 16142 (java) S 16124 16128 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250486392 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659652537104 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16145] ppid=16124 vsize=14088900 memory=7079765598914236496 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16145/stat : 16145 (java) S 16124 16128 16066 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 250486393 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659601660272 139660059490946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16146] ppid=16124 vsize=14088900 memory=7669178701624533857 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16146/stat : 16146 (java) S 16124 16128 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250486394 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659600606240 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16148] ppid=16124 vsize=14088900 memory=7019544350982230627 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16148/stat : 16148 (java) S 16124 16128 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250486394 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659599553392 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16150] ppid=16124 vsize=14088900 memory=5936695843551012197 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16150/stat : 16150 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659598501712 139660059498395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16152] ppid=16124 vsize=14088900 memory=5936695843551012197 CPUtime=0.72 cores=0,2,4,6
/proc/16128/task/16152/stat : 16152 (java) R 16124 16128 16066 0 -1 4202560 2367 0 0 0 72 0 0 0 20 0 15 0 250486397 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659597435976 139660044587372 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16154] ppid=16124 vsize=14088900 memory=7306336557268102757 CPUtime=0.76 cores=0,2,4,6
/proc/16128/task/16154/stat : 16154 (java) R 16124 16128 16066 0 -1 4202560 2054 0 0 0 75 1 0 0 20 0 15 0 250486397 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659596378312 139660041024478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16156] ppid=16124 vsize=14088900 memory=7019544350982230627 CPUtime=0.53 cores=0,2,4,6
/proc/16128/task/16156/stat : 16156 (java) S 16124 16128 16066 0 -1 1077944384 1731 0 0 0 52 1 0 0 20 0 15 0 250486397 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659595344496 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16158] ppid=16124 vsize=14088900 memory=13232794241561 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16158/stat : 16158 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659594291936 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16160] ppid=16124 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16160/stat : 16160 (java) S 16124 16128 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250486397 14427033600 50200 33554432000 4194304 4196468 140730324155744 139659593239216 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 200800 KiB

[startup+3.11069 s]
/proc/loadavg: 1.44 1.36 1.36 4/223 16161
/proc/meminfo: memFree=23337296/32770624 swapFree=67108852/67108860
[pid=16128] ppid=16124 vsize=14090948 memory=255004 CPUtime=8.06 cores=0,2,4,6
/proc/16128/stat : 16128 (java) S 16124 16128 16066 0 -1 1077944320 38753 0 0 0 793 13 0 0 20 0 15 0 250486390 14429130752 63751 33554432000 4194304 4196468 140730324155744 140730324138288 139660059479799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
/proc/16128/statm: 3522737 63751 3573 1 0 3484809 0
[pid=16128/tid=16135] ppid=16124 vsize=14090948 memory=0 CPUtime=3.04 cores=0,2,4,6
/proc/16128/task/16135/stat : 16135 (java) R 16124 16128 16066 0 -1 4202560 21420 0 0 0 297 7 0 0 20 0 15 0 250486391 14429130752 63751 33554432000 4194304 4196468 140730324155744 139660063717584 139659679783520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16136] ppid=16124 vsize=14090948 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16136/stat : 16136 (java) S 16124 16128 16066 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659989568656 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16138] ppid=16124 vsize=14090948 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16138/stat : 16138 (java) S 16124 16128 16066 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659654642704 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16140] ppid=16124 vsize=14090948 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16140/stat : 16140 (java) S 16124 16128 16066 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659653589904 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16142] ppid=16124 vsize=14090948 memory=30161 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16142/stat : 16142 (java) S 16124 16128 16066 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 15 0 250486392 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659652537104 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16145] ppid=16124 vsize=14090948 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16145/stat : 16145 (java) S 16124 16128 16066 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 15 0 250486393 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659601660272 139660059490946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16146] ppid=16124 vsize=14090948 memory=237992 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16146/stat : 16146 (java) S 16124 16128 16066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659600606304 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16148] ppid=16124 vsize=14090948 memory=238516 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16148/stat : 16148 (java) S 16124 16128 16066 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659599553408 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16150] ppid=16124 vsize=14090948 memory=279757124616032 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16150/stat : 16150 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659598501712 139660059498395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16152] ppid=16124 vsize=14090948 memory=0 CPUtime=2.02 cores=0,2,4,6
/proc/16128/task/16152/stat : 16152 (java) R 16124 16128 16066 0 -1 4202560 5462 0 0 0 202 0 0 0 20 0 15 0 250486397 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659597450096 139660042976633 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16154] ppid=16124 vsize=14090948 memory=576460756337518104 CPUtime=2.06 cores=0,2,4,6
/proc/16128/task/16154/stat : 16154 (java) S 16124 16128 16066 0 -1 1077944384 5758 0 0 0 205 1 0 0 20 0 15 0 250486397 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659596397296 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16156] ppid=16124 vsize=14090948 memory=288285567337374518 CPUtime=0.81 cores=0,2,4,6
/proc/16128/task/16156/stat : 16156 (java) S 16124 16128 16066 0 -1 1077944384 3999 0 0 0 80 1 0 0 20 0 15 0 250486397 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659595344496 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16158] ppid=16124 vsize=14090948 memory=7523376918531162212 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16158/stat : 16158 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659594291936 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16160] ppid=16124 vsize=14090948 memory=7812459356079941476 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16160/stat : 16160 (java) S 16124 16128 16066 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 63751 33554432000 4194304 4196468 140730324155744 139659593239216 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 255004 KiB

[startup+6.30073 s]
/proc/loadavg: 1.44 1.36 1.36 3/223 16161
/proc/meminfo: memFree=23362148/32770624 swapFree=67108852/67108860
[pid=16128] ppid=16124 vsize=14090948 memory=262832 CPUtime=11.56 cores=0,2,4,6
/proc/16128/stat : 16128 (java) S 16124 16128 16066 0 -1 1077944320 42601 0 0 0 1141 15 0 0 20 0 15 0 250486390 14429130752 65708 33554432000 4194304 4196468 140730324155744 140730324138288 139660059479799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
/proc/16128/statm: 3522737 65708 3581 1 0 3484809 0
[pid=16128/tid=16135] ppid=16124 vsize=14090948 memory=56 CPUtime=6.19 cores=0,2,4,6
/proc/16128/task/16135/stat : 16135 (java) R 16124 16128 16066 0 -1 4202560 21962 0 0 0 612 7 0 0 20 0 15 0 250486391 14429130752 65708 33554432000 4194304 4196468 140730324155744 139660063717376 139659679009183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16136] ppid=16124 vsize=14090948 memory=9192 CPUtime=0.03 cores=0,2,4,6
/proc/16128/task/16136/stat : 16136 (java) S 16124 16128 16066 0 -1 1077944384 183 0 0 0 3 0 0 0 20 0 15 0 250486392 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659989568656 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16138] ppid=16124 vsize=14090948 memory=3708 CPUtime=0.03 cores=0,2,4,6
/proc/16128/task/16138/stat : 16138 (java) S 16124 16128 16066 0 -1 1077944384 234 0 0 0 3 0 0 0 20 0 15 0 250486392 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659654642704 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16140] ppid=16124 vsize=14090948 memory=68208 CPUtime=0.03 cores=0,2,4,6
/proc/16128/task/16140/stat : 16140 (java) S 16124 16128 16066 0 -1 1077944384 403 0 0 0 3 0 0 0 20 0 15 0 250486392 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659653589904 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16142] ppid=16124 vsize=14090948 memory=261516 CPUtime=0.03 cores=0,2,4,6
/proc/16128/task/16142/stat : 16142 (java) S 16124 16128 16066 0 -1 1077944384 175 0 0 0 3 0 0 0 20 0 15 0 250486392 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659652537104 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16145] ppid=16124 vsize=14090948 memory=7019544350982230627 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16145/stat : 16145 (java) S 16124 16128 16066 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 250486393 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659601660272 139660059490946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16146] ppid=16124 vsize=14090948 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16146/stat : 16146 (java) S 16124 16128 16066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659600606304 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16148] ppid=16124 vsize=14090948 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16148/stat : 16148 (java) S 16124 16128 16066 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659599553408 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16150] ppid=16124 vsize=14090948 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16150/stat : 16150 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659598501712 139660059498395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16152] ppid=16124 vsize=14090948 memory=1 CPUtime=2.06 cores=0,2,4,6
/proc/16128/task/16152/stat : 16152 (java) S 16124 16128 16066 0 -1 1077944384 6191 0 0 0 206 0 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659597450096 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16154] ppid=16124 vsize=14090948 memory=0 CPUtime=2.23 cores=0,2,4,6
/proc/16128/task/16154/stat : 16154 (java) S 16124 16128 16066 0 -1 1077944384 7076 0 0 0 222 1 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659596397296 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16156] ppid=16124 vsize=14090948 memory=1095 CPUtime=0.83 cores=0,2,4,6
/proc/16128/task/16156/stat : 16156 (java) S 16124 16128 16066 0 -1 1077944384 4471 0 0 0 82 1 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659595344496 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16158] ppid=16124 vsize=14090948 memory=570 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16158/stat : 16158 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659594291936 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16160] ppid=16124 vsize=14090948 memory=3 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16160/stat : 16160 (java) S 16124 16128 16066 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659593239216 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
Current children cumulated CPU time: 11.56 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 262832 KiB

[startup+6.38777 s]
# the end of solver process 16128 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.5033 s, system=0.161124 s

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

[startup+6.30073 s]
/proc/loadavg: 1.44 1.36 1.36 3/223 16161
/proc/meminfo: memFree=23362148/32770624 swapFree=67108852/67108860
[pid=16128] ppid=16124 vsize=14090948 memory=262832 CPUtime=11.56 cores=0,2,4,6
/proc/16128/stat : 16128 (java) S 16124 16128 16066 0 -1 1077944320 42601 0 0 0 1141 15 0 0 20 0 15 0 250486390 14429130752 65708 33554432000 4194304 4196468 140730324155744 140730324138288 139660059479799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
/proc/16128/statm: 3522737 65708 3581 1 0 3484809 0
[pid=16128/tid=16135] ppid=16124 vsize=14090948 memory=56 CPUtime=6.19 cores=0,2,4,6
/proc/16128/task/16135/stat : 16135 (java) R 16124 16128 16066 0 -1 4202560 21962 0 0 0 612 7 0 0 20 0 15 0 250486391 14429130752 65708 33554432000 4194304 4196468 140730324155744 139660063717376 139659679009183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16136] ppid=16124 vsize=14090948 memory=9192 CPUtime=0.03 cores=0,2,4,6
/proc/16128/task/16136/stat : 16136 (java) S 16124 16128 16066 0 -1 1077944384 183 0 0 0 3 0 0 0 20 0 15 0 250486392 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659989568656 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16138] ppid=16124 vsize=14090948 memory=3708 CPUtime=0.03 cores=0,2,4,6
/proc/16128/task/16138/stat : 16138 (java) S 16124 16128 16066 0 -1 1077944384 234 0 0 0 3 0 0 0 20 0 15 0 250486392 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659654642704 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16140] ppid=16124 vsize=14090948 memory=68208 CPUtime=0.03 cores=0,2,4,6
/proc/16128/task/16140/stat : 16140 (java) S 16124 16128 16066 0 -1 1077944384 403 0 0 0 3 0 0 0 20 0 15 0 250486392 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659653589904 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16142] ppid=16124 vsize=14090948 memory=261516 CPUtime=0.03 cores=0,2,4,6
/proc/16128/task/16142/stat : 16142 (java) S 16124 16128 16066 0 -1 1077944384 175 0 0 0 3 0 0 0 20 0 15 0 250486392 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659652537104 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16145] ppid=16124 vsize=14090948 memory=7019544350982230627 CPUtime=0.01 cores=0,2,4,6
/proc/16128/task/16145/stat : 16145 (java) S 16124 16128 16066 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 250486393 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659601660272 139660059490946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16146] ppid=16124 vsize=14090948 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16146/stat : 16146 (java) S 16124 16128 16066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659600606304 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16148] ppid=16124 vsize=14090948 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16148/stat : 16148 (java) S 16124 16128 16066 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 250486394 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659599553408 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16150] ppid=16124 vsize=14090948 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16150/stat : 16150 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659598501712 139660059498395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16152] ppid=16124 vsize=14090948 memory=1 CPUtime=2.06 cores=0,2,4,6
/proc/16128/task/16152/stat : 16152 (java) S 16124 16128 16066 0 -1 1077944384 6191 0 0 0 206 0 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659597450096 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16154] ppid=16124 vsize=14090948 memory=0 CPUtime=2.23 cores=0,2,4,6
/proc/16128/task/16154/stat : 16154 (java) S 16124 16128 16066 0 -1 1077944384 7076 0 0 0 222 1 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659596397296 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16156] ppid=16124 vsize=14090948 memory=1095 CPUtime=0.83 cores=0,2,4,6
/proc/16128/task/16156/stat : 16156 (java) S 16124 16128 16066 0 -1 1077944384 4471 0 0 0 82 1 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659595344496 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16158] ppid=16124 vsize=14090948 memory=570 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16158/stat : 16158 (java) S 16124 16128 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659594291936 139660059490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
[pid=16128/tid=16160] ppid=16124 vsize=14090948 memory=3 CPUtime=0 cores=0,2,4,6
/proc/16128/task/16160/stat : 16160 (java) S 16124 16128 16066 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 250486397 14429130752 65708 33554432000 4194304 4196468 140730324155744 139659593239216 139660059490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7671808 140730324157530 140730324157710 140730324157710 140730324160463 0
Current children cumulated CPU time: 11.56 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 262832 KiB

Child status: 0
Real time (s): 6.38784
CPU time (s): 11.6644
CPU user time (s): 11.5033
CPU system time (s): 0.161124
CPU usage (%): 182.603
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 262832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5033
system time used= 0.161124
maximum resident set size= 263536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2823
involuntary context switches= 41


# summary of solver processes directly reported to runsolver:
#   pid: 16128
#   total CPU time (s): 11.6644
#   total CPU user time (s): 11.5033
#   total CPU system time (s): 0.161124

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066453 second user time and 0.104728 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml
MD5SUM	d1449c913cc5aeed08f9a5dcd27a0601
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	792
Best CPU time to get the best result obtained on this benchmark	1.47416
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2598
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}]
Minimum variable degree	2
Maximum variable degree	60
Distribution of variable degrees	[{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2598}]
Number of extensional constraints	0
Number of intensional constraints	2598
Distribution of constraint types	[{"type":"intension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4310525

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
