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	SAT (TO)	46	252.105	247.118
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 (12275 MiB free)
  memory of node 1: 16384 MiB (11315 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312391-1534569307/watcher-4312391-1534569307 -o /tmp/evaluation-result-4312391-1534569307/solver-4312391-1534569307 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534568746-9006 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 947655833 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312391-1534569307.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
solver pid=9603, runsolver pid=9600
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 1.61 1.59 1.45 3/215 9618
/proc/meminfo: memFree=24138648/32770624 swapFree=67108524/67108860
[pid=9603] ppid=9600 vsize=14082736 memory=30932 CPUtime=0.12 cores=1,3,5,7
/proc/9603/stat : 9603 (java) S 9600 9603 5687 0 -1 1077944320 6651 0 0 0 10 2 0 0 20 0 15 0 274493872 14420721664 7733 33554432000 4194304 4196468 140734849072672 140734849055216 139797561421559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
/proc/9603/statm: 3520684 7733 3152 1 0 3482761 0
[pid=9603/tid=9605] ppid=9600 vsize=14082736 memory=-8825464799276922048 CPUtime=0.09 cores=1,3,5,7
/proc/9603/task/9605/stat : 9605 (java) R 9600 9603 5687 0 -1 4202560 4694 0 0 0 8 1 0 0 20 0 15 0 274493872 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797565647248 139797545502076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9606] ppid=9600 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9606/stat : 9606 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797499022096 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9607] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9607/stat : 9607 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797497969552 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9608] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9608/stat : 9608 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797496917008 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9609] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9609/stat : 9609 (java) S 9600 9603 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797495864464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9610] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9610/stat : 9610 (java) S 9600 9603 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493874 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797103368176 139797561432706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9611] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9611/stat : 9611 (java) S 9600 9603 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274493875 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797102314400 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9612] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9612/stat : 9612 (java) S 9600 9603 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274493875 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797101261808 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9613] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9613/stat : 9613 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493877 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797100210384 139797561440155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9614] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9614/stat : 9614 (java) S 9600 9603 5687 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 274493877 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797099158000 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9615] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9615/stat : 9615 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493877 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797098105456 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9616] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0.01 cores=1,3,5,7
/proc/9603/task/9616/stat : 9616 (java) S 9600 9603 5687 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 274493877 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797097052912 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9617] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9617/stat : 9617 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493878 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797096000608 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9618] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9618/stat : 9618 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493878 14420721664 7733 33554432000 4194304 4196468 140734849072672 139797094947120 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30932 KiB

[startup+0.210797 s]*
/proc/loadavg: 1.64 1.60 1.45 7/215 9618
/proc/meminfo: memFree=24123764/32770624 swapFree=67108524/67108860
[pid=9603] ppid=9600 vsize=14082736 memory=47012 CPUtime=0.3 cores=1,3,5,7
/proc/9603/stat : 9603 (java) S 9600 9603 5687 0 -1 1077944320 10386 0 0 0 28 2 0 0 20 0 15 0 274493872 14420721664 11753 33554432000 4194304 4196468 140734849072672 140734849055216 139797561421559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
/proc/9603/statm: 3520684 11753 3363 1 0 3482761 0
[pid=9603/tid=9605] ppid=9600 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/9603/task/9605/stat : 9605 (java) R 9600 9603 5687 0 -1 4202560 8084 0 0 0 18 2 0 0 20 0 15 0 274493872 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797565647536 139797553658686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9606] ppid=9600 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9606/stat : 9606 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797499022096 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9607] ppid=9600 vsize=14082736 memory=139841459285248 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9607/stat : 9607 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797497969552 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9608] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9608/stat : 9608 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797496917008 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9609] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9609/stat : 9609 (java) S 9600 9603 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797495864464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9610] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9610/stat : 9610 (java) S 9600 9603 5687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 274493874 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797103368176 139797561432706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9611] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9611/stat : 9611 (java) S 9600 9603 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274493875 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797102314400 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9612] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9612/stat : 9612 (java) S 9600 9603 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274493875 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797101261808 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9613] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9613/stat : 9613 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493877 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797100210384 139797561440155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9614] ppid=9600 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9603/task/9614/stat : 9614 (java) S 9600 9603 5687 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 15 0 274493877 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797099158000 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9615] ppid=9600 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9603/task/9615/stat : 9615 (java) S 9600 9603 5687 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 274493877 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797098105456 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9616] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0.05 cores=1,3,5,7
/proc/9603/task/9616/stat : 9616 (java) R 9600 9603 5687 0 -1 4202560 306 0 0 0 5 0 0 0 20 0 15 0 274493877 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797097050872 139797540348453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9617] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9617/stat : 9617 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493878 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797096000608 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9618] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9618/stat : 9618 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493878 14420721664 11753 33554432000 4194304 4196468 140734849072672 139797094947120 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47012 KiB

[startup+0.31047 s]*
/proc/loadavg: 1.64 1.60 1.45 3/215 9618
/proc/meminfo: memFree=24122880/32770624 swapFree=67108524/67108860
[pid=9603] ppid=9600 vsize=14082736 memory=50700 CPUtime=0.44 cores=1,3,5,7
/proc/9603/stat : 9603 (java) S 9600 9603 5687 0 -1 1077944320 10786 0 0 0 41 3 0 0 20 0 15 0 274493872 14420721664 12675 33554432000 4194304 4196468 140734849072672 140734849055216 139797561421559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
/proc/9603/statm: 3520684 12675 3397 1 0 3482761 0
[pid=9603/tid=9605] ppid=9600 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/9603/task/9605/stat : 9605 (java) R 9600 9603 5687 0 -1 4202560 8441 0 0 0 28 2 0 0 20 0 15 0 274493872 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797565629392 139797542985063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9606] ppid=9600 vsize=14082736 memory=290763883793350679 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9606/stat : 9606 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797499022096 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9607] ppid=9600 vsize=14082736 memory=15392473874777752 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9607/stat : 9607 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797497969552 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9608] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9608/stat : 9608 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797496917008 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9609] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9609/stat : 9609 (java) S 9600 9603 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493873 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797495864464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9610] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9610/stat : 9610 (java) S 9600 9603 5687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 274493874 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797103368176 139797561432706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9611] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9611/stat : 9611 (java) S 9600 9603 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274493875 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797102314400 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9612] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9612/stat : 9612 (java) S 9600 9603 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274493875 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797101261808 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9613] ppid=9600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9613/stat : 9613 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493877 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797100210384 139797561440155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9614] ppid=9600 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9603/task/9614/stat : 9614 (java) S 9600 9603 5687 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 15 0 274493877 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797099158000 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9615] ppid=9600 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9603/task/9615/stat : 9615 (java) S 9600 9603 5687 0 -1 1077944384 72 0 0 0 2 0 0 0 20 0 15 0 274493877 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797098105456 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9616] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0.07 cores=1,3,5,7
/proc/9603/task/9616/stat : 9616 (java) S 9600 9603 5687 0 -1 1077944384 327 0 0 0 7 0 0 0 20 0 15 0 274493877 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797097052912 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9617] ppid=9600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9617/stat : 9617 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493878 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797096000608 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9618] ppid=9600 vsize=14082736 memory=139841459275392 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9618/stat : 9618 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493878 14420721664 12675 33554432000 4194304 4196468 140734849072672 139797094947120 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50700 KiB

[startup+0.700713 s]
/proc/loadavg: 1.64 1.60 1.45 3/215 9618
/proc/meminfo: memFree=24098820/32770624 swapFree=67108524/67108860
[pid=9603] ppid=9600 vsize=14084804 memory=89100 CPUtime=0.99 cores=1,3,5,7
/proc/9603/stat : 9603 (java) S 9600 9603 5687 0 -1 1077944320 17633 0 0 0 94 5 0 0 20 0 15 0 274493872 14422839296 22275 33554432000 4194304 4196468 140734849072672 140734849055216 139797561421559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
/proc/9603/statm: 3521201 22275 3499 1 0 3483273 0
[pid=9603/tid=9605] ppid=9600 vsize=14084804 memory=1740 CPUtime=0.68 cores=1,3,5,7
/proc/9603/task/9605/stat : 9605 (java) R 9600 9603 5687 0 -1 4202560 14900 0 0 0 64 4 0 0 20 0 15 0 274493872 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797565646704 139797529018256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9606] ppid=9600 vsize=14084804 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9606/stat : 9606 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797499022096 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9607] ppid=9600 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9607/stat : 9607 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797497969552 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9608] ppid=9600 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9608/stat : 9608 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797496917008 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9609] ppid=9600 vsize=14084804 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9609/stat : 9609 (java) S 9600 9603 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493873 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797495864464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9610] ppid=9600 vsize=14084804 memory=6136 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9610/stat : 9610 (java) S 9600 9603 5687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 274493874 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797103368176 139797561432706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9611] ppid=9600 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9611/stat : 9611 (java) S 9600 9603 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274493875 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797102314400 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9612] ppid=9600 vsize=14084804 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9612/stat : 9612 (java) S 9600 9603 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274493875 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797101261808 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9613] ppid=9600 vsize=14084804 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9613/stat : 9613 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493877 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797100210384 139797561440155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9614] ppid=9600 vsize=14084804 memory=7881696724453321575 CPUtime=0.07 cores=1,3,5,7
/proc/9603/task/9614/stat : 9614 (java) S 9600 9603 5687 0 -1 1077944384 713 0 0 0 7 0 0 0 20 0 15 0 274493877 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797099158000 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9615] ppid=9600 vsize=14084804 memory=5787213848606435153 CPUtime=0.07 cores=1,3,5,7
/proc/9603/task/9615/stat : 9615 (java) S 9600 9603 5687 0 -1 1077944384 226 0 0 0 7 0 0 0 20 0 15 0 274493877 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797098105456 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9616] ppid=9600 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/9603/task/9616/stat : 9616 (java) S 9600 9603 5687 0 -1 1077944384 412 0 0 0 14 0 0 0 20 0 15 0 274493877 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797097052912 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9617] ppid=9600 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9617/stat : 9617 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493878 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797096000608 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9618] ppid=9600 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9618/stat : 9618 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493878 14422839296 22275 33554432000 4194304 4196468 140734849072672 139797094947120 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89100 KiB

[startup+1.50077 s]
/proc/loadavg: 1.64 1.60 1.45 5/215 9618
/proc/meminfo: memFree=24058180/32770624 swapFree=67108524/67108860
[pid=9603] ppid=9600 vsize=14088900 memory=205840 CPUtime=3.53 cores=1,3,5,7
/proc/9603/stat : 9603 (java) S 9600 9603 5687 0 -1 1077944320 25370 0 0 0 345 8 0 0 20 0 15 0 274493872 14427033600 51460 33554432000 4194304 4196468 140734849072672 140734849055216 139797561421559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
/proc/9603/statm: 3522225 51460 3550 1 0 3484297 0
[pid=9603/tid=9605] ppid=9600 vsize=14088900 memory=8112282956445269571 CPUtime=1.47 cores=1,3,5,7
/proc/9603/task/9605/stat : 9605 (java) R 9600 9603 5687 0 -1 4202560 17729 0 0 0 141 6 0 0 20 0 15 0 274493872 14427033600 51460 33554432000 4194304 4196468 140734849072672 139797565642416 139797541697230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9606] ppid=9600 vsize=14088900 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9606/stat : 9606 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14427033600 51460 33554432000 4194304 4196468 140734849072672 139797499022096 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9607] ppid=9600 vsize=14088900 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9607/stat : 9607 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14427033600 51460 33554432000 4194304 4196468 140734849072672 139797497969552 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9608] ppid=9600 vsize=14088900 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9608/stat : 9608 (java) S 9600 9603 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493873 14427033600 51460 33554432000 4194304 4196468 140734849072672 139797496917008 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9609] ppid=9600 vsize=14088900 memory=1401637097735671167 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9609/stat : 9609 (java) S 9600 9603 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493873 14427033600 51460 33554432000 4194304 4196468 140734849072672 139797495864464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9610] ppid=9600 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9610/stat : 9610 (java) S 9600 9603 5687 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 15 0 274493874 14427033600 51460 33554432000 4194304 4196468 140734849072672 139797103368176 139797561432706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0

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

/proc/9603/task/9605/stat : 9605 (java) R 9600 9603 5687 0 -1 4202560 28168 0 0 0 16216 7 0 0 20 0 15 0 274493872 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797565657368 139797184702347 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9606] ppid=9600 vsize=14090948 memory=265340 CPUtime=0.02 cores=1,3,5,7
/proc/9603/task/9606/stat : 9606 (java) S 9600 9603 5687 0 -1 1077944384 996 0 0 0 2 0 0 0 20 0 15 0 274493873 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797499022096 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9607] ppid=9600 vsize=14090948 memory=273648 CPUtime=0.02 cores=1,3,5,7
/proc/9603/task/9607/stat : 9607 (java) S 9600 9603 5687 0 -1 1077944384 529 0 0 0 1 1 0 0 20 0 15 0 274493873 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797497969552 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9608] ppid=9600 vsize=14090948 memory=265340 CPUtime=0.01 cores=1,3,5,7
/proc/9603/task/9608/stat : 9608 (java) S 9600 9603 5687 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 274493873 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797496917008 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9609] ppid=9600 vsize=14090948 memory=265340 CPUtime=0.02 cores=1,3,5,7
/proc/9603/task/9609/stat : 9609 (java) S 9600 9603 5687 0 -1 1077944384 458 0 0 0 1 1 0 0 20 0 15 0 274493873 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797495864464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9610] ppid=9600 vsize=14090948 memory=265340 CPUtime=0.01 cores=1,3,5,7
/proc/9603/task/9610/stat : 9610 (java) S 9600 9603 5687 0 -1 1077944384 714 0 0 0 1 0 0 0 20 0 15 0 274493874 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797103368176 139797561432706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9611] ppid=9600 vsize=14090948 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9611/stat : 9611 (java) S 9600 9603 5687 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 274493875 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797102314464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9612] ppid=9600 vsize=14090948 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9612/stat : 9612 (java) S 9600 9603 5687 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 274493875 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797101261824 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9613] ppid=9600 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9613/stat : 9613 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493877 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797100210384 139797561440155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9614] ppid=9600 vsize=14090948 memory=2132 CPUtime=1.87 cores=1,3,5,7
/proc/9603/task/9614/stat : 9614 (java) S 9600 9603 5687 0 -1 1077944384 11234 0 0 0 186 1 0 0 20 0 15 0 274493877 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797099158000 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9615] ppid=9600 vsize=14090948 memory=2180 CPUtime=1.99 cores=1,3,5,7
/proc/9603/task/9615/stat : 9615 (java) S 9600 9603 5687 0 -1 1077944384 12020 0 0 0 198 1 0 0 20 0 15 0 274493877 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797098105456 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9616] ppid=9600 vsize=14090948 memory=265340 CPUtime=0.83 cores=1,3,5,7
/proc/9603/task/9616/stat : 9616 (java) S 9600 9603 5687 0 -1 1077944384 12011 0 0 0 82 1 0 0 20 0 15 0 274493877 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797097052912 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9617] ppid=9600 vsize=14090948 memory=265340 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9617/stat : 9617 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493878 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797096000608 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9618] ppid=9600 vsize=14090948 memory=265340 CPUtime=0.02 cores=1,3,5,7
/proc/9603/task/9618/stat : 9618 (java) S 9600 9603 5687 0 -1 1077944384 311 0 0 0 0 2 0 0 20 0 15 0 274493878 14429130752 68412 33554432000 4194304 4196468 140734849072672 139797094947120 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
Current children cumulated CPU time: 167.12 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 273648 KiB

[startup+222.31 s]
/proc/loadavg: 1.70 1.69 1.52 3/215 9772
/proc/meminfo: memFree=23706416/32770624 swapFree=67108524/67108860
[pid=9603] ppid=9600 vsize=14090948 memory=289668 CPUtime=227.26 cores=1,3,5,7
/proc/9603/stat : 9603 (java) S 9600 9603 5687 0 -1 1077944320 70293 0 0 0 22705 21 0 0 20 0 15 0 274493872 14429130752 72417 33554432000 4194304 4196468 140734849072672 140734849055216 139797561421559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
/proc/9603/statm: 3522737 72417 3586 1 0 3484809 0
[pid=9603/tid=9605] ppid=9600 vsize=14090948 memory=289656 CPUtime=222.18 cores=1,3,5,7
/proc/9603/task/9605/stat : 9605 (java) R 9600 9603 5687 0 -1 4202560 28463 0 0 0 22210 8 0 0 20 0 15 0 274493872 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797565659728 139797184702339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9606] ppid=9600 vsize=14090948 memory=289656 CPUtime=0.07 cores=1,3,5,7
/proc/9603/task/9606/stat : 9606 (java) S 9600 9603 5687 0 -1 1077944384 1241 0 0 0 6 1 0 0 20 0 15 0 274493873 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797499022096 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9607] ppid=9600 vsize=14090948 memory=289656 CPUtime=0.06 cores=1,3,5,7
/proc/9603/task/9607/stat : 9607 (java) S 9600 9603 5687 0 -1 1077944384 1027 0 0 0 5 1 0 0 20 0 15 0 274493873 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797497969552 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9608] ppid=9600 vsize=14090948 memory=289656 CPUtime=0.06 cores=1,3,5,7
/proc/9603/task/9608/stat : 9608 (java) S 9600 9603 5687 0 -1 1077944384 1113 0 0 0 5 1 0 0 20 0 15 0 274493873 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797496917008 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9609] ppid=9600 vsize=14090948 memory=289656 CPUtime=0.06 cores=1,3,5,7
/proc/9603/task/9609/stat : 9609 (java) S 9600 9603 5687 0 -1 1077944384 496 0 0 0 5 1 0 0 20 0 15 0 274493873 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797495864464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9610] ppid=9600 vsize=14090948 memory=2257 CPUtime=0.02 cores=1,3,5,7
/proc/9603/task/9610/stat : 9610 (java) S 9600 9603 5687 0 -1 1077944384 932 0 0 0 2 0 0 0 20 0 15 0 274493874 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797103368176 139797561432706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9611] ppid=9600 vsize=14090948 memory=289520 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9611/stat : 9611 (java) S 9600 9603 5687 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 274493875 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797102314464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9612] ppid=9600 vsize=14090948 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9612/stat : 9612 (java) S 9600 9603 5687 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 274493875 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797101261824 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9613] ppid=9600 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9613/stat : 9613 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493877 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797100210384 139797561440155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9614] ppid=9600 vsize=14090948 memory=289520 CPUtime=1.87 cores=1,3,5,7
/proc/9603/task/9614/stat : 9614 (java) S 9600 9603 5687 0 -1 1077944384 11236 0 0 0 186 1 0 0 20 0 15 0 274493877 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797099158000 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9615] ppid=9600 vsize=14090948 memory=289656 CPUtime=1.99 cores=1,3,5,7
/proc/9603/task/9615/stat : 9615 (java) S 9600 9603 5687 0 -1 1077944384 12022 0 0 0 198 1 0 0 20 0 15 0 274493877 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797098105456 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9616] ppid=9600 vsize=14090948 memory=6876 CPUtime=0.83 cores=1,3,5,7
/proc/9603/task/9616/stat : 9616 (java) S 9600 9603 5687 0 -1 1077944384 12015 0 0 0 82 1 0 0 20 0 15 0 274493877 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797097052912 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9617] ppid=9600 vsize=14090948 memory=289520 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9617/stat : 9617 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493878 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797096000608 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9618] ppid=9600 vsize=14090948 memory=289520 CPUtime=0.04 cores=1,3,5,7
/proc/9603/task/9618/stat : 9618 (java) S 9600 9603 5687 0 -1 1077944384 317 0 0 0 1 3 0 0 20 0 15 0 274493878 14429130752 72417 33554432000 4194304 4196468 140734849072672 139797094947120 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
Current children cumulated CPU time: 227.26 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 289668 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+247.101 s]
/proc/loadavg: 1.89 1.73 1.54 3/215 9772
/proc/meminfo: memFree=23790636/32770624 swapFree=67108524/67108860
[pid=9603] ppid=9600 vsize=14090948 memory=281068 CPUtime=252.08 cores=1,3,5,7
/proc/9603/stat : 9603 (java) S 9600 9603 5687 0 -1 1077944320 70527 0 0 0 25186 22 0 0 20 0 15 0 274493872 14429130752 70267 33554432000 4194304 4196468 140734849072672 140734849055216 139797561421559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
/proc/9603/statm: 3522737 70267 3586 1 0 3484809 0
[pid=9603/tid=9605] ppid=9600 vsize=14090948 memory=281068 CPUtime=246.97 cores=1,3,5,7
/proc/9603/task/9605/stat : 9605 (java) R 9600 9603 5687 0 -1 4202560 28675 0 0 0 24689 8 0 0 20 0 15 0 274493872 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797565659360 139797184702233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9606] ppid=9600 vsize=14090948 memory=281068 CPUtime=0.07 cores=1,3,5,7
/proc/9603/task/9606/stat : 9606 (java) S 9600 9603 5687 0 -1 1077944384 1243 0 0 0 6 1 0 0 20 0 15 0 274493873 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797499022096 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9607] ppid=9600 vsize=14090948 memory=281068 CPUtime=0.06 cores=1,3,5,7
/proc/9603/task/9607/stat : 9607 (java) S 9600 9603 5687 0 -1 1077944384 1027 0 0 0 5 1 0 0 20 0 15 0 274493873 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797497969552 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9608] ppid=9600 vsize=14090948 memory=284144 CPUtime=0.06 cores=1,3,5,7
/proc/9603/task/9608/stat : 9608 (java) S 9600 9603 5687 0 -1 1077944384 1126 0 0 0 5 1 0 0 20 0 15 0 274493873 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797496917008 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9609] ppid=9600 vsize=14090948 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9603/task/9609/stat : 9609 (java) S 9600 9603 5687 0 -1 1077944384 497 0 0 0 5 1 0 0 20 0 15 0 274493873 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797495864464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9610] ppid=9600 vsize=14090948 memory=82557861382932 CPUtime=0.03 cores=1,3,5,7
/proc/9603/task/9610/stat : 9610 (java) S 9600 9603 5687 0 -1 1077944384 936 0 0 0 3 0 0 0 20 0 15 0 274493874 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797103368176 139797561432706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9611] ppid=9600 vsize=14090948 memory=281068 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9611/stat : 9611 (java) S 9600 9603 5687 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 274493875 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797102314464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9612] ppid=9600 vsize=14090948 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9612/stat : 9612 (java) S 9600 9603 5687 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 274493875 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797101261824 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9613] ppid=9600 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9613/stat : 9613 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493877 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797100210384 139797561440155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9614] ppid=9600 vsize=14090948 memory=872 CPUtime=1.87 cores=1,3,5,7
/proc/9603/task/9614/stat : 9614 (java) S 9600 9603 5687 0 -1 1077944384 11236 0 0 0 186 1 0 0 20 0 15 0 274493877 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797099158000 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9615] ppid=9600 vsize=14090948 memory=281068 CPUtime=1.99 cores=1,3,5,7
/proc/9603/task/9615/stat : 9615 (java) S 9600 9603 5687 0 -1 1077944384 12022 0 0 0 198 1 0 0 20 0 15 0 274493877 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797098105456 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9616] ppid=9600 vsize=14090948 memory=15708 CPUtime=0.83 cores=1,3,5,7
/proc/9603/task/9616/stat : 9616 (java) S 9600 9603 5687 0 -1 1077944384 12015 0 0 0 82 1 0 0 20 0 15 0 274493877 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797097052912 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9617] ppid=9600 vsize=14090948 memory=281068 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9617/stat : 9617 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493878 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797096000608 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9618] ppid=9600 vsize=14090948 memory=281068 CPUtime=0.04 cores=1,3,5,7
/proc/9603/task/9618/stat : 9618 (java) S 9600 9603 5687 0 -1 1077944384 319 0 0 0 1 3 0 0 20 0 15 0 274493878 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797094947120 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 281068 KiB

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

[startup+247.118 s]
# the end of solver process 9603 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.874 s, system=0.2311 s

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

[startup+247.101 s]
/proc/loadavg: 1.89 1.73 1.54 3/215 9772
/proc/meminfo: memFree=23790636/32770624 swapFree=67108524/67108860
[pid=9603] ppid=9600 vsize=14090948 memory=281068 CPUtime=252.08 cores=1,3,5,7
/proc/9603/stat : 9603 (java) S 9600 9603 5687 0 -1 1077944320 70527 0 0 0 25186 22 0 0 20 0 15 0 274493872 14429130752 70267 33554432000 4194304 4196468 140734849072672 140734849055216 139797561421559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
/proc/9603/statm: 3522737 70267 3586 1 0 3484809 0
[pid=9603/tid=9605] ppid=9600 vsize=14090948 memory=281068 CPUtime=246.97 cores=1,3,5,7
/proc/9603/task/9605/stat : 9605 (java) R 9600 9603 5687 0 -1 4202560 28675 0 0 0 24689 8 0 0 20 0 15 0 274493872 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797565659360 139797184702233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9606] ppid=9600 vsize=14090948 memory=281068 CPUtime=0.07 cores=1,3,5,7
/proc/9603/task/9606/stat : 9606 (java) S 9600 9603 5687 0 -1 1077944384 1243 0 0 0 6 1 0 0 20 0 15 0 274493873 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797499022096 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9607] ppid=9600 vsize=14090948 memory=281068 CPUtime=0.06 cores=1,3,5,7
/proc/9603/task/9607/stat : 9607 (java) S 9600 9603 5687 0 -1 1077944384 1027 0 0 0 5 1 0 0 20 0 15 0 274493873 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797497969552 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9608] ppid=9600 vsize=14090948 memory=284144 CPUtime=0.06 cores=1,3,5,7
/proc/9603/task/9608/stat : 9608 (java) S 9600 9603 5687 0 -1 1077944384 1126 0 0 0 5 1 0 0 20 0 15 0 274493873 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797496917008 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9609] ppid=9600 vsize=14090948 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9603/task/9609/stat : 9609 (java) S 9600 9603 5687 0 -1 1077944384 497 0 0 0 5 1 0 0 20 0 15 0 274493873 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797495864464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9610] ppid=9600 vsize=14090948 memory=82557861382932 CPUtime=0.03 cores=1,3,5,7
/proc/9603/task/9610/stat : 9610 (java) S 9600 9603 5687 0 -1 1077944384 936 0 0 0 3 0 0 0 20 0 15 0 274493874 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797103368176 139797561432706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9611] ppid=9600 vsize=14090948 memory=281068 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9611/stat : 9611 (java) S 9600 9603 5687 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 274493875 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797102314464 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9612] ppid=9600 vsize=14090948 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9612/stat : 9612 (java) S 9600 9603 5687 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 274493875 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797101261824 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9613] ppid=9600 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9613/stat : 9613 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493877 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797100210384 139797561440155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9614] ppid=9600 vsize=14090948 memory=872 CPUtime=1.87 cores=1,3,5,7
/proc/9603/task/9614/stat : 9614 (java) S 9600 9603 5687 0 -1 1077944384 11236 0 0 0 186 1 0 0 20 0 15 0 274493877 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797099158000 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9615] ppid=9600 vsize=14090948 memory=281068 CPUtime=1.99 cores=1,3,5,7
/proc/9603/task/9615/stat : 9615 (java) S 9600 9603 5687 0 -1 1077944384 12022 0 0 0 198 1 0 0 20 0 15 0 274493877 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797098105456 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9616] ppid=9600 vsize=14090948 memory=15708 CPUtime=0.83 cores=1,3,5,7
/proc/9603/task/9616/stat : 9616 (java) S 9600 9603 5687 0 -1 1077944384 12015 0 0 0 82 1 0 0 20 0 15 0 274493877 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797097052912 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9617] ppid=9600 vsize=14090948 memory=281068 CPUtime=0 cores=1,3,5,7
/proc/9603/task/9617/stat : 9617 (java) S 9600 9603 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493878 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797096000608 139797561431765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
[pid=9603/tid=9618] ppid=9600 vsize=14090948 memory=281068 CPUtime=0.04 cores=1,3,5,7
/proc/9603/task/9618/stat : 9618 (java) S 9600 9603 5687 0 -1 1077944384 319 0 0 0 1 3 0 0 20 0 15 0 274493878 14429130752 70267 33554432000 4194304 4196468 140734849072672 139797094947120 139797561432706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 17809408 140734849078351 140734849078542 140734849078542 140734849081295 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 281068 KiB

Child status: 143
Real time (s): 247.118
CPU time (s): 252.105
CPU user time (s): 251.874
CPU system time (s): 0.2311
CPU usage (%): 102.018
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 289668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.874
system time used= 0.2311
maximum resident set size= 289788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8429
involuntary context switches= 168


# summary of solver processes directly reported to runsolver:
#   pid: 9603
#   total CPU time (s): 252.105
#   total CPU user time (s): 251.874
#   total CPU system time (s): 0.2311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33284 second user time and 2.10255 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml
MD5SUM	631d96c8d55ed895f005166b86b2772f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	16
Best CPU time to get the best result obtained on this benchmark	251.992
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2760
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":8},{"size":36,"count":182},{"size":44,"count":208}]
Minimum variable degree	4
Maximum variable degree	62
Distribution of variable degrees	[{"degree":4,"count":16},{"degree":5,"count":11},{"degree":6,"count":28},{"degree":7,"count":18},{"degree":8,"count":30},{"degree":9,"count":5},{"degree":10,"count":40},{"degree":11,"count":25},{"degree":12,"count":20},{"degree":13,"count":11},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":20},{"degree":17,"count":7},{"degree":18,"count":26},{"degree":19,"count":7},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":5},{"degree":26,"count":9},{"degree":27,"count":4},{"degree":28,"count":2},{"degree":29,"count":4},{"degree":30,"count":2},{"degree":31,"count":4},{"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":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2760}]
Number of extensional constraints	0
Number of intensional constraints	2760
Distribution of constraint types	[{"type":"intension","count":2760}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4312391

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
