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-4251659-1500914971/watcher-4251659-1500914971 -o /tmp/evaluation-result-4251659-1500914971/solver-4251659-1500914971 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500914920-3563 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251659-1500914971.xml
pid=4634
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: 0.89 2.18 5.14 2/183 4637
/proc/meminfo: memFree=32122716/32770624 swapFree=5768/110312
[pid=4637] ppid=4634 vsize=24860 CPUtime=0 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 1085785 25456640 814 33554432000 4194304 6986860 140723391760416 140723391757112 5959736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 6215 814 649 682 0 218 0
[startup+0.100158 s]
/proc/loadavg: 0.89 2.18 5.14 2/183 4637
/proc/meminfo: memFree=32122716/32770624 swapFree=5768/110312
[pid=4637] ppid=4634 vsize=25524 CPUtime=0.09 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 1160 0 0 0 9 0 0 0 20 0 1 0 1085785 26136576 949 33554432000 4194304 6986860 140723391760416 140723391757112 140004288936933 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 6381 949 663 682 0 384 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25524
[startup+0.200263 s]
/proc/loadavg: 0.89 2.18 5.14 2/183 4637
/proc/meminfo: memFree=32122716/32770624 swapFree=5768/110312
[pid=4637] ppid=4634 vsize=26172 CPUtime=0.19 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 1379 0 0 0 19 0 0 0 20 0 1 0 1085785 26800128 1061 33554432000 4194304 6986860 140723391760416 140723391757112 140004288936933 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 6543 1061 663 682 0 546 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26172
[startup+0.300248 s]
/proc/loadavg: 0.89 2.18 5.14 2/183 4637
/proc/meminfo: memFree=32122716/32770624 swapFree=5768/110312
[pid=4637] ppid=4634 vsize=26436 CPUtime=0.29 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 1502 0 0 0 29 0 0 0 20 0 1 0 1085785 27070464 1192 33554432000 4194304 6986860 140723391760416 140723391757112 5812063 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 6609 1192 663 682 0 612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26436
[startup+0.700221 s]
/proc/loadavg: 0.89 2.18 5.14 2/183 4637
/proc/meminfo: memFree=32122716/32770624 swapFree=5768/110312
[pid=4637] ppid=4634 vsize=26568 CPUtime=0.69 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 1574 0 0 0 69 0 0 0 20 0 1 0 1085785 27205632 1258 33554432000 4194304 6986860 140723391760416 140723391757112 5667078 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 6642 1258 700 682 0 645 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26568
[startup+1.50021 s]
/proc/loadavg: 0.89 2.18 5.14 3/184 4638
/proc/meminfo: memFree=32120024/32770624 swapFree=5768/110324
[pid=4637] ppid=4634 vsize=26568 CPUtime=1.49 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 1597 0 0 0 149 0 0 0 20 0 1 0 1085785 27205632 1258 33554432000 4194304 6986860 140723391760416 140723391750664 5646820 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 6642 1258 700 682 0 645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26568
[startup+3.10021 s]
/proc/loadavg: 0.89 2.18 5.14 3/184 4638
/proc/meminfo: memFree=32119604/32770624 swapFree=5768/110324
[pid=4637] ppid=4634 vsize=26832 CPUtime=3.09 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 1808 0 0 0 309 0 0 0 20 0 1 0 1085785 27475968 1317 33554432000 4194304 6986860 140723391760416 140723391750664 5857844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 6708 1317 705 682 0 711 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26832
[startup+6.30021 s]
/proc/loadavg: 0.89 2.17 5.12 3/184 4638
/proc/meminfo: memFree=32119232/32770624 swapFree=5768/110324
[pid=4637] ppid=4634 vsize=27228 CPUtime=6.29 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 2141 0 0 0 629 0 0 0 20 0 1 0 1085785 27881472 1431 33554432000 4194304 6986860 140723391760416 140723391750664 5519502 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 6807 1431 705 682 0 810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27228
[startup+12.7002 s]
/proc/loadavg: 0.98 2.16 5.10 3/184 4638
/proc/meminfo: memFree=32118388/32770624 swapFree=5768/110336
[pid=4637] ppid=4634 vsize=28152 CPUtime=12.69 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 2711 0 0 0 1269 0 0 0 20 0 1 0 1085785 28827648 1670 33554432000 4194304 6986860 140723391760416 140723391750664 5637881 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 7038 1670 705 682 0 1041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28152
[startup+25.5003 s]
/proc/loadavg: 1.21 2.15 5.06 3/184 4638
/proc/meminfo: memFree=32107848/32770624 swapFree=5768/110344
[pid=4637] ppid=4634 vsize=39264 CPUtime=25.49 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 7487 0 0 0 2546 3 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39264
[startup+51.1003 s]
/proc/loadavg: 1.48 2.14 4.97 3/185 4646
/proc/meminfo: memFree=32107376/32770624 swapFree=5768/110372
[pid=4637] ppid=4634 vsize=39264 CPUtime=51.09 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 8336 0 0 0 5094 15 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755944 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39264
[startup+102.3 s]
/proc/loadavg: 1.77 2.12 4.82 3/185 4647
/proc/meminfo: memFree=32108048/32770624 swapFree=5768/110412
[pid=4637] ppid=4634 vsize=39264 CPUtime=102.29 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 8662 0 0 0 10192 37 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 39264
[startup+162.3 s]
/proc/loadavg: 1.96 2.11 4.65 3/185 4648
/proc/meminfo: memFree=32108088/32770624 swapFree=5768/110436
[pid=4637] ppid=4634 vsize=39264 CPUtime=162.29 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 8983 0 0 0 16168 61 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 39264
[startup+222.306 s]
/proc/loadavg: 1.98 2.09 4.48 3/185 4649
/proc/meminfo: memFree=32108092/32770624 swapFree=5768/110472
[pid=4637] ppid=4634 vsize=39264 CPUtime=222.3 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 9304 0 0 0 22143 87 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 39264
[startup+282.3 s]
/proc/loadavg: 1.99 2.08 4.33 3/183 4650
/proc/meminfo: memFree=32108532/32770624 swapFree=5768/110500
[pid=4637] ppid=4634 vsize=39264 CPUtime=282.3 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 9627 0 0 0 28118 112 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 39264
[startup+342.3 s]
/proc/loadavg: 2.00 2.06 4.18 3/182 4652
/proc/meminfo: memFree=32109048/32770624 swapFree=5768/110556
[pid=4637] ppid=4634 vsize=39264 CPUtime=342.3 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 9948 0 0 0 34090 140 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 39264
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 4.04 3/182 4653
/proc/meminfo: memFree=32109016/32770624 swapFree=5768/110588
[pid=4637] ppid=4634 vsize=39264 CPUtime=402.29 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 10271 0 0 0 40064 165 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 39264
[startup+462.3 s]
/proc/loadavg: 2.06 2.06 3.92 3/182 4654
/proc/meminfo: memFree=32108924/32770624 swapFree=5768/110616
[pid=4637] ppid=4634 vsize=39264 CPUtime=462.29 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 10592 0 0 0 46038 191 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755944 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 39264
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 3.80 3/182 4656
/proc/meminfo: memFree=32108988/32770624 swapFree=5768/110656
[pid=4637] ppid=4634 vsize=39264 CPUtime=522.29 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 10915 0 0 0 52012 217 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 39264
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 3.69 3/182 4657
/proc/meminfo: memFree=32109368/32770624 swapFree=5768/110680
[pid=4637] ppid=4634 vsize=39264 CPUtime=582.3 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 11236 0 0 0 57987 243 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755944 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 39264
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.64 3/183 4710
/proc/meminfo: memFree=32108816/32770624 swapFree=5768/111000
[pid=4637] ppid=4634 vsize=39264 CPUtime=1482.3 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 16088 0 0 0 147621 609 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 39264
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.60 3/182 4711
/proc/meminfo: memFree=32108804/32770624 swapFree=5768/111032
[pid=4637] ppid=4634 vsize=39264 CPUtime=1542.32 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 16411 0 0 0 153593 639 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004288934415 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 39264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.57 3/182 4712
/proc/meminfo: memFree=32108572/32770624 swapFree=5768/111064
[pid=4637] ppid=4634 vsize=39264 CPUtime=1602.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 16737 0 0 0 159564 667 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 39264
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.54 3/182 4713
/proc/meminfo: memFree=32108548/32770624 swapFree=5768/111092
[pid=4637] ppid=4634 vsize=39264 CPUtime=1662.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 17060 0 0 0 165539 692 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 39264
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.50 3/182 4714
/proc/meminfo: memFree=32108564/32770624 swapFree=5768/111128
[pid=4637] ppid=4634 vsize=39264 CPUtime=1722.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 17386 0 0 0 171513 718 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 39264
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.47 3/182 4715
/proc/meminfo: memFree=32108660/32770624 swapFree=5768/111160
[pid=4637] ppid=4634 vsize=39264 CPUtime=1782.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 17709 0 0 0 177488 743 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 39264
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.44 3/182 4723
/proc/meminfo: memFree=32107436/32770624 swapFree=5768/111200
[pid=4637] ppid=4634 vsize=39264 CPUtime=1842.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 18032 0 0 0 183458 773 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 39264
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.41 3/182 4724
/proc/meminfo: memFree=32107744/32770624 swapFree=5768/111224
[pid=4637] ppid=4634 vsize=39264 CPUtime=1902.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 18358 0 0 0 189430 801 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755944 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 1902.31
Current children cumulated vsize (KiB) 39264
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.39 3/182 4725
/proc/meminfo: memFree=32108356/32770624 swapFree=5768/111268
[pid=4637] ppid=4634 vsize=39264 CPUtime=1962.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 18684 0 0 0 195401 830 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755944 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 39264
[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.37 3/182 4726
/proc/meminfo: memFree=32108588/32770624 swapFree=5768/111296
[pid=4637] ppid=4634 vsize=39264 CPUtime=2022.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 19010 0 0 0 201373 858 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 39264
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.35 3/182 4727
/proc/meminfo: memFree=32108860/32770624 swapFree=5768/111328
[pid=4637] ppid=4634 vsize=39264 CPUtime=2082.32 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 19336 0 0 0 207346 886 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755944 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 39264
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.33 3/182 4729
/proc/meminfo: memFree=32108532/32770624 swapFree=5768/111372
[pid=4637] ppid=4634 vsize=39264 CPUtime=2142.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 19661 0 0 0 213317 914 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755944 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 39264
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.31 3/182 4730
/proc/meminfo: memFree=32108204/32770624 swapFree=5768/111396
[pid=4637] ppid=4634 vsize=39264 CPUtime=2202.32 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 19986 0 0 0 219289 943 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 39264
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.29 3/182 4731
/proc/meminfo: memFree=32108344/32770624 swapFree=5768/111428
[pid=4637] ppid=4634 vsize=39264 CPUtime=2262.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 20311 0 0 0 225263 968 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 39264
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.27 3/182 4733
/proc/meminfo: memFree=32108564/32770624 swapFree=5768/111464
[pid=4637] ppid=4634 vsize=39264 CPUtime=2322.32 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 20637 0 0 0 231238 994 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 39264
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.26 3/182 4859
/proc/meminfo: memFree=32059780/32770624 swapFree=5768/111552
[pid=4637] ppid=4634 vsize=39264 CPUtime=2382.31 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 20963 0 0 0 237210 1021 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755944 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 2382.31
Current children cumulated vsize (KiB) 39264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.25 3/182 4859
/proc/meminfo: memFree=32059620/32770624 swapFree=5768/111568
[pid=4637] ppid=4634 vsize=39264 CPUtime=2400.02 cores=1,3,5,7
/proc/4637/stat : 4637 (naxos-xcsp3) R 4634 4637 3531 0 -1 4202496 21287 0 0 0 238972 1030 0 0 20 0 1 0 1085785 40206336 4498 33554432000 4194304 6986860 140723391760416 140723391755768 140004289200508 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23371776 140723391763726 140723391763807 140723391763807 140723391766506 0
/proc/4637/statm: 9816 4498 729 682 0 3819 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 39264
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 4637 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.03
CPU user time (s): 2389.73
CPU system time (s): 10.3031
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 39264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.73
system time used= 10.3031
maximum resident set size= 18012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21315
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= 783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38998 second user time and 7.89949 second system time
The end