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-07-02	SAT (TO)	792	2400.09	2380.91
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 (7153 MiB free)
  memory of node 1: 16384 MiB (12561 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291894-1532275457/watcher-4291894-1532275457 -o /tmp/evaluation-result-4291894-1532275457/solver-4291894-1532275457 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532270698-13415 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 794726543 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291894-1532275457.xml 

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

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

solver pid=13888, runsolver pid=13885

[startup+0.100172 s]*
/proc/loadavg: 1.38 1.36 1.40 3/220 13903
/proc/meminfo: memFree=20169424/32770624 swapFree=67108860/67108860
[pid=13888] ppid=13885 vsize=14082740 memory=31976 CPUtime=0.12 cores=0,2,4,6
/proc/13888/stat : 13888 (java) S 13885 13888 2672 0 -1 1077944320 6401 0 0 0 11 1 0 0 20 0 15 0 45108890 14420725760 7994 33554432000 4194304 4196468 140728039310000 140728039292544 140320835964663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
/proc/13888/statm: 3520685 7994 3133 1 0 3482761 0
[pid=13888/tid=13890] ppid=13885 vsize=14082740 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/13888/task/13890/stat : 13890 (java) R 13885 13888 2672 0 -1 4202560 4447 0 0 0 9 0 0 0 20 0 15 0 45108891 14420725760 7994 33554432000 4194304 4196468 140728039310000 140320840188688 140320835986589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13891] ppid=13885 vsize=14082740 memory=5793855306339477945 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13891/stat : 13891 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 7994 33554432000 4194304 4196468 140728039310000 140320751033488 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13892] ppid=13885 vsize=14082740 memory=140055329584768 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13892/stat : 13892 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 7994 33554432000 4194304 4196468 140728039310000 140320749980688 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13893] ppid=13885 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13893/stat : 13893 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 7994 33554432000 4194304 4196468 140728039310000 140320748927888 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13894] ppid=13885 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13894/stat : 13894 (java) S 13885 13888 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 7994 33554432000 4194304 4196468 140728039310000 140320747875088 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13895] ppid=13885 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13895/stat : 13895 (java) S 13885 13888 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108893 14420725760 7994 33554432000 4194304 4196468 140728039310000 140319747979632 140320835975810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13896] ppid=13885 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13896/stat : 13896 (java) S 13885 13888 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45108893 14420725760 7994 33554432000 4194304 4196468 140728039310000 140319746925600 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13897] ppid=13885 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13897/stat : 13897 (java) S 13885 13888 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45108894 14420725760 7994 33554432000 4194304 4196468 140728039310000 140319745872752 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13898] ppid=13885 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13898/stat : 13898 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 7994 33554432000 4194304 4196468 140728039310000 140319744821072 140320835983259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13899] ppid=13885 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13899/stat : 13899 (java) S 13885 13888 2672 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 7994 33554432000 4194304 4196468 140728039310000 140319743769456 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13900] ppid=13885 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13900/stat : 13900 (java) S 13885 13888 2672 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 7994 33554432000 4194304 4196468 140728039310000 140319742716656 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13901] ppid=13885 vsize=14082740 memory=140055329584768 CPUtime=0.01 cores=0,2,4,6
/proc/13888/task/13901/stat : 13901 (java) S 13885 13888 2672 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 45108896 14420725760 7994 33554432000 4194304 4196468 140728039310000 140319741663856 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13902] ppid=13885 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13902/stat : 13902 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 7994 33554432000 4194304 4196468 140728039310000 140319740611296 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13903] ppid=13885 vsize=14082740 memory=140055329584768 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13903/stat : 13903 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 8059 33554432000 4194304 4196468 140728039310000 140319739558576 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31976 KiB

[startup+0.211441 s]*
/proc/loadavg: 1.38 1.36 1.40 7/220 13903
/proc/meminfo: memFree=20154664/32770624 swapFree=67108860/67108860
[pid=13888] ppid=13885 vsize=14082740 memory=47764 CPUtime=0.31 cores=0,2,4,6
/proc/13888/stat : 13888 (java) S 13885 13888 2672 0 -1 1077944320 10061 0 0 0 29 2 0 0 20 0 15 0 45108890 14420725760 11941 33554432000 4194304 4196468 140728039310000 140728039292544 140320835964663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
/proc/13888/statm: 3520685 11941 3360 1 0 3482761 0
[pid=13888/tid=13890] ppid=13885 vsize=14082740 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/13888/task/13890/stat : 13890 (java) R 13885 13888 2672 0 -1 4202560 7763 0 0 0 19 1 0 0 20 0 15 0 45108891 14420725760 11941 33554432000 4194304 4196468 140728039310000 140320840193984 140320835986010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13891] ppid=13885 vsize=14082740 memory=4211973781534375306 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13891/stat : 13891 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 11941 33554432000 4194304 4196468 140728039310000 140320751033488 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13892] ppid=13885 vsize=14082740 memory=140055329584768 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13892/stat : 13892 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 11941 33554432000 4194304 4196468 140728039310000 140320749980688 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13893] ppid=13885 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13893/stat : 13893 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 11941 33554432000 4194304 4196468 140728039310000 140320748927888 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13894] ppid=13885 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13894/stat : 13894 (java) S 13885 13888 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 11941 33554432000 4194304 4196468 140728039310000 140320747875088 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13895] ppid=13885 vsize=14082740 memory=140055329584768 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13895/stat : 13895 (java) S 13885 13888 2672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45108893 14420725760 11941 33554432000 4194304 4196468 140728039310000 140319747979632 140320835975810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13896] ppid=13885 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13896/stat : 13896 (java) S 13885 13888 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45108893 14420725760 11941 33554432000 4194304 4196468 140728039310000 140319746925600 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13897] ppid=13885 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13897/stat : 13897 (java) S 13885 13888 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45108894 14420725760 11941 33554432000 4194304 4196468 140728039310000 140319745872752 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13898] ppid=13885 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13898/stat : 13898 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 11941 33554432000 4194304 4196468 140728039310000 140319744821072 140320835983259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13899] ppid=13885 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13888/task/13899/stat : 13899 (java) S 13885 13888 2672 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 15 0 45108896 14420725760 11941 33554432000 4194304 4196468 140728039310000 140319743769456 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13900] ppid=13885 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13888/task/13900/stat : 13900 (java) S 13885 13888 2672 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 45108896 14420725760 11941 33554432000 4194304 4196468 140728039310000 140319742716656 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13901] ppid=13885 vsize=14082740 memory=140055329584768 CPUtime=0.06 cores=0,2,4,6
/proc/13888/task/13901/stat : 13901 (java) R 13885 13888 2672 0 -1 4202560 310 0 0 0 6 0 0 0 20 0 15 0 45108896 14420725760 11941 33554432000 4194304 4196468 140728039310000 140319741663856 140320835986010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13902] ppid=13885 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13902/stat : 13902 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 11941 33554432000 4194304 4196468 140728039310000 140319740611296 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13903] ppid=13885 vsize=14082740 memory=140055329584768 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13903/stat : 13903 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 11941 33554432000 4194304 4196468 140728039310000 140319739558576 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47764 KiB

[startup+0.310797 s]*
/proc/loadavg: 1.38 1.36 1.40 3/220 13903
/proc/meminfo: memFree=20151144/32770624 swapFree=67108860/67108860
[pid=13888] ppid=13885 vsize=14082740 memory=51092 CPUtime=0.44 cores=0,2,4,6
/proc/13888/stat : 13888 (java) S 13885 13888 2672 0 -1 1077944320 10416 0 0 0 42 2 0 0 20 0 15 0 45108890 14420725760 12773 33554432000 4194304 4196468 140728039310000 140728039292544 140320835964663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
/proc/13888/statm: 3520685 12773 3363 1 0 3482761 0
[pid=13888/tid=13890] ppid=13885 vsize=14082740 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/13888/task/13890/stat : 13890 (java) R 13885 13888 2672 0 -1 4202560 8095 0 0 0 28 1 0 0 20 0 15 0 45108891 14420725760 12773 33554432000 4194304 4196468 140728039310000 140320840144672 140320817528196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13891] ppid=13885 vsize=14082740 memory=4211973781534375306 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13891/stat : 13891 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 12773 33554432000 4194304 4196468 140728039310000 140320751033488 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13892] ppid=13885 vsize=14082740 memory=280110522231168 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13892/stat : 13892 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 12773 33554432000 4194304 4196468 140728039310000 140320749980688 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13893] ppid=13885 vsize=14082740 memory=280110385320448 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13893/stat : 13893 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 12773 33554432000 4194304 4196468 140728039310000 140320748927888 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13894] ppid=13885 vsize=14082740 memory=140055192646415 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13894/stat : 13894 (java) S 13885 13888 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108892 14420725760 12773 33554432000 4194304 4196468 140728039310000 140320747875088 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13895] ppid=13885 vsize=14082740 memory=280110522238080 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13895/stat : 13895 (java) S 13885 13888 2672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45108893 14420725760 12773 33554432000 4194304 4196468 140728039310000 140319747979632 140320835975810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13896] ppid=13885 vsize=14082740 memory=140055192651023 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13896/stat : 13896 (java) S 13885 13888 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45108893 14420725760 12773 33554432000 4194304 4196468 140728039310000 140319746925600 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13897] ppid=13885 vsize=14082740 memory=140055192666744 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13897/stat : 13897 (java) S 13885 13888 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45108894 14420725760 12773 33554432000 4194304 4196468 140728039310000 140319745872752 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13898] ppid=13885 vsize=14082740 memory=140055192669331 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13898/stat : 13898 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 12773 33554432000 4194304 4196468 140728039310000 140319744821072 140320835983259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13899] ppid=13885 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13888/task/13899/stat : 13899 (java) S 13885 13888 2672 0 -1 1077944384 186 0 0 0 2 0 0 0 20 0 15 0 45108896 14420725760 12773 33554432000 4194304 4196468 140728039310000 140319743769456 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13900] ppid=13885 vsize=14082740 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/13888/task/13900/stat : 13900 (java) S 13885 13888 2672 0 -1 1077944384 434 0 0 0 3 0 0 0 20 0 15 0 45108896 14420725760 12773 33554432000 4194304 4196468 140728039310000 140319742716656 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13901] ppid=13885 vsize=14082740 memory=140055329584768 CPUtime=0.08 cores=0,2,4,6
/proc/13888/task/13901/stat : 13901 (java) S 13885 13888 2672 0 -1 1077944384 319 0 0 0 8 0 0 0 20 0 15 0 45108896 14420725760 12773 33554432000 4194304 4196468 140728039310000 140319741663856 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13902] ppid=13885 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13902/stat : 13902 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 12773 33554432000 4194304 4196468 140728039310000 140319740611296 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13903] ppid=13885 vsize=14082740 memory=140055329616744 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13903/stat : 13903 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108896 14420725760 12773 33554432000 4194304 4196468 140728039310000 140319739558576 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 51092 KiB

[startup+0.70079 s]
/proc/loadavg: 1.38 1.36 1.40 3/220 13903
/proc/meminfo: memFree=20127084/32770624 swapFree=67108860/67108860
[pid=13888] ppid=13885 vsize=14084808 memory=88768 CPUtime=0.97 cores=0,2,4,6
/proc/13888/stat : 13888 (java) S 13885 13888 2672 0 -1 1077944320 17074 0 0 0 93 4 0 0 20 0 15 0 45108890 14422843392 22192 33554432000 4194304 4196468 140728039310000 140728039292544 140320835964663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
/proc/13888/statm: 3521202 22192 3501 1 0 3483273 0
[pid=13888/tid=13890] ppid=13885 vsize=14084808 memory=56 CPUtime=0.68 cores=0,2,4,6
/proc/13888/task/13890/stat : 13890 (java) R 13885 13888 2672 0 -1 4202560 14437 0 0 0 65 3 0 0 20 0 15 0 45108891 14422843392 22192 33554432000 4194304 4196468 140728039310000 140320840186728 140320803557162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13891] ppid=13885 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13891/stat : 13891 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14422843392 22192 33554432000 4194304 4196468 140728039310000 140320751033488 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13892] ppid=13885 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13892/stat : 13892 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14422843392 22192 33554432000 4194304 4196468 140728039310000 140320749980688 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13893] ppid=13885 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13893/stat : 13893 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14422843392 22192 33554432000 4194304 4196468 140728039310000 140320748927888 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13894] ppid=13885 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13894/stat : 13894 (java) S 13885 13888 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108892 14422843392 22192 33554432000 4194304 4196468 140728039310000 140320747875088 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13895] ppid=13885 vsize=14084808 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13895/stat : 13895 (java) S 13885 13888 2672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45108893 14422843392 22192 33554432000 4194304 4196468 140728039310000 140319747979632 140320835975810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13896] ppid=13885 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13896/stat : 13896 (java) S 13885 13888 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45108893 14422843392 22192 33554432000 4194304 4196468 140728039310000 140319746925600 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13897] ppid=13885 vsize=14084808 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13897/stat : 13897 (java) S 13885 13888 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45108894 14422843392 22192 33554432000 4194304 4196468 140728039310000 140319745872752 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13898] ppid=13885 vsize=14084808 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13898/stat : 13898 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14422843392 22192 33554432000 4194304 4196468 140728039310000 140319744821072 140320835983259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13899] ppid=13885 vsize=14084808 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/13888/task/13899/stat : 13899 (java) S 13885 13888 2672 0 -1 1077944384 377 0 0 0 7 0 0 0 20 0 15 0 45108896 14422843392 22192 33554432000 4194304 4196468 140728039310000 140319743769456 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13900] ppid=13885 vsize=14084808 memory=11956 CPUtime=0.06 cores=0,2,4,6
/proc/13888/task/13900/stat : 13900 (java) S 13885 13888 2672 0 -1 1077944384 495 0 0 0 6 0 0 0 20 0 15 0 45108896 14422843392 22192 33554432000 4194304 4196468 140728039310000 140319742716656 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13901] ppid=13885 vsize=14084808 memory=1008 CPUtime=0.15 cores=0,2,4,6
/proc/13888/task/13901/stat : 13901 (java) S 13885 13888 2672 0 -1 1077944384 383 0 0 0 15 0 0 0 20 0 15 0 45108896 14422843392 22192 33554432000 4194304 4196468 140728039310000 140319741663856 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13902] ppid=13885 vsize=14084808 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13902/stat : 13902 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14422843392 22192 33554432000 4194304 4196468 140728039310000 140319740611296 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13903] ppid=13885 vsize=14084808 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13903/stat : 13903 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108896 14422843392 22192 33554432000 4194304 4196468 140728039310000 140319739558576 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88768 KiB

[startup+1.50069 s]
/proc/loadavg: 1.38 1.36 1.40 5/220 13903
/proc/meminfo: memFree=20086328/32770624 swapFree=67108860/67108860
[pid=13888] ppid=13885 vsize=14088904 memory=193788 CPUtime=3.51 cores=0,2,4,6
/proc/13888/stat : 13888 (java) S 13885 13888 2672 0 -1 1077944320 22624 0 0 0 344 7 0 0 20 0 15 0 45108890 14427037696 48447 33554432000 4194304 4196468 140728039310000 140728039292544 140320835964663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
/proc/13888/statm: 3522226 48447 3548 1 0 3484297 0
[pid=13888/tid=13890] ppid=13885 vsize=14088904 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/13888/task/13890/stat : 13890 (java) R 13885 13888 2672 0 -1 4202560 16218 0 0 0 142 5 0 0 20 0 15 0 45108891 14427037696 48447 33554432000 4194304 4196468 140728039310000 140320840199776 140320821130208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13891] ppid=13885 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13891/stat : 13891 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14427037696 48447 33554432000 4194304 4196468 140728039310000 140320751033488 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13892] ppid=13885 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13892/stat : 13892 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14427037696 48447 33554432000 4194304 4196468 140728039310000 140320749980688 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13893] ppid=13885 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13893/stat : 13893 (java) S 13885 13888 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108892 14427037696 48447 33554432000 4194304 4196468 140728039310000 140320748927888 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13894] ppid=13885 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13894/stat : 13894 (java) S 13885 13888 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108892 14427037696 48447 33554432000 4194304 4196468 140728039310000 140320747875088 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13895] ppid=13885 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13895/stat : 13895 (java) S 13885 13888 2672 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 45108893 14427037696 48447 33554432000 4194304 4196468 140728039310000 140319747979632 140320835975810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0

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

/proc/13888/task/13890/stat : 13890 (java) R 13885 13888 2672 0 -1 4202560 35631 0 0 0 225117 16 0 0 20 0 15 0 45108891 14429134848 82292 33554432000 4194304 4196468 140728039310000 140320840202992 140320433783751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13891] ppid=13885 vsize=14090952 memory=325072 CPUtime=4.81 cores=0,2,4,6
/proc/13888/task/13891/stat : 13891 (java) S 13885 13888 2672 0 -1 1077944384 4548 0 0 0 453 28 0 0 20 0 15 0 45108892 14429134848 82292 33554432000 4194304 4196468 140728039310000 140320751033488 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13892] ppid=13885 vsize=14090952 memory=0 CPUtime=4.79 cores=0,2,4,6
/proc/13888/task/13892/stat : 13892 (java) S 13885 13888 2672 0 -1 1077944384 6323 0 0 0 450 29 0 0 20 0 15 0 45108892 14429134848 82292 33554432000 4194304 4196468 140728039310000 140320749980688 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13893] ppid=13885 vsize=14090952 memory=280110386202368 CPUtime=4.79 cores=0,2,4,6
/proc/13888/task/13893/stat : 13893 (java) S 13885 13888 2672 0 -1 1077944384 3393 0 0 0 449 30 0 0 20 0 15 0 45108892 14429134848 82292 33554432000 4194304 4196468 140728039310000 140320748927888 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13894] ppid=13885 vsize=14090952 memory=329168 CPUtime=4.79 cores=0,2,4,6
/proc/13888/task/13894/stat : 13894 (java) S 13885 13888 2672 0 -1 1077944384 4225 0 0 0 449 30 0 0 20 0 15 0 45108892 14429134848 82292 33554432000 4194304 4196468 140728039310000 140320747875088 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13895] ppid=13885 vsize=14090952 memory=329168 CPUtime=3.91 cores=0,2,4,6
/proc/13888/task/13895/stat : 13895 (java) S 13885 13888 2672 0 -1 1077944384 4832 0 0 0 364 27 0 0 20 0 15 0 45108893 14429134848 82292 33554432000 4194304 4196468 140728039310000 140319747979632 140320835975810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13896] ppid=13885 vsize=14090952 memory=329168 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13896/stat : 13896 (java) S 13885 13888 2672 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 45108893 14429134848 82292 33554432000 4194304 4196468 140728039310000 140319746925664 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13897] ppid=13885 vsize=14090952 memory=329168 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13897/stat : 13897 (java) S 13885 13888 2672 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45108894 14429134848 82292 33554432000 4194304 4196468 140728039310000 140319745872768 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13898] ppid=13885 vsize=14090952 memory=329168 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13898/stat : 13898 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14429134848 82292 33554432000 4194304 4196468 140728039310000 140319744821072 140320835983259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13899] ppid=13885 vsize=14090952 memory=329168 CPUtime=2.24 cores=0,2,4,6
/proc/13888/task/13899/stat : 13899 (java) S 13885 13888 2672 0 -1 1077944384 10611 0 0 0 222 2 0 0 20 0 15 0 45108896 14429134848 82292 33554432000 4194304 4196468 140728039310000 140319743769456 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13900] ppid=13885 vsize=14090952 memory=329168 CPUtime=2.1 cores=0,2,4,6
/proc/13888/task/13900/stat : 13900 (java) S 13885 13888 2672 0 -1 1077944384 11998 0 0 0 209 1 0 0 20 0 15 0 45108896 14429134848 82292 33554432000 4194304 4196468 140728039310000 140319742716656 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13901] ppid=13885 vsize=14090952 memory=329168 CPUtime=0.89 cores=0,2,4,6
/proc/13888/task/13901/stat : 13901 (java) S 13885 13888 2672 0 -1 1077944384 8157 0 0 0 88 1 0 0 20 0 15 0 45108896 14429134848 82292 33554432000 4194304 4196468 140728039310000 140319741663856 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13902] ppid=13885 vsize=14090952 memory=329168 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13902/stat : 13902 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14429134848 82292 33554432000 4194304 4196468 140728039310000 140319740611296 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13903] ppid=13885 vsize=14090952 memory=15404 CPUtime=0.96 cores=0,2,4,6
/proc/13888/task/13903/stat : 13903 (java) S 13885 13888 2672 0 -1 1077944384 903 0 0 0 47 49 0 0 20 0 15 0 45108896 14429134848 82292 33554432000 4194304 4196468 140728039310000 140319739558576 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
Current children cumulated CPU time: 2280.71 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 329168 KiB

[startup+2322.3 s]
/proc/loadavg: 1.45 1.41 1.35 3/219 14057
/proc/meminfo: memFree=19580168/32770624 swapFree=67108860/67108860
[pid=13888] ppid=13885 vsize=14090952 memory=333264 CPUtime=2341.08 cores=0,2,4,6
/proc/13888/stat : 13888 (java) S 13885 13888 2672 0 -1 1077944320 93219 0 0 0 233928 180 0 0 20 0 15 0 45108890 14429134848 83316 33554432000 4194304 4196468 140728039310000 140728039292544 140320835964663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
/proc/13888/statm: 3522738 83316 3583 1 0 3484809 0
[pid=13888/tid=13890] ppid=13885 vsize=14090952 memory=331216 CPUtime=2311.06 cores=0,2,4,6
/proc/13888/task/13890/stat : 13890 (java) R 13885 13888 2672 0 -1 4202560 36069 0 0 0 231090 16 0 0 20 0 15 0 45108891 14429134848 83316 33554432000 4194304 4196468 140728039310000 140320840202832 140320426009588 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13891] ppid=13885 vsize=14090952 memory=331216 CPUtime=4.94 cores=0,2,4,6
/proc/13888/task/13891/stat : 13891 (java) S 13885 13888 2672 0 -1 1077944384 4741 0 0 0 466 28 0 0 20 0 15 0 45108892 14429134848 83316 33554432000 4194304 4196468 140728039310000 140320751033488 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13892] ppid=13885 vsize=14090952 memory=331216 CPUtime=4.92 cores=0,2,4,6
/proc/13888/task/13892/stat : 13892 (java) S 13885 13888 2672 0 -1 1077944384 6496 0 0 0 463 29 0 0 20 0 15 0 45108892 14429134848 83316 33554432000 4194304 4196468 140728039310000 140320749980688 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13893] ppid=13885 vsize=14090952 memory=331216 CPUtime=4.92 cores=0,2,4,6
/proc/13888/task/13893/stat : 13893 (java) S 13885 13888 2672 0 -1 1077944384 3450 0 0 0 461 31 0 0 20 0 15 0 45108892 14429134848 83316 33554432000 4194304 4196468 140728039310000 140320748927888 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13894] ppid=13885 vsize=14090952 memory=331216 CPUtime=4.92 cores=0,2,4,6
/proc/13888/task/13894/stat : 13894 (java) S 13885 13888 2672 0 -1 1077944384 4331 0 0 0 462 30 0 0 20 0 15 0 45108892 14429134848 83316 33554432000 4194304 4196468 140728039310000 140320747875088 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13895] ppid=13885 vsize=14090952 memory=333264 CPUtime=3.99 cores=0,2,4,6
/proc/13888/task/13895/stat : 13895 (java) S 13885 13888 2672 0 -1 1077944384 5006 0 0 0 372 27 0 0 20 0 15 0 45108893 14429134848 83316 33554432000 4194304 4196468 140728039310000 140319747979632 140320835975810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13896] ppid=13885 vsize=14090952 memory=333264 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13896/stat : 13896 (java) S 13885 13888 2672 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 45108893 14429134848 83316 33554432000 4194304 4196468 140728039310000 140319746925664 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13897] ppid=13885 vsize=14090952 memory=333264 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13897/stat : 13897 (java) S 13885 13888 2672 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45108894 14429134848 83316 33554432000 4194304 4196468 140728039310000 140319745872768 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13898] ppid=13885 vsize=14090952 memory=331216 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13898/stat : 13898 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14429134848 83316 33554432000 4194304 4196468 140728039310000 140319744821072 140320835983259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13899] ppid=13885 vsize=14090952 memory=333264 CPUtime=2.24 cores=0,2,4,6
/proc/13888/task/13899/stat : 13899 (java) S 13885 13888 2672 0 -1 1077944384 10613 0 0 0 222 2 0 0 20 0 15 0 45108896 14429134848 83316 33554432000 4194304 4196468 140728039310000 140319743769456 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13900] ppid=13885 vsize=14090952 memory=4132 CPUtime=2.1 cores=0,2,4,6
/proc/13888/task/13900/stat : 13900 (java) S 13885 13888 2672 0 -1 1077944384 12000 0 0 0 209 1 0 0 20 0 15 0 45108896 14429134848 83316 33554432000 4194304 4196468 140728039310000 140319742716656 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13901] ppid=13885 vsize=14090952 memory=333264 CPUtime=0.89 cores=0,2,4,6
/proc/13888/task/13901/stat : 13901 (java) S 13885 13888 2672 0 -1 1077944384 8159 0 0 0 88 1 0 0 20 0 15 0 45108896 14429134848 83316 33554432000 4194304 4196468 140728039310000 140319741663856 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13902] ppid=13885 vsize=14090952 memory=333264 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13902/stat : 13902 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14429134848 83316 33554432000 4194304 4196468 140728039310000 140319740611296 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13903] ppid=13885 vsize=14090952 memory=4132 CPUtime=0.98 cores=0,2,4,6
/proc/13888/task/13903/stat : 13903 (java) S 13885 13888 2672 0 -1 1077944384 921 0 0 0 48 50 0 0 20 0 15 0 45108896 14429134848 83316 33554432000 4194304 4196468 140728039310000 140319739558576 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
Current children cumulated CPU time: 2341.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 333264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2380.9 s]
/proc/loadavg: 1.44 1.42 1.36 3/220 14136
/proc/meminfo: memFree=19915748/32770624 swapFree=67108860/67108860
[pid=13888] ppid=13885 vsize=14090952 memory=335312 CPUtime=2400.06 cores=0,2,4,6
/proc/13888/stat : 13888 (java) S 13885 13888 2672 0 -1 1077944320 93872 0 0 0 239822 184 0 0 20 0 15 0 45108890 14429134848 83828 33554432000 4194304 4196468 140728039310000 140728039292544 140320835964663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
/proc/13888/statm: 3522738 83828 3583 1 0 3484809 0
[pid=13888/tid=13890] ppid=13885 vsize=14090952 memory=335312 CPUtime=2369.38 cores=0,2,4,6
/proc/13888/task/13890/stat : 13890 (java) R 13885 13888 2672 0 -1 4202560 36447 0 0 0 236922 16 0 0 20 0 15 0 45108891 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320840202928 140320434318258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13891] ppid=13885 vsize=14090952 memory=335312 CPUtime=5.09 cores=0,2,4,6
/proc/13888/task/13891/stat : 13891 (java) S 13885 13888 2672 0 -1 1077944384 4765 0 0 0 480 29 0 0 20 0 15 0 45108892 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320751033488 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13892] ppid=13885 vsize=14090952 memory=335312 CPUtime=5.06 cores=0,2,4,6
/proc/13888/task/13892/stat : 13892 (java) S 13885 13888 2672 0 -1 1077944384 6596 0 0 0 476 30 0 0 20 0 15 0 45108892 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320749980688 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13893] ppid=13885 vsize=14090952 memory=333264 CPUtime=5.06 cores=0,2,4,6
/proc/13888/task/13893/stat : 13893 (java) S 13885 13888 2672 0 -1 1077944384 3508 0 0 0 474 32 0 0 20 0 15 0 45108892 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320748927888 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13894] ppid=13885 vsize=14090952 memory=335312 CPUtime=5.05 cores=0,2,4,6
/proc/13888/task/13894/stat : 13894 (java) S 13885 13888 2672 0 -1 1077944384 4391 0 0 0 474 31 0 0 20 0 15 0 45108892 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320747875088 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13895] ppid=13885 vsize=14090952 memory=335312 CPUtime=4.09 cores=0,2,4,6
/proc/13888/task/13895/stat : 13895 (java) S 13885 13888 2672 0 -1 1077944384 5027 0 0 0 381 28 0 0 20 0 15 0 45108893 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319747979632 140320835975810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13896] ppid=13885 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13896/stat : 13896 (java) S 13885 13888 2672 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 45108893 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319746925664 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13897] ppid=13885 vsize=14090952 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13897/stat : 13897 (java) S 13885 13888 2672 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45108894 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319745872768 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13898] ppid=13885 vsize=14090952 memory=335312 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13898/stat : 13898 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319744821072 140320835983259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13899] ppid=13885 vsize=14090952 memory=335312 CPUtime=2.24 cores=0,2,4,6
/proc/13888/task/13899/stat : 13899 (java) S 13885 13888 2672 0 -1 1077944384 10615 0 0 0 222 2 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319743769456 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13900] ppid=13885 vsize=14090952 memory=331216 CPUtime=2.11 cores=0,2,4,6
/proc/13888/task/13900/stat : 13900 (java) S 13885 13888 2672 0 -1 1077944384 12002 0 0 0 209 2 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319742716656 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13901] ppid=13885 vsize=14090952 memory=480 CPUtime=0.89 cores=0,2,4,6
/proc/13888/task/13901/stat : 13901 (java) S 13885 13888 2672 0 -1 1077944384 8161 0 0 0 88 1 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319741663856 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13902] ppid=13885 vsize=14090952 memory=333264 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13902/stat : 13902 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319740611296 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13903] ppid=13885 vsize=14090952 memory=333264 CPUtime=1 cores=0,2,4,6
/proc/13888/task/13903/stat : 13903 (java) S 13885 13888 2672 0 -1 1077944384 927 0 0 0 49 51 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319739558576 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 335312 KiB

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

[startup+2380.91 s]
# the end of solver process 13888 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.24 s, system=1.8523 s

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

[startup+2380.9 s]
/proc/loadavg: 1.44 1.42 1.36 3/220 14136
/proc/meminfo: memFree=19915748/32770624 swapFree=67108860/67108860
[pid=13888] ppid=13885 vsize=14090952 memory=335312 CPUtime=2400.06 cores=0,2,4,6
/proc/13888/stat : 13888 (java) S 13885 13888 2672 0 -1 1077944320 93872 0 0 0 239822 184 0 0 20 0 15 0 45108890 14429134848 83828 33554432000 4194304 4196468 140728039310000 140728039292544 140320835964663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
/proc/13888/statm: 3522738 83828 3583 1 0 3484809 0
[pid=13888/tid=13890] ppid=13885 vsize=14090952 memory=335312 CPUtime=2369.38 cores=0,2,4,6
/proc/13888/task/13890/stat : 13890 (java) R 13885 13888 2672 0 -1 4202560 36447 0 0 0 236922 16 0 0 20 0 15 0 45108891 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320840202928 140320434318258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13891] ppid=13885 vsize=14090952 memory=335312 CPUtime=5.09 cores=0,2,4,6
/proc/13888/task/13891/stat : 13891 (java) S 13885 13888 2672 0 -1 1077944384 4765 0 0 0 480 29 0 0 20 0 15 0 45108892 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320751033488 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13892] ppid=13885 vsize=14090952 memory=335312 CPUtime=5.06 cores=0,2,4,6
/proc/13888/task/13892/stat : 13892 (java) S 13885 13888 2672 0 -1 1077944384 6596 0 0 0 476 30 0 0 20 0 15 0 45108892 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320749980688 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13893] ppid=13885 vsize=14090952 memory=333264 CPUtime=5.06 cores=0,2,4,6
/proc/13888/task/13893/stat : 13893 (java) S 13885 13888 2672 0 -1 1077944384 3508 0 0 0 474 32 0 0 20 0 15 0 45108892 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320748927888 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13894] ppid=13885 vsize=14090952 memory=335312 CPUtime=5.05 cores=0,2,4,6
/proc/13888/task/13894/stat : 13894 (java) S 13885 13888 2672 0 -1 1077944384 4391 0 0 0 474 31 0 0 20 0 15 0 45108892 14429134848 83828 33554432000 4194304 4196468 140728039310000 140320747875088 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13895] ppid=13885 vsize=14090952 memory=335312 CPUtime=4.09 cores=0,2,4,6
/proc/13888/task/13895/stat : 13895 (java) S 13885 13888 2672 0 -1 1077944384 5027 0 0 0 381 28 0 0 20 0 15 0 45108893 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319747979632 140320835975810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13896] ppid=13885 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13896/stat : 13896 (java) S 13885 13888 2672 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 45108893 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319746925664 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13897] ppid=13885 vsize=14090952 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13897/stat : 13897 (java) S 13885 13888 2672 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45108894 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319745872768 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13898] ppid=13885 vsize=14090952 memory=335312 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13898/stat : 13898 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319744821072 140320835983259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13899] ppid=13885 vsize=14090952 memory=335312 CPUtime=2.24 cores=0,2,4,6
/proc/13888/task/13899/stat : 13899 (java) S 13885 13888 2672 0 -1 1077944384 10615 0 0 0 222 2 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319743769456 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13900] ppid=13885 vsize=14090952 memory=331216 CPUtime=2.11 cores=0,2,4,6
/proc/13888/task/13900/stat : 13900 (java) S 13885 13888 2672 0 -1 1077944384 12002 0 0 0 209 2 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319742716656 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13901] ppid=13885 vsize=14090952 memory=480 CPUtime=0.89 cores=0,2,4,6
/proc/13888/task/13901/stat : 13901 (java) S 13885 13888 2672 0 -1 1077944384 8161 0 0 0 88 1 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319741663856 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13902] ppid=13885 vsize=14090952 memory=333264 CPUtime=0 cores=0,2,4,6
/proc/13888/task/13902/stat : 13902 (java) S 13885 13888 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319740611296 140320835974869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
[pid=13888/tid=13903] ppid=13885 vsize=14090952 memory=333264 CPUtime=1 cores=0,2,4,6
/proc/13888/task/13903/stat : 13903 (java) S 13885 13888 2672 0 -1 1077944384 927 0 0 0 49 51 0 0 20 0 15 0 45108896 14429134848 83828 33554432000 4194304 4196468 140728039310000 140319739558576 140320835975810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140728039314505 140728039314697 140728039314697 140728039317455 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 335312 KiB

Child status: 143
Real time (s): 2380.91
CPU time (s): 2400.09
CPU user time (s): 2398.24
CPU system time (s): 1.8523
CPU usage (%): 100.806
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 335312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.24
system time used= 1.8523
maximum resident set size= 335892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94206
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 162910
involuntary context switches= 6016


# summary of solver processes directly reported to runsolver:
#   pid: 13888
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2398.24
#   total CPU system time (s): 1.8523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4795 second user time and 23.1267 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-04-opt_c18.xml
MD5SUM	61d46f07ed59020314d5adfe9107f362
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	3.89223
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2244
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":32},{"size":24,"count":14},{"size":36,"count":90},{"size":42,"count":152},{"size":44,"count":112}]
Minimum variable degree	5
Maximum variable degree	21
Distribution of variable degrees	[{"degree":5,"count":2},{"degree":6,"count":13},{"degree":7,"count":13},{"degree":8,"count":28},{"degree":9,"count":47},{"degree":10,"count":60},{"degree":11,"count":36},{"degree":12,"count":37},{"degree":13,"count":22},{"degree":14,"count":21},{"degree":15,"count":19},{"degree":16,"count":31},{"degree":17,"count":42},{"degree":18,"count":12},{"degree":19,"count":11},{"degree":20,"count":4},{"degree":21,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2244}]
Number of extensional constraints	0
Number of intensional constraints	2244
Distribution of constraint types	[{"type":"intension","count":2244}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4291894

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
