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-4251939-1500920196/watcher-4251939-1500920196 -o /tmp/evaluation-result-4251939-1500920196/solver-4251939-1500920196 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3507 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251939-1500920196.xml
pid=4213
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.00 2.01 2.05 2/181 4216
/proc/meminfo: memFree=32125864/32770624 swapFree=5740/114844
[pid=4216] ppid=4213 vsize=24736 CPUtime=0 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 993 0 0 0 0 0 0 0 20 0 1 0 1559595 25329664 786 33554432000 4194304 6986860 140724997549120 140724997545816 5762716 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6184 786 652 682 0 187 0
[startup+0.100197 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 4216
/proc/meminfo: memFree=32125864/32770624 swapFree=5740/114844
[pid=4216] ppid=4213 vsize=25524 CPUtime=0.09 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 1199 0 0 0 9 0 0 0 20 0 1 0 1559595 26136576 1006 33554432000 4194304 6986860 140724997549120 140724997542072 5438108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1006 703 682 0 384 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25524
[startup+0.200338 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 4216
/proc/meminfo: memFree=32125864/32770624 swapFree=5740/114844
[pid=4216] ppid=4213 vsize=25524 CPUtime=0.19 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 1199 0 0 0 19 0 0 0 20 0 1 0 1559595 26136576 1006 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1006 703 682 0 384 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25524
[startup+0.300313 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 4216
/proc/meminfo: memFree=32125864/32770624 swapFree=5740/114844
[pid=4216] ppid=4213 vsize=25524 CPUtime=0.29 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 1199 0 0 0 29 0 0 0 20 0 1 0 1559595 26136576 1006 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1006 703 682 0 384 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25524
[startup+0.700278 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 4216
/proc/meminfo: memFree=32125864/32770624 swapFree=5740/114844
[pid=4216] ppid=4213 vsize=25524 CPUtime=0.69 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 1199 0 0 0 69 0 0 0 20 0 1 0 1559595 26136576 1006 33554432000 4194304 6986860 140724997549120 140724997544648 140470046180852 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1006 703 682 0 384 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25524
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4217
/proc/meminfo: memFree=32124320/32770624 swapFree=5740/114868
[pid=4216] ppid=4213 vsize=25524 CPUtime=1.49 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 1199 0 0 0 149 0 0 0 20 0 1 0 1559595 26136576 1006 33554432000 4194304 6986860 140724997549120 140724997544472 5438079 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1006 703 682 0 384 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25524
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4217
/proc/meminfo: memFree=32123948/32770624 swapFree=5740/114868
[pid=4216] ppid=4213 vsize=25524 CPUtime=3.09 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 1452 0 0 0 308 1 0 0 20 0 1 0 1559595 26136576 1045 33554432000 4194304 6986860 140724997549120 140724997544472 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1045 708 682 0 384 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25524
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4217
/proc/meminfo: memFree=32123720/32770624 swapFree=5740/114876
[pid=4216] ppid=4213 vsize=25524 CPUtime=6.29 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 1740 0 0 0 626 3 0 0 20 0 1 0 1559595 26136576 1045 33554432000 4194304 6986860 140724997549120 140724997544648 5438923 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1045 708 682 0 384 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25524
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4217
/proc/meminfo: memFree=32123476/32770624 swapFree=5740/114884
[pid=4216] ppid=4213 vsize=25524 CPUtime=12.68 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 2012 0 0 0 1263 5 0 0 20 0 1 0 1559595 26136576 1045 33554432000 4194304 6986860 140724997549120 140724997544472 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1045 708 682 0 384 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25524
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4217
/proc/meminfo: memFree=32123476/32770624 swapFree=5740/114892
[pid=4216] ppid=4213 vsize=25524 CPUtime=25.49 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 2555 0 0 0 2537 12 0 0 20 0 1 0 1559595 26136576 1045 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1045 708 682 0 384 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25524
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4217
/proc/meminfo: memFree=32123600/32770624 swapFree=5740/114916
[pid=4216] ppid=4213 vsize=25524 CPUtime=51.08 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 2840 0 0 0 5085 23 0 0 20 0 1 0 1559595 26136576 1047 33554432000 4194304 6986860 140724997549120 140724997544472 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1047 708 682 0 384 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25524
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4218
/proc/meminfo: memFree=32122864/32770624 swapFree=5740/114952
[pid=4216] ppid=4213 vsize=25524 CPUtime=102.28 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 3117 0 0 0 10183 45 0 0 20 0 1 0 1559595 26136576 1047 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1047 708 682 0 384 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 25524
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4219
/proc/meminfo: memFree=32122864/32770624 swapFree=5740/114992
[pid=4216] ppid=4213 vsize=25524 CPUtime=162.27 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 3398 0 0 0 16159 68 0 0 20 0 1 0 1559595 26136576 1047 33554432000 4194304 6986860 140724997549120 140724997544648 5438231 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1047 708 682 0 384 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 25524
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4227
/proc/meminfo: memFree=32122600/32770624 swapFree=5740/115028
[pid=4216] ppid=4213 vsize=25524 CPUtime=222.27 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 3678 0 0 0 22135 92 0 0 20 0 1 0 1559595 26136576 1047 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1047 708 682 0 384 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 25524
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 4228
/proc/meminfo: memFree=32122584/32770624 swapFree=5740/115056
[pid=4216] ppid=4213 vsize=25524 CPUtime=282.26 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 3954 0 0 0 28108 118 0 0 20 0 1 0 1559595 26136576 1049 33554432000 4194304 6986860 140724997549120 140724997544648 5438344 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1049 708 682 0 384 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 25524
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4229
/proc/meminfo: memFree=32122584/32770624 swapFree=5740/115084
[pid=4216] ppid=4213 vsize=25524 CPUtime=342.25 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 4233 0 0 0 34084 141 0 0 20 0 1 0 1559595 26136576 1049 33554432000 4194304 6986860 140724997549120 140724997544648 5355367 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1049 708 682 0 384 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 25524
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4230
/proc/meminfo: memFree=32122460/32770624 swapFree=5740/115120
[pid=4216] ppid=4213 vsize=25524 CPUtime=402.25 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 4513 0 0 0 40056 169 0 0 20 0 1 0 1559595 26136576 1049 33554432000 4194304 6986860 140724997549120 140724997544648 5438294 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1049 708 682 0 384 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 25524
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4231
/proc/meminfo: memFree=32122584/32770624 swapFree=5740/115152
[pid=4216] ppid=4213 vsize=25524 CPUtime=462.24 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 4794 0 0 0 46032 192 0 0 20 0 1 0 1559595 26136576 1049 33554432000 4194304 6986860 140724997549120 140724997544472 5438190 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1049 708 682 0 384 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 25524
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 4233
/proc/meminfo: memFree=32122852/32770624 swapFree=5740/115196
[pid=4216] ppid=4213 vsize=25524 CPUtime=522.23 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 5078 0 0 0 52006 217 0 0 20 0 1 0 1559595 26136576 1049 33554432000 4194304 6986860 140724997549120 140724997544472 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1049 708 682 0 384 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 25524
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4234
/proc/meminfo: memFree=32123100/32770624 swapFree=5740/115232
[pid=4216] ppid=4213 vsize=25524 CPUtime=582.22 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 5363 0 0 0 57981 241 0 0 20 0 1 0 1559595 26136576 1049 33554432000 4194304 6986860 140724997549120 140724997544648 140470046191581 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1049 708 682 0 384 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 25524
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4265
/proc/meminfo: memFree=32122432/32770624 swapFree=5740/115748
[pid=4216] ppid=4213 vsize=25524 CPUtime=1542.12 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 9820 0 0 0 153572 640 0 0 20 0 1 0 1559595 26136576 1050 33554432000 4194304 6986860 140724997549120 140724997544472 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1050 709 682 0 384 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 25524
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4266
/proc/meminfo: memFree=32122352/32770624 swapFree=5740/115788
[pid=4216] ppid=4213 vsize=25524 CPUtime=1602.11 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 10098 0 0 0 159545 666 0 0 20 0 1 0 1559595 26136576 1050 33554432000 4194304 6986860 140724997549120 140724997544472 5438032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1050 709 682 0 384 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 25524
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4267
/proc/meminfo: memFree=32122624/32770624 swapFree=5740/115812
[pid=4216] ppid=4213 vsize=25524 CPUtime=1662.11 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 10376 0 0 0 165519 692 0 0 20 0 1 0 1559595 26136576 1050 33554432000 4194304 6986860 140724997549120 140724997544472 140470046174994 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1050 709 682 0 384 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 25524
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4268
/proc/meminfo: memFree=32122564/32770624 swapFree=5740/115844
[pid=4216] ppid=4213 vsize=25524 CPUtime=1722.1 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 10655 0 0 0 171496 714 0 0 20 0 1 0 1559595 26136576 1050 33554432000 4194304 6986860 140724997549120 140724997544648 5438190 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1050 709 682 0 384 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 25524
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 4269
/proc/meminfo: memFree=32122124/32770624 swapFree=5740/115876
[pid=4216] ppid=4213 vsize=25524 CPUtime=1782.09 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 10933 0 0 0 177472 737 0 0 20 0 1 0 1559595 26136576 1050 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1050 709 682 0 384 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 25524
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4270
/proc/meminfo: memFree=32122284/32770624 swapFree=5740/115900
[pid=4216] ppid=4213 vsize=25524 CPUtime=1842.08 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 11213 0 0 0 183446 762 0 0 20 0 1 0 1559595 26136576 1050 33554432000 4194304 6986860 140724997549120 140724997544648 5438309 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1050 709 682 0 384 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 25524
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4271
/proc/meminfo: memFree=32122584/32770624 swapFree=5740/115936
[pid=4216] ppid=4213 vsize=25524 CPUtime=1902.08 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 11491 0 0 0 189422 786 0 0 20 0 1 0 1559595 26136576 1050 33554432000 4194304 6986860 140724997549120 140724997544472 5438453 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1050 709 682 0 384 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 25524
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4272
/proc/meminfo: memFree=32122168/32770624 swapFree=5740/115968
[pid=4216] ppid=4213 vsize=25524 CPUtime=1962.07 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 11769 0 0 0 195398 809 0 0 20 0 1 0 1559595 26136576 1050 33554432000 4194304 6986860 140724997549120 140724997544472 5438190 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1050 709 682 0 384 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 25524
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4650
/proc/meminfo: memFree=32100168/32770624 swapFree=5740/116572
[pid=4216] ppid=4213 vsize=25524 CPUtime=2022.07 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 12053 0 0 0 201374 833 0 0 20 0 1 0 1559595 26136576 1051 33554432000 4194304 6986860 140724997549120 140724997544648 5438239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1051 709 682 0 384 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 25524
[startup+2082.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 4833
/proc/meminfo: memFree=32124704/32770624 swapFree=5740/117552
[pid=4216] ppid=4213 vsize=25524 CPUtime=2082.07 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 12335 0 0 0 207347 860 0 0 20 0 1 0 1559595 26136576 1051 33554432000 4194304 6986860 140724997549120 140724997544472 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1051 709 682 0 384 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 25524
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 4834
/proc/meminfo: memFree=32124220/32770624 swapFree=5740/117584
[pid=4216] ppid=4213 vsize=25524 CPUtime=2142.05 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 12615 0 0 0 213319 886 0 0 20 0 1 0 1559595 26136576 1051 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1051 709 682 0 384 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 25524
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4835
/proc/meminfo: memFree=32124284/32770624 swapFree=5740/117616
[pid=4216] ppid=4213 vsize=25524 CPUtime=2202.05 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 12895 0 0 0 219296 909 0 0 20 0 1 0 1559595 26136576 1051 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1051 709 682 0 384 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 25524
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4836
/proc/meminfo: memFree=32124076/32770624 swapFree=5740/117636
[pid=4216] ppid=4213 vsize=25524 CPUtime=2262.03 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 13175 0 0 0 225269 934 0 0 20 0 1 0 1559595 26136576 1051 33554432000 4194304 6986860 140724997549120 140724997544472 5473995 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1051 709 682 0 384 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 25524
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4838
/proc/meminfo: memFree=32124284/32770624 swapFree=5740/117664
[pid=4216] ppid=4213 vsize=25524 CPUtime=2322.03 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 13455 0 0 0 231244 959 0 0 20 0 1 0 1559595 26136576 1051 33554432000 4194304 6986860 140724997549120 140724997544472 5474205 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1051 709 682 0 384 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 25524
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4839
/proc/meminfo: memFree=32123884/32770624 swapFree=5740/117688
[pid=4216] ppid=4213 vsize=25524 CPUtime=2382.02 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 13745 0 0 0 237216 986 0 0 20 0 1 0 1559595 26136576 1051 33554432000 4194304 6986860 140724997549120 140724997544648 5438309 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1051 709 682 0 384 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 25524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4839
/proc/meminfo: memFree=32124532/32770624 swapFree=5740/117692
[pid=4216] ppid=4213 vsize=25524 CPUtime=2400.03 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 14016 0 0 0 239011 992 0 0 20 0 1 0 1559595 26136576 1054 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1054 709 682 0 384 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 25524
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 4216 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4839
/proc/meminfo: memFree=32124532/32770624 swapFree=5740/117692
[pid=4216] ppid=4213 vsize=25524 CPUtime=2400.03 cores=0,2,4,6
/proc/4216/stat : 4216 (naxos-xcsp3) R 4213 4216 3476 0 -1 4202496 14016 0 0 0 239011 992 0 0 20 0 1 0 1559595 26136576 1054 33554432000 4194304 6986860 140724997549120 140724997544648 140470046445948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 27131904 140724997551374 140724997551455 140724997551455 140724997554154 0
/proc/4216/statm: 6381 1054 709 682 0 384 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 25524
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.04
CPU user time (s): 2390.11
CPU system time (s): 9.92589
CPU usage (%): 99.9888
Max. virtual memory (cumulated for all children) (KiB): 25524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.11
system time used= 9.92589
maximum resident set size= 4236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14043
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= 7
involuntary context switches= 1808
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35133 second user time and 8.7206 second system time
The end