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-4252719-1501986127/watcher-4252719-1501986127 -o /tmp/evaluation-result-4252719-1501986127/solver-4252719-1501986127 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501978048-2910 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252719-1501986127.xml
pid=5037
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 4/180 5040
/proc/meminfo: memFree=31865496/32770624 swapFree=0/285516
[pid=5040] ppid=5037 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5040/stat : 5040 (runsolver) D 5037 5040 2450 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 806448 24240128 108 18446744073709551615 4194304 4338465 140731850030864 140731850028504 139703939859159 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 23298048 140731850035411 140731850035788 140731850035788 140731850039242 0
/proc/5040/statm: 5918 108 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 5040
/proc/meminfo: memFree=31865496/32770624 swapFree=0/285516
[pid=5040] ppid=5037 vsize=26480 CPUtime=0.01 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 1388 0 0 0 1 0 0 0 20 0 1 0 806448 27115520 1224 18446744073709551615 4194304 6986860 140731423578016 140731423574712 5437950 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 6620 1224 666 682 0 623 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26480
[startup+0.200284 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 5040
/proc/meminfo: memFree=31865496/32770624 swapFree=0/285516
[pid=5040] ppid=5037 vsize=32804 CPUtime=0.11 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 2988 0 0 0 11 0 0 0 20 0 1 0 806448 33591296 2827 18446744073709551615 4194304 6986860 140731423578016 140731423574712 5498466 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 8201 2827 676 682 0 2204 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 32804
[startup+0.300297 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 5040
/proc/meminfo: memFree=31865496/32770624 swapFree=0/285516
[pid=5040] ppid=5037 vsize=35764 CPUtime=0.21 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 3736 0 0 0 21 0 0 0 20 0 1 0 806448 36622336 3534 18446744073709551615 4194304 6986860 140731423578016 140731423570968 5438476 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 8941 3534 676 682 0 2944 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 35764
[startup+0.700284 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 5040
/proc/meminfo: memFree=31865496/32770624 swapFree=0/285516
[pid=5040] ppid=5037 vsize=35764 CPUtime=0.61 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 3739 0 0 0 61 0 0 0 20 0 1 0 806448 36622336 3534 18446744073709551615 4194304 6986860 140731423578016 140731423570968 5473968 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 8941 3534 676 682 0 2944 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 35764
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5041
/proc/meminfo: memFree=31854212/32770624 swapFree=0/285580
[pid=5040] ppid=5037 vsize=36024 CPUtime=1.41 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 3806 0 0 0 141 0 0 0 20 0 1 0 806448 36888576 3647 18446744073709551615 4194304 6986860 140731423578016 140731423570968 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9006 3647 691 682 0 3009 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 36024
[startup+3.10025 s]
/proc/loadavg: 1.92 2.00 2.04 2/175 5087
/proc/meminfo: memFree=31874196/32770624 swapFree=0/285596
[pid=5040] ppid=5037 vsize=36024 CPUtime=3.01 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 6336 0 0 0 300 1 0 0 20 0 1 0 806448 36888576 3666 18446744073709551615 4194304 6986860 140731423578016 140731423570968 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9006 3666 691 682 0 3009 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 36024
[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 5102
/proc/meminfo: memFree=31719436/32770624 swapFree=0/286240
[pid=5040] ppid=5037 vsize=36024 CPUtime=6.21 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 9550 0 0 0 620 1 0 0 20 0 1 0 806448 36888576 3668 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438317 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9006 3668 691 682 0 3009 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 36024
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 5102
/proc/meminfo: memFree=31719000/32770624 swapFree=0/286116
[pid=5040] ppid=5037 vsize=36024 CPUtime=12.61 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 12426 0 0 0 1259 2 0 0 20 0 1 0 806448 36888576 3668 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438178 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9006 3668 691 682 0 3009 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 36024
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 5102
/proc/meminfo: memFree=31717444/32770624 swapFree=0/286128
[pid=5040] ppid=5037 vsize=36024 CPUtime=25.4 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 15644 0 0 0 2537 3 0 0 20 0 1 0 806448 36888576 3673 18446744073709551615 4194304 6986860 140731423578016 140731423573544 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9006 3673 691 682 0 3009 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 36024
[startup+51.1004 s]
/proc/loadavg: 2.10 2.03 2.05 3/181 5167
/proc/meminfo: memFree=31730456/32770624 swapFree=0/286744
[pid=5040] ppid=5037 vsize=36024 CPUtime=51 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 15983 0 0 0 5094 6 0 0 20 0 1 0 806448 36888576 3674 18446744073709551615 4194304 6986860 140731423578016 140731423573544 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9006 3674 691 682 0 3009 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 36024
[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/181 5169
/proc/meminfo: memFree=31729688/32770624 swapFree=0/286780
[pid=5040] ppid=5037 vsize=36024 CPUtime=102.21 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 16324 0 0 0 10210 11 0 0 20 0 1 0 806448 36888576 3675 18446744073709551615 4194304 6986860 140731423578016 140731423573368 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9006 3675 691 682 0 3009 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 36024
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 5185
/proc/meminfo: memFree=31724488/32770624 swapFree=0/286856
[pid=5040] ppid=5037 vsize=36140 CPUtime=162.19 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 16678 0 0 0 16204 15 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438220 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 36140
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 5187
/proc/meminfo: memFree=31726520/32770624 swapFree=0/286888
[pid=5040] ppid=5037 vsize=36140 CPUtime=222.2 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 17027 0 0 0 22200 20 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5473968 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 36140
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 5189
/proc/meminfo: memFree=31727908/32770624 swapFree=0/286912
[pid=5040] ppid=5037 vsize=36140 CPUtime=282.2 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 17366 0 0 0 28194 26 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438064 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 36140
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5191
/proc/meminfo: memFree=31728368/32770624 swapFree=0/286948
[pid=5040] ppid=5037 vsize=36140 CPUtime=342.19 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 17704 0 0 0 34189 30 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 36140
[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 5193
/proc/meminfo: memFree=31728648/32770624 swapFree=0/286980
[pid=5040] ppid=5037 vsize=36140 CPUtime=402.19 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 18047 0 0 0 40184 35 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5473982 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 36140
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 5195
/proc/meminfo: memFree=31728956/32770624 swapFree=0/287012
[pid=5040] ppid=5037 vsize=36140 CPUtime=462.19 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 18386 0 0 0 46180 39 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438175 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 36140
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5197
/proc/meminfo: memFree=31728832/32770624 swapFree=0/287036
[pid=5040] ppid=5037 vsize=36140 CPUtime=522.18 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 18726 0 0 0 52175 43 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438143 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 36140
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5199
/proc/meminfo: memFree=31729144/32770624 swapFree=0/287068
[pid=5040] ppid=5037 vsize=36140 CPUtime=582.18 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 19074 0 0 0 58171 47 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 36140
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 5259
/proc/meminfo: memFree=31727172/32770624 swapFree=0/287584
[pid=5040] ppid=5037 vsize=36140 CPUtime=1482.14 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 24265 0 0 0 148099 115 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438453 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 1482.14
Current children cumulated vsize (KiB) 36140
[startup+1542.31 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 5261
/proc/meminfo: memFree=31727544/32770624 swapFree=0/287616
[pid=5040] ppid=5037 vsize=36140 CPUtime=1542.14 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 24609 0 0 0 154094 120 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438178 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 1542.14
Current children cumulated vsize (KiB) 36140
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 5263
/proc/meminfo: memFree=31728048/32770624 swapFree=0/287648
[pid=5040] ppid=5037 vsize=36140 CPUtime=1602.14 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 24953 0 0 0 160090 124 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438178 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 36140
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5265
/proc/meminfo: memFree=31728064/32770624 swapFree=0/287680
[pid=5040] ppid=5037 vsize=36140 CPUtime=1662.13 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 25297 0 0 0 166086 127 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 5438309 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 36140
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 5267
/proc/meminfo: memFree=31728428/32770624 swapFree=0/287704
[pid=5040] ppid=5037 vsize=36140 CPUtime=1722.13 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 25641 0 0 0 172081 132 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5437969 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 36140
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 5269
/proc/meminfo: memFree=31728412/32770624 swapFree=0/287736
[pid=5040] ppid=5037 vsize=36140 CPUtime=1782.12 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 25987 0 0 0 178077 135 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 5438178 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 36140
[startup+1842.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 5271
/proc/meminfo: memFree=31728688/32770624 swapFree=0/287764
[pid=5040] ppid=5037 vsize=36140 CPUtime=1842.12 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 26337 0 0 0 184072 140 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 5474337 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 36140
[startup+1902.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/181 5273
/proc/meminfo: memFree=31728572/32770624 swapFree=0/287796
[pid=5040] ppid=5037 vsize=36140 CPUtime=1902.12 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 26688 0 0 0 190067 145 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438001 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 36140
[startup+1962.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 5289
/proc/meminfo: memFree=31723960/32770624 swapFree=0/287864
[pid=5040] ppid=5037 vsize=36140 CPUtime=1962.11 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 27038 0 0 0 196062 149 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 5438290 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 36140
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5291
/proc/meminfo: memFree=31726100/32770624 swapFree=0/287904
[pid=5040] ppid=5037 vsize=36140 CPUtime=2022.11 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 27389 0 0 0 202057 154 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438361 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 2022.11
Current children cumulated vsize (KiB) 36140
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 5293
/proc/meminfo: memFree=31727512/32770624 swapFree=0/287928
[pid=5040] ppid=5037 vsize=36140 CPUtime=2082.11 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 27740 0 0 0 208053 158 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 36140
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 5295
/proc/meminfo: memFree=31727264/32770624 swapFree=0/287960
[pid=5040] ppid=5037 vsize=36140 CPUtime=2142.11 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 28089 0 0 0 214048 163 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 36140
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 5297
/proc/meminfo: memFree=31727512/32770624 swapFree=0/287996
[pid=5040] ppid=5037 vsize=36140 CPUtime=2202.11 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 28435 0 0 0 220044 167 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 36140
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 5299
/proc/meminfo: memFree=31727876/32770624 swapFree=0/288028
[pid=5040] ppid=5037 vsize=36140 CPUtime=2262.1 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 28780 0 0 0 226040 170 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5438001 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 36140
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 5301
/proc/meminfo: memFree=31727876/32770624 swapFree=0/288052
[pid=5040] ppid=5037 vsize=36140 CPUtime=2322.09 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 29125 0 0 0 232035 174 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 5473982 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 36140
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5303
/proc/meminfo: memFree=31727496/32770624 swapFree=0/288084
[pid=5040] ppid=5037 vsize=36140 CPUtime=2382.09 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 29470 0 0 0 238031 178 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573544 5473968 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 36140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5304
/proc/meminfo: memFree=31727124/32770624 swapFree=0/288096
[pid=5040] ppid=5037 vsize=36140 CPUtime=2400 cores=1,3,5,7
/proc/5040/stat : 5040 (naxos-xcsp3) R 5037 5040 2450 0 -1 4202496 29813 0 0 0 239821 179 0 0 20 0 1 0 806448 37007360 3679 18446744073709551615 4194304 6986860 140731423578016 140731423573368 140077209469308 0 0 1 16384 0 0 0 17 1 0 0 8 0 0 9087712 9120176 35225600 140731423580699 140731423580780 140731423580780 140731423584234 0
/proc/5040/statm: 9035 3679 691 682 0 3038 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 36140
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 5040 sig 9
??? kill -5040 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.01
CPU user time (s): 2398.21
CPU system time (s): 1.79992
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 36144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.21
system time used= 1.79991
maximum resident set size= 14756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29844
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= 9
involuntary context switches= 625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75488 second user time and 8.83467 second system time
The end