runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246732-1500713360/watcher-4246732-1500713360 -o /tmp/evaluation-result-4246732-1500713360/solver-4246732-1500713360 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500710999-18716 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 803417941 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246732-1500713360.xml
pid=19006
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.05 1.17 1.32 3/260 19009
/proc/meminfo: memFree=31401184/32770624 swapFree=5948/267816
[pid=19009] ppid=19006 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/stat : 19009 (java) S 19006 19009 18684 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 6602730 369864704 1925 33554432000 4194304 4196468 140731926428624 140731926411168 140182242217719 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
/proc/19009/statm: 90299 1989 1125 1 0 79210 0
[pid=19009/tid=19010] ppid=19006 vsize=10621200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19010/stat : 19010 (java) R 19006 19009 18684 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 2 0 6602730 10876108800 2037 33554432000 4194304 4196468 140731926428624 140182246459808 140182234507168 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[startup+0.100153 s]
/proc/loadavg: 1.05 1.17 1.32 3/260 19009
/proc/meminfo: memFree=31401184/32770624 swapFree=5948/267816
[pid=19009] ppid=19006 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/19009/stat : 19009 (java) S 19006 19009 18684 0 -1 1077944320 5891 0 0 0 8 1 0 0 20 0 20 0 6602730 13582725120 6460 33554432000 4194304 4196468 140731926428624 140731926411168 140182242217719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
/proc/19009/statm: 3316095 6460 3280 1 0 3303815 0
[pid=19009/tid=19010] ppid=19006 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19010/stat : 19010 (java) R 19006 19009 18684 0 -1 4202560 3979 0 0 0 8 0 0 0 20 0 20 0 6602730 13582725120 6460 33554432000 4194304 4196468 140731926428624 140182246460000 140182242239645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.20042 s]
/proc/loadavg: 1.05 1.17 1.32 3/260 19009
/proc/meminfo: memFree=31401184/32770624 swapFree=5948/267816
[pid=19009] ppid=19006 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/19009/stat : 19009 (java) S 19006 19009 18684 0 -1 1077944320 9031 0 0 0 24 2 0 0 20 0 20 0 6602730 13582245888 9022 33554432000 4194304 4196468 140731926428624 140731926411168 140182242217719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
/proc/19009/statm: 3315978 9022 3539 1 0 3303698 0
[pid=19009/tid=19010] ppid=19006 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19010/stat : 19010 (java) R 19006 19009 18684 0 -1 4202560 6755 0 0 0 17 1 0 0 20 0 20 0 6602730 13582245888 9022 33554432000 4194304 4196468 140731926428624 140182246427056 140182242239645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300289 s]
/proc/loadavg: 1.05 1.17 1.32 3/260 19009
/proc/meminfo: memFree=31401184/32770624 swapFree=5948/267816
[pid=19009] ppid=19006 vsize=13263912 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/19009/stat : 19009 (java) S 19006 19009 18684 0 -1 1077944320 9780 0 0 0 38 3 0 0 20 0 20 0 6602730 13582245888 10613 33554432000 4194304 4196468 140731926428624 140731926411168 140182242217719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
/proc/19009/statm: 3315978 10613 3622 1 0 3303698 0
[pid=19009/tid=19010] ppid=19006 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19010/stat : 19010 (java) R 19006 19009 18684 0 -1 4202560 7243 0 0 0 26 2 0 0 20 0 20 0 6602730 13582245888 10613 33554432000 4194304 4196468 140731926428624 140182246427160 140182242239645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912
[startup+0.700331 s]
/proc/loadavg: 1.05 1.17 1.32 3/260 19009
/proc/meminfo: memFree=31401184/32770624 swapFree=5948/267816
[pid=19009] ppid=19006 vsize=13268028 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/19009/stat : 19009 (java) S 19006 19009 18684 0 -1 1077944320 12589 0 0 0 110 5 0 0 20 0 20 0 6602730 13586460672 17961 33554432000 4194304 4196468 140731926428624 140731926411168 140182242217719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
/proc/19009/statm: 3317007 17961 3749 1 0 3304722 0
[pid=19009/tid=19010] ppid=19006 vsize=13268028 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19010/stat : 19010 (java) R 19006 19009 18684 0 -1 4202560 8992 0 0 0 64 3 0 0 20 0 20 0 6602730 13586460672 17961 33554432000 4194304 4196468 140731926428624 140182246438640 140182226298206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13268028
[startup+1.50085 s]
/proc/loadavg: 1.29 1.22 1.33 6/280 19029
/proc/meminfo: memFree=31298660/32770624 swapFree=5948/267848
[pid=19009] ppid=19006 vsize=13268028 CPUtime=3.86 cores=1,3,5,7,9,11,13,15
/proc/19009/stat : 19009 (java) S 19006 19009 18684 0 -1 1077944320 26276 0 0 0 378 8 0 0 20 0 20 0 6602730 13586460672 37833 33554432000 4194304 4196468 140731926428624 140731926411168 140182242217719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
/proc/19009/statm: 3317007 37833 3771 1 0 3304722 0
[pid=19009/tid=19010] ppid=19006 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19010/stat : 19010 (java) R 19006 19009 18684 0 -1 4202560 10842 0 0 0 142 5 0 0 20 0 20 0 6602730 13586460672 37833 33554432000 4194304 4196468 140731926428624 140182246447952 140181847858749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19012] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19012/stat : 19012 (java) S 19006 19009 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6602731 13586460672 37833 33554432000 4194304 4196468 140731926428624 140182174354448 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19013] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19013/stat : 19013 (java) S 19006 19009 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6602731 13586460672 37833 33554432000 4194304 4196468 140731926428624 140182173301904 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19014] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19014/stat : 19014 (java) S 19006 19009 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6602731 13586460672 37833 33554432000 4194304 4196468 140731926428624 140182172248848 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19015] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19015/stat : 19015 (java) S 19006 19009 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6602731 13586460672 37833 33554432000 4194304 4196468 140731926428624 140182171196304 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19016] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19016/stat : 19016 (java) S 19006 19009 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6602731 13586460672 37833 33554432000 4194304 4196468 140731926428624 140182170143248 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19017] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19017/stat : 19017 (java) S 19006 19009 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6602731 13586460672 37833 33554432000 4194304 4196468 140731926428624 140182169090704 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19018] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19018/stat : 19018 (java) S 19006 19009 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6602731 13586460672 37833 33554432000 4194304 4196468 140731926428624 140182168037648 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19019] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19019/stat : 19019 (java) S 19006 19009 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6602731 13586460672 37833 33554432000 4194304 4196468 140731926428624 140182166985104 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19020] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19020/stat : 19020 (java) S 19006 19009 18684 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 6602733 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181704661744 140182242228866 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19021] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19021/stat : 19021 (java) S 19006 19009 18684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6602734 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181703607968 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19022] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19022/stat : 19022 (java) S 19006 19009 18684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6602734 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181702554864 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19023] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19023/stat : 19023 (java) S 19006 19009 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6602738 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181701503440 140182242236315 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19024] ppid=19006 vsize=13268028 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19024/stat : 19024 (java) R 19006 19009 18684 0 -1 4202560 3764 0 0 0 66 0 0 0 20 0 20 0 6602738 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181700443584 140182242239066 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19025] ppid=19006 vsize=13268028 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19025/stat : 19025 (java) S 19006 19009 18684 0 -1 1077944384 3610 0 0 0 66 0 0 0 20 0 20 0 6602738 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181699398000 140182242228866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19026] ppid=19006 vsize=13268028 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19026/stat : 19026 (java) R 19006 19009 18684 0 -1 4202560 4537 0 0 0 64 0 0 0 20 0 20 0 6602738 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181698337984 140182222918016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19027] ppid=19006 vsize=13268028 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19027/stat : 19027 (java) S 19006 19009 18684 0 -1 1077944384 2115 0 0 0 37 0 0 0 20 0 20 0 6602738 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181697292400 140182242228866 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19028] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19028/stat : 19028 (java) S 19006 19009 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6602739 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181696240608 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19029] ppid=19006 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19029/stat : 19029 (java) S 19006 19009 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6602739 13586460672 37833 33554432000 4194304 4196468 140731926428624 140181695188144 140182242228866 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 13268028
[startup+3.10146 s]
/proc/loadavg: 1.29 1.22 1.33 3/280 19029
/proc/meminfo: memFree=31212600/32770624 swapFree=5948/267848
[pid=19009] ppid=19006 vsize=13334592 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/19009/stat : 19009 (java) S 19006 19009 18684 0 -1 1077944320 29570 0 0 0 548 12 0 0 20 0 19 0 6602730 13654622208 54856 33554432000 4194304 4196468 140731926428624 140731926411168 140182242217719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
/proc/19009/statm: 3333648 54856 3795 1 0 3321363 0
[pid=19009/tid=19010] ppid=19006 vsize=13334592 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19010/stat : 19010 (java) S 19006 19009 18684 0 -1 1077944384 11495 0 0 0 300 6 0 0 20 0 19 0 6602730 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182246460560 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19012] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19012/stat : 19012 (java) S 19006 19009 18684 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182174354448 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19013] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19013/stat : 19013 (java) S 19006 19009 18684 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182173301904 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19014] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19014/stat : 19014 (java) S 19006 19009 18684 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182172248848 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19015] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19015/stat : 19015 (java) S 19006 19009 18684 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182171196304 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19016] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19016/stat : 19016 (java) S 19006 19009 18684 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182170143248 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19017] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19017/stat : 19017 (java) S 19006 19009 18684 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182169090704 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19018] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19018/stat : 19018 (java) S 19006 19009 18684 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182168037648 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19019] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19019/stat : 19019 (java) S 19006 19009 18684 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182166985104 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19020] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19020/stat : 19020 (java) S 19006 19009 18684 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 19 0 6602733 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181704661952 140182242228866 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19021] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19021/stat : 19021 (java) S 19006 19009 18684 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 6602734 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181703608032 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19022] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19022/stat : 19022 (java) S 19006 19009 18684 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 6602734 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181702554880 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19023] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19023/stat : 19023 (java) S 19006 19009 18684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181701503088 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19024] ppid=19006 vsize=13334592 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19024/stat : 19024 (java) S 19006 19009 18684 0 -1 1077944384 3766 0 0 0 67 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181700450544 140182242228866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19025] ppid=19006 vsize=13334592 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19025/stat : 19025 (java) S 19006 19009 18684 0 -1 1077944384 3647 0 0 0 68 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181699376784 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19026] ppid=19006 vsize=13334592 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19026/stat : 19026 (java) S 19006 19009 18684 0 -1 1077944384 4784 0 0 0 68 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181698344944 140182242228866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19027] ppid=19006 vsize=13334592 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19027/stat : 19027 (java) S 19006 19009 18684 0 -1 1077944384 3104 0 0 0 40 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181697288272 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19028] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19028/stat : 19028 (java) S 19006 19009 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 6602739 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181696240608 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13334592
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19009 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.10146 s]
/proc/loadavg: 1.29 1.22 1.33 3/280 19029
/proc/meminfo: memFree=31212600/32770624 swapFree=5948/267848
[pid=19009] ppid=19006 vsize=13334592 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/19009/stat : 19009 (java) S 19006 19009 18684 0 -1 1077944320 29570 0 0 0 548 12 0 0 20 0 19 0 6602730 13654622208 54856 33554432000 4194304 4196468 140731926428624 140731926411168 140182242217719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
/proc/19009/statm: 3333648 54856 3795 1 0 3321363 0
[pid=19009/tid=19010] ppid=19006 vsize=13334592 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19010/stat : 19010 (java) S 19006 19009 18684 0 -1 1077944384 11495 0 0 0 300 6 0 0 20 0 19 0 6602730 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182246460560 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19012] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19012/stat : 19012 (java) S 19006 19009 18684 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182174354448 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19013] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19013/stat : 19013 (java) S 19006 19009 18684 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182173301904 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19014] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19014/stat : 19014 (java) S 19006 19009 18684 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182172248848 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19015] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19015/stat : 19015 (java) S 19006 19009 18684 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182171196304 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19016] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19016/stat : 19016 (java) S 19006 19009 18684 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182170143248 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19017] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19017/stat : 19017 (java) S 19006 19009 18684 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182169090704 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19018] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19018/stat : 19018 (java) S 19006 19009 18684 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182168037648 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19019] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19019/stat : 19019 (java) S 19006 19009 18684 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 6602731 13654622208 54856 33554432000 4194304 4196468 140731926428624 140182166985104 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19020] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19020/stat : 19020 (java) S 19006 19009 18684 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 19 0 6602733 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181704661952 140182242228866 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19021] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19021/stat : 19021 (java) S 19006 19009 18684 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 6602734 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181703608032 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19022] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19022/stat : 19022 (java) S 19006 19009 18684 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 6602734 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181702554880 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19023] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19023/stat : 19023 (java) S 19006 19009 18684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181701503088 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19024] ppid=19006 vsize=13334592 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19024/stat : 19024 (java) S 19006 19009 18684 0 -1 1077944384 3766 0 0 0 67 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181700450544 140182242228866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19025] ppid=19006 vsize=13334592 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19025/stat : 19025 (java) S 19006 19009 18684 0 -1 1077944384 3647 0 0 0 68 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181699376784 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19026] ppid=19006 vsize=13334592 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19026/stat : 19026 (java) S 19006 19009 18684 0 -1 1077944384 4784 0 0 0 68 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181698344944 140182242228866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19027] ppid=19006 vsize=13334592 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19027/stat : 19027 (java) S 19006 19009 18684 0 -1 1077944384 3104 0 0 0 40 0 0 0 20 0 19 0 6602738 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181697288272 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
[pid=19009/tid=19028] ppid=19006 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19009/task/19028/stat : 19028 (java) S 19006 19009 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 6602739 13654622208 54856 33554432000 4194304 4196468 140731926428624 140181696240608 140182242227925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9768960 140731926434954 140731926435140 140731926435140 140731926437839 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13334592
Child status: 0
Real time (s): 3.11995
CPU time (s): 5.61464
CPU user time (s): 5.48046
CPU system time (s): 0.134182
CPU usage (%): 179.959
Max. virtual memory (cumulated for all children) (KiB): 13334592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.48046
system time used= 0.134182
maximum resident set size= 219720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2892
involuntary context switches= 396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028914 second user time and 0.044 second system time
The end