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-4253447-1500932669/watcher-4253447-1500932669 -o /tmp/evaluation-result-4253447-1500932669/solver-4253447-1500932669 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500914927-3857 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253447-1500932669.xml
pid=19235
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 3/181 19238
/proc/meminfo: memFree=32094992/32770624 swapFree=5796/134472
[pid=19238] ppid=19235 vsize=24740 CPUtime=0 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 2806441 25333760 810 33554432000 4194304 6986860 140733588116864 140733588113560 140149235444709 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 6185 810 675 682 0 188 0
[startup+0.100167 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19238
/proc/meminfo: memFree=32094992/32770624 swapFree=5796/134472
[pid=19238] ppid=19235 vsize=47664 CPUtime=0.09 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 6759 0 0 0 9 0 0 0 20 0 1 0 2806441 48807936 6538 33554432000 4194304 6986860 140733588116864 140733588113560 5453944 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11916 6538 678 682 0 5919 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47664
[startup+0.200386 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19238
/proc/meminfo: memFree=32094992/32770624 swapFree=5796/134472
[pid=19238] ppid=19235 vsize=47276 CPUtime=0.19 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 6823 0 0 0 19 0 0 0 20 0 1 0 2806441 48410624 6470 33554432000 4194304 6986860 140733588116864 140733588113560 5437950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11819 6470 678 682 0 5822 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47276
[startup+0.300348 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19238
/proc/meminfo: memFree=32094992/32770624 swapFree=5796/134472
[pid=19238] ppid=19235 vsize=47276 CPUtime=0.29 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 6823 0 0 0 29 0 0 0 20 0 1 0 2806441 48410624 6470 33554432000 4194304 6986860 140733588116864 140733588112200 5438178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11819 6470 678 682 0 5822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47276
[startup+0.700288 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19238
/proc/meminfo: memFree=32094992/32770624 swapFree=5796/134472
[pid=19238] ppid=19235 vsize=47276 CPUtime=0.69 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 6824 0 0 0 69 0 0 0 20 0 1 0 2806441 48410624 6470 33554432000 4194304 6986860 140733588116864 140733588112200 5438032 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11819 6470 678 682 0 5822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47276
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19239
/proc/meminfo: memFree=32071568/32770624 swapFree=5796/134532
[pid=19238] ppid=19235 vsize=47276 CPUtime=1.49 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 6824 0 0 0 149 0 0 0 20 0 1 0 2806441 48410624 6470 33554432000 4194304 6986860 140733588116864 140733588112392 5438220 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11819 6470 678 682 0 5822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47276
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19239
/proc/meminfo: memFree=32071444/32770624 swapFree=5796/134504
[pid=19238] ppid=19235 vsize=47276 CPUtime=3.09 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 9797 0 0 0 309 0 0 0 20 0 1 0 2806441 48410624 6525 33554432000 4194304 6986860 140733588116864 140733588112392 5438205 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11819 6525 730 682 0 5822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47276
[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19239
/proc/meminfo: memFree=32071404/32770624 swapFree=5796/134504
[pid=19238] ppid=19235 vsize=47276 CPUtime=6.29 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 12772 0 0 0 628 1 0 0 20 0 1 0 2806441 48410624 6525 33554432000 4194304 6986860 140733588116864 140733588112392 5438235 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11819 6525 730 682 0 5822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47276
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19239
/proc/meminfo: memFree=32071244/32770624 swapFree=5796/134520
[pid=19238] ppid=19235 vsize=47276 CPUtime=12.69 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 18506 0 0 0 1268 1 0 0 20 0 1 0 2806441 48410624 6528 33554432000 4194304 6986860 140733588116864 140733588112216 5438108 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11819 6528 730 682 0 5822 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47276
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19239
/proc/meminfo: memFree=32071608/32770624 swapFree=5796/134528
[pid=19238] ppid=19235 vsize=47276 CPUtime=25.49 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 21830 0 0 0 2548 1 0 0 20 0 1 0 2806441 48410624 6531 33554432000 4194304 6986860 140733588116864 140733588112216 5474360 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11819 6531 730 682 0 5822 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47276
[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 19239
/proc/meminfo: memFree=32071608/32770624 swapFree=5796/134544
[pid=19238] ppid=19235 vsize=47276 CPUtime=51.08 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 22471 0 0 0 5107 1 0 0 20 0 1 0 2806441 48410624 6531 33554432000 4194304 6986860 140733588116864 140733588112216 5438178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11819 6531 730 682 0 5822 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47276
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 19240
/proc/meminfo: memFree=32071244/32770624 swapFree=5796/134580
[pid=19238] ppid=19235 vsize=47408 CPUtime=102.28 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 23114 0 0 0 10226 2 0 0 20 0 1 0 2806441 48545792 6531 33554432000 4194304 6986860 140733588116864 140733588112392 140149235708284 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6531 730 682 0 5855 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 47408
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 19241
/proc/meminfo: memFree=32071580/32770624 swapFree=5796/134608
[pid=19238] ppid=19235 vsize=47408 CPUtime=162.28 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 23754 0 0 0 16224 4 0 0 20 0 1 0 2806441 48545792 6532 33554432000 4194304 6986860 140733588116864 140733588112392 5438400 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6532 730 682 0 5855 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 47408
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19242
/proc/meminfo: memFree=32071792/32770624 swapFree=5796/134648
[pid=19238] ppid=19235 vsize=47408 CPUtime=222.28 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 24394 0 0 0 22223 5 0 0 20 0 1 0 2806441 48545792 6532 33554432000 4194304 6986860 140733588116864 140733588112216 5438220 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6532 730 682 0 5855 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 47408
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19243
/proc/meminfo: memFree=32072384/32770624 swapFree=5796/134672
[pid=19238] ppid=19235 vsize=47408 CPUtime=282.27 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 25034 0 0 0 28221 6 0 0 20 0 1 0 2806441 48545792 6532 33554432000 4194304 6986860 140733588116864 140733588112216 5437958 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6532 730 682 0 5855 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 47408
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19251
/proc/meminfo: memFree=32070896/32770624 swapFree=5796/134712
[pid=19238] ppid=19235 vsize=47408 CPUtime=342.27 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 25674 0 0 0 34220 7 0 0 20 0 1 0 2806441 48545792 6532 33554432000 4194304 6986860 140733588116864 140733588112392 5437950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6532 730 682 0 5855 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 47408
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19252
/proc/meminfo: memFree=32071396/32770624 swapFree=5796/134736
[pid=19238] ppid=19235 vsize=47408 CPUtime=402.27 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 26314 0 0 0 40218 9 0 0 20 0 1 0 2806441 48545792 6532 33554432000 4194304 6986860 140733588116864 140733588112392 5474320 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6532 730 682 0 5855 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 47408
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 19253
/proc/meminfo: memFree=32071492/32770624 swapFree=5796/134768
[pid=19238] ppid=19235 vsize=47408 CPUtime=462.27 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 26954 0 0 0 46217 10 0 0 20 0 1 0 2806441 48545792 6532 33554432000 4194304 6986860 140733588116864 140733588112392 5437950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6532 730 682 0 5855 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 47408
[startup+522.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 19265
/proc/meminfo: memFree=32070624/32770624 swapFree=5796/135116
[pid=19238] ppid=19235 vsize=47408 CPUtime=522.26 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 27598 0 0 0 52215 11 0 0 20 0 1 0 2806441 48545792 6532 33554432000 4194304 6986860 140733588116864 140733588112392 5438268 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6532 730 682 0 5855 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 47408
[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/182 19266
/proc/meminfo: memFree=32071400/32770624 swapFree=5796/135144
[pid=19238] ppid=19235 vsize=47408 CPUtime=582.26 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 28240 0 0 0 58213 13 0 0 20 0 1 0 2806441 48545792 6532 33554432000 4194304 6986860 140733588116864 140733588112216 5438178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6532 730 682 0 5855 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 47408
################
# More data... #
################
/proc/loadavg: 2.02 2.04 2.05 3/182 19270
/proc/meminfo: memFree=32071664/32770624 swapFree=5796/135236
[pid=19238] ppid=19235 vsize=47408 CPUtime=762.25 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 30169 0 0 0 76209 16 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5437950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 47408
[startup+822.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 19272
/proc/meminfo: memFree=32071632/32770624 swapFree=5796/135276
[pid=19238] ppid=19235 vsize=47408 CPUtime=822.25 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 30812 0 0 0 82207 18 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112216 5438178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 47408
[startup+882.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 19273
/proc/meminfo: memFree=32071596/32770624 swapFree=5796/135320
[pid=19238] ppid=19235 vsize=47408 CPUtime=882.25 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 31456 0 0 0 88206 19 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5438178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 47408
[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 19281
/proc/meminfo: memFree=32070132/32770624 swapFree=5796/135356
[pid=19238] ppid=19235 vsize=47408 CPUtime=942.24 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 32101 0 0 0 94204 20 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112216 5438178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 47408
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 19308
/proc/meminfo: memFree=32069196/32770624 swapFree=5796/135412
[pid=19238] ppid=19235 vsize=47408 CPUtime=1002.24 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 32747 0 0 0 100202 22 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112216 5438309 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 47408
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 19309
/proc/meminfo: memFree=32070196/32770624 swapFree=5796/135444
[pid=19238] ppid=19235 vsize=47408 CPUtime=1062.23 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 33391 0 0 0 106200 23 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5438001 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 47408
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 19310
/proc/meminfo: memFree=32070852/32770624 swapFree=5796/135484
[pid=19238] ppid=19235 vsize=47408 CPUtime=1122.24 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 34033 0 0 0 112199 25 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5474352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 47408
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 19311
/proc/meminfo: memFree=32070552/32770624 swapFree=5796/135532
[pid=19238] ppid=19235 vsize=47408 CPUtime=1182.23 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 34674 0 0 0 118197 26 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5473968 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 47408
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 19312
/proc/meminfo: memFree=32070268/32770624 swapFree=5796/135560
[pid=19238] ppid=19235 vsize=47408 CPUtime=1242.23 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 35317 0 0 0 124195 28 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5438309 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 47408
[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 19313
/proc/meminfo: memFree=32070120/32770624 swapFree=5796/135584
[pid=19238] ppid=19235 vsize=47408 CPUtime=1302.22 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 35960 0 0 0 130193 29 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5437950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1302.22
Current children cumulated vsize (KiB) 47408
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19238 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 19313
/proc/meminfo: memFree=32070120/32770624 swapFree=5796/135584
[pid=19238] ppid=19235 vsize=47408 CPUtime=1305.52 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 35960 0 0 0 130523 29 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112216 5438178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1305.52
Current children cumulated vsize (KiB) 47408
[startup+1318.4 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 19313
/proc/meminfo: memFree=32070244/32770624 swapFree=5796/135596
[pid=19238] ppid=19235 vsize=47408 CPUtime=1318.33 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 36599 0 0 0 131803 30 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5437950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1318.33
Current children cumulated vsize (KiB) 47408
[startup+1321.6 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 19313
/proc/meminfo: memFree=32070244/32770624 swapFree=5796/135596
[pid=19238] ppid=19235 vsize=47408 CPUtime=1321.53 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 36599 0 0 0 132123 30 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5438108 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1321.53
Current children cumulated vsize (KiB) 47408
[startup+1323.2 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 19314
/proc/meminfo: memFree=32070240/32770624 swapFree=5796/135596
[pid=19238] ppid=19235 vsize=47408 CPUtime=1323.13 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 36599 0 0 0 132283 30 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112216 5474360 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1323.13
Current children cumulated vsize (KiB) 47408
[startup+1324.8 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 19314
/proc/meminfo: memFree=32070120/32770624 swapFree=5796/135612
[pid=19238] ppid=19235 vsize=47408 CPUtime=1324.73 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 36599 0 0 0 132443 30 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5473976 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1324.73
Current children cumulated vsize (KiB) 47408
[startup+1325.2 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 19314
/proc/meminfo: memFree=32070120/32770624 swapFree=5796/135612
[pid=19238] ppid=19235 vsize=47408 CPUtime=1325.13 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 36599 0 0 0 132483 30 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5437936 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1325.13
Current children cumulated vsize (KiB) 47408
[startup+1325.61 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 19314
/proc/meminfo: memFree=32070120/32770624 swapFree=5796/135612
[pid=19238] ppid=19235 vsize=47408 CPUtime=1325.53 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 36599 0 0 0 132523 30 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 5438178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1325.53
Current children cumulated vsize (KiB) 47408
[startup+1325.7 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 19314
/proc/meminfo: memFree=32070120/32770624 swapFree=5796/135612
[pid=19238] ppid=19235 vsize=47408 CPUtime=1325.63 cores=0,2,4,6
/proc/19238/stat : 19238 (naxos-xcsp3) R 19235 19238 3826 0 -1 4202496 36599 0 0 0 132533 30 0 0 20 0 1 0 2806441 48545792 6536 33554432000 4194304 6986860 140733588116864 140733588112392 140149235708284 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 18317312 140733588124942 140733588125023 140733588125023 140733588127722 0
/proc/19238/statm: 11852 6536 730 682 0 5855 0
Current children cumulated CPU time (s) 1325.63
Current children cumulated vsize (KiB) 47408
Child status: 0
Real time (s): 1325.77
CPU time (s): 1325.71
CPU user time (s): 1325.41
CPU system time (s): 0.303986
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 47664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1325.41
system time used= 0.303986
maximum resident set size= 26176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36628
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= 13
involuntary context switches= 1670
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.44475 second user time and 5.21975 second system time
The end