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-4253401-1500931790/watcher-4253401-1500931790 -o /tmp/evaluation-result-4253401-1500931790/solver-4253401-1500931790 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500914927-3715 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253401-1500931790.xml 

pid=7189
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: 1.93 2.02 2.04 3/181 7192
/proc/meminfo: memFree=32106276/32770624 swapFree=5836/129060
[pid=7192] ppid=7189 vsize=24740 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 928 0 0 0 0 0 0 0 20 0 1 0 2719149 25333760 739 33554432000 4194304 6986860 140726304913952 140726304910648 139661321292773 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 6185 739 637 682 0 188 0

[startup+0.100155 s]
/proc/loadavg: 1.93 2.02 2.04 3/181 7192
/proc/meminfo: memFree=32106276/32770624 swapFree=5836/129060
[pid=7192] ppid=7189 vsize=28452 CPUtime=0.09 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 1917 0 0 0 9 0 0 0 20 0 1 0 2719149 29134848 1750 33554432000 4194304 6986860 140726304913952 140726304910648 139661321292773 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 7113 1750 696 682 0 1116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28452

[startup+0.200292 s]
/proc/loadavg: 1.93 2.02 2.04 3/181 7192
/proc/meminfo: memFree=32106276/32770624 swapFree=5836/129060
[pid=7192] ppid=7189 vsize=35136 CPUtime=0.19 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 3578 0 0 0 19 0 0 0 20 0 1 0 2719149 35979264 3421 33554432000 4194304 6986860 140726304913952 140726304910648 139661321292773 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 8784 3421 696 682 0 2787 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35136

[startup+0.300313 s]
/proc/loadavg: 1.93 2.02 2.04 3/181 7192
/proc/meminfo: memFree=32106276/32770624 swapFree=5836/129060
[pid=7192] ppid=7189 vsize=41792 CPUtime=0.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 5242 0 0 0 29 0 0 0 20 0 1 0 2719149 42795008 5084 33554432000 4194304 6986860 140726304913952 140726304910648 139661321292773 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 10448 5084 696 682 0 4451 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41792

[startup+0.700299 s]
/proc/loadavg: 1.93 2.02 2.04 3/181 7192
/proc/meminfo: memFree=32106276/32770624 swapFree=5836/129060
[pid=7192] ppid=7189 vsize=58408 CPUtime=0.69 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 9474 0 0 0 68 1 0 0 20 0 1 0 2719149 59809792 9236 33554432000 4194304 6986860 140726304913952 140726304909480 5431766 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9236 703 682 0 8605 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58408

[startup+1.50025 s]
/proc/loadavg: 1.93 2.02 2.04 3/182 7193
/proc/meminfo: memFree=32071828/32770624 swapFree=5836/129060
[pid=7192] ppid=7189 vsize=58408 CPUtime=1.49 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 9474 0 0 0 148 1 0 0 20 0 1 0 2719149 59809792 9236 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9236 703 682 0 8605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58408

[startup+3.10025 s]
/proc/loadavg: 1.93 2.02 2.04 3/182 7193
/proc/meminfo: memFree=32071672/32770624 swapFree=5836/129120
[pid=7192] ppid=7189 vsize=58408 CPUtime=3.09 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 15672 0 0 0 307 2 0 0 20 0 1 0 2719149 59809792 9281 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9281 717 682 0 8605 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58408

[startup+6.30026 s]
/proc/loadavg: 1.94 2.01 2.04 3/182 7193
/proc/meminfo: memFree=32071536/32770624 swapFree=5836/129132
[pid=7192] ppid=7189 vsize=58408 CPUtime=6.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 22085 0 0 0 627 2 0 0 20 0 1 0 2719149 59809792 9281 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9281 717 682 0 8605 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58408

[startup+12.7003 s]
/proc/loadavg: 1.94 2.01 2.04 3/182 7200
/proc/meminfo: memFree=32070356/32770624 swapFree=5836/129132
[pid=7192] ppid=7189 vsize=58408 CPUtime=12.69 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 28392 0 0 0 1266 3 0 0 20 0 1 0 2719149 59809792 9281 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9281 717 682 0 8605 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58408

[startup+25.5003 s]
/proc/loadavg: 1.96 2.01 2.04 3/182 7200
/proc/meminfo: memFree=32070980/32770624 swapFree=5836/129156
[pid=7192] ppid=7189 vsize=58408 CPUtime=25.49 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 41077 0 0 0 2545 4 0 0 20 0 1 0 2719149 59809792 9281 33554432000 4194304 6986860 140726304913952 140726304909480 139661321291845 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9281 717 682 0 8605 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58408

[startup+51.1003 s]
/proc/loadavg: 1.97 2.01 2.04 3/182 7200
/proc/meminfo: memFree=32070888/32770624 swapFree=5836/129172
[pid=7192] ppid=7189 vsize=58408 CPUtime=51.08 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 44370 0 0 0 5101 7 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321291788 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58408

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 7201
/proc/meminfo: memFree=32071344/32770624 swapFree=5836/129200
[pid=7192] ppid=7189 vsize=58408 CPUtime=102.28 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 44873 0 0 0 10216 12 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 58408

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7202
/proc/meminfo: memFree=32071516/32770624 swapFree=5836/129232
[pid=7192] ppid=7189 vsize=58408 CPUtime=162.27 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 45381 0 0 0 16209 18 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5453216 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 58408

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7203
/proc/meminfo: memFree=32071500/32770624 swapFree=5836/129252
[pid=7192] ppid=7189 vsize=58408 CPUtime=222.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 45881 0 0 0 22204 25 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5475085 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 58408

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7204
/proc/meminfo: memFree=32071424/32770624 swapFree=5836/129276
[pid=7192] ppid=7189 vsize=58408 CPUtime=282.28 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 46377 0 0 0 28197 31 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5431976 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 58408

[startup+342.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/182 7205
/proc/meminfo: memFree=32071176/32770624 swapFree=5836/129300
[pid=7192] ppid=7189 vsize=58408 CPUtime=342.28 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 46877 0 0 0 34191 37 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5256079 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 58408

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 7206
/proc/meminfo: memFree=32071224/32770624 swapFree=5836/129324
[pid=7192] ppid=7189 vsize=58408 CPUtime=402.28 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 47374 0 0 0 40186 42 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 58408

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7207
/proc/meminfo: memFree=32071092/32770624 swapFree=5836/129356
[pid=7192] ppid=7189 vsize=58408 CPUtime=462.28 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 47874 0 0 0 46179 49 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 58408

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 7208
/proc/meminfo: memFree=32070844/32770624 swapFree=5836/129384
[pid=7192] ppid=7189 vsize=58408 CPUtime=522.28 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 48390 0 0 0 52173 55 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5453320 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 58408

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7209
/proc/meminfo: memFree=32071032/32770624 swapFree=5836/129408
[pid=7192] ppid=7189 vsize=58408 CPUtime=582.28 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 48898 0 0 0 58168 60 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 58408


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


[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 7311
/proc/meminfo: memFree=32069536/32770624 swapFree=5836/130124
[pid=7192] ppid=7189 vsize=58408 CPUtime=1542.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 56941 0 0 0 154069 160 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909304 5453247 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 58408

[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 7312
/proc/meminfo: memFree=32069924/32770624 swapFree=5836/130144
[pid=7192] ppid=7189 vsize=58408 CPUtime=1602.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 57442 0 0 0 160062 167 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 58408

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7313
/proc/meminfo: memFree=32070304/32770624 swapFree=5836/130172
[pid=7192] ppid=7189 vsize=58408 CPUtime=1662.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 57949 0 0 0 166056 173 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5360055 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 58408

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7315
/proc/meminfo: memFree=32070272/32770624 swapFree=5836/130196
[pid=7192] ppid=7189 vsize=58408 CPUtime=1722.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 58456 0 0 0 172049 180 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5366840 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 58408

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7316
/proc/meminfo: memFree=32069772/32770624 swapFree=5836/130224
[pid=7192] ppid=7189 vsize=58408 CPUtime=1782.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 58955 0 0 0 178043 186 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5355960 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 58408

[startup+1842.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/182 7324
/proc/meminfo: memFree=32069472/32770624 swapFree=5836/130248
[pid=7192] ppid=7189 vsize=58408 CPUtime=1842.28 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 59454 0 0 0 184037 191 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321290847 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 58408

[startup+1902.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/183 7351
/proc/meminfo: memFree=32068500/32770624 swapFree=5836/130312
[pid=7192] ppid=7189 vsize=58408 CPUtime=1902.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 59961 0 0 0 190032 197 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 58408

[startup+1962.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/183 7352
/proc/meminfo: memFree=32068896/32770624 swapFree=5836/130332
[pid=7192] ppid=7189 vsize=58408 CPUtime=1962.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 60462 0 0 0 196025 204 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321286130 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 58408

[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/183 7353
/proc/meminfo: memFree=32068816/32770624 swapFree=5836/130364
[pid=7192] ppid=7189 vsize=58408 CPUtime=2022.28 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 60959 0 0 0 202019 209 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5432353 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 58408

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 7354
/proc/meminfo: memFree=32069040/32770624 swapFree=5836/130388
[pid=7192] ppid=7189 vsize=58408 CPUtime=2082.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 61460 0 0 0 208015 214 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5366202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 58408

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 7355
/proc/meminfo: memFree=32068396/32770624 swapFree=5836/130416
[pid=7192] ppid=7189 vsize=58408 CPUtime=2142.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 61957 0 0 0 214008 221 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 2142.29
Current children cumulated vsize (KiB) 58408

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7356
/proc/meminfo: memFree=32068668/32770624 swapFree=5836/130420
[pid=7192] ppid=7189 vsize=58408 CPUtime=2202.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 62461 0 0 0 220003 226 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5397449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 58408

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7357
/proc/meminfo: memFree=32069048/32770624 swapFree=5836/130440
[pid=7192] ppid=7189 vsize=58408 CPUtime=2262.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 62973 0 0 0 225997 232 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 58408

[startup+2322.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/182 7359
/proc/meminfo: memFree=32069040/32770624 swapFree=5836/130472
[pid=7192] ppid=7189 vsize=58408 CPUtime=2322.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 63495 0 0 0 231990 239 0 0 20 0 1 0 2719149 59809792 9283 33554432000 4194304 6986860 140726304913952 140726304909480 5356009 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14602 9283 717 682 0 8605 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 58408

[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 7360
/proc/meminfo: memFree=32068876/32770624 swapFree=5836/130512
[pid=7192] ppid=7189 vsize=58412 CPUtime=2382.29 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 64011 0 0 0 237966 263 0 0 20 0 1 0 2719149 59813888 9283 33554432000 4194304 6986860 140726304913952 140726304909304 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14603 9283 717 682 0 8606 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 58412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 7361
/proc/meminfo: memFree=32068652/32770624 swapFree=5836/130528
[pid=7192] ppid=7189 vsize=58412 CPUtime=2400.09 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 64414 0 0 0 239734 275 0 0 20 0 1 0 2719149 59813888 9288 33554432000 4194304 6986860 140726304913952 140726304909304 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14603 9288 721 682 0 8606 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 58412

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 7192 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.1 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 7361
/proc/meminfo: memFree=32068652/32770624 swapFree=5836/130528
[pid=7192] ppid=7189 vsize=58412 CPUtime=2400.09 cores=1,3,5,7
/proc/7192/stat : 7192 (naxos-xcsp3) R 7189 7192 3683 0 -1 4202496 64414 0 0 0 239734 275 0 0 20 0 1 0 2719149 59813888 9288 33554432000 4194304 6986860 140726304913952 140726304909304 139661321556348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 15192064 140726304916750 140726304916831 140726304916831 140726304919530 0
/proc/7192/statm: 14603 9288 721 682 0 8606 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 58412

Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.1
CPU user time (s): 2397.35
CPU system time (s): 2.75302
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 58412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.35
system time used= 2.75302
maximum resident set size= 37172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64443
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= 20
involuntary context switches= 639

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.42906 second user time and 9.48711 second system time

The end