2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	OPT	792	12.1384	6.53718
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 (9776 MiB free)
  memory of node 1: 16384 MiB (14035 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291871-1532263706/watcher-4291871-1532263706 -o /tmp/evaluation-result-4291871-1532263706/solver-4291871-1532263706 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2532 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1607809829 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291871-1532263706.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2959, runsolver pid=2956
Current StackSize limit: 8192 KiB


[startup+0.100701 s]*
/proc/loadavg: 1.79 1.60 1.49 4/215 2974
/proc/meminfo: memFree=24365032/32770624 swapFree=67108852/67108860
[pid=2959] ppid=2956 vsize=14082740 memory=33012 CPUtime=0.11 cores=0,2,4,6
/proc/2959/stat : 2959 (java) S 2956 2959 2501 0 -1 1077944320 7201 0 0 0 10 1 0 0 20 0 15 0 43933777 14420725760 8253 33554432000 4194304 4196468 140723076509616 140723076492160 140299798331127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
/proc/2959/statm: 3520685 8253 3140 1 0 3482761 0
[pid=2959/tid=2961] ppid=2956 vsize=14082740 memory=-8826037631950091456 CPUtime=0.09 cores=0,2,4,6
/proc/2959/task/2961/stat : 2961 (java) R 2956 2959 2501 0 -1 4202560 5259 0 0 0 8 1 0 0 20 0 15 0 43933777 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299802537248 140299782411614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2962] ppid=2956 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2962/stat : 2962 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299750951184 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2963] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2963/stat : 2963 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299749898640 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2964] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2964/stat : 2964 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299748846096 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2965] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2965/stat : 2965 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299747793552 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2966] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2966/stat : 2966 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933779 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299340331504 140299798342274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2967] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2967/stat : 2967 (java) S 2956 2959 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933779 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299339277728 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2968] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2968/stat : 2968 (java) S 2956 2959 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43933780 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299338225136 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2969] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2969/stat : 2969 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299337173712 140299798349723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2970] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2970/stat : 2970 (java) S 2956 2959 2501 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299336120304 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2971] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2971/stat : 2971 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299267467376 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2972] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0.01 cores=0,2,4,6
/proc/2959/task/2972/stat : 2972 (java) R 2956 2959 2501 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 43933782 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299266414832 140299777260583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2973] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2973/stat : 2973 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299265362528 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2974] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2974/stat : 2974 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 8253 33554432000 4194304 4196468 140723076509616 140299264310064 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33012 KiB

[startup+0.214526 s]*
/proc/loadavg: 1.79 1.60 1.49 6/215 2974
/proc/meminfo: memFree=24349668/32770624 swapFree=67108852/67108860
[pid=2959] ppid=2956 vsize=14082740 memory=46804 CPUtime=0.31 cores=0,2,4,6
/proc/2959/stat : 2959 (java) S 2956 2959 2501 0 -1 1077944320 10371 0 0 0 29 2 0 0 20 0 15 0 43933777 14420725760 11701 33554432000 4194304 4196468 140723076509616 140723076492160 140299798331127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
/proc/2959/statm: 3520685 11701 3376 1 0 3482761 0
[pid=2959/tid=2961] ppid=2956 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/2959/task/2961/stat : 2961 (java) R 2956 2959 2501 0 -1 4202560 8074 0 0 0 19 1 0 0 20 0 15 0 43933777 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299802559968 140299798343062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2962] ppid=2956 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2962/stat : 2962 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299750951184 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2963] ppid=2956 vsize=14082740 memory=140521252315920 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2963/stat : 2963 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299749898640 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2964] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2964/stat : 2964 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299748846096 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2965] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2965/stat : 2965 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299747793552 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2966] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2966/stat : 2966 (java) S 2956 2959 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43933779 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299340331504 140299798342274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2967] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2967/stat : 2967 (java) S 2956 2959 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933779 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299339277728 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2968] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2968/stat : 2968 (java) S 2956 2959 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43933780 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299338225136 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2969] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2969/stat : 2969 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299337173712 140299798349723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2970] ppid=2956 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2959/task/2970/stat : 2970 (java) S 2956 2959 2501 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 43933782 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299336120304 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2971] ppid=2956 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2959/task/2971/stat : 2971 (java) R 2956 2959 2501 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 15 0 43933782 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299267467376 140299779842048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2972] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0.06 cores=0,2,4,6
/proc/2959/task/2972/stat : 2972 (java) R 2956 2959 2501 0 -1 1077944384 311 0 0 0 6 0 0 0 20 0 15 0 43933782 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299266411200 140299798341333 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2973] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2973/stat : 2973 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299265362528 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2974] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2974/stat : 2974 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 11763 33554432000 4194304 4196468 140723076509616 140299264310064 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46804 KiB

[startup+0.310538 s]*
/proc/loadavg: 1.79 1.60 1.49 4/215 2974
/proc/meminfo: memFree=24346504/32770624 swapFree=67108852/67108860
[pid=2959] ppid=2956 vsize=14082740 memory=50004 CPUtime=0.42 cores=0,2,4,6
/proc/2959/stat : 2959 (java) S 2956 2959 2501 0 -1 1077944320 10709 0 0 0 40 2 0 0 20 0 15 0 43933777 14420725760 12501 33554432000 4194304 4196468 140723076509616 140723076492160 140299798331127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
/proc/2959/statm: 3520685 12501 3377 1 0 3482761 0
[pid=2959/tid=2961] ppid=2956 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/2959/task/2961/stat : 2961 (java) R 2956 2959 2501 0 -1 4202560 8391 0 0 0 28 2 0 0 20 0 15 0 43933777 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299802539824 140299782411614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2962] ppid=2956 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2962/stat : 2962 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299750951184 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2963] ppid=2956 vsize=14082740 memory=14548762979980952 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2963/stat : 2963 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299749898640 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2964] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2964/stat : 2964 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299748846096 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2965] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2965/stat : 2965 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299747793552 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2966] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2966/stat : 2966 (java) S 2956 2959 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43933779 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299340331504 140299798342274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2967] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2967/stat : 2967 (java) S 2956 2959 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933779 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299339277728 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2968] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2968/stat : 2968 (java) S 2956 2959 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43933780 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299338225136 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2969] ppid=2956 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2969/stat : 2969 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299337173712 140299798349723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2970] ppid=2956 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2959/task/2970/stat : 2970 (java) S 2956 2959 2501 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 43933782 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299336120304 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2971] ppid=2956 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2959/task/2971/stat : 2971 (java) S 2956 2959 2501 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 43933782 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299267467376 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2972] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0.07 cores=0,2,4,6
/proc/2959/task/2972/stat : 2972 (java) S 2956 2959 2501 0 -1 1077944384 328 0 0 0 7 0 0 0 20 0 15 0 43933782 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299266414832 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2973] ppid=2956 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2973/stat : 2973 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299265362528 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2974] ppid=2956 vsize=14082740 memory=140521252312704 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2974/stat : 2974 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933782 14420725760 12501 33554432000 4194304 4196468 140723076509616 140299264310064 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50004 KiB

[startup+0.700715 s]
/proc/loadavg: 1.79 1.60 1.49 3/215 2974
/proc/meminfo: memFree=24322320/32770624 swapFree=67108852/67108860
[pid=2959] ppid=2956 vsize=14084808 memory=88800 CPUtime=0.99 cores=0,2,4,6
/proc/2959/stat : 2959 (java) S 2956 2959 2501 0 -1 1077944320 17579 0 0 0 94 5 0 0 20 0 15 0 43933777 14422843392 22200 33554432000 4194304 4196468 140723076509616 140723076492160 140299798331127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
/proc/2959/statm: 3521202 22200 3498 1 0 3483273 0
[pid=2959/tid=2961] ppid=2956 vsize=14084808 memory=9224 CPUtime=0.68 cores=0,2,4,6
/proc/2959/task/2961/stat : 2961 (java) R 2956 2959 2501 0 -1 4202560 14833 0 0 0 64 4 0 0 20 0 15 0 43933777 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299802566608 140299782411614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2962] ppid=2956 vsize=14084808 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2962/stat : 2962 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299750951184 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2963] ppid=2956 vsize=14084808 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2963/stat : 2963 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299749898640 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2964] ppid=2956 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2964/stat : 2964 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299748846096 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2965] ppid=2956 vsize=14084808 memory=956 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2965/stat : 2965 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299747793552 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2966] ppid=2956 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2966/stat : 2966 (java) S 2956 2959 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43933779 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299340331504 140299798342274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2967] ppid=2956 vsize=14084808 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2967/stat : 2967 (java) S 2956 2959 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933779 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299339277728 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2968] ppid=2956 vsize=14084808 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2968/stat : 2968 (java) S 2956 2959 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43933780 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299338225136 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2969] ppid=2956 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2969/stat : 2969 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299337173712 140299798349723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2970] ppid=2956 vsize=14084808 memory=6081387179578519657 CPUtime=0.09 cores=0,2,4,6
/proc/2959/task/2970/stat : 2970 (java) S 2956 2959 2501 0 -1 1077944384 678 0 0 0 9 0 0 0 20 0 15 0 43933782 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299336120304 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2971] ppid=2956 vsize=14084808 memory=6076878065162868073 CPUtime=0.05 cores=0,2,4,6
/proc/2959/task/2971/stat : 2971 (java) S 2956 2959 2501 0 -1 1077944384 252 0 0 0 5 0 0 0 20 0 15 0 43933782 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299267467376 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2972] ppid=2956 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/2959/task/2972/stat : 2972 (java) S 2956 2959 2501 0 -1 1077944384 435 0 0 0 15 0 0 0 20 0 15 0 43933782 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299266414832 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2973] ppid=2956 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2973/stat : 2973 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299265362528 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2974] ppid=2956 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2974/stat : 2974 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933782 14422843392 22200 33554432000 4194304 4196468 140723076509616 140299264310064 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88800 KiB

[startup+1.50074 s]
/proc/loadavg: 1.79 1.60 1.49 5/215 2974
/proc/meminfo: memFree=24278848/32770624 swapFree=67108852/67108860
[pid=2959] ppid=2956 vsize=14088904 memory=202372 CPUtime=3.46 cores=0,2,4,6
/proc/2959/stat : 2959 (java) S 2956 2959 2501 0 -1 1077944320 27779 0 0 0 337 9 0 0 20 0 15 0 43933777 14427037696 50593 33554432000 4194304 4196468 140723076509616 140723076492160 140299798331127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
/proc/2959/statm: 3522226 50593 3547 1 0 3484297 0
[pid=2959/tid=2961] ppid=2956 vsize=14088904 memory=177540 CPUtime=1.47 cores=0,2,4,6
/proc/2959/task/2961/stat : 2961 (java) R 2956 2959 2501 0 -1 4202560 17588 0 0 0 141 6 0 0 20 0 15 0 43933777 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299802567984 140299781526912 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2962] ppid=2956 vsize=14088904 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2962/stat : 2962 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299750951184 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2963] ppid=2956 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2963/stat : 2963 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299749898640 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2964] ppid=2956 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2964/stat : 2964 (java) S 2956 2959 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933778 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299748846096 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2965] ppid=2956 vsize=14088904 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2965/stat : 2965 (java) S 2956 2959 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933778 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299747793552 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2966] ppid=2956 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2966/stat : 2966 (java) S 2956 2959 2501 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 43933779 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299340331504 140299798342274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2967] ppid=2956 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2967/stat : 2967 (java) S 2956 2959 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933779 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299339277728 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2968] ppid=2956 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2968/stat : 2968 (java) S 2956 2959 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43933780 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299338225136 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2969] ppid=2956 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2969/stat : 2969 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299337173712 140299798349723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2970] ppid=2956 vsize=14088904 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/2959/task/2970/stat : 2970 (java) R 2956 2959 2501 0 -1 4202560 3597 0 0 0 74 0 0 0 20 0 15 0 43933782 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299336106832 140299783438812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2971] ppid=2956 vsize=14088904 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2959/task/2971/stat : 2971 (java) R 2956 2959 2501 0 -1 4202560 2909 0 0 0 67 1 0 0 20 0 15 0 43933782 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299267453256 140299779875280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2972] ppid=2956 vsize=14088904 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/2959/task/2972/stat : 2972 (java) S 2956 2959 2501 0 -1 1077944384 2192 0 0 0 52 0 0 0 20 0 15 0 43933782 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299266414832 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2973] ppid=2956 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2973/stat : 2973 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299265362528 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2974] ppid=2956 vsize=14088904 memory=12966506269086 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2974/stat : 2974 (java) S 2956 2959 2501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43933782 14427037696 50593 33554432000 4194304 4196468 140723076509616 140299264310064 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 202372 KiB

[startup+3.11059 s]
/proc/loadavg: 1.79 1.60 1.49 5/215 2974
/proc/meminfo: memFree=23955736/32770624 swapFree=67108852/67108860
[pid=2959] ppid=2956 vsize=14090952 memory=255220 CPUtime=8.38 cores=0,2,4,6
/proc/2959/stat : 2959 (java) S 2956 2959 2501 0 -1 1077944320 40251 0 0 0 826 12 0 0 20 0 15 0 43933777 14429134848 63805 33554432000 4194304 4196468 140723076509616 140723076492160 140299798331127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
/proc/2959/statm: 3522738 63805 3579 1 0 3484809 0
[pid=2959/tid=2961] ppid=2956 vsize=14090952 memory=281042259065008 CPUtime=3.04 cores=0,2,4,6
/proc/2959/task/2961/stat : 2961 (java) R 2956 2959 2501 0 -1 4202560 19848 0 0 0 298 6 0 0 20 0 15 0 43933777 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299802569424 140299798343062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2962] ppid=2956 vsize=14090952 memory=3472468800177626448 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2962/stat : 2962 (java) S 2956 2959 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43933778 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299750951184 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2963] ppid=2956 vsize=14090952 memory=-7740096080597194087 CPUtime=0.01 cores=0,2,4,6
/proc/2959/task/2963/stat : 2963 (java) S 2956 2959 2501 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 15 0 43933778 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299749898640 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2964] ppid=2956 vsize=14090952 memory=8026352872064176213 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2964/stat : 2964 (java) S 2956 2959 2501 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 43933778 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299748846096 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2965] ppid=2956 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2959/task/2965/stat : 2965 (java) S 2956 2959 2501 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 15 0 43933778 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299747793552 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2966] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2966/stat : 2966 (java) S 2956 2959 2501 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 43933779 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299340331504 140299798342274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2967] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2967/stat : 2967 (java) S 2956 2959 2501 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43933779 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299339277792 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2968] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2968/stat : 2968 (java) S 2956 2959 2501 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 43933780 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299338225152 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2969] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2969/stat : 2969 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299337173712 140299798349723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2970] ppid=2956 vsize=14090952 memory=0 CPUtime=2.29 cores=0,2,4,6
/proc/2959/task/2970/stat : 2970 (java) R 2956 2959 2501 0 -1 4202560 5363 0 0 0 228 1 0 0 20 0 15 0 43933782 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299336120304 140299791437747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2971] ppid=2956 vsize=14090952 memory=0 CPUtime=2.11 cores=0,2,4,6
/proc/2959/task/2971/stat : 2971 (java) R 2956 2959 2501 0 -1 4202560 6774 0 0 0 210 1 0 0 20 0 15 0 43933782 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299267467376 140299798352474 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2972] ppid=2956 vsize=14090952 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/2959/task/2972/stat : 2972 (java) R 2956 2959 2501 0 -1 1077944384 6189 0 0 0 83 1 0 0 20 0 15 0 43933782 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299266414832 140299798342274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2973] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2973/stat : 2973 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299265362528 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2974] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2974/stat : 2974 (java) S 2956 2959 2501 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 43933782 14429134848 63805 33554432000 4194304 4196468 140723076509616 140299264310064 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
Current children cumulated CPU time: 8.38 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 255220 KiB

[startup+6.30072 s]*
/proc/loadavg: 1.81 1.61 1.49 3/215 2974
/proc/meminfo: memFree=23578900/32770624 swapFree=67108852/67108860
[pid=2959] ppid=2956 vsize=14090952 memory=331236 CPUtime=11.79 cores=0,2,4,6
/proc/2959/stat : 2959 (java) S 2956 2959 2501 0 -1 1077944320 40607 0 0 0 1163 16 0 0 20 0 15 0 43933777 14429134848 82809 33554432000 4194304 4196468 140723076509616 140723076492160 140299798331127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
/proc/2959/statm: 3522738 82809 3580 1 0 3484809 0
[pid=2959/tid=2961] ppid=2956 vsize=14090952 memory=7022364594140610616 CPUtime=6.2 cores=0,2,4,6
/proc/2959/task/2961/stat : 2961 (java) R 2956 2959 2501 0 -1 4202560 19888 0 0 0 613 7 0 0 20 0 15 0 43933777 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299802567352 140299427898907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2962] ppid=2956 vsize=14090952 memory=343 CPUtime=0.01 cores=0,2,4,6
/proc/2959/task/2962/stat : 2962 (java) S 2956 2959 2501 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 43933778 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299750951184 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2963] ppid=2956 vsize=14090952 memory=140521252315920 CPUtime=0.04 cores=0,2,4,6
/proc/2959/task/2963/stat : 2963 (java) S 2956 2959 2501 0 -1 1077944384 171 0 0 0 3 1 0 0 20 0 15 0 43933778 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299749898640 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2964] ppid=2956 vsize=14090952 memory=5792579542890659686 CPUtime=0.03 cores=0,2,4,6
/proc/2959/task/2964/stat : 2964 (java) S 2956 2959 2501 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 15 0 43933778 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299748846096 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2965] ppid=2956 vsize=14090952 memory=3472328296160559113 CPUtime=0.04 cores=0,2,4,6
/proc/2959/task/2965/stat : 2965 (java) S 2956 2959 2501 0 -1 1077944384 250 0 0 0 3 1 0 0 20 0 15 0 43933778 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299747793552 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2966] ppid=2956 vsize=14090952 memory=7280825085043620840 CPUtime=0.01 cores=0,2,4,6
/proc/2959/task/2966/stat : 2966 (java) S 2956 2959 2501 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 15 0 43933779 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299340331504 140299798342274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2967] ppid=2956 vsize=14090952 memory=3689908478725333000 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2967/stat : 2967 (java) S 2956 2959 2501 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43933779 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299339277792 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2968] ppid=2956 vsize=14090952 memory=3047711604724501878 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2968/stat : 2968 (java) S 2956 2959 2501 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 43933780 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299338225152 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2969] ppid=2956 vsize=14090952 memory=7100839852556323184 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2969/stat : 2969 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299337173712 140299798349723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2970] ppid=2956 vsize=14090952 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/2959/task/2970/stat : 2970 (java) S 2956 2959 2501 0 -1 1077944384 5457 0 0 0 237 1 0 0 20 0 15 0 43933782 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299336120304 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2971] ppid=2956 vsize=14090952 memory=3474586701431578655 CPUtime=2.14 cores=0,2,4,6
/proc/2959/task/2971/stat : 2971 (java) S 2956 2959 2501 0 -1 1077944384 6820 0 0 0 213 1 0 0 20 0 15 0 43933782 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299267467376 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2972] ppid=2956 vsize=14090952 memory=2315026052069265645 CPUtime=0.86 cores=0,2,4,6
/proc/2959/task/2972/stat : 2972 (java) S 2956 2959 2501 0 -1 1077944384 6213 0 0 0 85 1 0 0 20 0 15 0 43933782 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299266414832 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2973] ppid=2956 vsize=14090952 memory=8319083140700905527 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2973/stat : 2973 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299265362528 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2974] ppid=2956 vsize=14090952 memory=665104698637560307 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2974/stat : 2974 (java) S 2956 2959 2501 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 43933782 14429134848 82809 33554432000 4194304 4196468 140723076509616 140299264310064 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
Current children cumulated CPU time: 11.79 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 331236 KiB

[startup+6.53711 s]
# the end of solver process 2959 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.9536 s, system=0.184766 s

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

[startup+6.50074 s]
/proc/loadavg: 1.81 1.61 1.49 3/215 2974
/proc/meminfo: memFree=23578900/32770624 swapFree=67108852/67108860
[pid=2959] ppid=2956 vsize=14090952 memory=361028 CPUtime=12.09 cores=0,2,4,6
/proc/2959/stat : 2959 (java) S 2956 2959 2501 0 -1 1077944320 41409 0 0 0 1192 17 0 0 20 0 15 0 43933777 14429134848 90257 33554432000 4194304 4196468 140723076509616 140723076492160 140299798331127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
/proc/2959/statm: 3522738 90257 3580 1 0 3484809 0
[pid=2959/tid=2961] ppid=2956 vsize=14090952 memory=0 CPUtime=6.4 cores=0,2,4,6
/proc/2959/task/2961/stat : 2961 (java) R 2956 2959 2501 0 -1 4202560 20255 0 0 0 632 8 0 0 20 0 15 0 43933777 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299802566984 140299427897231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2962] ppid=2956 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2959/task/2962/stat : 2962 (java) S 2956 2959 2501 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 43933778 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299750951184 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2963] ppid=2956 vsize=14090952 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2959/task/2963/stat : 2963 (java) S 2956 2959 2501 0 -1 1077944384 171 0 0 0 3 1 0 0 20 0 15 0 43933778 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299749898640 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2964] ppid=2956 vsize=14090952 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2959/task/2964/stat : 2964 (java) S 2956 2959 2501 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 15 0 43933778 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299748846096 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2965] ppid=2956 vsize=14090952 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2959/task/2965/stat : 2965 (java) S 2956 2959 2501 0 -1 1077944384 250 0 0 0 3 1 0 0 20 0 15 0 43933778 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299747793552 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2966] ppid=2956 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2959/task/2966/stat : 2966 (java) S 2956 2959 2501 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 15 0 43933779 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299340331504 140299798342274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2967] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2967/stat : 2967 (java) S 2956 2959 2501 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43933779 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299339277792 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2968] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2968/stat : 2968 (java) S 2956 2959 2501 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 43933780 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299338225152 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2969] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2969/stat : 2969 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299337173712 140299798349723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2970] ppid=2956 vsize=14090952 memory=0 CPUtime=2.4 cores=0,2,4,6
/proc/2959/task/2970/stat : 2970 (java) S 2956 2959 2501 0 -1 1077944384 5539 0 0 0 239 1 0 0 20 0 15 0 43933782 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299336120304 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2971] ppid=2956 vsize=14090952 memory=0 CPUtime=2.22 cores=0,2,4,6
/proc/2959/task/2971/stat : 2971 (java) S 2956 2959 2501 0 -1 1077944384 6999 0 0 0 221 1 0 0 20 0 15 0 43933782 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299267467376 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2972] ppid=2956 vsize=14090952 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/2959/task/2972/stat : 2972 (java) S 2956 2959 2501 0 -1 1077944384 6387 0 0 0 86 1 0 0 20 0 15 0 43933782 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299266414832 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2973] ppid=2956 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2973/stat : 2973 (java) S 2956 2959 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933782 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299265362528 140299798341333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
[pid=2959/tid=2974] ppid=2956 vsize=14090952 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2959/task/2974/stat : 2974 (java) S 2956 2959 2501 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 43933782 14429134848 90257 33554432000 4194304 4196468 140723076509616 140299264310064 140299798342274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30961664 140723076510804 140723076510985 140723076510985 140723076513743 0
Current children cumulated CPU time: 12.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 361028 KiB

Child status: 0
Real time (s): 6.53718
CPU time (s): 12.1384
CPU user time (s): 11.9536
CPU system time (s): 0.184766
CPU usage (%): 185.682
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 361028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9536
system time used= 0.184766
maximum resident set size= 365980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41591
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= 2885
involuntary context switches= 61


# summary of solver processes directly reported to runsolver:
#   pid: 2959
#   total CPU time (s): 12.1384
#   total CPU user time (s): 11.9536
#   total CPU system time (s): 0.184766

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057435 second user time and 0.108217 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.44759
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 4291871

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
