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-4253134-1500929550/watcher-4253134-1500929550 -o /tmp/evaluation-result-4253134-1500929550/solver-4253134-1500929550 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3378 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253134-1500929550.xml
pid=7307
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: 2.04 2.03 2.05 3/181 7310
/proc/meminfo: memFree=32109280/32770624 swapFree=5736/127976
[pid=7310] ppid=7307 vsize=25244 CPUtime=0 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 1117 0 0 0 0 0 0 0 20 0 1 0 2507803 25849856 959 33554432000 4194304 6986860 140734791818544 140734791815240 139883466300389 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 6311 959 696 682 0 314 0
[startup+0.100203 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7310
/proc/meminfo: memFree=32109280/32770624 swapFree=5736/127976
[pid=7310] ppid=7307 vsize=27744 CPUtime=0.09 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 1792 0 0 0 9 0 0 0 20 0 1 0 2507803 28409856 1618 33554432000 4194304 6986860 140734791818544 140734791815240 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 6936 1618 732 682 0 939 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27744
[startup+0.200349 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7310
/proc/meminfo: memFree=32109280/32770624 swapFree=5736/127976
[pid=7310] ppid=7307 vsize=32508 CPUtime=0.19 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 3033 0 0 0 19 0 0 0 20 0 1 0 2507803 33288192 2807 33554432000 4194304 6986860 140734791818544 140734791815240 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 8127 2807 732 682 0 2130 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32508
[startup+0.300355 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7310
/proc/meminfo: memFree=32109280/32770624 swapFree=5736/127976
[pid=7310] ppid=7307 vsize=33184 CPUtime=0.29 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 3268 0 0 0 29 0 0 0 20 0 1 0 2507803 33980416 2977 33554432000 4194304 6986860 140734791818544 140734791815240 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 8296 2977 732 682 0 2299 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33184
[startup+0.700281 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7310
/proc/meminfo: memFree=32109280/32770624 swapFree=5736/127976
[pid=7310] ppid=7307 vsize=33184 CPUtime=0.69 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 3268 0 0 0 69 0 0 0 20 0 1 0 2507803 33980416 2977 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 8296 2977 732 682 0 2299 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33184
[startup+1.50028 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7311
/proc/meminfo: memFree=32097096/32770624 swapFree=5736/128004
[pid=7310] ppid=7307 vsize=36076 CPUtime=1.49 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 4064 0 0 0 148 1 0 0 20 0 1 0 2507803 36941824 3700 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 9019 3700 732 682 0 3022 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36076
[startup+3.10028 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7311
/proc/meminfo: memFree=32093288/32770624 swapFree=5736/128004
[pid=7310] ppid=7307 vsize=40000 CPUtime=3.09 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 6996 0 0 0 308 1 0 0 20 0 1 0 2507803 40960000 4681 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 10000 4681 732 682 0 4003 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40000
[startup+6.30027 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7311
/proc/meminfo: memFree=32092792/32770624 swapFree=5736/128004
[pid=7310] ppid=7307 vsize=40000 CPUtime=6.29 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 7762 0 0 0 627 2 0 0 20 0 1 0 2507803 40960000 4705 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 10000 4705 732 682 0 4003 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40000
[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7311
/proc/meminfo: memFree=32085228/32770624 swapFree=5736/128004
[pid=7310] ppid=7307 vsize=47108 CPUtime=12.69 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 14478 0 0 0 1263 6 0 0 20 0 1 0 2507803 48238592 6465 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 11777 6465 732 682 0 5780 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47108
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7311
/proc/meminfo: memFree=32079368/32770624 swapFree=5736/128012
[pid=7310] ppid=7307 vsize=52552 CPUtime=25.49 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 17666 0 0 0 2537 12 0 0 20 0 1 0 2507803 53813248 7845 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13138 7845 732 682 0 7141 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52552
[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7311
/proc/meminfo: memFree=32077980/32770624 swapFree=5736/128036
[pid=7310] ppid=7307 vsize=52684 CPUtime=51.09 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 18364 0 0 0 5085 24 0 0 20 0 1 0 2507803 53948416 7846 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13171 7846 732 682 0 7174 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52684
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7312
/proc/meminfo: memFree=32078748/32770624 swapFree=5736/128076
[pid=7310] ppid=7307 vsize=52684 CPUtime=102.29 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 18776 0 0 0 10186 43 0 0 20 0 1 0 2507803 53948416 7876 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13171 7876 732 682 0 7174 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 52684
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7314
/proc/meminfo: memFree=32079052/32770624 swapFree=5736/128120
[pid=7310] ppid=7307 vsize=52684 CPUtime=162.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 19183 0 0 0 16160 68 0 0 20 0 1 0 2507803 53948416 7876 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13171 7876 732 682 0 7174 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 52684
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7315
/proc/meminfo: memFree=32078804/32770624 swapFree=5736/128156
[pid=7310] ppid=7307 vsize=52684 CPUtime=222.29 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 19590 0 0 0 22132 97 0 0 20 0 1 0 2507803 53948416 7879 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13171 7879 732 682 0 7174 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 52684
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7316
/proc/meminfo: memFree=32079104/32770624 swapFree=5736/128184
[pid=7310] ppid=7307 vsize=52684 CPUtime=282.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 19998 0 0 0 28102 126 0 0 20 0 1 0 2507803 53948416 7879 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13171 7879 732 682 0 7174 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 52684
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7318
/proc/meminfo: memFree=32079228/32770624 swapFree=5736/128216
[pid=7310] ppid=7307 vsize=52816 CPUtime=342.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 20462 0 0 0 34076 152 0 0 20 0 1 0 2507803 54083584 7906 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7906 732 682 0 7207 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 52816
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7319
/proc/meminfo: memFree=32078824/32770624 swapFree=5736/128248
[pid=7310] ppid=7307 vsize=52816 CPUtime=402.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 20896 0 0 0 40045 183 0 0 20 0 1 0 2507803 54083584 7906 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7906 732 682 0 7207 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 52816
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7328
/proc/meminfo: memFree=32076896/32770624 swapFree=5736/128292
[pid=7310] ppid=7307 vsize=52816 CPUtime=462.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 21329 0 0 0 46016 212 0 0 20 0 1 0 2507803 54083584 7906 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7906 732 682 0 7207 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 52816
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 7351
/proc/meminfo: memFree=32076552/32770624 swapFree=5736/128340
[pid=7310] ppid=7307 vsize=52816 CPUtime=522.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 21762 0 0 0 51987 241 0 0 20 0 1 0 2507803 54083584 7906 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7906 732 682 0 7207 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 52816
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 7352
/proc/meminfo: memFree=32076832/32770624 swapFree=5736/128364
[pid=7310] ppid=7307 vsize=52816 CPUtime=582.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 22195 0 0 0 57958 270 0 0 20 0 1 0 2507803 54083584 7906 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7906 732 682 0 7207 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 52816
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7375
/proc/meminfo: memFree=32077324/32770624 swapFree=5736/128892
[pid=7310] ppid=7307 vsize=52816 CPUtime=1542.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 29179 0 0 0 153491 737 0 0 20 0 1 0 2507803 54083584 7909 33554432000 4194304 6986860 140734791818544 140734791814072 5477102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7909 732 682 0 7207 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 52816
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 7376
/proc/meminfo: memFree=32077540/32770624 swapFree=5736/128920
[pid=7310] ppid=7307 vsize=52816 CPUtime=1602.27 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 29616 0 0 0 159461 766 0 0 20 0 1 0 2507803 54083584 7909 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7909 732 682 0 7207 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 52816
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7384
/proc/meminfo: memFree=32076504/32770624 swapFree=5736/128968
[pid=7310] ppid=7307 vsize=52816 CPUtime=1662.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 30050 0 0 0 165432 796 0 0 20 0 1 0 2507803 54083584 7909 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7909 732 682 0 7207 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 52816
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7385
/proc/meminfo: memFree=32076876/32770624 swapFree=5736/129012
[pid=7310] ppid=7307 vsize=52816 CPUtime=1722.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 30484 0 0 0 171404 824 0 0 20 0 1 0 2507803 54083584 7909 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7909 732 682 0 7207 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 52816
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7386
/proc/meminfo: memFree=32077304/32770624 swapFree=5736/129052
[pid=7310] ppid=7307 vsize=52816 CPUtime=1782.27 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 30921 0 0 0 177375 852 0 0 20 0 1 0 2507803 54083584 7909 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7909 732 682 0 7207 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 52816
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7387
/proc/meminfo: memFree=32077536/32770624 swapFree=5736/129084
[pid=7310] ppid=7307 vsize=52816 CPUtime=1842.27 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 31358 0 0 0 183347 880 0 0 20 0 1 0 2507803 54083584 7909 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7909 732 682 0 7207 0
Current children cumulated CPU time (s) 1842.27
Current children cumulated vsize (KiB) 52816
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7388
/proc/meminfo: memFree=32077456/32770624 swapFree=5736/129116
[pid=7310] ppid=7307 vsize=52816 CPUtime=1902.27 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 31796 0 0 0 189319 908 0 0 20 0 1 0 2507803 54083584 7909 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7909 732 682 0 7207 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 52816
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7390
/proc/meminfo: memFree=32077200/32770624 swapFree=5736/129156
[pid=7310] ppid=7307 vsize=52816 CPUtime=1962.27 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 32234 0 0 0 195288 939 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 1962.27
Current children cumulated vsize (KiB) 52816
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7391
/proc/meminfo: memFree=32077552/32770624 swapFree=5736/129192
[pid=7310] ppid=7307 vsize=52816 CPUtime=2022.27 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 32672 0 0 0 201254 973 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 2022.27
Current children cumulated vsize (KiB) 52816
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7392
/proc/meminfo: memFree=32077428/32770624 swapFree=5736/129220
[pid=7310] ppid=7307 vsize=52816 CPUtime=2082.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 33110 0 0 0 207224 1004 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 2082.28
Current children cumulated vsize (KiB) 52816
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7394
/proc/meminfo: memFree=32076904/32770624 swapFree=5736/129248
[pid=7310] ppid=7307 vsize=52816 CPUtime=2142.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 33548 0 0 0 213193 1035 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 52816
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7395
/proc/meminfo: memFree=32076616/32770624 swapFree=5736/129280
[pid=7310] ppid=7307 vsize=52816 CPUtime=2202.28 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 33986 0 0 0 219163 1065 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 52816
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7404
/proc/meminfo: memFree=32075436/32770624 swapFree=5736/129312
[pid=7310] ppid=7307 vsize=52816 CPUtime=2262.27 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 34423 0 0 0 225131 1096 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791813896 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 52816
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 7709
/proc/meminfo: memFree=32056948/32770624 swapFree=5736/129516
[pid=7310] ppid=7307 vsize=52816 CPUtime=2322.27 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 34861 0 0 0 231102 1125 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 52816
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 7710
/proc/meminfo: memFree=32057312/32770624 swapFree=5736/129560
[pid=7310] ppid=7307 vsize=52816 CPUtime=2382.27 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 35299 0 0 0 237074 1153 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 52816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 7710
/proc/meminfo: memFree=32057436/32770624 swapFree=5736/129576
[pid=7310] ppid=7307 vsize=52816 CPUtime=2400.07 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 35736 0 0 0 238846 1161 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 52816
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 7310 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 7710
/proc/meminfo: memFree=32057436/32770624 swapFree=5736/129576
[pid=7310] ppid=7307 vsize=52816 CPUtime=2400.07 cores=0,2,4,6
/proc/7310/stat : 7310 (naxos-xcsp3) R 7307 7310 3347 0 -1 4202496 35736 0 0 0 238846 1161 0 0 20 0 1 0 2507803 54083584 7910 33554432000 4194304 6986860 140734791818544 140734791814072 139883466563964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 11431936 140734791820558 140734791820639 140734791820639 140734791823338 0
/proc/7310/statm: 13204 7910 732 682 0 7207 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 52816
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.08
CPU user time (s): 2388.46
CPU system time (s): 11.6179
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 52816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.46
system time used= 11.6179
maximum resident set size= 31680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35766
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= 12
involuntary context switches= 3020
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.44709 second user time and 8.35197 second system time
The end