2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	OPT	792	18.2769	13.6666
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 (11867 MiB free)
  memory of node 1: 16384 MiB (11290 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312385-1534569173/watcher-4312385-1534569173 -o /tmp/evaluation-result-4312385-1534569173/solver-4312385-1534569173 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534569173-19440 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 155712497 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312385-1534569173.xml 

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

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

solver pid=19470, runsolver pid=19467

[startup+0.100095 s]*
/proc/loadavg: 0.45 0.73 1.02 5/216 19498
/proc/meminfo: memFree=23676732/32770624 swapFree=67108804/67108860
[pid=19470] ppid=19467 vsize=14082736 memory=30776 CPUtime=0.12 cores=1,3,5,7
/proc/19470/stat : 19470 (java) S 19467 19470 15687 0 -1 1077944320 6621 0 0 0 11 1 0 0 20 0 15 0 274480524 14420721664 7694 33554432000 4194304 4196468 140722570110208 140722570092752 140132707942135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
/proc/19470/statm: 3520684 7694 3153 1 0 3482761 0
[pid=19470/tid=19476] ppid=19467 vsize=14082736 memory=-8773748148829982332 CPUtime=0.09 cores=1,3,5,7
/proc/19470/task/19476/stat : 19476 (java) R 19467 19470 15687 0 -1 4202560 4677 0 0 0 8 1 0 0 20 0 15 0 274480524 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132712145256 140132692022622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19477] ppid=19467 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19477/stat : 19477 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132638030224 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19478] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19478/stat : 19478 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132302371088 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19479] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19479/stat : 19479 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132301318800 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19480] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19480/stat : 19480 (java) S 19467 19470 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132300266000 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19484] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19484/stat : 19484 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480527 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132250086000 140132707953282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19485] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19485/stat : 19485 (java) S 19467 19470 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274480527 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132249031968 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19486] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19486/stat : 19486 (java) S 19467 19470 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274480527 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132247979632 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19493] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19493/stat : 19493 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132246927952 140132707960731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19494] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19494/stat : 19494 (java) S 19467 19470 15687 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132245874800 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19495] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19495/stat : 19495 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132244822000 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19496] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0.01 cores=1,3,5,7
/proc/19470/task/19496/stat : 19496 (java) S 19467 19470 15687 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 274480530 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132243769712 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19497] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19497/stat : 19497 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132242717152 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19498] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19498/stat : 19498 (java) S 19467 19470 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 7759 33554432000 4194304 4196468 140722570110208 140132241664944 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30776 KiB

[startup+0.216398 s]*
/proc/loadavg: 0.45 0.73 1.02 9/216 19498
/proc/meminfo: memFree=23646044/32770624 swapFree=67108804/67108860
[pid=19470] ppid=19467 vsize=14082736 memory=47408 CPUtime=0.33 cores=1,3,5,7
/proc/19470/stat : 19470 (java) S 19467 19470 15687 0 -1 1077944320 10449 0 0 0 31 2 0 0 20 0 15 0 274480524 14420721664 11852 33554432000 4194304 4196468 140722570110208 140722570092752 140132707942135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
/proc/19470/statm: 3520684 11852 3379 1 0 3482761 0
[pid=19470/tid=19476] ppid=19467 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/19470/task/19476/stat : 19476 (java) R 19467 19470 15687 0 -1 4202560 8127 0 0 0 19 1 0 0 20 0 15 0 274480524 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132712169584 140132691985765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19477] ppid=19467 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19477/stat : 19477 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132638030224 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19478] ppid=19467 vsize=14082736 memory=140101155767207 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19478/stat : 19478 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132302371088 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19479] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19479/stat : 19479 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132301318800 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19480] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19480/stat : 19480 (java) S 19467 19470 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132300266000 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19484] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19484/stat : 19484 (java) S 19467 19470 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274480527 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132250086000 140132707953282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19485] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19485/stat : 19485 (java) S 19467 19470 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274480527 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132249031968 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19486] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19486/stat : 19486 (java) S 19467 19470 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274480527 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132247979632 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19493] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19493/stat : 19493 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132246927952 140132707960731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19494] ppid=19467 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19494/stat : 19494 (java) S 19467 19470 15687 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 274480530 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132245874800 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19495] ppid=19467 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19495/stat : 19495 (java) S 19467 19470 15687 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 15 0 274480530 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132244822000 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19496] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19496/stat : 19496 (java) S 19467 19470 15687 0 -1 1077944384 335 0 0 0 6 0 0 0 20 0 15 0 274480530 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132243769712 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19497] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19497/stat : 19497 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132242717152 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19498] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19498/stat : 19498 (java) S 19467 19470 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 11852 33554432000 4194304 4196468 140722570110208 140132241664944 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47408 KiB

[startup+0.310404 s]*
/proc/loadavg: 0.45 0.73 1.02 4/216 19498
/proc/meminfo: memFree=23639604/32770624 swapFree=67108804/67108860
[pid=19470] ppid=19467 vsize=14082736 memory=50696 CPUtime=0.44 cores=1,3,5,7
/proc/19470/stat : 19470 (java) S 19467 19470 15687 0 -1 1077944320 10797 0 0 0 42 2 0 0 20 0 15 0 274480524 14420721664 12674 33554432000 4194304 4196468 140722570110208 140722570092752 140132707942135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
/proc/19470/statm: 3520684 12674 3381 1 0 3482761 0
[pid=19470/tid=19476] ppid=19467 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/19470/task/19476/stat : 19476 (java) R 19467 19470 15687 0 -1 4202560 8443 0 0 0 28 1 0 0 20 0 15 0 274480524 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132712121064 140132707956039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19477] ppid=19467 vsize=14082736 memory=304556153357205527 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19477/stat : 19477 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132638030224 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19478] ppid=19467 vsize=14082736 memory=140101155763791 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19478/stat : 19478 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132302371088 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19479] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19479/stat : 19479 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132301318800 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19480] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19480/stat : 19480 (java) S 19467 19470 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274480525 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132300266000 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19484] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19484/stat : 19484 (java) S 19467 19470 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274480527 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132250086000 140132707953282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19485] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19485/stat : 19485 (java) S 19467 19470 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274480527 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132249031968 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19486] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19486/stat : 19486 (java) S 19467 19470 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274480527 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132247979632 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19493] ppid=19467 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19493/stat : 19493 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132246927952 140132707960731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19494] ppid=19467 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19494/stat : 19494 (java) S 19467 19470 15687 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 274480530 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132245874800 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19495] ppid=19467 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19495/stat : 19495 (java) S 19467 19470 15687 0 -1 1077944384 186 0 0 0 2 0 0 0 20 0 15 0 274480530 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132244822000 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19496] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0.08 cores=1,3,5,7
/proc/19470/task/19496/stat : 19496 (java) S 19467 19470 15687 0 -1 1077944384 349 0 0 0 8 0 0 0 20 0 15 0 274480530 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132243769712 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19497] ppid=19467 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19497/stat : 19497 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132242717152 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19498] ppid=19467 vsize=14082736 memory=140101154223744 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19498/stat : 19498 (java) S 19467 19470 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274480530 14420721664 12674 33554432000 4194304 4196468 140722570110208 140132241664944 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50696 KiB

[startup+0.70073 s]
/proc/loadavg: 0.45 0.73 1.02 6/216 19498
/proc/meminfo: memFree=23591468/32770624 swapFree=67108804/67108860
[pid=19470] ppid=19467 vsize=14084804 memory=89068 CPUtime=0.98 cores=1,3,5,7
/proc/19470/stat : 19470 (java) S 19467 19470 15687 0 -1 1077944320 17654 0 0 0 94 4 0 0 20 0 15 0 274480524 14422839296 22267 33554432000 4194304 4196468 140722570110208 140722570092752 140132707942135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
/proc/19470/statm: 3521201 22267 3499 1 0 3483273 0
[pid=19470/tid=19476] ppid=19467 vsize=14084804 memory=1744 CPUtime=0.68 cores=1,3,5,7
/proc/19470/task/19476/stat : 19476 (java) D 19467 19470 15687 0 -1 4202560 14902 0 0 0 64 4 0 0 20 0 15 0 274480524 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132712180496 140132707964061 0 4 0 16800975 18446744072100379781 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19477] ppid=19467 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19477/stat : 19477 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132638030224 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19478] ppid=19467 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19478/stat : 19478 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132302371088 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19479] ppid=19467 vsize=14084804 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19479/stat : 19479 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132301318800 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19480] ppid=19467 vsize=14084804 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19480/stat : 19480 (java) S 19467 19470 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274480525 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132300266000 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19484] ppid=19467 vsize=14084804 memory=7952 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19484/stat : 19484 (java) S 19467 19470 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274480527 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132250086000 140132707953282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19485] ppid=19467 vsize=14084804 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19485/stat : 19485 (java) S 19467 19470 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274480527 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132249031968 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19486] ppid=19467 vsize=14084804 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19486/stat : 19486 (java) S 19467 19470 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274480527 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132247979632 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19493] ppid=19467 vsize=14084804 memory=4639098309541127012 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19493/stat : 19493 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132246927952 140132707960731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19494] ppid=19467 vsize=14084804 memory=6369613153740022872 CPUtime=0.08 cores=1,3,5,7
/proc/19470/task/19494/stat : 19494 (java) S 19467 19470 15687 0 -1 1077944384 587 0 0 0 8 0 0 0 20 0 15 0 274480530 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132245874800 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19495] ppid=19467 vsize=14084804 memory=6154282490091891024 CPUtime=0.07 cores=1,3,5,7
/proc/19470/task/19495/stat : 19495 (java) S 19467 19470 15687 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 15 0 274480530 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132244822000 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19496] ppid=19467 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/19470/task/19496/stat : 19496 (java) S 19467 19470 15687 0 -1 1077944384 442 0 0 0 15 0 0 0 20 0 15 0 274480530 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132243769712 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19497] ppid=19467 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19497/stat : 19497 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132242717152 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19498] ppid=19467 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19498/stat : 19498 (java) S 19467 19470 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274480530 14422839296 22267 33554432000 4194304 4196468 140722570110208 140132241664944 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89068 KiB

[startup+1.51119 s]
/proc/loadavg: 0.45 0.73 1.02 8/216 19498
/proc/meminfo: memFree=23438388/32770624 swapFree=67108804/67108860
[pid=19470] ppid=19467 vsize=14086852 memory=122140 CPUtime=2.09 cores=1,3,5,7
/proc/19470/stat : 19470 (java) S 19467 19470 15687 0 -1 1077944320 22166 0 0 0 203 6 0 0 20 0 15 0 274480524 14424936448 30535 33554432000 4194304 4196468 140722570110208 140722570092752 140132707942135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
/proc/19470/statm: 3521713 30535 3540 1 0 3483785 0
[pid=19470/tid=19476] ppid=19467 vsize=14086852 memory=280202055917312 CPUtime=1.03 cores=1,3,5,7
/proc/19470/task/19476/stat : 19476 (java) R 19467 19470 15687 0 -1 4202560 17010 0 0 0 99 4 0 0 20 0 15 0 274480524 14424936448 30535 33554432000 4194304 4196468 140722570110208 140132712173680 140132707954070 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19477] ppid=19467 vsize=14086852 memory=1353155 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19477/stat : 19477 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14424936448 30542 33554432000 4194304 4196468 140722570110208 140132638030224 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19478] ppid=19467 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19478/stat : 19478 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14424936448 30542 33554432000 4194304 4196468 140722570110208 140132302371088 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19479] ppid=19467 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19479/stat : 19479 (java) S 19467 19470 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274480525 14424936448 30542 33554432000 4194304 4196468 140722570110208 140132301318800 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19480] ppid=19467 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19480/stat : 19480 (java) S 19467 19470 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274480525 14424936448 30542 33554432000 4194304 4196468 140722570110208 140132300266000 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19484] ppid=19467 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19484/stat : 19484 (java) S 19467 19470 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274480527 14424936448 30550 33554432000 4194304 4196468 140722570110208 140132250086000 140132707953282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0

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

[startup+6.30068 s]
/proc/loadavg: 0.66 0.77 1.03 5/216 19498
/proc/meminfo: memFree=23229784/32770624 swapFree=67108804/67108860
[pid=19470] ppid=19467 vsize=14090948 memory=260228 CPUtime=10.61 cores=1,3,5,7
/proc/19470/stat : 19470 (java) S 19467 19470 15687 0 -1 1077944320 36986 0 0 0 1046 15 0 0 20 0 15 0 274480524 14429130752 65057 33554432000 4194304 4196468 140722570110208 140722570092752 140132707942135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
/proc/19470/statm: 3522737 65057 3572 1 0 3484809 0
[pid=19470/tid=19476] ppid=19467 vsize=14090948 memory=7151823192952164432 CPUtime=5.77 cores=1,3,5,7
/proc/19470/task/19476/stat : 19476 (java) R 19467 19470 15687 0 -1 4202560 22056 0 0 0 570 7 0 0 20 0 15 0 274480524 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132712180288 140132687652576 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19477] ppid=19467 vsize=14090948 memory=260228 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19477/stat : 19477 (java) S 19467 19470 15687 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 274480525 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132638030224 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19478] ppid=19467 vsize=14090948 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19478/stat : 19478 (java) S 19467 19470 15687 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 15 0 274480525 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132302371088 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19479] ppid=19467 vsize=14090948 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19479/stat : 19479 (java) S 19467 19470 15687 0 -1 1077944384 73 0 0 0 2 0 0 0 20 0 15 0 274480525 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132301318800 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19480] ppid=19467 vsize=14090948 memory=2244 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19480/stat : 19480 (java) S 19467 19470 15687 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 274480525 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132300266000 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19484] ppid=19467 vsize=14090948 memory=4134930537816160314 CPUtime=0.01 cores=1,3,5,7
/proc/19470/task/19484/stat : 19484 (java) S 19467 19470 15687 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 15 0 274480527 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132250086000 140132707953282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19485] ppid=19467 vsize=14090948 memory=4134930498285298233 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19485/stat : 19485 (java) S 19467 19470 15687 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274480527 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132249032032 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19486] ppid=19467 vsize=14090948 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19486/stat : 19486 (java) S 19467 19470 15687 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274480527 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132247979648 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19493] ppid=19467 vsize=14090948 memory=260156 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19493/stat : 19493 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132246927952 140132707960731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19494] ppid=19467 vsize=14090948 memory=260152 CPUtime=1.98 cores=1,3,5,7
/proc/19470/task/19494/stat : 19494 (java) S 19467 19470 15687 0 -1 1077944384 4377 0 0 0 196 2 0 0 20 0 15 0 274480530 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132245874800 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19495] ppid=19467 vsize=14090948 memory=8 CPUtime=1.87 cores=1,3,5,7
/proc/19470/task/19495/stat : 19495 (java) S 19467 19470 15687 0 -1 1077944384 4093 0 0 0 187 0 0 0 20 0 15 0 274480530 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132244822000 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19496] ppid=19467 vsize=14090948 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/19470/task/19496/stat : 19496 (java) S 19467 19470 15687 0 -1 1077944384 4192 0 0 0 79 1 0 0 20 0 15 0 274480530 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132243769712 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19497] ppid=19467 vsize=14090948 memory=22464 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19497/stat : 19497 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132242717152 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19498] ppid=19467 vsize=14090948 memory=792 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19498/stat : 19498 (java) S 19467 19470 15687 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 65057 33554432000 4194304 4196468 140722570110208 140132241664944 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
Current children cumulated CPU time: 10.61 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 260228 KiB

[startup+12.7007 s]
/proc/loadavg: 0.76 0.79 1.04 5/216 19498
/proc/meminfo: memFree=23209672/32770624 swapFree=67108804/67108860
[pid=19470] ppid=19467 vsize=14090948 memory=279744 CPUtime=17.21 cores=1,3,5,7
/proc/19470/stat : 19470 (java) S 19467 19470 15687 0 -1 1077944320 43204 0 0 0 1702 19 0 0 20 0 15 0 274480524 14429130752 69936 33554432000 4194304 4196468 140722570110208 140722570092752 140132707942135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
/proc/19470/statm: 3522737 69936 3582 1 0 3484809 0
[pid=19470/tid=19476] ppid=19467 vsize=14090948 memory=274868 CPUtime=12.12 cores=1,3,5,7
/proc/19470/task/19476/stat : 19476 (java) R 19467 19470 15687 0 -1 4202560 23104 0 0 0 1204 8 0 0 20 0 15 0 274480524 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132712180016 140132327593145 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19477] ppid=19467 vsize=14090948 memory=279728 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19477/stat : 19477 (java) S 19467 19470 15687 0 -1 1077944384 844 0 0 0 5 1 0 0 20 0 15 0 274480525 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132638030224 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19478] ppid=19467 vsize=14090948 memory=277112 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19478/stat : 19478 (java) S 19467 19470 15687 0 -1 1077944384 1026 0 0 0 5 1 0 0 20 0 15 0 274480525 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132302371088 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19479] ppid=19467 vsize=14090948 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19479/stat : 19479 (java) S 19467 19470 15687 0 -1 1077944384 214 0 0 0 5 1 0 0 20 0 15 0 274480525 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132301318800 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19480] ppid=19467 vsize=14090948 memory=83743272356905 CPUtime=0.05 cores=1,3,5,7
/proc/19470/task/19480/stat : 19480 (java) S 19467 19470 15687 0 -1 1077944384 435 0 0 0 4 1 0 0 20 0 15 0 274480525 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132300266000 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19484] ppid=19467 vsize=14090948 memory=6655300316396806240 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19484/stat : 19484 (java) S 19467 19470 15687 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 15 0 274480527 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132250086000 140132707953282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19485] ppid=19467 vsize=14090948 memory=260156 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19485/stat : 19485 (java) S 19467 19470 15687 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274480527 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132249032032 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19486] ppid=19467 vsize=14090948 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19486/stat : 19486 (java) S 19467 19470 15687 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274480527 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132247979648 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19493] ppid=19467 vsize=14090948 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19493/stat : 19493 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132246927952 140132707960731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19494] ppid=19467 vsize=14090948 memory=0 CPUtime=2.02 cores=1,3,5,7
/proc/19470/task/19494/stat : 19494 (java) S 19467 19470 15687 0 -1 1077944384 5296 0 0 0 200 2 0 0 20 0 15 0 274480530 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132245874800 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19495] ppid=19467 vsize=14090948 memory=200 CPUtime=1.92 cores=1,3,5,7
/proc/19470/task/19495/stat : 19495 (java) S 19467 19470 15687 0 -1 1077944384 4885 0 0 0 192 0 0 0 20 0 15 0 274480530 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132244822000 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19496] ppid=19467 vsize=14090948 memory=188 CPUtime=0.81 cores=1,3,5,7
/proc/19470/task/19496/stat : 19496 (java) S 19467 19470 15687 0 -1 1077944384 5129 0 0 0 80 1 0 0 20 0 15 0 274480530 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132243769712 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19497] ppid=19467 vsize=14090948 memory=280202056243264 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19497/stat : 19497 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132242717152 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19498] ppid=19467 vsize=14090948 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19498/stat : 19498 (java) S 19467 19470 15687 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 69936 33554432000 4194304 4196468 140722570110208 140132241664944 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
Current children cumulated CPU time: 17.21 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 279744 KiB

[startup+13.6666 s]
# the end of solver process 19470 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18.0708 s, system=0.206081 s

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

[startup+13.2007 s]
/proc/loadavg: 0.76 0.79 1.04 5/216 19498
/proc/meminfo: memFree=23209672/32770624 swapFree=67108804/67108860
[pid=19470] ppid=19467 vsize=14090948 memory=276652 CPUtime=17.74 cores=1,3,5,7
/proc/19470/stat : 19470 (java) S 19467 19470 15687 0 -1 1077944320 43405 0 0 0 1755 19 0 0 20 0 15 0 274480524 14429130752 69163 33554432000 4194304 4196468 140722570110208 140722570092752 140132707942135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
/proc/19470/statm: 3522737 69163 3582 1 0 3484809 0
[pid=19470/tid=19476] ppid=19467 vsize=14090948 memory=1600 CPUtime=12.62 cores=1,3,5,7
/proc/19470/task/19476/stat : 19476 (java) R 19467 19470 15687 0 -1 4202560 23175 0 0 0 1254 8 0 0 20 0 15 0 274480524 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132712180440 140132327561420 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19477] ppid=19467 vsize=14090948 memory=7952 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19477/stat : 19477 (java) S 19467 19470 15687 0 -1 1077944384 845 0 0 0 5 1 0 0 20 0 15 0 274480525 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132638030224 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19478] ppid=19467 vsize=14090948 memory=4088 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19478/stat : 19478 (java) S 19467 19470 15687 0 -1 1077944384 1040 0 0 0 5 1 0 0 20 0 15 0 274480525 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132302371088 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19479] ppid=19467 vsize=14090948 memory=1784 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19479/stat : 19479 (java) S 19467 19470 15687 0 -1 1077944384 214 0 0 0 5 1 0 0 20 0 15 0 274480525 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132301318800 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19480] ppid=19467 vsize=14090948 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/19470/task/19480/stat : 19480 (java) S 19467 19470 15687 0 -1 1077944384 435 0 0 0 4 1 0 0 20 0 15 0 274480525 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132300266000 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19484] ppid=19467 vsize=14090948 memory=-2537689246120445521 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19484/stat : 19484 (java) S 19467 19470 15687 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 15 0 274480527 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132250086000 140132707953282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19485] ppid=19467 vsize=14090948 memory=-6234758880078832264 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19485/stat : 19485 (java) S 19467 19470 15687 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 274480527 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132249032032 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19486] ppid=19467 vsize=14090948 memory=-1391509512798377362 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19486/stat : 19486 (java) S 19467 19470 15687 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 274480527 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132247979648 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19493] ppid=19467 vsize=14090948 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19493/stat : 19493 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132246927952 140132707960731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19494] ppid=19467 vsize=14090948 memory=56 CPUtime=2.05 cores=1,3,5,7
/proc/19470/task/19494/stat : 19494 (java) S 19467 19470 15687 0 -1 1077944384 5399 0 0 0 203 2 0 0 20 0 15 0 274480530 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132245874800 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19495] ppid=19467 vsize=14090948 memory=6655300316396806240 CPUtime=1.92 cores=1,3,5,7
/proc/19470/task/19495/stat : 19495 (java) S 19467 19470 15687 0 -1 1077944384 4885 0 0 0 192 0 0 0 20 0 15 0 274480530 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132244822000 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19496] ppid=19467 vsize=14090948 memory=33 CPUtime=0.81 cores=1,3,5,7
/proc/19470/task/19496/stat : 19496 (java) S 19467 19470 15687 0 -1 1077944384 5129 0 0 0 80 1 0 0 20 0 15 0 274480530 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132243769712 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19497] ppid=19467 vsize=14090948 memory=277112 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19497/stat : 19497 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132242717152 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19498] ppid=19467 vsize=14090948 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19498/stat : 19498 (java) S 19467 19470 15687 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 69163 33554432000 4194304 4196468 140722570110208 140132241664944 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
Current children cumulated CPU time: 17.74 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 276652 KiB

[startup+13.6007 s]
/proc/loadavg: 0.76 0.79 1.04 3/216 19498
/proc/meminfo: memFree=23211472/32770624 swapFree=67108804/67108860
[pid=19470] ppid=19467 vsize=14090948 memory=276860 CPUtime=18.21 cores=1,3,5,7
/proc/19470/stat : 19470 (java) S 19467 19470 15687 0 -1 1077944320 45673 0 0 0 1801 20 0 0 20 0 15 0 274480524 14429130752 69215 33554432000 4194304 4196468 140722570110208 140722570092752 140132707942135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
/proc/19470/statm: 3522737 69215 3582 1 0 3484809 0
[pid=19470/tid=19476] ppid=19467 vsize=14090948 memory=15824378344507920 CPUtime=13.01 cores=1,3,5,7
/proc/19470/task/19476/stat : 19476 (java) R 19467 19470 15687 0 -1 4202560 24062 0 0 0 1293 8 0 0 20 0 15 0 274480524 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132712175808 140132326704285 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19477] ppid=19467 vsize=14090948 memory=1036 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19477/stat : 19477 (java) S 19467 19470 15687 0 -1 1077944384 845 0 0 0 5 1 0 0 20 0 15 0 274480525 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132638030224 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19478] ppid=19467 vsize=14090948 memory=1744 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19478/stat : 19478 (java) S 19467 19470 15687 0 -1 1077944384 1040 0 0 0 5 1 0 0 20 0 15 0 274480525 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132302371088 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19479] ppid=19467 vsize=14090948 memory=752 CPUtime=0.06 cores=1,3,5,7
/proc/19470/task/19479/stat : 19479 (java) S 19467 19470 15687 0 -1 1077944384 214 0 0 0 5 1 0 0 20 0 15 0 274480525 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132301318800 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19480] ppid=19467 vsize=14090948 memory=836 CPUtime=0.05 cores=1,3,5,7
/proc/19470/task/19480/stat : 19480 (java) S 19467 19470 15687 0 -1 1077944384 435 0 0 0 4 1 0 0 20 0 15 0 274480525 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132300266000 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19484] ppid=19467 vsize=14090948 memory=1084 CPUtime=0.02 cores=1,3,5,7
/proc/19470/task/19484/stat : 19484 (java) S 19467 19470 15687 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 15 0 274480527 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132250086000 140132707953282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19485] ppid=19467 vsize=14090948 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19485/stat : 19485 (java) S 19467 19470 15687 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 274480527 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132249032032 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19486] ppid=19467 vsize=14090948 memory=7952 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19486/stat : 19486 (java) S 19467 19470 15687 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 274480527 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132247979648 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19493] ppid=19467 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19493/stat : 19493 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132246927952 140132707960731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19494] ppid=19467 vsize=14090948 memory=4420 CPUtime=2.09 cores=1,3,5,7
/proc/19470/task/19494/stat : 19494 (java) S 19467 19470 15687 0 -1 1077944384 6346 0 0 0 207 2 0 0 20 0 15 0 274480530 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132245874800 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19495] ppid=19467 vsize=14090948 memory=6628 CPUtime=1.93 cores=1,3,5,7
/proc/19470/task/19495/stat : 19495 (java) S 19467 19470 15687 0 -1 1077944384 5034 0 0 0 193 0 0 0 20 0 15 0 274480530 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132244822000 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19496] ppid=19467 vsize=14090948 memory=8836 CPUtime=0.82 cores=1,3,5,7
/proc/19470/task/19496/stat : 19496 (java) S 19467 19470 15687 0 -1 1077944384 5413 0 0 0 81 1 0 0 20 0 15 0 274480530 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132243769712 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19497] ppid=19467 vsize=14090948 memory=253000 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19497/stat : 19497 (java) S 19467 19470 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132242717152 140132707952341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
[pid=19470/tid=19498] ppid=19467 vsize=14090948 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/19470/task/19498/stat : 19498 (java) S 19467 19470 15687 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 274480530 14429130752 69215 33554432000 4194304 4196468 140722570110208 140132241664944 140132707953282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140722570114127 140722570114318 140722570114318 140722570117071 0
Current children cumulated CPU time: 18.21 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 276860 KiB

Child status: 0
Real time (s): 13.6666
CPU time (s): 18.2769
CPU user time (s): 18.0708
CPU system time (s): 0.206081
CPU usage (%): 133.733
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 279756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.0708
system time used= 0.206081
maximum resident set size= 279756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2898
involuntary context switches= 70


# summary of solver processes directly reported to runsolver:
#   pid: 19470
#   total CPU time (s): 18.2769
#   total CPU user time (s): 18.0708
#   total CPU system time (s): 0.206081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090332 second user time and 0.177654 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 4312385

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
