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-4253441-1500932588/watcher-4253441-1500932588 -o /tmp/evaluation-result-4253441-1500932588/solver-4253441-1500932588 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500914920-3561 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253441-1500932588.xml
pid=9183
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 3/181 9186
/proc/meminfo: memFree=32115620/32770688 swapFree=5804/122456
[pid=9186] ppid=9183 vsize=24736 CPUtime=0 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1016 0 0 0 0 0 0 0 20 0 1 0 2846687 25329664 812 33554432000 4194304 6986860 140725839202736 140725839199432 5396256 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6184 812 678 682 0 187 0
[startup+0.100156 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9186
/proc/meminfo: memFree=32115620/32770688 swapFree=5804/122456
[pid=9186] ppid=9183 vsize=25004 CPUtime=0.09 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1069 0 0 0 9 0 0 0 20 0 1 0 2846687 25604096 877 33554432000 4194304 6986860 140725839202736 140725839199432 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 877 701 682 0 254 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25004
[startup+0.200273 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9186
/proc/meminfo: memFree=32115620/32770688 swapFree=5804/122456
[pid=9186] ppid=9183 vsize=25004 CPUtime=0.19 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1069 0 0 0 19 0 0 0 20 0 1 0 2846687 25604096 877 33554432000 4194304 6986860 140725839202736 140725839199432 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 877 701 682 0 254 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25004
[startup+0.300258 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9186
/proc/meminfo: memFree=32115620/32770688 swapFree=5804/122456
[pid=9186] ppid=9183 vsize=25004 CPUtime=0.29 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1069 0 0 0 29 0 0 0 20 0 1 0 2846687 25604096 877 33554432000 4194304 6986860 140725839202736 140725839199432 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 877 701 682 0 254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25004
[startup+0.700232 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9186
/proc/meminfo: memFree=32115620/32770688 swapFree=5804/122456
[pid=9186] ppid=9183 vsize=25004 CPUtime=0.69 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1069 0 0 0 69 0 0 0 20 0 1 0 2846687 25604096 877 33554432000 4194304 6986860 140725839202736 140725839199432 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 877 701 682 0 254 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25004
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9187
/proc/meminfo: memFree=32114436/32770688 swapFree=5804/122468
[pid=9186] ppid=9183 vsize=25004 CPUtime=1.49 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1070 0 0 0 148 1 0 0 20 0 1 0 2846687 25604096 877 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 877 701 682 0 254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25004
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9187
/proc/meminfo: memFree=32113940/32770688 swapFree=5804/122472
[pid=9186] ppid=9183 vsize=25004 CPUtime=3.09 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1212 0 0 0 308 1 0 0 20 0 1 0 2846687 25604096 916 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 916 706 682 0 254 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25004
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9187
/proc/meminfo: memFree=32113940/32770688 swapFree=5804/122472
[pid=9186] ppid=9183 vsize=25004 CPUtime=6.29 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1362 0 0 0 627 2 0 0 20 0 1 0 2846687 25604096 916 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 916 706 682 0 254 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25004
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9187
/proc/meminfo: memFree=32113568/32770688 swapFree=5804/122492
[pid=9186] ppid=9183 vsize=25004 CPUtime=12.69 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1511 0 0 0 1263 6 0 0 20 0 1 0 2846687 25604096 917 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 917 706 682 0 254 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25004
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9187
/proc/meminfo: memFree=32113568/32770688 swapFree=5804/122504
[pid=9186] ppid=9183 vsize=25004 CPUtime=25.49 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1804 0 0 0 2538 11 0 0 20 0 1 0 2846687 25604096 917 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 917 706 682 0 254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25004
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9248
/proc/meminfo: memFree=32088636/32770688 swapFree=5804/122564
[pid=9186] ppid=9183 vsize=25004 CPUtime=51.09 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 1966 0 0 0 5088 21 0 0 20 0 1 0 2846687 25604096 917 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 917 706 682 0 254 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25004
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9249
/proc/meminfo: memFree=32088636/32770688 swapFree=5804/122608
[pid=9186] ppid=9183 vsize=25004 CPUtime=102.3 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 2128 0 0 0 10192 38 0 0 20 0 1 0 2846687 25604096 918 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 918 706 682 0 254 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25004
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9314
/proc/meminfo: memFree=32102488/32770688 swapFree=5804/122684
[pid=9186] ppid=9183 vsize=25004 CPUtime=162.31 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 2290 0 0 0 16171 60 0 0 20 0 1 0 2846687 25604096 918 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 918 706 682 0 254 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 25004
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9378
/proc/meminfo: memFree=32097028/32770688 swapFree=5804/122784
[pid=9186] ppid=9183 vsize=25004 CPUtime=222.31 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 2448 0 0 0 22154 77 0 0 20 0 1 0 2846687 25604096 918 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 918 706 682 0 254 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 25004
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9379
/proc/meminfo: memFree=32097152/32770688 swapFree=5804/122816
[pid=9186] ppid=9183 vsize=25004 CPUtime=282.32 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 2448 0 0 0 28139 93 0 0 20 0 1 0 2846687 25604096 918 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 918 706 682 0 254 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 25004
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9380
/proc/meminfo: memFree=32098028/32770688 swapFree=5804/122844
[pid=9186] ppid=9183 vsize=25004 CPUtime=342.31 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 2606 0 0 0 34119 112 0 0 20 0 1 0 2846687 25604096 919 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 919 706 682 0 254 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 25004
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9381
/proc/meminfo: memFree=32098120/32770688 swapFree=5804/122880
[pid=9186] ppid=9183 vsize=25004 CPUtime=402.33 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 2613 0 0 0 40100 133 0 0 20 0 1 0 2846687 25604096 919 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 919 706 682 0 254 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 25004
[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 9389
/proc/meminfo: memFree=32097360/32770688 swapFree=5804/122936
[pid=9186] ppid=9183 vsize=25004 CPUtime=462.33 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 2775 0 0 0 46080 153 0 0 20 0 1 0 2846687 25604096 919 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 919 706 682 0 254 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 25004
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9454
/proc/meminfo: memFree=32113624/32770688 swapFree=5804/123008
[pid=9186] ppid=9183 vsize=25004 CPUtime=522.34 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 2776 0 0 0 52059 175 0 0 20 0 1 0 2846687 25604096 919 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 919 706 682 0 254 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 25004
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9455
/proc/meminfo: memFree=32113368/32770688 swapFree=5804/123060
[pid=9186] ppid=9183 vsize=25004 CPUtime=582.34 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 2934 0 0 0 58038 196 0 0 20 0 1 0 2846687 25604096 919 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 919 706 682 0 254 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 25004
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9519
/proc/meminfo: memFree=32112044/32770688 swapFree=5804/124040
[pid=9186] ppid=9183 vsize=25004 CPUtime=1542.43 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4215 0 0 0 153761 482 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 1542.43
Current children cumulated vsize (KiB) 25004
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9521
/proc/meminfo: memFree=32111448/32770688 swapFree=5804/124076
[pid=9186] ppid=9183 vsize=25004 CPUtime=1602.43 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4216 0 0 0 159741 502 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 1602.43
Current children cumulated vsize (KiB) 25004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9531
/proc/meminfo: memFree=32111076/32770688 swapFree=5804/124112
[pid=9186] ppid=9183 vsize=25004 CPUtime=1662.43 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4376 0 0 0 165723 520 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 1662.43
Current children cumulated vsize (KiB) 25004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9532
/proc/meminfo: memFree=32111284/32770688 swapFree=5804/124140
[pid=9186] ppid=9183 vsize=25004 CPUtime=1722.44 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4377 0 0 0 171706 538 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 1722.44
Current children cumulated vsize (KiB) 25004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9533
/proc/meminfo: memFree=32110904/32770688 swapFree=5804/124176
[pid=9186] ppid=9183 vsize=25004 CPUtime=1782.45 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4537 0 0 0 177689 556 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (KiB) 25004
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9534
/proc/meminfo: memFree=32111028/32770688 swapFree=5804/124200
[pid=9186] ppid=9183 vsize=25004 CPUtime=1842.45 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4538 0 0 0 183670 575 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 1842.45
Current children cumulated vsize (KiB) 25004
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 9535
/proc/meminfo: memFree=32111400/32770688 swapFree=5804/124240
[pid=9186] ppid=9183 vsize=25004 CPUtime=1902.46 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4699 0 0 0 189652 594 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 1902.46
Current children cumulated vsize (KiB) 25004
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9536
/proc/meminfo: memFree=32111532/32770688 swapFree=5804/124264
[pid=9186] ppid=9183 vsize=25004 CPUtime=1962.46 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4699 0 0 0 195633 613 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 1962.46
Current children cumulated vsize (KiB) 25004
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9537
/proc/meminfo: memFree=32111372/32770688 swapFree=5804/124296
[pid=9186] ppid=9183 vsize=25004 CPUtime=2022.46 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4860 0 0 0 201620 626 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 2022.46
Current children cumulated vsize (KiB) 25004
[startup+2082.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 9538
/proc/meminfo: memFree=32111620/32770688 swapFree=5804/124328
[pid=9186] ppid=9183 vsize=25004 CPUtime=2082.47 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 4860 0 0 0 207605 642 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198264 5438231 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 2082.47
Current children cumulated vsize (KiB) 25004
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 9539
/proc/meminfo: memFree=32111464/32770688 swapFree=5804/124360
[pid=9186] ppid=9183 vsize=25004 CPUtime=2142.47 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 5021 0 0 0 213589 658 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 2142.47
Current children cumulated vsize (KiB) 25004
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9540
/proc/meminfo: memFree=32110884/32770688 swapFree=5804/124396
[pid=9186] ppid=9183 vsize=25004 CPUtime=2202.48 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 5021 0 0 0 219574 674 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 2202.48
Current children cumulated vsize (KiB) 25004
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9549
/proc/meminfo: memFree=32111056/32770688 swapFree=5804/124440
[pid=9186] ppid=9183 vsize=25004 CPUtime=2262.49 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 5182 0 0 0 225557 692 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 2262.49
Current children cumulated vsize (KiB) 25004
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9550
/proc/meminfo: memFree=32111172/32770688 swapFree=5804/124464
[pid=9186] ppid=9183 vsize=25004 CPUtime=2322.49 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 5182 0 0 0 231542 707 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 2322.49
Current children cumulated vsize (KiB) 25004
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9551
/proc/meminfo: memFree=32110744/32770688 swapFree=5804/124500
[pid=9186] ppid=9183 vsize=25004 CPUtime=2382.49 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 5343 0 0 0 237527 722 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198264 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 2382.49
Current children cumulated vsize (KiB) 25004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9551
/proc/meminfo: memFree=32110868/32770688 swapFree=5804/124508
[pid=9186] ppid=9183 vsize=25004 CPUtime=2400.09 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 5343 0 0 0 239284 725 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 25004
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 9186 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9551
/proc/meminfo: memFree=32110868/32770688 swapFree=5804/124508
[pid=9186] ppid=9183 vsize=25004 CPUtime=2400.09 cores=1,3,5,7
/proc/9186/stat : 9186 (naxos-xcsp3) R 9183 9186 3529 0 -1 4202496 5343 0 0 0 239284 725 0 0 20 0 1 0 2846687 25604096 921 33554432000 4194304 6986860 140725839202736 140725839198088 140456024809852 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 34848768 140725839209742 140725839209823 140725839209823 140725839212522 0
/proc/9186/statm: 6251 921 706 682 0 254 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 25004
Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.11
CPU user time (s): 2392.85
CPU system time (s): 7.25963
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 25004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.85
system time used= 7.25963
maximum resident set size= 3704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5371
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= 620
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68956 second user time and 8.90435 second system time
The end