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-4253407-1500931810/watcher-4253407-1500931810 -o /tmp/evaluation-result-4253407-1500931810/solver-4253407-1500931810 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500914921-3805 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253407-1500931810.xml
pid=7088
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.00 2.04 2/181 7091
/proc/meminfo: memFree=32106076/32770624 swapFree=5848/120204
[pid=7091] ppid=7088 vsize=24780 CPUtime=0 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 937 0 0 0 0 0 0 0 20 0 1 0 2734508 25374720 781 33554432000 4194304 6986860 140730817986608 140730817983304 140525005310949 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 6195 781 637 682 0 198 0
[startup+0.100115 s]
/proc/loadavg: 1.95 2.00 2.04 2/181 7091
/proc/meminfo: memFree=32106076/32770624 swapFree=5848/120204
[pid=7091] ppid=7088 vsize=37840 CPUtime=0.09 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 4261 0 0 0 9 0 0 0 20 0 1 0 2734508 38748160 4106 33554432000 4194304 6986860 140730817986608 140730817983304 140525005310949 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 9460 4106 695 682 0 3463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37840
[startup+0.200303 s]
/proc/loadavg: 1.95 2.00 2.04 2/181 7091
/proc/meminfo: memFree=32106076/32770624 swapFree=5848/120204
[pid=7091] ppid=7088 vsize=42896 CPUtime=0.18 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 5554 0 0 0 18 0 0 0 20 0 1 0 2734508 43925504 5376 33554432000 4194304 6986860 140730817986608 140730817983304 140525005310949 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 10724 5376 702 682 0 4727 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 42896
[startup+0.300266 s]
/proc/loadavg: 1.95 2.00 2.04 2/181 7091
/proc/meminfo: memFree=32106076/32770624 swapFree=5848/120204
[pid=7091] ppid=7088 vsize=49708 CPUtime=0.29 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 7236 0 0 0 28 1 0 0 20 0 1 0 2734508 50900992 7080 33554432000 4194304 6986860 140730817986608 140730817983304 140525005310949 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 12427 7080 702 682 0 6430 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49708
[startup+0.700213 s]
/proc/loadavg: 1.95 2.00 2.04 2/181 7091
/proc/meminfo: memFree=32106076/32770624 swapFree=5848/120204
[pid=7091] ppid=7088 vsize=75900 CPUtime=0.68 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 13784 0 0 0 66 2 0 0 20 0 1 0 2734508 77721600 13624 33554432000 4194304 6986860 140730817986608 140730817981288 5517126 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 18975 13624 702 682 0 12978 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 75900
[startup+1.50021 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 7092
/proc/meminfo: memFree=32042764/32770624 swapFree=5848/120408
[pid=7091] ppid=7088 vsize=88332 CPUtime=1.49 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 16942 0 0 0 146 3 0 0 20 0 1 0 2734508 90451968 16762 33554432000 4194304 6986860 140730817986608 140730817981960 140525005308452 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22083 16762 716 682 0 16086 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88332
[startup+3.10019 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 7092
/proc/meminfo: memFree=32042020/32770624 swapFree=5848/120408
[pid=7091] ppid=7088 vsize=88936 CPUtime=3.09 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 27606 0 0 0 305 4 0 0 20 0 1 0 2734508 91070464 16908 33554432000 4194304 6986860 140730817986608 140730817981960 5431962 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22234 16908 716 682 0 16237 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88936
[startup+6.3002 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 7092
/proc/meminfo: memFree=32041028/32770624 swapFree=5848/120408
[pid=7091] ppid=7088 vsize=89404 CPUtime=6.29 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 38583 0 0 0 624 5 0 0 20 0 1 0 2734508 91549696 17047 33554432000 4194304 6986860 140730817986608 140730817981960 5431774 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22351 17047 716 682 0 16354 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89404
[startup+12.7002 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 7092
/proc/meminfo: memFree=32039908/32770624 swapFree=5848/120064
[pid=7091] ppid=7088 vsize=89804 CPUtime=12.69 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 49744 0 0 0 1261 8 0 0 20 0 1 0 2734508 91959296 17147 33554432000 4194304 6986860 140730817986608 140730817982136 5432001 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22451 17147 716 682 0 16454 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89804
[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 7092
/proc/meminfo: memFree=32040044/32770624 swapFree=5848/120064
[pid=7091] ppid=7088 vsize=90224 CPUtime=25.49 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 72349 0 0 0 2537 12 0 0 20 0 1 0 2734508 92389376 17237 33554432000 4194304 6986860 140730817986608 140730817981960 140525005320048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22556 17237 716 682 0 16559 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 90224
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.04 3/182 7092
/proc/meminfo: memFree=32039080/32770624 swapFree=5848/120076
[pid=7091] ppid=7088 vsize=90568 CPUtime=51.08 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 79600 0 0 0 5089 19 0 0 20 0 1 0 2734508 92741632 17338 33554432000 4194304 6986860 140730817986608 140730817982136 140525005308961 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22642 17338 716 682 0 16645 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90568
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 7093
/proc/meminfo: memFree=32038928/32770624 swapFree=5848/120112
[pid=7091] ppid=7088 vsize=91012 CPUtime=102.27 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 80865 0 0 0 10194 33 0 0 20 0 1 0 2734508 93196288 17434 33554432000 4194304 6986860 140730817986608 140730817982136 140525005320176 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22753 17434 716 682 0 16756 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 91012
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/182 7094
/proc/meminfo: memFree=32038988/32770624 swapFree=5848/120148
[pid=7091] ppid=7088 vsize=91364 CPUtime=162.26 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 81528 0 0 0 16175 51 0 0 20 0 1 0 2734508 93556736 17518 33554432000 4194304 6986860 140730817986608 140730817981960 140525005574524 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22841 17518 716 682 0 16844 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 91364
[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 7095
/proc/meminfo: memFree=32039288/32770624 swapFree=5848/120172
[pid=7091] ppid=7088 vsize=91428 CPUtime=222.26 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 82152 0 0 0 22156 70 0 0 20 0 1 0 2734508 93622272 17550 33554432000 4194304 6986860 140730817986608 140730817981960 5431778 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22857 17550 716 682 0 16860 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 91428
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7096
/proc/meminfo: memFree=32039208/32770624 swapFree=5848/120204
[pid=7091] ppid=7088 vsize=91624 CPUtime=282.26 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 82317 0 0 0 28138 88 0 0 20 0 1 0 2734508 93822976 17588 33554432000 4194304 6986860 140730817986608 140730817982136 140525005321082 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22906 17588 716 682 0 16909 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 91624
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7097
/proc/meminfo: memFree=32038516/32770624 swapFree=5848/120236
[pid=7091] ppid=7088 vsize=91720 CPUtime=342.26 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 82508 0 0 0 34120 106 0 0 20 0 1 0 2734508 93921280 17627 33554432000 4194304 6986860 140730817986608 140730817981960 140525005574524 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22930 17627 716 682 0 16933 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 91720
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7098
/proc/meminfo: memFree=32038268/32770624 swapFree=5848/120264
[pid=7091] ppid=7088 vsize=91792 CPUtime=402.25 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 82723 0 0 0 40101 124 0 0 20 0 1 0 2734508 93995008 17645 33554432000 4194304 6986860 140730817986608 140730817982136 5432353 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22948 17645 716 682 0 16951 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 91792
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7099
/proc/meminfo: memFree=32038516/32770624 swapFree=5848/120296
[pid=7091] ppid=7088 vsize=91792 CPUtime=462.24 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 82918 0 0 0 46084 140 0 0 20 0 1 0 2734508 93995008 17645 33554432000 4194304 6986860 140730817986608 140730817982136 5355338 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22948 17645 716 682 0 16951 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 91792
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7100
/proc/meminfo: memFree=32037876/32770624 swapFree=5848/120332
[pid=7091] ppid=7088 vsize=91964 CPUtime=522.25 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 83195 0 0 0 52066 159 0 0 20 0 1 0 2734508 94171136 17666 33554432000 4194304 6986860 140730817986608 140730817981960 140525005308528 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22991 17666 716 682 0 16994 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 91964
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7101
/proc/meminfo: memFree=32038508/32770624 swapFree=5848/120352
[pid=7091] ppid=7088 vsize=91964 CPUtime=582.24 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 83430 0 0 0 58045 179 0 0 20 0 1 0 2734508 94171136 17684 33554432000 4194304 6986860 140730817986608 140730817981960 140525005574524 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 22991 17684 716 682 0 16994 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 91964
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/183 7142
/proc/meminfo: memFree=32036468/32770624 swapFree=5812/121116
[pid=7091] ppid=7088 vsize=92516 CPUtime=1482.19 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 88286 0 0 0 147769 450 0 0 20 0 1 0 2734508 94736384 17802 33554432000 4194304 6986860 140730817986608 140730817982136 5431766 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23129 17802 716 682 0 17132 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 92516
[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 7144
/proc/meminfo: memFree=32036220/32770624 swapFree=5812/121152
[pid=7091] ppid=7088 vsize=92596 CPUtime=1542.19 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 88681 0 0 0 153752 467 0 0 20 0 1 0 2734508 94818304 17838 33554432000 4194304 6986860 140730817986608 140730817981960 5432057 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23149 17838 716 682 0 17152 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 92596
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 7145
/proc/meminfo: memFree=32036088/32770624 swapFree=5812/121188
[pid=7091] ppid=7088 vsize=92596 CPUtime=1602.19 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 89069 0 0 0 159735 484 0 0 20 0 1 0 2734508 94818304 17838 33554432000 4194304 6986860 140730817986608 140730817981960 140525005309126 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23149 17838 716 682 0 17152 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 92596
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7146
/proc/meminfo: memFree=32035744/32770624 swapFree=5812/121208
[pid=7091] ppid=7088 vsize=92624 CPUtime=1662.18 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 89474 0 0 0 165717 501 0 0 20 0 1 0 2734508 94846976 17848 33554432000 4194304 6986860 140730817986608 140730817981960 140525005574524 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23156 17848 716 682 0 17159 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 92624
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7148
/proc/meminfo: memFree=32036256/32770624 swapFree=5812/121252
[pid=7091] ppid=7088 vsize=92624 CPUtime=1722.17 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 89857 0 0 0 171696 521 0 0 20 0 1 0 2734508 94846976 17848 33554432000 4194304 6986860 140730817986608 140730817981960 140525005574524 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23156 17848 716 682 0 17159 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 92624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7149
/proc/meminfo: memFree=32036496/32770624 swapFree=5812/121284
[pid=7091] ppid=7088 vsize=92624 CPUtime=1782.17 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 90237 0 0 0 177677 540 0 0 20 0 1 0 2734508 94846976 17848 33554432000 4194304 6986860 140730817986608 140730817981960 5431778 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23156 17848 716 682 0 17159 0
Current children cumulated CPU time (s) 1782.17
Current children cumulated vsize (KiB) 92624
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7157
/proc/meminfo: memFree=32036304/32770624 swapFree=5812/121312
[pid=7091] ppid=7088 vsize=92624 CPUtime=1842.17 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 90633 0 0 0 183654 563 0 0 20 0 1 0 2734508 94846976 17848 33554432000 4194304 6986860 140730817986608 140730817981960 5432053 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23156 17848 716 682 0 17159 0
Current children cumulated CPU time (s) 1842.17
Current children cumulated vsize (KiB) 92624
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7183
/proc/meminfo: memFree=32035496/32770624 swapFree=5812/121368
[pid=7091] ppid=7088 vsize=92624 CPUtime=1902.16 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 91008 0 0 0 189635 581 0 0 20 0 1 0 2734508 94846976 17848 33554432000 4194304 6986860 140730817986608 140730817981960 140525005309920 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23156 17848 716 682 0 17159 0
Current children cumulated CPU time (s) 1902.16
Current children cumulated vsize (KiB) 92624
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7184
/proc/meminfo: memFree=32035456/32770624 swapFree=5812/121396
[pid=7091] ppid=7088 vsize=92624 CPUtime=1962.17 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 91390 0 0 0 195618 599 0 0 20 0 1 0 2734508 94846976 17848 33554432000 4194304 6986860 140730817986608 140730817981960 5453313 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23156 17848 716 682 0 17159 0
Current children cumulated CPU time (s) 1962.17
Current children cumulated vsize (KiB) 92624
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7185
/proc/meminfo: memFree=32035396/32770624 swapFree=5812/121424
[pid=7091] ppid=7088 vsize=92624 CPUtime=2022.15 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 91766 0 0 0 201597 618 0 0 20 0 1 0 2734508 94846976 17848 33554432000 4194304 6986860 140730817986608 140730817981960 140525005303815 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23156 17848 716 682 0 17159 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 92624
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7186
/proc/meminfo: memFree=32035612/32770624 swapFree=5812/121460
[pid=7091] ppid=7088 vsize=92624 CPUtime=2082.16 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 92156 0 0 0 207579 637 0 0 20 0 1 0 2734508 94846976 17848 33554432000 4194304 6986860 140730817986608 140730817981960 140525005574524 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23156 17848 716 682 0 17159 0
Current children cumulated CPU time (s) 2082.16
Current children cumulated vsize (KiB) 92624
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 7187
/proc/meminfo: memFree=32035596/32770624 swapFree=5812/121488
[pid=7091] ppid=7088 vsize=92620 CPUtime=2142.16 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 92553 0 0 0 213562 654 0 0 20 0 1 0 2734508 94842880 17848 33554432000 4194304 6986860 140730817986608 140730817982136 140525005308946 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23155 17848 716 682 0 17158 0
Current children cumulated CPU time (s) 2142.16
Current children cumulated vsize (KiB) 92620
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7188
/proc/meminfo: memFree=32035580/32770624 swapFree=5812/121520
[pid=7091] ppid=7088 vsize=92696 CPUtime=2202.15 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 93040 0 0 0 219541 674 0 0 20 0 1 0 2734508 94920704 17858 33554432000 4194304 6986860 140730817986608 140730817981960 5431962 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23174 17858 716 682 0 17177 0
Current children cumulated CPU time (s) 2202.15
Current children cumulated vsize (KiB) 92696
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7189
/proc/meminfo: memFree=32035192/32770624 swapFree=5812/121552
[pid=7091] ppid=7088 vsize=92800 CPUtime=2262.14 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 93478 0 0 0 225522 692 0 0 20 0 1 0 2734508 95027200 17872 33554432000 4194304 6986860 140730817986608 140730817982136 5431766 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23200 17872 716 682 0 17203 0
Current children cumulated CPU time (s) 2262.14
Current children cumulated vsize (KiB) 92800
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7191
/proc/meminfo: memFree=32035348/32770624 swapFree=5812/121580
[pid=7091] ppid=7088 vsize=92800 CPUtime=2322.14 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 93897 0 0 0 231505 709 0 0 20 0 1 0 2734508 95027200 17881 33554432000 4194304 6986860 140730817986608 140730817981960 140525005574524 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23200 17881 716 682 0 17203 0
Current children cumulated CPU time (s) 2322.14
Current children cumulated vsize (KiB) 92800
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7253
/proc/meminfo: memFree=32045856/32770624 swapFree=5812/121644
[pid=7091] ppid=7088 vsize=92800 CPUtime=2382.14 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 94356 0 0 0 237489 725 0 0 20 0 1 0 2734508 95027200 17881 33554432000 4194304 6986860 140730817986608 140730817981960 5432349 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23200 17881 716 682 0 17203 0
Current children cumulated CPU time (s) 2382.14
Current children cumulated vsize (KiB) 92800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7261
/proc/meminfo: memFree=32046060/32770624 swapFree=5812/121680
[pid=7091] ppid=7088 vsize=92800 CPUtime=2400.04 cores=0,2,4,6
/proc/7091/stat : 7091 (naxos-xcsp3) R 7088 7091 3774 0 -1 4202496 94793 0 0 0 239274 730 0 0 20 0 1 0 2734508 95027200 17888 33554432000 4194304 6986860 140730817986608 140730817982136 140525005574524 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 42340352 140730817987854 140730817987935 140730817987935 140730817990634 0
/proc/7091/statm: 23200 17888 716 682 0 17203 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 92800
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 7091 sig 9
??? kill -7091 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.05
CPU user time (s): 2392.74
CPU system time (s): 7.30859
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 92804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.75
system time used= 7.30859
maximum resident set size= 71592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94823
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= 36
involuntary context switches= 2705
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20606 second user time and 9.54331 second system time
The end