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-4253481-1500934241/watcher-4253481-1500934241 -o /tmp/evaluation-result-4253481-1500934241/solver-4253481-1500934241 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3379 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253481-1500934241.xml
pid=7996
running on 4 cores: 1,3,5,7
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: 2.00 2.01 2.05 3/181 7999
/proc/meminfo: memFree=32090412/32770624 swapFree=5736/131240
[pid=7999] ppid=7996 vsize=24868 CPUtime=0 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 1005 0 0 0 0 0 0 0 20 0 1 0 2976920 25464832 821 33554432000 4194304 6986860 140726901779616 140726901776312 5731735 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 6217 821 653 682 0 220 0
[startup+0.100164 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7999
/proc/meminfo: memFree=32090412/32770624 swapFree=5736/131240
[pid=7999] ppid=7996 vsize=32256 CPUtime=0.09 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 2879 0 0 0 9 0 0 0 20 0 1 0 2976920 33030144 2613 33554432000 4194304 6986860 140726901779616 140726901776312 5438190 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8064 2613 680 682 0 2067 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32256
[startup+0.200333 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7999
/proc/meminfo: memFree=32090412/32770624 swapFree=5736/131240
[pid=7999] ppid=7996 vsize=31868 CPUtime=0.19 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 2910 0 0 0 19 0 0 0 20 0 1 0 2976920 32632832 2628 33554432000 4194304 6986860 140726901779616 140726901776312 139674478162300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 7967 2628 682 682 0 1970 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31868
[startup+0.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7999
/proc/meminfo: memFree=32090412/32770624 swapFree=5736/131240
[pid=7999] ppid=7996 vsize=31868 CPUtime=0.29 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 2910 0 0 0 29 0 0 0 20 0 1 0 2976920 32632832 2628 33554432000 4194304 6986860 140726901779616 140726901776312 5438220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 7967 2628 682 682 0 1970 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31868
[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7999
/proc/meminfo: memFree=32090412/32770624 swapFree=5736/131240
[pid=7999] ppid=7996 vsize=32000 CPUtime=0.69 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 2928 0 0 0 69 0 0 0 20 0 1 0 2976920 32768000 2628 33554432000 4194304 6986860 140726901779616 140726901774968 5438209 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8000 2628 682 682 0 2003 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32000
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8000
/proc/meminfo: memFree=32082012/32770624 swapFree=5736/131260
[pid=7999] ppid=7996 vsize=32000 CPUtime=1.49 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 2930 0 0 0 149 0 0 0 20 0 1 0 2976920 32768000 2628 33554432000 4194304 6986860 140726901779616 140726901774968 5438175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8000 2628 682 682 0 2003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32000
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8000
/proc/meminfo: memFree=32081640/32770624 swapFree=5736/131260
[pid=7999] ppid=7996 vsize=32000 CPUtime=3.09 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 4822 0 0 0 309 0 0 0 20 0 1 0 2976920 32768000 2669 33554432000 4194304 6986860 140726901779616 140726901774968 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8000 2669 703 682 0 2003 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32000
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8000
/proc/meminfo: memFree=32081416/32770624 swapFree=5736/131248
[pid=7999] ppid=7996 vsize=32000 CPUtime=6.29 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 6712 0 0 0 629 0 0 0 20 0 1 0 2976920 32768000 2670 33554432000 4194304 6986860 140726901779616 140726901774968 5438358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8000 2670 703 682 0 2003 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32000
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8000
/proc/meminfo: memFree=32081044/32770624 swapFree=5736/131252
[pid=7999] ppid=7996 vsize=32000 CPUtime=12.69 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 8604 0 0 0 1269 0 0 0 20 0 1 0 2976920 32768000 2670 33554432000 4194304 6986860 140726901779616 140726901774968 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8000 2670 703 682 0 2003 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32000
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8000
/proc/meminfo: memFree=32081044/32770624 swapFree=5736/131264
[pid=7999] ppid=7996 vsize=32132 CPUtime=25.49 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 12408 0 0 0 2548 1 0 0 20 0 1 0 2976920 32903168 2685 33554432000 4194304 6986860 140726901779616 140726901774968 5474344 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2685 703 682 0 2036 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32132
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8000
/proc/meminfo: memFree=32080984/32770624 swapFree=5736/131280
[pid=7999] ppid=7996 vsize=32132 CPUtime=51.09 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 12835 0 0 0 5108 1 0 0 20 0 1 0 2976920 32903168 2706 33554432000 4194304 6986860 140726901779616 140726901774968 5438032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2706 703 682 0 2036 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32132
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8001
/proc/meminfo: memFree=32080852/32770624 swapFree=5736/131312
[pid=7999] ppid=7996 vsize=32132 CPUtime=102.29 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 13259 0 0 0 10228 1 0 0 20 0 1 0 2976920 32903168 2707 33554432000 4194304 6986860 140726901779616 140726901774968 139674478162300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2707 703 682 0 2036 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 32132
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8062
/proc/meminfo: memFree=32046240/32770624 swapFree=5736/131416
[pid=7999] ppid=7996 vsize=32132 CPUtime=162.29 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 13683 0 0 0 16227 2 0 0 20 0 1 0 2976920 32903168 2707 33554432000 4194304 6986860 140726901779616 140726901775144 5438268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2707 703 682 0 2036 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32132
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8063
/proc/meminfo: memFree=32046064/32770624 swapFree=5736/131444
[pid=7999] ppid=7996 vsize=32132 CPUtime=222.3 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 14105 0 0 0 22227 3 0 0 20 0 1 0 2976920 32903168 2707 33554432000 4194304 6986860 140726901779616 140726901774968 5474331 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2707 703 682 0 2036 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 32132
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8064
/proc/meminfo: memFree=32047908/32770624 swapFree=5736/131484
[pid=7999] ppid=7996 vsize=32132 CPUtime=282.29 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 14531 0 0 0 28226 3 0 0 20 0 1 0 2976920 32903168 2707 33554432000 4194304 6986860 140726901779616 140726901774968 5438235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2707 703 682 0 2036 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 32132
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8066
/proc/meminfo: memFree=32047096/32770624 swapFree=5736/131512
[pid=7999] ppid=7996 vsize=32132 CPUtime=342.29 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 14955 0 0 0 34226 3 0 0 20 0 1 0 2976920 32903168 2707 33554432000 4194304 6986860 140726901779616 140726901774968 5437950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2707 703 682 0 2036 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 32132
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8067
/proc/meminfo: memFree=32047564/32770624 swapFree=5736/131540
[pid=7999] ppid=7996 vsize=32132 CPUtime=402.3 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 15376 0 0 0 40226 4 0 0 20 0 1 0 2976920 32903168 2707 33554432000 4194304 6986860 140726901779616 140726901774968 5437950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2707 703 682 0 2036 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 32132
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8068
/proc/meminfo: memFree=32047284/32770624 swapFree=5736/131568
[pid=7999] ppid=7996 vsize=32132 CPUtime=462.29 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 15799 0 0 0 46225 4 0 0 20 0 1 0 2976920 32903168 2707 33554432000 4194304 6986860 140726901779616 140726901774968 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2707 703 682 0 2036 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 32132
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8069
/proc/meminfo: memFree=32047128/32770624 swapFree=5736/131596
[pid=7999] ppid=7996 vsize=32132 CPUtime=522.29 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 16222 0 0 0 52225 4 0 0 20 0 1 0 2976920 32903168 2707 33554432000 4194304 6986860 140726901779616 140726901774968 5438005 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2707 703 682 0 2036 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 32132
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8077
/proc/meminfo: memFree=32046660/32770624 swapFree=5736/131640
[pid=7999] ppid=7996 vsize=32132 CPUtime=582.3 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 16644 0 0 0 58225 5 0 0 20 0 1 0 2976920 32903168 2707 33554432000 4194304 6986860 140726901779616 140726901775144 5438185 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2707 703 682 0 2036 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 32132
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8101
/proc/meminfo: memFree=32046912/32770624 swapFree=5736/132120
[pid=7999] ppid=7996 vsize=32132 CPUtime=1482.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 23003 0 0 0 148217 14 0 0 20 0 1 0 2976920 32903168 2723 33554432000 4194304 6986860 140726901779616 140726901775144 5474008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2723 703 682 0 2036 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 32132
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 8102
/proc/meminfo: memFree=32046884/32770624 swapFree=5736/132148
[pid=7999] ppid=7996 vsize=32132 CPUtime=1542.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 23447 0 0 0 154217 14 0 0 20 0 1 0 2976920 32903168 2723 33554432000 4194304 6986860 140726901779616 140726901775144 5474008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2723 703 682 0 2036 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 32132
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8103
/proc/meminfo: memFree=32046840/32770624 swapFree=5736/132180
[pid=7999] ppid=7996 vsize=32132 CPUtime=1602.3 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 23888 0 0 0 160216 14 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438250 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 32132
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8104
/proc/meminfo: memFree=32046564/32770624 swapFree=5736/132208
[pid=7999] ppid=7996 vsize=32132 CPUtime=1662.3 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 24329 0 0 0 166216 14 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 32132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8105
/proc/meminfo: memFree=32046656/32770624 swapFree=5736/132236
[pid=7999] ppid=7996 vsize=32132 CPUtime=1722.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 24770 0 0 0 172216 15 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 32132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8113
/proc/meminfo: memFree=32045512/32770624 swapFree=5736/132280
[pid=7999] ppid=7996 vsize=32132 CPUtime=1782.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 25213 0 0 0 178216 15 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 32132
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8114
/proc/meminfo: memFree=32045848/32770624 swapFree=5736/132308
[pid=7999] ppid=7996 vsize=32132 CPUtime=1842.3 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 25654 0 0 0 184215 15 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438278 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 32132
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8115
/proc/meminfo: memFree=32046220/32770624 swapFree=5736/132336
[pid=7999] ppid=7996 vsize=32132 CPUtime=1902.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 26095 0 0 0 190215 16 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 1902.31
Current children cumulated vsize (KiB) 32132
[startup+1962.3 s]
/proc/loadavg: 1.78 1.97 2.03 2/175 8165
/proc/meminfo: memFree=32098080/32770624 swapFree=5736/131264
[pid=7999] ppid=7996 vsize=32132 CPUtime=1962.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 26536 0 0 0 196215 16 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901775144 5437973 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 32132
[startup+2022.3 s]
/proc/loadavg: 1.29 1.79 1.96 2/175 8166
/proc/meminfo: memFree=32098080/32770624 swapFree=5736/131264
[pid=7999] ppid=7996 vsize=32132 CPUtime=2022.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 26977 0 0 0 202215 16 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 32132
[startup+2082.3 s]
/proc/loadavg: 1.10 1.64 1.90 2/175 8167
/proc/meminfo: memFree=32098576/32770624 swapFree=5736/131328
[pid=7999] ppid=7996 vsize=32132 CPUtime=2082.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 27418 0 0 0 208215 16 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 32132
[startup+2142.3 s]
/proc/loadavg: 1.04 1.53 1.85 2/175 8168
/proc/meminfo: memFree=32098576/32770624 swapFree=5736/131328
[pid=7999] ppid=7996 vsize=32132 CPUtime=2142.3 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 27859 0 0 0 214214 16 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901775144 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 2142.3
Current children cumulated vsize (KiB) 32132
[startup+2202.31 s]
/proc/loadavg: 1.01 1.42 1.79 2/175 8169
/proc/meminfo: memFree=32098920/32770624 swapFree=5736/131376
[pid=7999] ppid=7996 vsize=32132 CPUtime=2202.32 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 28300 0 0 0 220215 17 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901775144 5437950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 32132
[startup+2262.3 s]
/proc/loadavg: 1.01 1.35 1.75 2/175 8170
/proc/meminfo: memFree=32098920/32770624 swapFree=5736/131376
[pid=7999] ppid=7996 vsize=32132 CPUtime=2262.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 28741 0 0 0 226214 17 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 139674478162300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 32132
[startup+2322.3 s]
/proc/loadavg: 1.00 1.29 1.70 2/175 8171
/proc/meminfo: memFree=32098984/32770624 swapFree=5736/131396
[pid=7999] ppid=7996 vsize=32132 CPUtime=2322.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 29184 0 0 0 232214 17 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 2322.31
Current children cumulated vsize (KiB) 32132
[startup+2382.3 s]
/proc/loadavg: 1.00 1.24 1.66 2/175 8179
/proc/meminfo: memFree=32098688/32770624 swapFree=5736/131428
[pid=7999] ppid=7996 vsize=32132 CPUtime=2382.31 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 29627 0 0 0 238213 18 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 2382.31
Current children cumulated vsize (KiB) 32132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 1.00 1.22 1.64 2/175 8179
/proc/meminfo: memFree=32098688/32770624 swapFree=5736/131428
[pid=7999] ppid=7996 vsize=32132 CPUtime=2400.01 cores=1,3,5,7
/proc/7999/stat : 7999 (naxos-xcsp3) R 7996 7999 3347 0 -1 4202496 30068 0 0 0 239983 18 0 0 20 0 1 0 2976920 32903168 2726 33554432000 4194304 6986860 140726901779616 140726901774968 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 41938944 140726901785870 140726901785951 140726901785951 140726901788650 0
/proc/7999/statm: 8033 2726 703 682 0 2036 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 32132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7999 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400
CPU time (s): 2400.02
CPU user time (s): 2399.84
CPU system time (s): 0.183001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 32256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.84
system time used= 0.183001
maximum resident set size= 10940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 791
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.3961 second user time and 8.38104 second system time
The end