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-4252844-1501990930/watcher-4252844-1501990930 -o /tmp/evaluation-result-4252844-1501990930/solver-4252844-1501990930 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501978048-2910 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252844-1501990930.xml
pid=9193
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.02 2.02 2.05 3/180 9196
/proc/meminfo: memFree=31828064/32770624 swapFree=0/291176
[pid=9196] ppid=9193 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9196/stat : 9196 (runsolver) D 9193 9196 2450 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 1286731 24240128 108 18446744073709551615 4194304 4338465 140726495293648 140726495291288 140210488644311 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 7897088 140726495297747 140726495298124 140726495298124 140726495301578 0
/proc/9196/statm: 5918 108 54 36 0 2156 0
[startup+0.100136 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 9196
/proc/meminfo: memFree=31828064/32770624 swapFree=0/291176
[pid=9196] ppid=9193 vsize=24740 CPUtime=0 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 949 0 0 0 0 0 0 0 20 0 1 0 1286731 25333760 772 18446744073709551615 4194304 6986860 140721082417968 140721082414664 139806581312485 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 6185 772 650 682 0 188 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24740
[startup+0.200286 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 9196
/proc/meminfo: memFree=31828064/32770624 swapFree=0/291176
[pid=9196] ppid=9193 vsize=41340 CPUtime=0.09 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 5231 0 0 0 9 0 0 0 20 0 1 0 1286731 42332160 4873 18446744073709551615 4194304 6986860 140721082417968 140721082414664 5438175 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 10335 4873 708 682 0 4338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41340
[startup+0.300387 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 9196
/proc/meminfo: memFree=31828064/32770624 swapFree=0/291176
[pid=9196] ppid=9193 vsize=42000 CPUtime=0.19 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 5536 0 0 0 19 0 0 0 20 0 1 0 1286731 43008000 5092 18446744073709551615 4194304 6986860 140721082417968 140721082414664 139806581312485 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 10500 5092 708 682 0 4503 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42000
[startup+0.700333 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 9196
/proc/meminfo: memFree=31828064/32770624 swapFree=0/291176
[pid=9196] ppid=9193 vsize=68580 CPUtime=0.6 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 12157 0 0 0 59 1 0 0 20 0 1 0 1286731 70225920 11692 18446744073709551615 4194304 6986860 140721082417968 140721082410648 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11692 708 682 0 11148 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 68580
[startup+1.50034 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9197
/proc/meminfo: memFree=31783880/32770624 swapFree=0/291204
[pid=9196] ppid=9193 vsize=68580 CPUtime=1.4 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 12158 0 0 0 139 1 0 0 20 0 1 0 1286731 70225920 11692 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5453904 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11692 708 682 0 11148 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 68580
[startup+3.10034 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9197
/proc/meminfo: memFree=31783508/32770624 swapFree=0/291204
[pid=9196] ppid=9193 vsize=68580 CPUtime=3 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 19304 0 0 0 299 1 0 0 20 0 1 0 1286731 70225920 11748 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11748 722 682 0 11148 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 68580
[startup+6.30033 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9197
/proc/meminfo: memFree=31782808/32770624 swapFree=0/291220
[pid=9196] ppid=9193 vsize=68580 CPUtime=6.19 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 26484 0 0 0 618 1 0 0 20 0 1 0 1286731 70225920 11750 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11750 722 682 0 11148 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 68580
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9197
/proc/meminfo: memFree=31782792/32770624 swapFree=0/291220
[pid=9196] ppid=9193 vsize=68580 CPUtime=12.59 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 31740 0 0 0 1257 2 0 0 20 0 1 0 1286731 70225920 11750 18446744073709551615 4194304 6986860 140721082417968 140721082413320 5438064 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11750 722 682 0 11148 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 68580
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9197
/proc/meminfo: memFree=31781976/32770624 swapFree=0/291236
[pid=9196] ppid=9193 vsize=68580 CPUtime=25.38 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 38271 0 0 0 2536 2 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413320 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 68580
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9198
/proc/meminfo: memFree=31782876/32770624 swapFree=0/291252
[pid=9196] ppid=9193 vsize=68580 CPUtime=50.99 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 38590 0 0 0 5096 3 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 68580
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9200
/proc/meminfo: memFree=31782584/32770624 swapFree=0/291280
[pid=9196] ppid=9193 vsize=68580 CPUtime=102.18 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 38917 0 0 0 10215 3 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438344 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 68580
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9277
/proc/meminfo: memFree=31779492/32770624 swapFree=0/291404
[pid=9196] ppid=9193 vsize=68580 CPUtime=162.17 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 39255 0 0 0 16213 4 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413320 5438185 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 68580
[startup+222.306 s]
/proc/loadavg: 1.72 1.95 2.02 2/174 9392
/proc/meminfo: memFree=31830936/32770624 swapFree=0/291496
[pid=9196] ppid=9193 vsize=68580 CPUtime=222.18 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 39571 0 0 0 22212 6 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413320 5438384 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 68580
[startup+282.3 s]
/proc/loadavg: 1.35 1.81 1.97 2/174 9394
/proc/meminfo: memFree=31831736/32770624 swapFree=0/291520
[pid=9196] ppid=9193 vsize=68580 CPUtime=282.17 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 39887 0 0 0 28209 8 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 68580
[startup+342.3 s]
/proc/loadavg: 1.13 1.66 1.91 2/174 9396
/proc/meminfo: memFree=31832248/32770624 swapFree=0/291540
[pid=9196] ppid=9193 vsize=68580 CPUtime=342.17 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 40203 0 0 0 34208 9 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 68580
[startup+402.3 s]
/proc/loadavg: 1.05 1.54 1.85 2/174 9398
/proc/meminfo: memFree=31832620/32770624 swapFree=0/291564
[pid=9196] ppid=9193 vsize=68580 CPUtime=402.17 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 40519 0 0 0 40206 11 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5437950 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 68580
[startup+462.3 s]
/proc/loadavg: 1.02 1.44 1.80 2/174 9400
/proc/meminfo: memFree=31832748/32770624 swapFree=0/291584
[pid=9196] ppid=9193 vsize=68580 CPUtime=462.16 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 40835 0 0 0 46204 12 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438476 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 68580
[startup+522.3 s]
/proc/loadavg: 1.01 1.36 1.75 3/174 9402
/proc/meminfo: memFree=31832756/32770624 swapFree=0/291604
[pid=9196] ppid=9193 vsize=68580 CPUtime=522.17 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 41151 0 0 0 52203 14 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413320 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 68580
[startup+582.3 s]
/proc/loadavg: 1.00 1.30 1.70 2/174 9404
/proc/meminfo: memFree=31832896/32770624 swapFree=0/291620
[pid=9196] ppid=9193 vsize=68580 CPUtime=582.16 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 41467 0 0 0 58202 14 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 68580
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 1.00 1.01 1.26 2/176 9467
/proc/meminfo: memFree=31832400/32770624 swapFree=0/292028
[pid=9196] ppid=9193 vsize=68580 CPUtime=1542.12 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 46523 0 0 0 154177 35 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438250 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 68580
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/176 9469
/proc/meminfo: memFree=31832276/32770624 swapFree=0/292056
[pid=9196] ppid=9193 vsize=68580 CPUtime=1602.12 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 46839 0 0 0 160175 37 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 68580
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/175 9472
/proc/meminfo: memFree=31831996/32770624 swapFree=0/292080
[pid=9196] ppid=9193 vsize=68580 CPUtime=1662.11 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 47155 0 0 0 166173 38 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413320 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 68580
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/175 9474
/proc/meminfo: memFree=31832000/32770624 swapFree=0/292100
[pid=9196] ppid=9193 vsize=68580 CPUtime=1722.11 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 47471 0 0 0 172171 40 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5453904 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 68580
[startup+1782.3 s]
/proc/loadavg: 1.09 1.04 1.21 2/175 9476
/proc/meminfo: memFree=31832144/32770624 swapFree=0/292120
[pid=9196] ppid=9193 vsize=68580 CPUtime=1782.11 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 47787 0 0 0 178169 42 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 68580
[startup+1842.3 s]
/proc/loadavg: 1.03 1.04 1.20 3/175 9479
/proc/meminfo: memFree=31832184/32770624 swapFree=0/292144
[pid=9196] ppid=9193 vsize=68580 CPUtime=1842.1 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 48103 0 0 0 184167 43 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413320 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 68580
[startup+1902.3 s]
/proc/loadavg: 1.01 1.03 1.19 2/175 9481
/proc/meminfo: memFree=31832316/32770624 swapFree=0/292164
[pid=9196] ppid=9193 vsize=68580 CPUtime=1902.1 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 48419 0 0 0 190166 44 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438151 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 68580
[startup+1962.3 s]
/proc/loadavg: 1.00 1.02 1.17 2/178 9496
/proc/meminfo: memFree=31829188/32770624 swapFree=0/292212
[pid=9196] ppid=9193 vsize=68580 CPUtime=1962.1 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 48735 0 0 0 196164 46 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5453934 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 68580
[startup+2022.3 s]
/proc/loadavg: 1.06 1.04 1.17 2/179 9523
/proc/meminfo: memFree=31826784/32770624 swapFree=0/292276
[pid=9196] ppid=9193 vsize=68580 CPUtime=2022.09 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 49050 0 0 0 202161 48 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 68580
[startup+2082.3 s]
/proc/loadavg: 1.02 1.03 1.16 2/176 9526
/proc/meminfo: memFree=31830156/32770624 swapFree=0/292304
[pid=9196] ppid=9193 vsize=68580 CPUtime=2082.1 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 49365 0 0 0 208160 50 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 139806581576060 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 68580
[startup+2142.3 s]
/proc/loadavg: 1.01 1.02 1.14 2/176 9527
/proc/meminfo: memFree=31831144/32770624 swapFree=0/292324
[pid=9196] ppid=9193 vsize=68580 CPUtime=2142.09 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 49680 0 0 0 214158 51 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438079 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 68580
[startup+2202.31 s]
/proc/loadavg: 1.00 1.02 1.13 2/175 9529
/proc/meminfo: memFree=31831164/32770624 swapFree=0/292344
[pid=9196] ppid=9193 vsize=68580 CPUtime=2202.1 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 49995 0 0 0 220158 52 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 68580
[startup+2262.3 s]
/proc/loadavg: 1.11 1.04 1.14 2/175 9531
/proc/meminfo: memFree=31831040/32770624 swapFree=0/292372
[pid=9196] ppid=9193 vsize=68580 CPUtime=2262.09 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 50310 0 0 0 226155 54 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5474360 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 68580
[startup+2322.3 s]
/proc/loadavg: 1.04 1.04 1.13 2/174 9533
/proc/meminfo: memFree=31831708/32770624 swapFree=0/292388
[pid=9196] ppid=9193 vsize=68580 CPUtime=2322.08 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 50625 0 0 0 232153 55 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 68580
[startup+2382.3 s]
/proc/loadavg: 1.02 1.03 1.12 2/175 9536
/proc/meminfo: memFree=31831408/32770624 swapFree=0/292408
[pid=9196] ppid=9193 vsize=68580 CPUtime=2382.08 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 50940 0 0 0 238152 56 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413320 5438178 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 68580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 1.01 1.03 1.12 2/175 9537
/proc/meminfo: memFree=31831416/32770624 swapFree=0/292416
[pid=9196] ppid=9193 vsize=68580 CPUtime=2400.08 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 51255 0 0 0 239951 57 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 139806581576060 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 68580
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 9196 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 1.01 1.03 1.12 2/175 9537
/proc/meminfo: memFree=31831416/32770624 swapFree=0/292416
[pid=9196] ppid=9193 vsize=68580 CPUtime=2400.08 cores=1,3,5,7
/proc/9196/stat : 9196 (naxos-xcsp3) R 9193 9196 2450 0 -1 4202496 51255 0 0 0 239951 57 0 0 20 0 1 0 1286731 70225920 11827 18446744073709551615 4194304 6986860 140721082417968 140721082413496 139806581576060 0 0 1 16384 0 0 0 17 1 0 0 9 0 0 9087712 9120176 10960896 140721082421787 140721082421868 140721082421868 140721082425322 0
/proc/9196/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 68580
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.1
CPU user time (s): 2399.52
CPU system time (s): 0.576973
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 68580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.52
system time used= 0.576973
maximum resident set size= 47344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51284
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= 19
involuntary context switches= 613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84585 second user time and 9.91747 second system time
The end