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-4253143-1500929624/watcher-4253143-1500929624 -o /tmp/evaluation-result-4253143-1500929624/solver-4253143-1500929624 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500914920-3563 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253143-1500929624.xml
pid=6942
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 6945
/proc/meminfo: memFree=32116332/32770624 swapFree=5744/120168
[pid=6945] ppid=6942 vsize=25120 CPUtime=0 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 1091 0 0 0 0 0 0 0 20 0 1 0 2551047 25722880 928 33554432000 4194304 6986860 140722263327376 140722263324072 140627982703589 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 6280 928 697 682 0 283 0
[startup+0.100109 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 6945
/proc/meminfo: memFree=32116332/32770624 swapFree=5744/120168
[pid=6945] ppid=6942 vsize=26892 CPUtime=0.09 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 2850 0 0 0 9 0 0 0 20 0 1 0 2551047 27537408 1437 33554432000 4194304 6986860 140722263327376 140722263324072 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 6723 1437 732 682 0 726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26892
[startup+0.20023 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 6945
/proc/meminfo: memFree=32116332/32770624 swapFree=5744/120168
[pid=6945] ppid=6942 vsize=26892 CPUtime=0.19 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 2850 0 0 0 19 0 0 0 20 0 1 0 2551047 27537408 1437 33554432000 4194304 6986860 140722263327376 140722263324072 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 6723 1437 732 682 0 726 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26892
[startup+0.300205 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 6945
/proc/meminfo: memFree=32116332/32770624 swapFree=5744/120168
[pid=6945] ppid=6942 vsize=26892 CPUtime=0.29 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 2850 0 0 0 29 0 0 0 20 0 1 0 2551047 27537408 1437 33554432000 4194304 6986860 140722263327376 140722263324072 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 6723 1437 732 682 0 726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26892
[startup+0.700173 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 6945
/proc/meminfo: memFree=32116332/32770624 swapFree=5744/120168
[pid=6945] ppid=6942 vsize=28608 CPUtime=0.69 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 3776 0 0 0 68 1 0 0 20 0 1 0 2551047 29294592 1867 33554432000 4194304 6986860 140722263327376 140722263324072 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 7152 1867 732 682 0 1155 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28608
[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6946
/proc/meminfo: memFree=32111992/32770624 swapFree=5744/120168
[pid=6945] ppid=6942 vsize=28916 CPUtime=1.49 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 6475 0 0 0 148 1 0 0 20 0 1 0 2551047 29609984 1885 33554432000 4194304 6986860 140722263327376 140722263324072 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 7229 1885 732 682 0 1232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28916
[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6946
/proc/meminfo: memFree=32111692/32770624 swapFree=5744/120168
[pid=6945] ppid=6942 vsize=28916 CPUtime=3.09 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 7170 0 0 0 308 1 0 0 20 0 1 0 2551047 29609984 1932 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 7229 1932 732 682 0 1232 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28916
[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6946
/proc/meminfo: memFree=32110992/32770624 swapFree=5744/120228
[pid=6945] ppid=6942 vsize=28916 CPUtime=6.29 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 7865 0 0 0 627 2 0 0 20 0 1 0 2551047 29609984 1932 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 7229 1932 732 682 0 1232 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28916
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6946
/proc/meminfo: memFree=32109504/32770624 swapFree=5744/120228
[pid=6945] ppid=6942 vsize=30312 CPUtime=12.69 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 9779 0 0 0 1264 5 0 0 20 0 1 0 2551047 31039488 2267 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 7578 2267 732 682 0 1581 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30312
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6946
/proc/meminfo: memFree=32103856/32770624 swapFree=5744/120240
[pid=6945] ppid=6942 vsize=36072 CPUtime=25.49 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 206398 0 0 0 2514 35 0 0 20 0 1 0 2551047 36937728 3730 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 9018 3730 732 682 0 3021 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36072
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6946
/proc/meminfo: memFree=32098096/32770624 swapFree=5744/120264
[pid=6945] ppid=6942 vsize=41452 CPUtime=51.09 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 212886 0 0 0 5062 47 0 0 20 0 1 0 2551047 42446848 5070 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10363 5070 732 682 0 4366 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41452
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6948
/proc/meminfo: memFree=32097216/32770624 swapFree=5744/120308
[pid=6945] ppid=6942 vsize=41584 CPUtime=102.3 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 213394 0 0 0 10153 77 0 0 20 0 1 0 2551047 42582016 5089 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10396 5089 732 682 0 4399 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 41584
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6949
/proc/meminfo: memFree=32097604/32770624 swapFree=5744/120336
[pid=6945] ppid=6942 vsize=41584 CPUtime=162.29 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 213893 0 0 0 16116 113 0 0 20 0 1 0 2551047 42582016 5101 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10396 5101 732 682 0 4399 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 41584
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6950
/proc/meminfo: memFree=32097492/32770624 swapFree=5744/120368
[pid=6945] ppid=6942 vsize=41584 CPUtime=222.29 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 214389 0 0 0 22081 148 0 0 20 0 1 0 2551047 42582016 5101 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10396 5101 732 682 0 4399 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 41584
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6952
/proc/meminfo: memFree=32097664/32770624 swapFree=5744/120408
[pid=6945] ppid=6942 vsize=41584 CPUtime=282.3 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 214887 0 0 0 28043 187 0 0 20 0 1 0 2551047 42582016 5101 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10396 5101 732 682 0 4399 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 41584
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6953
/proc/meminfo: memFree=32097748/32770624 swapFree=5744/120452
[pid=6945] ppid=6942 vsize=41584 CPUtime=342.29 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 215386 0 0 0 34006 223 0 0 20 0 1 0 2551047 42582016 5101 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10396 5101 732 682 0 4399 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 41584
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6961
/proc/meminfo: memFree=32095972/32770624 swapFree=5744/120492
[pid=6945] ppid=6942 vsize=41584 CPUtime=402.3 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 215882 0 0 0 39971 259 0 0 20 0 1 0 2551047 42582016 5101 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10396 5101 732 682 0 4399 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 41584
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6984
/proc/meminfo: memFree=32094864/32770624 swapFree=5744/120528
[pid=6945] ppid=6942 vsize=41584 CPUtime=462.3 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 216381 0 0 0 45936 294 0 0 20 0 1 0 2551047 42582016 5101 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10396 5101 732 682 0 4399 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 41584
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6985
/proc/meminfo: memFree=32095956/32770624 swapFree=5744/120556
[pid=6945] ppid=6942 vsize=41584 CPUtime=522.3 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 216877 0 0 0 51902 328 0 0 20 0 1 0 2551047 42582016 5101 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10396 5101 732 682 0 4399 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 41584
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6986
/proc/meminfo: memFree=32096192/32770624 swapFree=5744/120584
[pid=6945] ppid=6942 vsize=41584 CPUtime=582.3 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 217376 0 0 0 57860 370 0 0 20 0 1 0 2551047 42582016 5101 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 10396 5101 732 682 0 4399 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 41584
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7008
/proc/meminfo: memFree=32092932/32770624 swapFree=5744/121060
[pid=6945] ppid=6942 vsize=44508 CPUtime=1482.32 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 222911 0 0 0 147319 913 0 0 20 0 1 0 2551047 45576192 5835 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11127 5835 732 682 0 5130 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 44508
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7009
/proc/meminfo: memFree=32093256/32770624 swapFree=5744/121096
[pid=6945] ppid=6942 vsize=44508 CPUtime=1542.33 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 223213 0 0 0 153285 948 0 0 20 0 1 0 2551047 45576192 5835 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11127 5835 732 682 0 5130 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 44508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7017
/proc/meminfo: memFree=32092224/32770624 swapFree=5744/121136
[pid=6945] ppid=6942 vsize=44508 CPUtime=1602.33 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 223509 0 0 0 159248 985 0 0 20 0 1 0 2551047 45576192 5835 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11127 5835 732 682 0 5130 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 44508
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7018
/proc/meminfo: memFree=32092972/32770624 swapFree=5744/121164
[pid=6945] ppid=6942 vsize=44508 CPUtime=1662.32 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 223805 0 0 0 165213 1019 0 0 20 0 1 0 2551047 45576192 5835 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11127 5835 732 682 0 5130 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 44508
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7019
/proc/meminfo: memFree=32092848/32770624 swapFree=5744/121192
[pid=6945] ppid=6942 vsize=44508 CPUtime=1722.32 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 224114 0 0 0 171176 1056 0 0 20 0 1 0 2551047 45576192 5835 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11127 5835 732 682 0 5130 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 44508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7020
/proc/meminfo: memFree=32092836/32770624 swapFree=5744/121220
[pid=6945] ppid=6942 vsize=44508 CPUtime=1782.32 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 224416 0 0 0 177137 1095 0 0 20 0 1 0 2551047 45576192 5837 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11127 5837 732 682 0 5130 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 44508
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7021
/proc/meminfo: memFree=32092632/32770624 swapFree=5744/121252
[pid=6945] ppid=6942 vsize=44920 CPUtime=1842.33 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 224813 0 0 0 183100 1133 0 0 20 0 1 0 2551047 45998080 5914 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11230 5914 732 682 0 5233 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 44920
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7023
/proc/meminfo: memFree=32092628/32770624 swapFree=5744/121292
[pid=6945] ppid=6942 vsize=44848 CPUtime=1902.33 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 225556 0 0 0 189064 1169 0 0 20 0 1 0 2551047 45924352 5914 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5914 732 682 0 5215 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 44848
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7024
/proc/meminfo: memFree=32093116/32770624 swapFree=5744/121324
[pid=6945] ppid=6942 vsize=44848 CPUtime=1962.33 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 225939 0 0 0 195026 1207 0 0 20 0 1 0 2551047 45924352 5916 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5916 732 682 0 5215 0
Current children cumulated CPU time (s) 1962.33
Current children cumulated vsize (KiB) 44848
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7025
/proc/meminfo: memFree=32093032/32770624 swapFree=5744/121352
[pid=6945] ppid=6942 vsize=44848 CPUtime=2022.33 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 226322 0 0 0 200991 1242 0 0 20 0 1 0 2551047 45924352 5916 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5916 732 682 0 5215 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 44848
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7027
/proc/meminfo: memFree=32092660/32770624 swapFree=5744/121388
[pid=6945] ppid=6942 vsize=44848 CPUtime=2082.34 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 226704 0 0 0 206957 1277 0 0 20 0 1 0 2551047 45924352 5916 33554432000 4194304 6986860 140722263327376 140722263322728 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5916 732 682 0 5215 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 44848
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7028
/proc/meminfo: memFree=32092892/32770624 swapFree=5744/121424
[pid=6945] ppid=6942 vsize=44848 CPUtime=2142.33 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 227087 0 0 0 212918 1315 0 0 20 0 1 0 2551047 45924352 5916 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5916 732 682 0 5215 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 44848
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7096
/proc/meminfo: memFree=31925468/32770624 swapFree=5744/121528
[pid=6945] ppid=6942 vsize=44848 CPUtime=2202.34 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 227470 0 0 0 218883 1351 0 0 20 0 1 0 2551047 45924352 5916 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5916 732 682 0 5215 0
Current children cumulated CPU time (s) 2202.34
Current children cumulated vsize (KiB) 44848
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7097
/proc/meminfo: memFree=31924028/32770624 swapFree=5744/121560
[pid=6945] ppid=6942 vsize=44848 CPUtime=2262.33 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 227852 0 0 0 224844 1389 0 0 20 0 1 0 2551047 45924352 5916 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5916 732 682 0 5215 0
Current children cumulated CPU time (s) 2262.33
Current children cumulated vsize (KiB) 44848
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7098
/proc/meminfo: memFree=31928156/32770624 swapFree=5744/121592
[pid=6945] ppid=6942 vsize=44848 CPUtime=2322.34 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 228235 0 0 0 230806 1428 0 0 20 0 1 0 2551047 45924352 5916 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5916 732 682 0 5215 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 44848
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7099
/proc/meminfo: memFree=31925396/32770624 swapFree=5744/121620
[pid=6945] ppid=6942 vsize=44848 CPUtime=2382.33 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 228618 0 0 0 236767 1466 0 0 20 0 1 0 2551047 45924352 5916 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5916 732 682 0 5215 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 44848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7100
/proc/meminfo: memFree=31924884/32770624 swapFree=5744/121644
[pid=6945] ppid=6942 vsize=44848 CPUtime=2400.03 cores=1,3,5,7
/proc/6945/stat : 6945 (naxos-xcsp3) R 6942 6945 3531 0 -1 4202496 229000 0 0 0 238525 1478 0 0 20 0 1 0 2551047 45924352 5916 33554432000 4194304 6986860 140722263327376 140722263322904 140627982967164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30007296 140722263336206 140722263336287 140722263336287 140722263338986 0
/proc/6945/statm: 11212 5916 732 682 0 5215 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 44848
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 6945 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400
CPU time (s): 2400.05
CPU user time (s): 2385.26
CPU system time (s): 14.7873
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 44920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2385.26
system time used= 14.7873
maximum resident set size= 23704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229030
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= 11
involuntary context switches= 828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43607 second user time and 6.90198 second system time
The end