2018 XCSP3 competition: sequential solvers tracks competition: execution trace

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308290-1534282302/watcher-4308290-1534282302 -o /tmp/evaluation-result-4308290-1534282302/solver-4308290-1534282302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534258226-15074 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2036003070 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308290-1534282302.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 1.05 1.25 1.31 4/216 17914
/proc/meminfo: memFree=27456232/32770624 swapFree=67030676/67108860
[pid=17899] ppid=17896 vsize=14082736 memory=31268 CPUtime=0.12 cores=0,2,4,6
/proc/17899/stat : 17899 (java) S 17896 17899 15043 0 -1 1077944320 6719 0 0 0 11 1 0 0 20 0 15 0 245793407 14420721664 7817 33554432000 4194304 4196468 140726367537456 140726367520000 140516549181175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
/proc/17899/statm: 3520684 7817 3153 1 0 3482761 0
[pid=17899/tid=17901] ppid=17896 vsize=14082736 memory=-8701690554791923585 CPUtime=0.09 cores=0,2,4,6
/proc/17899/task/17901/stat : 17901 (java) R 17896 17899 15043 0 -1 4202560 4758 0 0 0 9 0 0 0 20 0 15 0 245793407 14420721664 7817 33554432000 4194304 4196468 140726367537456 140516553377616 140516549203101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17902] ppid=17896 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17902/stat : 17902 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 7817 33554432000 4194304 4196468 140726367537456 140516501801744 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17903] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17903/stat : 17903 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 7817 33554432000 4194304 4196468 140726367537456 140516500749200 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17904] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17904/stat : 17904 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 7817 33554432000 4194304 4196468 140726367537456 140516142541840 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17905] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17905/stat : 17905 (java) S 17896 17899 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 7817 33554432000 4194304 4196468 140726367537456 140516141489296 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17906] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17906/stat : 17906 (java) S 17896 17899 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245793409 14420721664 7817 33554432000 4194304 4196468 140726367537456 140515529168880 140516549192322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17907] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17907/stat : 17907 (java) S 17896 17899 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245793410 14420721664 7817 33554432000 4194304 4196468 140726367537456 140515528115104 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17908] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17908/stat : 17908 (java) S 17896 17899 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245793410 14420721664 7817 33554432000 4194304 4196468 140726367537456 140515527062512 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17909] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17909/stat : 17909 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14420721664 7817 33554432000 4194304 4196468 140726367537456 140515526011088 140516549199771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17910] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17910/stat : 17910 (java) S 17896 17899 15043 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 245793412 14420721664 7817 33554432000 4194304 4196468 140726367537456 140515524958704 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17911] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17911/stat : 17911 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14420721664 7817 33554432000 4194304 4196468 140726367537456 140515523906160 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17912] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0.01 cores=0,2,4,6
/proc/17899/task/17912/stat : 17912 (java) S 17896 17899 15043 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 245793412 14420721664 7817 33554432000 4194304 4196468 140726367537456 140515522853616 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17913] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17913/stat : 17913 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14420721664 7817 33554432000 4194304 4196468 140726367537456 140515521801312 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17914] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17914/stat : 17914 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793413 14420721664 7817 33554432000 4194304 4196468 140726367537456 140515520747824 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31268 KiB

[startup+0.210458 s]*
/proc/loadavg: 1.05 1.25 1.31 4/216 17914
/proc/meminfo: memFree=27440728/32770624 swapFree=67030676/67108860
[pid=17899] ppid=17896 vsize=14082736 memory=47060 CPUtime=0.3 cores=0,2,4,6
/proc/17899/stat : 17899 (java) S 17896 17899 15043 0 -1 1077944320 10354 0 0 0 29 1 0 0 20 0 15 0 245793407 14420721664 11765 33554432000 4194304 4196468 140726367537456 140726367520000 140516549181175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
/proc/17899/statm: 3520684 11765 3375 1 0 3482761 0
[pid=17899/tid=17901] ppid=17896 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/17899/task/17901/stat : 17901 (java) R 17896 17899 15043 0 -1 4202560 8094 0 0 0 19 1 0 0 20 0 15 0 245793407 14420721664 11765 33554432000 4194304 4196468 140726367537456 140516553407664 140516541418302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17902] ppid=17896 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17902/stat : 17902 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 11765 33554432000 4194304 4196468 140726367537456 140516501801744 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17903] ppid=17896 vsize=14082736 memory=3762109048021718688 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17903/stat : 17903 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 11765 33554432000 4194304 4196468 140726367537456 140516500749200 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17904] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17904/stat : 17904 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 11765 33554432000 4194304 4196468 140726367537456 140516142541840 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17905] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17905/stat : 17905 (java) S 17896 17899 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 11765 33554432000 4194304 4196468 140726367537456 140516141489296 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17906] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17906/stat : 17906 (java) S 17896 17899 15043 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245793409 14420721664 11765 33554432000 4194304 4196468 140726367537456 140515529168880 140516549192322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17907] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17907/stat : 17907 (java) S 17896 17899 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245793410 14420721664 11765 33554432000 4194304 4196468 140726367537456 140515528115104 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17908] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17908/stat : 17908 (java) S 17896 17899 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245793410 14420721664 11765 33554432000 4194304 4196468 140726367537456 140515527062512 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17909] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17909/stat : 17909 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14420721664 11765 33554432000 4194304 4196468 140726367537456 140515526011088 140516549199771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17910] ppid=17896 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17899/task/17910/stat : 17910 (java) R 17896 17899 15043 0 -1 4202560 502 0 0 0 2 0 0 0 20 0 15 0 245793412 14420721664 11765 33554432000 4194304 4196468 140726367537456 140515524939720 140516527120160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17911] ppid=17896 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17899/task/17911/stat : 17911 (java) R 17896 17899 15043 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 15 0 245793412 14420721664 11765 33554432000 4194304 4196468 140726367537456 140515523906160 140516549192322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17912] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0.06 cores=0,2,4,6
/proc/17899/task/17912/stat : 17912 (java) R 17896 17899 15043 0 -1 4202560 312 0 0 0 6 0 0 0 20 0 15 0 245793412 14420721664 11765 33554432000 4194304 4196468 140726367537456 140515522853616 140516527933736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17913] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17913/stat : 17913 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14420721664 11765 33554432000 4194304 4196468 140726367537456 140515521801312 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17914] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17914/stat : 17914 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793413 14420721664 11765 33554432000 4194304 4196468 140726367537456 140515520747824 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47060 KiB

[startup+0.310511 s]*
/proc/loadavg: 1.05 1.25 1.31 4/216 17914
/proc/meminfo: memFree=27436944/32770624 swapFree=67030676/67108860
[pid=17899] ppid=17896 vsize=14082736 memory=50540 CPUtime=0.45 cores=0,2,4,6
/proc/17899/stat : 17899 (java) S 17896 17899 15043 0 -1 1077944320 10773 0 0 0 43 2 0 0 20 0 15 0 245793407 14420721664 12635 33554432000 4194304 4196468 140726367537456 140726367520000 140516549181175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
/proc/17899/statm: 3520684 12635 3391 1 0 3482761 0
[pid=17899/tid=17901] ppid=17896 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/17899/task/17901/stat : 17901 (java) R 17896 17899 15043 0 -1 4202560 8448 0 0 0 29 1 0 0 20 0 15 0 245793407 14420721664 12635 33554432000 4194304 4196468 140726367537456 140516553389008 140516530746153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17902] ppid=17896 vsize=14082736 memory=4294976238 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17902/stat : 17902 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 12635 33554432000 4194304 4196468 140726367537456 140516501801744 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17903] ppid=17896 vsize=14082736 memory=3905098336190731936 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17903/stat : 17903 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 12635 33554432000 4194304 4196468 140726367537456 140516500749200 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17904] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17904/stat : 17904 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 12635 33554432000 4194304 4196468 140726367537456 140516142541840 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17905] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17905/stat : 17905 (java) S 17896 17899 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245793408 14420721664 12635 33554432000 4194304 4196468 140726367537456 140516141489296 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17906] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17906/stat : 17906 (java) S 17896 17899 15043 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245793409 14420721664 12635 33554432000 4194304 4196468 140726367537456 140515529168880 140516549192322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17907] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17907/stat : 17907 (java) S 17896 17899 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245793410 14420721664 12635 33554432000 4194304 4196468 140726367537456 140515528115104 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17908] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17908/stat : 17908 (java) S 17896 17899 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245793410 14420721664 12635 33554432000 4194304 4196468 140726367537456 140515527062512 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17909] ppid=17896 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17909/stat : 17909 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14420721664 12635 33554432000 4194304 4196468 140726367537456 140515526011088 140516549199771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17910] ppid=17896 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17899/task/17910/stat : 17910 (java) S 17896 17899 15043 0 -1 1077944384 527 0 0 0 3 0 0 0 20 0 15 0 245793412 14420721664 12635 33554432000 4194304 4196468 140726367537456 140515524958704 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17911] ppid=17896 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17899/task/17911/stat : 17911 (java) R 17896 17899 15043 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 245793412 14420721664 12686 33554432000 4194304 4196468 140726367537456 140515523906160 140516549192322 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17912] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0.08 cores=0,2,4,6
/proc/17899/task/17912/stat : 17912 (java) S 17896 17899 15043 0 -1 1077944384 331 0 0 0 8 0 0 0 20 0 15 0 245793412 14420721664 12686 33554432000 4194304 4196468 140726367537456 140515522853616 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17913] ppid=17896 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17913/stat : 17913 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14420721664 12686 33554432000 4194304 4196468 140726367537456 140515521801312 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17914] ppid=17896 vsize=14082736 memory=139676440204928 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17914/stat : 17914 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793413 14420721664 12686 33554432000 4194304 4196468 140726367537456 140515520747824 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50540 KiB

[startup+0.700684 s]
/proc/loadavg: 1.05 1.25 1.31 3/216 17914
/proc/meminfo: memFree=27412976/32770624 swapFree=67030676/67108860
[pid=17899] ppid=17896 vsize=14084804 memory=88864 CPUtime=0.99 cores=0,2,4,6
/proc/17899/stat : 17899 (java) S 17896 17899 15043 0 -1 1077944320 17621 0 0 0 96 3 0 0 20 0 15 0 245793407 14422839296 22216 33554432000 4194304 4196468 140726367537456 140726367520000 140516549181175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
/proc/17899/statm: 3521201 22216 3498 1 0 3483273 0
[pid=17899/tid=17901] ppid=17896 vsize=14084804 memory=33372 CPUtime=0.67 cores=0,2,4,6
/proc/17899/task/17901/stat : 17901 (java) R 17896 17899 15043 0 -1 4202560 14875 0 0 0 65 2 0 0 20 0 15 0 245793407 14422839296 22216 33554432000 4194304 4196468 140726367537456 140516553394384 140516516770967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17902] ppid=17896 vsize=14084804 memory=11908 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17902/stat : 17902 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14422839296 22216 33554432000 4194304 4196468 140726367537456 140516501801744 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17903] ppid=17896 vsize=14084804 memory=492 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17903/stat : 17903 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14422839296 22216 33554432000 4194304 4196468 140726367537456 140516500749200 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17904] ppid=17896 vsize=14084804 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17904/stat : 17904 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793408 14422839296 22216 33554432000 4194304 4196468 140726367537456 140516142541840 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17905] ppid=17896 vsize=14084804 memory=932 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17905/stat : 17905 (java) S 17896 17899 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245793408 14422839296 22216 33554432000 4194304 4196468 140726367537456 140516141489296 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17906] ppid=17896 vsize=14084804 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17906/stat : 17906 (java) S 17896 17899 15043 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245793409 14422839296 22216 33554432000 4194304 4196468 140726367537456 140515529168880 140516549192322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17907] ppid=17896 vsize=14084804 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17907/stat : 17907 (java) S 17896 17899 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245793410 14422839296 22216 33554432000 4194304 4196468 140726367537456 140515528115104 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17908] ppid=17896 vsize=14084804 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17908/stat : 17908 (java) S 17896 17899 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245793410 14422839296 22216 33554432000 4194304 4196468 140726367537456 140515527062512 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17909] ppid=17896 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17909/stat : 17909 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14422839296 22216 33554432000 4194304 4196468 140726367537456 140515526011088 140516549199771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17910] ppid=17896 vsize=14084804 memory=7881696724453321575 CPUtime=0.08 cores=0,2,4,6
/proc/17899/task/17910/stat : 17910 (java) S 17896 17899 15043 0 -1 1077944384 679 0 0 0 8 0 0 0 20 0 15 0 245793412 14422839296 22216 33554432000 4194304 4196468 140726367537456 140515524958704 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17911] ppid=17896 vsize=14084804 memory=7453282923461570405 CPUtime=0.06 cores=0,2,4,6
/proc/17899/task/17911/stat : 17911 (java) S 17896 17899 15043 0 -1 1077944384 254 0 0 0 6 0 0 0 20 0 15 0 245793412 14422839296 22216 33554432000 4194304 4196468 140726367537456 140515523906160 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17912] ppid=17896 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/17899/task/17912/stat : 17912 (java) S 17896 17899 15043 0 -1 1077944384 430 0 0 0 15 0 0 0 20 0 15 0 245793412 14422839296 22216 33554432000 4194304 4196468 140726367537456 140515522853616 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17913] ppid=17896 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17913/stat : 17913 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14422839296 22216 33554432000 4194304 4196468 140726367537456 140515521801312 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17914] ppid=17896 vsize=14084804 memory=972 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17914/stat : 17914 (java) S 17896 17899 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245793413 14422839296 22216 33554432000 4194304 4196468 140726367537456 140515520747824 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88864 KiB

[startup+1.50163 s]
/proc/loadavg: 1.05 1.25 1.31 5/216 17914
/proc/meminfo: memFree=27366844/32770624 swapFree=67030676/67108860
[pid=17899] ppid=17896 vsize=14086852 memory=220216 CPUtime=3.46 cores=0,2,4,6
/proc/17899/stat : 17899 (java) S 17896 17899 15043 0 -1 1077944320 22995 0 0 0 339 7 0 0 20 0 15 0 245793407 14424936448 55054 33554432000 4194304 4196468 140726367537456 140726367520000 140516549181175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
/proc/17899/statm: 3521713 55054 3551 1 0 3483785 0
[pid=17899/tid=17901] ppid=17896 vsize=14086852 memory=163056 CPUtime=1.45 cores=0,2,4,6
/proc/17899/task/17901/stat : 17901 (java) R 17896 17899 15043 0 -1 4202560 16143 0 0 0 141 4 0 0 20 0 15 0 245793407 14424936448 55054 33554432000 4194304 4196468 140726367537456 140516553414944 140516185195133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17902] ppid=17896 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17902/stat : 17902 (java) S 17896 17899 15043 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 245793408 14424936448 55054 33554432000 4194304 4196468 140726367537456 140516501801744 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17903] ppid=17896 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17903/stat : 17903 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793408 14424936448 55054 33554432000 4194304 4196468 140726367537456 140516500749200 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17904] ppid=17896 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17904/stat : 17904 (java) S 17896 17899 15043 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 245793408 14424936448 55054 33554432000 4194304 4196468 140726367537456 140516142541840 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17905] ppid=17896 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17905/stat : 17905 (java) S 17896 17899 15043 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 245793408 14424936448 55054 33554432000 4194304 4196468 140726367537456 140516141489296 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17906] ppid=17896 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17906/stat : 17906 (java) S 17896 17899 15043 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 245793409 14424936448 55054 33554432000 4194304 4196468 140726367537456 140515529168880 140516549192322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0

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

/proc/17899/task/17901/stat : 17901 (java) R 17896 17899 15043 0 -1 4202560 43850 0 0 0 237043 38 0 0 20 0 15 0 245793407 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516553419792 140516181275897 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17902] ppid=17896 vsize=14090948 memory=1182872 CPUtime=4.64 cores=0,2,4,6
/proc/17899/task/17902/stat : 17902 (java) S 17896 17899 15043 0 -1 1077944384 1171 0 0 0 422 42 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516501801744 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17903] ppid=17896 vsize=14090948 memory=1182872 CPUtime=4.63 cores=0,2,4,6
/proc/17899/task/17903/stat : 17903 (java) S 17896 17899 15043 0 -1 1077944384 1656 0 0 0 423 40 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516500749200 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17904] ppid=17896 vsize=14090948 memory=463 CPUtime=4.64 cores=0,2,4,6
/proc/17899/task/17904/stat : 17904 (java) S 17896 17899 15043 0 -1 1077944384 1210 0 0 0 419 45 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516142541840 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17905] ppid=17896 vsize=14090948 memory=1182872 CPUtime=4.64 cores=0,2,4,6
/proc/17899/task/17905/stat : 17905 (java) S 17896 17899 15043 0 -1 1077944384 1278 0 0 0 423 41 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516141489296 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17906] ppid=17896 vsize=14090948 memory=1182872 CPUtime=4.86 cores=0,2,4,6
/proc/17899/task/17906/stat : 17906 (java) S 17896 17899 15043 0 -1 1077944384 5468 0 0 0 449 37 0 0 20 0 15 0 245793409 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515529168880 140516549192322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17907] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17907/stat : 17907 (java) S 17896 17899 15043 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245793410 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515528115168 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17908] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17908/stat : 17908 (java) S 17896 17899 15043 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 245793410 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515527062528 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17909] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17909/stat : 17909 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515526011088 140516549199771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17910] ppid=17896 vsize=14090948 memory=3544 CPUtime=1.9 cores=0,2,4,6
/proc/17899/task/17910/stat : 17910 (java) S 17896 17899 15043 0 -1 1077944384 13118 0 0 0 188 2 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515524958704 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17911] ppid=17896 vsize=14090948 memory=65020 CPUtime=1.98 cores=0,2,4,6
/proc/17899/task/17911/stat : 17911 (java) S 17896 17899 15043 0 -1 1077944384 16666 0 0 0 195 3 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515523906160 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17912] ppid=17896 vsize=14090948 memory=65020 CPUtime=0.93 cores=0,2,4,6
/proc/17899/task/17912/stat : 17912 (java) S 17896 17899 15043 0 -1 1077944384 11519 0 0 0 92 1 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515522853616 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17913] ppid=17896 vsize=14090948 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17913/stat : 17913 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515521801312 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17914] ppid=17896 vsize=14090948 memory=1182872 CPUtime=1.01 cores=0,2,4,6
/proc/17899/task/17914/stat : 17914 (java) S 17896 17899 15043 0 -1 1077944384 1077 0 0 0 50 51 0 0 20 0 15 0 245793413 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515520747824 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
Current children cumulated CPU time: 2400.11 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1182872 KiB

[startup+2442.3 s]
/proc/loadavg: 1.36 1.26 1.32 3/215 18104
/proc/meminfo: memFree=26113284/32770624 swapFree=67030676/67108860
[pid=17899] ppid=17896 vsize=14090948 memory=1182872 CPUtime=2460.81 cores=0,2,4,6
/proc/17899/stat : 17899 (java) S 17896 17899 15043 0 -1 1077944320 99852 0 0 0 245840 241 0 0 20 0 15 0 245793407 14429130752 295718 33554432000 4194304 4196468 140726367537456 140726367520000 140516549181175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
/proc/17899/statm: 3522737 295718 3588 1 0 3484809 0
[pid=17899/tid=17901] ppid=17896 vsize=14090948 memory=1182872 CPUtime=2430.16 cores=0,2,4,6
/proc/17899/task/17901/stat : 17901 (java) R 17896 17899 15043 0 -1 4202560 44661 0 0 0 242977 39 0 0 20 0 15 0 245793407 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516553419664 140516181275858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17902] ppid=17896 vsize=14090948 memory=1182872 CPUtime=4.89 cores=0,2,4,6
/proc/17899/task/17902/stat : 17902 (java) S 17896 17899 15043 0 -1 1077944384 1223 0 0 0 445 44 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516501801744 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17903] ppid=17896 vsize=14090948 memory=1182872 CPUtime=4.88 cores=0,2,4,6
/proc/17899/task/17903/stat : 17903 (java) S 17896 17899 15043 0 -1 1077944384 1778 0 0 0 446 42 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516500749200 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17904] ppid=17896 vsize=14090948 memory=1182872 CPUtime=4.9 cores=0,2,4,6
/proc/17899/task/17904/stat : 17904 (java) S 17896 17899 15043 0 -1 1077944384 1252 0 0 0 443 47 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516142541840 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17905] ppid=17896 vsize=14090948 memory=1182872 CPUtime=4.89 cores=0,2,4,6
/proc/17899/task/17905/stat : 17905 (java) S 17896 17899 15043 0 -1 1077944384 1307 0 0 0 446 43 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516141489296 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17906] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.14 cores=0,2,4,6
/proc/17899/task/17906/stat : 17906 (java) S 17896 17899 15043 0 -1 1077944384 5791 0 0 0 475 39 0 0 20 0 15 0 245793409 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515529168880 140516549192322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17907] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17907/stat : 17907 (java) S 17896 17899 15043 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245793410 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515528115168 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17908] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17908/stat : 17908 (java) S 17896 17899 15043 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 245793410 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515527062528 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17909] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17909/stat : 17909 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515526011088 140516549199771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17910] ppid=17896 vsize=14090948 memory=1182872 CPUtime=1.9 cores=0,2,4,6
/proc/17899/task/17910/stat : 17910 (java) S 17896 17899 15043 0 -1 1077944384 13120 0 0 0 188 2 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515524958704 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17911] ppid=17896 vsize=14090948 memory=1182872 CPUtime=1.98 cores=0,2,4,6
/proc/17899/task/17911/stat : 17911 (java) S 17896 17899 15043 0 -1 1077944384 16668 0 0 0 195 3 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515523906160 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17912] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0.93 cores=0,2,4,6
/proc/17899/task/17912/stat : 17912 (java) S 17896 17899 15043 0 -1 1077944384 11521 0 0 0 92 1 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515522853616 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17913] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17913/stat : 17913 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515521801312 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17914] ppid=17896 vsize=14090948 memory=1684 CPUtime=1.05 cores=0,2,4,6
/proc/17899/task/17914/stat : 17914 (java) S 17896 17899 15043 0 -1 1077944384 1100 0 0 0 52 53 0 0 20 0 15 0 245793413 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515520747824 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
Current children cumulated CPU time: 2460.81 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1182872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2500.9 s]
/proc/loadavg: 1.73 1.39 1.36 3/215 18105
/proc/meminfo: memFree=26112792/32770624 swapFree=67030676/67108860
[pid=17899] ppid=17896 vsize=14090948 memory=1182872 CPUtime=2520.09 cores=0,2,4,6
/proc/17899/stat : 17899 (java) S 17896 17899 15043 0 -1 1077944320 100950 0 0 0 251761 248 0 0 20 0 15 0 245793407 14429130752 295718 33554432000 4194304 4196468 140726367537456 140726367520000 140516549181175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
/proc/17899/statm: 3522737 295718 3588 1 0 3484809 0
[pid=17899/tid=17901] ppid=17896 vsize=14090948 memory=1182872 CPUtime=2488.13 cores=0,2,4,6
/proc/17899/task/17901/stat : 17901 (java) R 17896 17899 15043 0 -1 4202560 45384 0 0 0 248774 39 0 0 20 0 15 0 245793407 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516553419776 140516181275910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17902] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.14 cores=0,2,4,6
/proc/17899/task/17902/stat : 17902 (java) S 17896 17899 15043 0 -1 1077944384 1260 0 0 0 468 46 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516501801744 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17903] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.14 cores=0,2,4,6
/proc/17899/task/17903/stat : 17903 (java) S 17896 17899 15043 0 -1 1077944384 1792 0 0 0 470 44 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516500749200 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17904] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.14 cores=0,2,4,6
/proc/17899/task/17904/stat : 17904 (java) S 17896 17899 15043 0 -1 1077944384 1347 0 0 0 466 48 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516142541840 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17905] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.14 cores=0,2,4,6
/proc/17899/task/17905/stat : 17905 (java) S 17896 17899 15043 0 -1 1077944384 1343 0 0 0 470 44 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516141489296 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17906] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.4 cores=0,2,4,6
/proc/17899/task/17906/stat : 17906 (java) S 17896 17899 15043 0 -1 1077944384 5962 0 0 0 499 41 0 0 20 0 15 0 245793409 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515529168880 140516549192322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17907] ppid=17896 vsize=14090948 memory=13888 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17907/stat : 17907 (java) S 17896 17899 15043 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245793410 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515528115168 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17908] ppid=17896 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17908/stat : 17908 (java) S 17896 17899 15043 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 245793410 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515527062528 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17909] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17909/stat : 17909 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515526011088 140516549199771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17910] ppid=17896 vsize=14090948 memory=1182872 CPUtime=1.9 cores=0,2,4,6
/proc/17899/task/17910/stat : 17910 (java) S 17896 17899 15043 0 -1 1077944384 13122 0 0 0 188 2 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515524958704 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17911] ppid=17896 vsize=14090948 memory=1182872 CPUtime=1.98 cores=0,2,4,6
/proc/17899/task/17911/stat : 17911 (java) S 17896 17899 15043 0 -1 1077944384 16670 0 0 0 195 3 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515523906160 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17912] ppid=17896 vsize=14090948 memory=6283717093152418405 CPUtime=0.93 cores=0,2,4,6
/proc/17899/task/17912/stat : 17912 (java) S 17896 17899 15043 0 -1 1077944384 11524 0 0 0 92 1 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515522853616 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17913] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17913/stat : 17913 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515521801312 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17914] ppid=17896 vsize=14090948 memory=1182872 CPUtime=1.08 cores=0,2,4,6
/proc/17899/task/17914/stat : 17914 (java) S 17896 17899 15043 0 -1 1077944384 1115 0 0 0 54 54 0 0 20 0 15 0 245793413 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515520747824 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1182872 KiB

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

[startup+2500.92 s]
# the end of solver process 17899 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.63 s, system=2.49686 s

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

[startup+2500.9 s]
/proc/loadavg: 1.73 1.39 1.36 3/215 18105
/proc/meminfo: memFree=26112792/32770624 swapFree=67030676/67108860
[pid=17899] ppid=17896 vsize=14090948 memory=1182872 CPUtime=2520.09 cores=0,2,4,6
/proc/17899/stat : 17899 (java) S 17896 17899 15043 0 -1 1077944320 100950 0 0 0 251761 248 0 0 20 0 15 0 245793407 14429130752 295718 33554432000 4194304 4196468 140726367537456 140726367520000 140516549181175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
/proc/17899/statm: 3522737 295718 3588 1 0 3484809 0
[pid=17899/tid=17901] ppid=17896 vsize=14090948 memory=1182872 CPUtime=2488.13 cores=0,2,4,6
/proc/17899/task/17901/stat : 17901 (java) R 17896 17899 15043 0 -1 4202560 45384 0 0 0 248774 39 0 0 20 0 15 0 245793407 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516553419776 140516181275910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17902] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.14 cores=0,2,4,6
/proc/17899/task/17902/stat : 17902 (java) S 17896 17899 15043 0 -1 1077944384 1260 0 0 0 468 46 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516501801744 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17903] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.14 cores=0,2,4,6
/proc/17899/task/17903/stat : 17903 (java) S 17896 17899 15043 0 -1 1077944384 1792 0 0 0 470 44 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516500749200 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17904] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.14 cores=0,2,4,6
/proc/17899/task/17904/stat : 17904 (java) S 17896 17899 15043 0 -1 1077944384 1347 0 0 0 466 48 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516142541840 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17905] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.14 cores=0,2,4,6
/proc/17899/task/17905/stat : 17905 (java) S 17896 17899 15043 0 -1 1077944384 1343 0 0 0 470 44 0 0 20 0 15 0 245793408 14429130752 295718 33554432000 4194304 4196468 140726367537456 140516141489296 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17906] ppid=17896 vsize=14090948 memory=1182872 CPUtime=5.4 cores=0,2,4,6
/proc/17899/task/17906/stat : 17906 (java) S 17896 17899 15043 0 -1 1077944384 5962 0 0 0 499 41 0 0 20 0 15 0 245793409 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515529168880 140516549192322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17907] ppid=17896 vsize=14090948 memory=13888 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17907/stat : 17907 (java) S 17896 17899 15043 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245793410 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515528115168 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17908] ppid=17896 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17908/stat : 17908 (java) S 17896 17899 15043 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 245793410 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515527062528 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17909] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17909/stat : 17909 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515526011088 140516549199771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17910] ppid=17896 vsize=14090948 memory=1182872 CPUtime=1.9 cores=0,2,4,6
/proc/17899/task/17910/stat : 17910 (java) S 17896 17899 15043 0 -1 1077944384 13122 0 0 0 188 2 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515524958704 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17911] ppid=17896 vsize=14090948 memory=1182872 CPUtime=1.98 cores=0,2,4,6
/proc/17899/task/17911/stat : 17911 (java) S 17896 17899 15043 0 -1 1077944384 16670 0 0 0 195 3 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515523906160 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17912] ppid=17896 vsize=14090948 memory=6283717093152418405 CPUtime=0.93 cores=0,2,4,6
/proc/17899/task/17912/stat : 17912 (java) S 17896 17899 15043 0 -1 1077944384 11524 0 0 0 92 1 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515522853616 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17913] ppid=17896 vsize=14090948 memory=1182872 CPUtime=0 cores=0,2,4,6
/proc/17899/task/17913/stat : 17913 (java) S 17896 17899 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245793412 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515521801312 140516549191381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
[pid=17899/tid=17914] ppid=17896 vsize=14090948 memory=1182872 CPUtime=1.08 cores=0,2,4,6
/proc/17899/task/17914/stat : 17914 (java) S 17896 17899 15043 0 -1 1077944384 1115 0 0 0 54 54 0 0 20 0 15 0 245793413 14429130752 295718 33554432000 4194304 4196468 140726367537456 140515520747824 140516549192322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 21094400 140726367544392 140726367544585 140726367544585 140726367547343 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1182872 KiB

Child status: 143
Real time (s): 2500.92
CPU time (s): 2520.12
CPU user time (s): 2517.63
CPU system time (s): 2.49686
CPU usage (%): 100.768
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1189220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.63
system time used= 2.49686
maximum resident set size= 1191268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205391
involuntary context switches= 6342


# summary of solver processes directly reported to runsolver:
#   pid: 17899
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.63
#   total CPU system time (s): 2.49686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.511 second user time and 19.7616 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
MD5SUM	78811932529a67bdc61c23a432ac663c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	2.11183
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3968
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	3
Maximum variable degree	64
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	280
Distribution of constraint arities	[{"arity":2,"count":3967},{"arity":280,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3967
Distribution of constraint types	[{"type":"intension","count":3967},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4308290

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
