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-4253091-1500928425/watcher-4253091-1500928425 -o /tmp/evaluation-result-4253091-1500928425/solver-4253091-1500928425 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500914927-3714 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253091-1500928425.xml
pid=6828
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.10 2.07 2.05 2/182 6831
/proc/meminfo: memFree=32064868/32770624 swapFree=5856/127412
[pid=6831] ppid=6828 vsize=24876 CPUtime=0 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 1031 0 0 0 0 0 0 0 20 0 1 0 2382626 25473024 822 33554432000 4194304 6986860 140723116466832 140723116463528 140552842615781 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6219 822 696 682 0 222 0
[startup+0.100198 s]
/proc/loadavg: 2.10 2.07 2.05 2/182 6831
/proc/meminfo: memFree=32064868/32770624 swapFree=5856/127412
[pid=6831] ppid=6828 vsize=26308 CPUtime=0.09 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 1397 0 0 0 9 0 0 0 20 0 1 0 2382626 26939392 1244 33554432000 4194304 6986860 140723116466832 140723116463528 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6577 1244 712 682 0 580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26308
[startup+0.200336 s]
/proc/loadavg: 2.10 2.07 2.05 2/182 6831
/proc/meminfo: memFree=32064868/32770624 swapFree=5856/127412
[pid=6831] ppid=6828 vsize=26308 CPUtime=0.19 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 1408 0 0 0 19 0 0 0 20 0 1 0 2382626 26939392 1244 33554432000 4194304 6986860 140723116466832 140723116463528 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6577 1244 712 682 0 580 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26308
[startup+0.300316 s]
/proc/loadavg: 2.10 2.07 2.05 2/182 6831
/proc/meminfo: memFree=32064868/32770624 swapFree=5856/127412
[pid=6831] ppid=6828 vsize=26308 CPUtime=0.29 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 1410 0 0 0 29 0 0 0 20 0 1 0 2382626 26939392 1244 33554432000 4194304 6986860 140723116466832 140723116463528 5476265 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6577 1244 712 682 0 580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26308
[startup+0.700283 s]
/proc/loadavg: 2.10 2.07 2.05 2/182 6831
/proc/meminfo: memFree=32064868/32770624 swapFree=5856/127412
[pid=6831] ppid=6828 vsize=26460 CPUtime=0.69 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 1444 0 0 0 69 0 0 0 20 0 1 0 2382626 27095040 1291 33554432000 4194304 6986860 140723116466832 140723116463528 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6615 1291 712 682 0 618 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26460
[startup+1.50027 s]
/proc/loadavg: 2.10 2.07 2.05 3/183 6832
/proc/meminfo: memFree=32062652/32770624 swapFree=5856/127412
[pid=6831] ppid=6828 vsize=26600 CPUtime=1.49 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 1504 0 0 0 149 0 0 0 20 0 1 0 2382626 27238400 1317 33554432000 4194304 6986860 140723116466832 140723116463528 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6650 1317 712 682 0 653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26600
[startup+3.10028 s]
/proc/loadavg: 2.10 2.07 2.05 3/183 6832
/proc/meminfo: memFree=32062172/32770624 swapFree=5856/127412
[pid=6831] ppid=6828 vsize=26728 CPUtime=3.09 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 2043 0 0 0 309 0 0 0 20 0 1 0 2382626 27369472 1349 33554432000 4194304 6986860 140723116466832 140723116462360 140552842613855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6682 1349 712 682 0 685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26728
[startup+6.30027 s]
/proc/loadavg: 2.10 2.07 2.05 3/183 6832
/proc/meminfo: memFree=32061992/32770624 swapFree=5856/127432
[pid=6831] ppid=6828 vsize=26728 CPUtime=6.29 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 2555 0 0 0 628 1 0 0 20 0 1 0 2382626 27369472 1349 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6682 1349 712 682 0 685 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26728
[startup+12.7003 s]
/proc/loadavg: 2.09 2.07 2.05 3/183 6832
/proc/meminfo: memFree=32061620/32770624 swapFree=5856/127432
[pid=6831] ppid=6828 vsize=26728 CPUtime=12.69 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 3085 0 0 0 1267 2 0 0 20 0 1 0 2382626 27369472 1349 33554432000 4194304 6986860 140723116466832 140723116462184 5366074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6682 1349 712 682 0 685 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26728
[startup+25.5003 s]
/proc/loadavg: 2.14 2.08 2.06 3/183 6832
/proc/meminfo: memFree=32061620/32770624 swapFree=5856/127440
[pid=6831] ppid=6828 vsize=26728 CPUtime=25.49 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 4127 0 0 0 2544 5 0 0 20 0 1 0 2382626 27369472 1353 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6682 1353 712 682 0 685 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26728
[startup+51.1003 s]
/proc/loadavg: 2.09 2.08 2.05 3/183 6832
/proc/meminfo: memFree=32061744/32770624 swapFree=5856/127448
[pid=6831] ppid=6828 vsize=26728 CPUtime=51.09 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 4681 0 0 0 5098 11 0 0 20 0 1 0 2382626 27369472 1362 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6682 1362 712 682 0 685 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26728
[startup+102.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/182 6833
/proc/meminfo: memFree=32061636/32770624 swapFree=5856/127480
[pid=6831] ppid=6828 vsize=26956 CPUtime=102.3 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 5293 0 0 0 10207 23 0 0 20 0 1 0 2382626 27602944 1415 33554432000 4194304 6986860 140723116466832 140723116462360 5355305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6739 1415 712 682 0 742 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26956
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 6834
/proc/meminfo: memFree=32061052/32770624 swapFree=5856/127512
[pid=6831] ppid=6828 vsize=27084 CPUtime=162.29 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 5945 0 0 0 16190 39 0 0 20 0 1 0 2382626 27734016 1441 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6771 1441 712 682 0 774 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 27084
[startup+222.306 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 6836
/proc/meminfo: memFree=32060928/32770624 swapFree=5856/127544
[pid=6831] ppid=6828 vsize=27084 CPUtime=222.3 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 6567 0 0 0 22176 54 0 0 20 0 1 0 2382626 27734016 1454 33554432000 4194304 6986860 140723116466832 140723116462184 5862337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6771 1454 712 682 0 774 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27084
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 6837
/proc/meminfo: memFree=32060416/32770624 swapFree=5856/127572
[pid=6831] ppid=6828 vsize=27084 CPUtime=282.29 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 7180 0 0 0 28159 70 0 0 20 0 1 0 2382626 27734016 1458 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6771 1458 712 682 0 774 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 27084
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 6838
/proc/meminfo: memFree=32060300/32770624 swapFree=5856/127600
[pid=6831] ppid=6828 vsize=27084 CPUtime=342.3 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 7791 0 0 0 34144 86 0 0 20 0 1 0 2382626 27734016 1458 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6771 1458 712 682 0 774 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27084
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 6846
/proc/meminfo: memFree=32058604/32770624 swapFree=5856/127632
[pid=6831] ppid=6828 vsize=27084 CPUtime=402.29 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 8405 0 0 0 40127 102 0 0 20 0 1 0 2382626 27734016 1458 33554432000 4194304 6986860 140723116466832 140723116462184 5453288 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6771 1458 712 682 0 774 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 27084
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6847
/proc/meminfo: memFree=32060372/32770624 swapFree=5856/127696
[pid=6831] ppid=6828 vsize=27184 CPUtime=462.29 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 9051 0 0 0 46113 116 0 0 20 0 1 0 2382626 27836416 1458 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6796 1458 712 682 0 799 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 27184
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 6848
/proc/meminfo: memFree=32060348/32770624 swapFree=5856/127724
[pid=6831] ppid=6828 vsize=27184 CPUtime=522.29 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 9686 0 0 0 52100 129 0 0 20 0 1 0 2382626 27836416 1475 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6796 1475 712 682 0 799 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 27184
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6849
/proc/meminfo: memFree=32059836/32770624 swapFree=5856/127752
[pid=6831] ppid=6828 vsize=27184 CPUtime=582.3 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 10302 0 0 0 58085 145 0 0 20 0 1 0 2382626 27836416 1475 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6796 1475 712 682 0 799 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27184
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6934
/proc/meminfo: memFree=32106348/32770624 swapFree=5856/128244
[pid=6831] ppid=6828 vsize=27080 CPUtime=1482.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 19454 0 0 0 147884 348 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 27080
[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6935
/proc/meminfo: memFree=32106472/32770624 swapFree=5856/128272
[pid=6831] ppid=6828 vsize=27080 CPUtime=1542.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 20039 0 0 0 153873 359 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842625936 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 27080
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6943
/proc/meminfo: memFree=32105480/32770624 swapFree=5856/128296
[pid=6831] ppid=6828 vsize=27080 CPUtime=1602.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 20631 0 0 0 159858 374 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 27080
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6966
/proc/meminfo: memFree=32104660/32770624 swapFree=5856/128328
[pid=6831] ppid=6828 vsize=27080 CPUtime=1662.31 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 21223 0 0 0 165844 387 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 27080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6967
/proc/meminfo: memFree=32105432/32770624 swapFree=5856/128352
[pid=6831] ppid=6828 vsize=27080 CPUtime=1722.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 21807 0 0 0 171832 400 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 27080
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6968
/proc/meminfo: memFree=32105892/32770624 swapFree=5856/128380
[pid=6831] ppid=6828 vsize=27080 CPUtime=1782.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 22391 0 0 0 177819 413 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 27080
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6969
/proc/meminfo: memFree=32105660/32770624 swapFree=5856/128404
[pid=6831] ppid=6828 vsize=27080 CPUtime=1842.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 22983 0 0 0 183806 426 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 1842.32
Current children cumulated vsize (KiB) 27080
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6970
/proc/meminfo: memFree=32105544/32770624 swapFree=5856/128432
[pid=6831] ppid=6828 vsize=27080 CPUtime=1902.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 23569 0 0 0 189794 438 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 27080
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6971
/proc/meminfo: memFree=32105668/32770624 swapFree=5856/128456
[pid=6831] ppid=6828 vsize=27080 CPUtime=1962.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 24160 0 0 0 195781 451 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 1962.32
Current children cumulated vsize (KiB) 27080
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6972
/proc/meminfo: memFree=32105696/32770624 swapFree=5856/128484
[pid=6831] ppid=6828 vsize=27080 CPUtime=2022.33 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 24747 0 0 0 201769 464 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 27080
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6973
/proc/meminfo: memFree=32105828/32770624 swapFree=5856/128512
[pid=6831] ppid=6828 vsize=27080 CPUtime=2082.33 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 25339 0 0 0 207759 474 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 2082.33
Current children cumulated vsize (KiB) 27080
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6974
/proc/meminfo: memFree=32105704/32770624 swapFree=5856/128540
[pid=6831] ppid=6828 vsize=27080 CPUtime=2142.33 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 25928 0 0 0 213745 488 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 27080
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6982
/proc/meminfo: memFree=32104696/32770624 swapFree=5856/128540
[pid=6831] ppid=6828 vsize=27080 CPUtime=2202.33 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 26515 0 0 0 219732 501 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 2202.33
Current children cumulated vsize (KiB) 27080
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6983
/proc/meminfo: memFree=32105440/32770624 swapFree=5856/128564
[pid=6831] ppid=6828 vsize=27080 CPUtime=2262.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 27106 0 0 0 225719 513 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462360 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 2262.32
Current children cumulated vsize (KiB) 27080
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6984
/proc/meminfo: memFree=32105664/32770624 swapFree=5856/128580
[pid=6831] ppid=6828 vsize=27080 CPUtime=2322.33 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 27695 0 0 0 231707 526 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 2322.33
Current children cumulated vsize (KiB) 27080
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6985
/proc/meminfo: memFree=32105524/32770624 swapFree=5856/128616
[pid=6831] ppid=6828 vsize=27080 CPUtime=2382.32 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 28287 0 0 0 237691 541 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 2382.32
Current children cumulated vsize (KiB) 27080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6985
/proc/meminfo: memFree=32105648/32770624 swapFree=5856/128620
[pid=6831] ppid=6828 vsize=27080 CPUtime=2400.03 cores=0,2,4,6
/proc/6831/stat : 6831 (naxos-xcsp3) R 6828 6831 3683 0 -1 4202496 28874 0 0 0 239457 546 0 0 20 0 1 0 2382626 27729920 1459 33554432000 4194304 6986860 140723116466832 140723116462184 140552842879356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 34750464 140723116475662 140723116475743 140723116475743 140723116478442 0
/proc/6831/statm: 6770 1459 712 682 0 773 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 27080
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 6831 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.04
CPU user time (s): 2394.57
CPU system time (s): 5.46709
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.57
system time used= 5.46709
maximum resident set size= 5900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28904
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= 5
involuntary context switches= 656
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18081 second user time and 7.69643 second system time
The end