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-4253149-1500929646/watcher-4253149-1500929646 -o /tmp/evaluation-result-4253149-1500929646/solver-4253149-1500929646 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500914926-3623 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253149-1500929646.xml
pid=7005
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7008
/proc/meminfo: memFree=32118148/32770624 swapFree=5716/121324
[pid=7008] ppid=7005 vsize=25244 CPUtime=0 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 1117 0 0 0 0 0 0 0 20 0 1 0 2504545 25849856 959 33554432000 4194304 6986860 140734115574496 140734115571192 140142478982117 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6311 959 696 682 0 314 0
[startup+0.100108 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7008
/proc/meminfo: memFree=32118148/32770624 swapFree=5716/121324
[pid=7008] ppid=7005 vsize=27244 CPUtime=0.09 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 1720 0 0 0 9 0 0 0 20 0 1 0 2504545 27897856 1492 33554432000 4194304 6986860 140734115574496 140734115571192 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6811 1492 732 682 0 814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27244
[startup+0.200226 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7008
/proc/meminfo: memFree=32118148/32770624 swapFree=5716/121324
[pid=7008] ppid=7005 vsize=27244 CPUtime=0.19 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 1720 0 0 0 19 0 0 0 20 0 1 0 2504545 27897856 1492 33554432000 4194304 6986860 140734115574496 140734115571192 140142478979623 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6811 1492 732 682 0 814 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27244
[startup+0.3002 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7008
/proc/meminfo: memFree=32118148/32770624 swapFree=5716/121324
[pid=7008] ppid=7005 vsize=27244 CPUtime=0.29 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 1720 0 0 0 29 0 0 0 20 0 1 0 2504545 27897856 1492 33554432000 4194304 6986860 140734115574496 140734115570024 5472366 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6811 1492 732 682 0 814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27244
[startup+0.700174 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7008
/proc/meminfo: memFree=32118148/32770624 swapFree=5716/121324
[pid=7008] ppid=7005 vsize=27508 CPUtime=0.69 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 1782 0 0 0 69 0 0 0 20 0 1 0 2504545 28168192 1558 33554432000 4194304 6986860 140734115574496 140734115570024 5361142 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6877 1558 732 682 0 880 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27508
[startup+1.50017 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7009
/proc/meminfo: memFree=32115052/32770624 swapFree=5716/121344
[pid=7008] ppid=7005 vsize=27508 CPUtime=1.49 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 1782 0 0 0 149 0 0 0 20 0 1 0 2504545 28168192 1558 33554432000 4194304 6986860 140734115574496 140734115570024 140142478992272 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6877 1558 732 682 0 880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27508
[startup+3.10017 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7009
/proc/meminfo: memFree=32114804/32770624 swapFree=5716/121344
[pid=7008] ppid=7005 vsize=27508 CPUtime=3.09 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 2556 0 0 0 308 1 0 0 20 0 1 0 2504545 28168192 1577 33554432000 4194304 6986860 140734115574496 140734115570024 5380091 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6877 1577 732 682 0 880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27508
[startup+6.30017 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7009
/proc/meminfo: memFree=32114712/32770624 swapFree=5716/121344
[pid=7008] ppid=7005 vsize=27508 CPUtime=6.29 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 3330 0 0 0 627 2 0 0 20 0 1 0 2504545 28168192 1577 33554432000 4194304 6986860 140734115574496 140734115569848 5360998 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6877 1577 732 682 0 880 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27508
[startup+12.7002 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7009
/proc/meminfo: memFree=32114712/32770624 swapFree=5716/121344
[pid=7008] ppid=7005 vsize=27724 CPUtime=12.69 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 4256 0 0 0 1264 5 0 0 20 0 1 0 2504545 28389376 1639 33554432000 4194304 6986860 140734115574496 140734115570024 140142478991333 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6931 1639 732 682 0 934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27724
[startup+25.5002 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7009
/proc/meminfo: memFree=32114712/32770624 swapFree=5716/121344
[pid=7008] ppid=7005 vsize=27724 CPUtime=25.49 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 5911 0 0 0 2540 9 0 0 20 0 1 0 2504545 28389376 1639 33554432000 4194304 6986860 140734115574496 140734115570024 5476454 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6931 1639 732 682 0 934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27724
[startup+51.1002 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7009
/proc/meminfo: memFree=32114332/32770624 swapFree=5716/121372
[pid=7008] ppid=7005 vsize=27724 CPUtime=51.08 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 6764 0 0 0 5091 17 0 0 20 0 1 0 2504545 28389376 1639 33554432000 4194304 6986860 140734115574496 140734115570024 5471597 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 6931 1639 732 682 0 934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27724
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7011
/proc/meminfo: memFree=32112108/32770624 swapFree=5716/121428
[pid=7008] ppid=7005 vsize=29676 CPUtime=102.27 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 8332 0 0 0 10189 38 0 0 20 0 1 0 2504545 30388224 2101 33554432000 4194304 6986860 140734115574496 140734115569848 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 7419 2101 732 682 0 1422 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29676
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7012
/proc/meminfo: memFree=32111672/32770624 swapFree=5716/121448
[pid=7008] ppid=7005 vsize=29676 CPUtime=162.27 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 9056 0 0 0 16167 60 0 0 20 0 1 0 2504545 30388224 2125 33554432000 4194304 6986860 140734115574496 140734115570024 140142478979890 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 7419 2125 732 682 0 1422 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 29676
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7013
/proc/meminfo: memFree=32110772/32770624 swapFree=5716/121476
[pid=7008] ppid=7005 vsize=29916 CPUtime=222.26 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 9419 0 0 0 22143 83 0 0 20 0 1 0 2504545 30633984 2185 33554432000 4194304 6986860 140734115574496 140734115570024 140142478979985 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 7479 2185 732 682 0 1482 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 29916
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7015
/proc/meminfo: memFree=32111868/32770624 swapFree=5716/121504
[pid=7008] ppid=7005 vsize=29916 CPUtime=282.25 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 9694 0 0 0 28119 106 0 0 20 0 1 0 2504545 30633984 2185 33554432000 4194304 6986860 140734115574496 140734115570024 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 7479 2185 732 682 0 1482 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 29916
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7016
/proc/meminfo: memFree=32111712/32770624 swapFree=5716/121524
[pid=7008] ppid=7005 vsize=29916 CPUtime=342.24 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 9969 0 0 0 34095 129 0 0 20 0 1 0 2504545 30633984 2185 33554432000 4194304 6986860 140734115574496 140734115570024 5476664 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 7479 2185 732 682 0 1482 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 29916
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7024
/proc/meminfo: memFree=32111176/32770624 swapFree=5716/121556
[pid=7008] ppid=7005 vsize=29916 CPUtime=402.23 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 10244 0 0 0 40071 152 0 0 20 0 1 0 2504545 30633984 2185 33554432000 4194304 6986860 140734115574496 140734115569848 140142478980191 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 7479 2185 732 682 0 1482 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 29916
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7047
/proc/meminfo: memFree=32110612/32770624 swapFree=5716/121584
[pid=7008] ppid=7005 vsize=29916 CPUtime=462.23 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 10519 0 0 0 46049 174 0 0 20 0 1 0 2504545 30633984 2185 33554432000 4194304 6986860 140734115574496 140734115570024 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 7479 2185 732 682 0 1482 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 29916
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7048
/proc/meminfo: memFree=32110664/32770624 swapFree=5716/121612
[pid=7008] ppid=7005 vsize=29916 CPUtime=522.21 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 10794 0 0 0 52023 198 0 0 20 0 1 0 2504545 30633984 2185 33554432000 4194304 6986860 140734115574496 140734115569848 140142478981094 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 7479 2185 732 682 0 1482 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 29916
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7049
/proc/meminfo: memFree=32110772/32770624 swapFree=5716/121632
[pid=7008] ppid=7005 vsize=29916 CPUtime=582.2 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 11069 0 0 0 58000 220 0 0 20 0 1 0 2504545 30633984 2185 33554432000 4194304 6986860 140734115574496 140734115569848 5476278 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 7479 2185 732 682 0 1482 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 29916
################
# More data... #
################
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 18126 0 0 0 165570 635 0 0 20 0 1 0 2504545 32808960 2714 33554432000 4194304 6986860 140734115574496 140734115569848 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8010 2714 732 682 0 2013 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 32040
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7082
/proc/meminfo: memFree=32109188/32770624 swapFree=5716/122096
[pid=7008] ppid=7005 vsize=32040 CPUtime=1722.05 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 18418 0 0 0 171545 660 0 0 20 0 1 0 2504545 32808960 2714 33554432000 4194304 6986860 140734115574496 140734115570024 5357069 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8010 2714 732 682 0 2013 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 32040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7083
/proc/meminfo: memFree=32108968/32770624 swapFree=5716/122120
[pid=7008] ppid=7005 vsize=32040 CPUtime=1782.04 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 18710 0 0 0 177518 686 0 0 20 0 1 0 2504545 32808960 2714 33554432000 4194304 6986860 140734115574496 140734115570024 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8010 2714 732 682 0 2013 0
Current children cumulated CPU time (s) 1782.04
Current children cumulated vsize (KiB) 32040
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7084
/proc/meminfo: memFree=32109096/32770624 swapFree=5716/122140
[pid=7008] ppid=7005 vsize=32040 CPUtime=1842.02 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 19002 0 0 0 183492 710 0 0 20 0 1 0 2504545 32808960 2714 33554432000 4194304 6986860 140734115574496 140734115570024 5361133 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8010 2714 732 682 0 2013 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 32040
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7086
/proc/meminfo: memFree=32108612/32770624 swapFree=5716/122168
[pid=7008] ppid=7005 vsize=32040 CPUtime=1902.02 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 19294 0 0 0 189467 735 0 0 20 0 1 0 2504545 32808960 2714 33554432000 4194304 6986860 140734115574496 140734115570024 140142478979806 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8010 2714 732 682 0 2013 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 32040
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7087
/proc/meminfo: memFree=32108984/32770624 swapFree=5716/122188
[pid=7008] ppid=7005 vsize=32040 CPUtime=1962.01 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 19586 0 0 0 195441 760 0 0 20 0 1 0 2504545 32808960 2714 33554432000 4194304 6986860 140734115574496 140734115570024 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8010 2714 732 682 0 2013 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 32040
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7088
/proc/meminfo: memFree=32108984/32770624 swapFree=5716/122212
[pid=7008] ppid=7005 vsize=32040 CPUtime=2022 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 19878 0 0 0 201418 782 0 0 20 0 1 0 2504545 32808960 2714 33554432000 4194304 6986860 140734115574496 140734115570024 5435638 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8010 2714 732 682 0 2013 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 32040
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7090
/proc/meminfo: memFree=32108968/32770624 swapFree=5716/122248
[pid=7008] ppid=7005 vsize=32040 CPUtime=2082 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 20170 0 0 0 207394 806 0 0 20 0 1 0 2504545 32808960 2714 33554432000 4194304 6986860 140734115574496 140734115570024 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8010 2714 732 682 0 2013 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 32040
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7091
/proc/meminfo: memFree=32105724/32770624 swapFree=5716/122272
[pid=7008] ppid=7005 vsize=34092 CPUtime=2141.98 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 21176 0 0 0 213365 833 0 0 20 0 1 0 2504545 34910208 3205 33554432000 4194304 6986860 140734115574496 140734115570024 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8523 3205 732 682 0 2526 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 34092
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7159
/proc/meminfo: memFree=32045472/32770624 swapFree=5716/122276
[pid=7008] ppid=7005 vsize=34092 CPUtime=2201.98 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 21467 0 0 0 219342 856 0 0 20 0 1 0 2504545 34910208 3226 33554432000 4194304 6986860 140734115574496 140734115570024 140142479245692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 8523 3226 732 682 0 2526 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 34092
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7160
/proc/meminfo: memFree=32042080/32770624 swapFree=5716/122392
[pid=7008] ppid=7005 vsize=36064 CPUtime=2261.96 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 31692 0 0 0 225313 883 0 0 20 0 1 0 2504545 36929536 3698 33554432000 4194304 6986860 140734115574496 140734115570024 5862360 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 9016 3698 732 682 0 3019 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 36064
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7161
/proc/meminfo: memFree=32040936/32770624 swapFree=5716/122416
[pid=7008] ppid=7005 vsize=37748 CPUtime=2321.95 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 42185 0 0 0 231288 907 0 0 20 0 1 0 2504545 38653952 4086 33554432000 4194304 6986860 140734115574496 140734115570024 140142478991325 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 9437 4086 732 682 0 3440 0
Current children cumulated CPU time (s) 2321.95
Current children cumulated vsize (KiB) 37748
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7162
/proc/meminfo: memFree=32041312/32770624 swapFree=5716/122436
[pid=7008] ppid=7005 vsize=37908 CPUtime=2381.95 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 44718 0 0 0 237264 931 0 0 20 0 1 0 2504545 38817792 4192 33554432000 4194304 6986860 140734115574496 140734115570024 5862336 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 9477 4192 732 682 0 3480 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 37908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7163
/proc/meminfo: memFree=32041184/32770624 swapFree=5716/122444
[pid=7008] ppid=7005 vsize=38024 CPUtime=2400.04 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) R 7005 7008 3592 0 -1 4202496 52420 0 0 0 239063 941 0 0 20 0 1 0 2504545 38936576 4188 33554432000 4194304 6986860 140734115574496 140734115569848 5355920 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 9506 4188 732 682 0 3509 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 38024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7008
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7008 sig 9
??? kill -7008 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2401.6 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 7163
/proc/meminfo: memFree=32041184/32770624 swapFree=5716/122444
[pid=7008] ppid=7005 vsize=38028 CPUtime=2400.04 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) S 7005 7008 3592 0 -1 1077944320 52435 0 0 0 239063 941 0 0 20 0 1 0 2504545 38940672 4188 33554432000 4194304 6986860 140734115574496 140734115568376 140142479536380 0 16384 4096 16384 18446744071579849748 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 9507 4188 732 682 0 3510 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 38028
[startup+2402 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 7163
/proc/meminfo: memFree=32041184/32770624 swapFree=5716/122444
[pid=7008] ppid=7005 vsize=38028 CPUtime=2400.04 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) S 7005 7008 3592 0 -1 1077944320 52435 0 0 0 239063 941 0 0 20 0 1 0 2504545 38940672 4188 33554432000 4194304 6986860 140734115574496 140734115568376 140142479536380 0 16384 4096 16384 18446744071579849748 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 9507 4188 732 682 0 3510 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 38028
[startup+2402.4 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 7163
/proc/meminfo: memFree=32041060/32770624 swapFree=5716/122444
[pid=7008] ppid=7005 vsize=38028 CPUtime=2400.04 cores=0,2,4,6
/proc/7008/stat : 7008 (naxos-xcsp3) S 7005 7008 3592 0 -1 1077944320 52435 0 0 0 239063 941 0 0 20 0 1 0 2504545 38940672 4188 33554432000 4194304 6986860 140734115574496 140734115568376 140142479536380 0 16384 4096 16384 18446744071579849748 0 0 17 0 0 0 0 0 0 9087712 9120176 29990912 140734115583246 140734115583327 140734115583327 140734115586026 0
/proc/7008/statm: 9507 4188 732 682 0 3510 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 38028
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402.41
CPU time (s): 2400.06
CPU user time (s): 2390.64
CPU system time (s): 9.41765
CPU usage (%): 99.9022
Max. virtual memory (cumulated for all children) (KiB): 38052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.64
system time used= 9.41765
maximum resident set size= 16828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52435
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= 14
involuntary context switches= 3558
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48528 second user time and 8.03799 second system time
The end