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-4252312-1500924614/watcher-4252312-1500924614 -o /tmp/evaluation-result-4252312-1500924614/solver-4252312-1500924614 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3379 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252312-1500924614.xml
pid=5370
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: 1.86 1.98 2.03 3/181 5373
/proc/meminfo: memFree=32115900/32770624 swapFree=5780/114508
[pid=5373] ppid=5370 vsize=24996 CPUtime=0 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 1071 0 0 0 0 0 0 0 20 0 1 0 2014140 25595904 902 33554432000 4194304 6986860 140729448068608 140729448062136 140311128206309 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 6249 902 696 682 0 252 0
[startup+0.100155 s]
/proc/loadavg: 1.86 1.98 2.03 3/181 5373
/proc/meminfo: memFree=32115900/32770624 swapFree=5780/114508
[pid=5373] ppid=5370 vsize=30564 CPUtime=0.09 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 2486 0 0 0 9 0 0 0 20 0 1 0 2014140 31297536 2273 33554432000 4194304 6986860 140729448068608 140729448062136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2273 714 682 0 1644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30564
[startup+0.200289 s]
/proc/loadavg: 1.86 1.98 2.03 3/181 5373
/proc/meminfo: memFree=32115900/32770624 swapFree=5780/114508
[pid=5373] ppid=5370 vsize=30564 CPUtime=0.19 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 2486 0 0 0 19 0 0 0 20 0 1 0 2014140 31297536 2273 33554432000 4194304 6986860 140729448068608 140729448062136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2273 714 682 0 1644 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30564
[startup+0.300253 s]
/proc/loadavg: 1.86 1.98 2.03 3/181 5373
/proc/meminfo: memFree=32115900/32770624 swapFree=5780/114508
[pid=5373] ppid=5370 vsize=30564 CPUtime=0.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 2486 0 0 0 29 0 0 0 20 0 1 0 2014140 31297536 2273 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2273 714 682 0 1644 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30564
[startup+0.700222 s]
/proc/loadavg: 1.86 1.98 2.03 3/181 5373
/proc/meminfo: memFree=32115900/32770624 swapFree=5780/114508
[pid=5373] ppid=5370 vsize=30564 CPUtime=0.69 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 2487 0 0 0 69 0 0 0 20 0 1 0 2014140 31297536 2273 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2273 714 682 0 1644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30564
[startup+1.50022 s]
/proc/loadavg: 1.86 1.98 2.03 3/182 5374
/proc/meminfo: memFree=32109636/32770624 swapFree=5780/114316
[pid=5373] ppid=5370 vsize=30564 CPUtime=1.49 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 2487 0 0 0 149 0 0 0 20 0 1 0 2014140 31297536 2273 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2273 714 682 0 1644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30564
[startup+3.10022 s]
/proc/loadavg: 1.86 1.98 2.03 3/182 5374
/proc/meminfo: memFree=32109264/32770624 swapFree=5780/114316
[pid=5373] ppid=5370 vsize=30564 CPUtime=3.09 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 3982 0 0 0 309 0 0 0 20 0 1 0 2014140 31297536 2333 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2333 729 682 0 1644 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30564
[startup+6.30022 s]
/proc/loadavg: 1.87 1.98 2.03 3/182 5374
/proc/meminfo: memFree=32108332/32770624 swapFree=5780/114504
[pid=5373] ppid=5370 vsize=30564 CPUtime=6.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 4504 0 0 0 627 2 0 0 20 0 1 0 2014140 31297536 2333 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2333 729 682 0 1644 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30564
[startup+12.7002 s]
/proc/loadavg: 1.88 1.98 2.03 3/182 5374
/proc/meminfo: memFree=32108556/32770624 swapFree=5780/114512
[pid=5373] ppid=5370 vsize=30564 CPUtime=12.69 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 5027 0 0 0 1266 3 0 0 20 0 1 0 2014140 31297536 2333 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2333 729 682 0 1644 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30564
[startup+25.5003 s]
/proc/loadavg: 1.91 1.98 2.03 3/182 5374
/proc/meminfo: memFree=32108556/32770624 swapFree=5780/114532
[pid=5373] ppid=5370 vsize=30564 CPUtime=25.49 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 6081 0 0 0 2542 7 0 0 20 0 1 0 2014140 31297536 2337 33554432000 4194304 6986860 140729448068608 140729448063960 5438885 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2337 729 682 0 1644 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30564
[startup+51.1003 s]
/proc/loadavg: 1.94 1.99 2.03 3/182 5374
/proc/meminfo: memFree=32108556/32770624 swapFree=5780/114540
[pid=5373] ppid=5370 vsize=30564 CPUtime=51.09 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 6607 0 0 0 5096 13 0 0 20 0 1 0 2014140 31297536 2337 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2337 729 682 0 1644 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30564
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/182 5375
/proc/meminfo: memFree=32108044/32770624 swapFree=5780/114576
[pid=5373] ppid=5370 vsize=30564 CPUtime=102.3 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 7135 0 0 0 10203 27 0 0 20 0 1 0 2014140 31297536 2337 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2337 729 682 0 1644 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30564
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/182 5376
/proc/meminfo: memFree=32107912/32770624 swapFree=5780/114600
[pid=5373] ppid=5370 vsize=30564 CPUtime=162.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 7663 0 0 0 16187 42 0 0 20 0 1 0 2014140 31297536 2338 33554432000 4194304 6986860 140729448068608 140729448064136 5438202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2338 729 682 0 1644 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 30564
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 5377
/proc/meminfo: memFree=32107516/32770624 swapFree=5780/114628
[pid=5373] ppid=5370 vsize=30564 CPUtime=222.3 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 8191 0 0 0 22170 60 0 0 20 0 1 0 2014140 31297536 2338 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2338 729 682 0 1644 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 30564
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 5378
/proc/meminfo: memFree=32107252/32770624 swapFree=5780/114656
[pid=5373] ppid=5370 vsize=30564 CPUtime=282.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 8721 0 0 0 28157 72 0 0 20 0 1 0 2014140 31297536 2338 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2338 729 682 0 1644 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 30564
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 5379
/proc/meminfo: memFree=32107236/32770624 swapFree=5780/114696
[pid=5373] ppid=5370 vsize=30564 CPUtime=342.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 9251 0 0 0 34143 86 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 30564
[startup+402.3 s]
/proc/loadavg: 2.07 2.00 2.04 3/182 5380
/proc/meminfo: memFree=32107080/32770624 swapFree=5780/114724
[pid=5373] ppid=5370 vsize=30564 CPUtime=402.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 9780 0 0 0 40127 102 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 30564
[startup+462.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/182 5381
/proc/meminfo: memFree=32107196/32770624 swapFree=5780/114752
[pid=5373] ppid=5370 vsize=30564 CPUtime=462.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 10309 0 0 0 46112 117 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 30564
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/182 5382
/proc/meminfo: memFree=32107180/32770624 swapFree=5780/114780
[pid=5373] ppid=5370 vsize=30564 CPUtime=522.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 10838 0 0 0 52098 131 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 30564
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5383
/proc/meminfo: memFree=32107508/32770624 swapFree=5780/114812
[pid=5373] ppid=5370 vsize=30564 CPUtime=582.28 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 11367 0 0 0 58083 145 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 30564
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5475
/proc/meminfo: memFree=32011288/32770624 swapFree=5780/115400
[pid=5373] ppid=5370 vsize=30564 CPUtime=1542.3 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 19830 0 0 0 153843 387 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 30564
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5476
/proc/meminfo: memFree=32010916/32770624 swapFree=5780/115432
[pid=5373] ppid=5370 vsize=30564 CPUtime=1602.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 20359 0 0 0 159825 404 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 140311128199017 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 30564
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5477
/proc/meminfo: memFree=32010948/32770624 swapFree=5780/115468
[pid=5373] ppid=5370 vsize=30564 CPUtime=1662.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 20888 0 0 0 165810 419 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 30564
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5479
/proc/meminfo: memFree=32011304/32770624 swapFree=5780/115504
[pid=5373] ppid=5370 vsize=30564 CPUtime=1722.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 21417 0 0 0 171796 433 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 5453904 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 30564
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5480
/proc/meminfo: memFree=32010932/32770624 swapFree=5780/115532
[pid=5373] ppid=5370 vsize=30564 CPUtime=1782.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 21948 0 0 0 177783 446 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 30564
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5488
/proc/meminfo: memFree=32010168/32770624 swapFree=5780/115572
[pid=5373] ppid=5370 vsize=30564 CPUtime=1842.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 22478 0 0 0 183768 461 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 5438175 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 1842.29
Current children cumulated vsize (KiB) 30564
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5511
/proc/meminfo: memFree=32009904/32770624 swapFree=5780/115616
[pid=5373] ppid=5370 vsize=30564 CPUtime=1902.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 23008 0 0 0 189755 474 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 30564
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 5512
/proc/meminfo: memFree=32010168/32770624 swapFree=5780/115648
[pid=5373] ppid=5370 vsize=30564 CPUtime=1962.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 23538 0 0 0 195743 486 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 30564
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5513
/proc/meminfo: memFree=32010316/32770624 swapFree=5780/115676
[pid=5373] ppid=5370 vsize=30564 CPUtime=2022.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 24068 0 0 0 201727 502 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 2022.29
Current children cumulated vsize (KiB) 30564
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5514
/proc/meminfo: memFree=32010324/32770624 swapFree=5780/115704
[pid=5373] ppid=5370 vsize=30564 CPUtime=2082.3 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 24598 0 0 0 207713 517 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 2082.3
Current children cumulated vsize (KiB) 30564
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5515
/proc/meminfo: memFree=32010308/32770624 swapFree=5780/115740
[pid=5373] ppid=5370 vsize=30564 CPUtime=2142.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 25128 0 0 0 213697 532 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 2142.29
Current children cumulated vsize (KiB) 30564
[startup+2202.31 s]
/proc/loadavg: 1.95 2.01 2.04 3/182 5882
/proc/meminfo: memFree=32114888/32770624 swapFree=5780/115920
[pid=5373] ppid=5370 vsize=30564 CPUtime=2202.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 25657 0 0 0 219681 548 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 30564
[startup+2262.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 6126
/proc/meminfo: memFree=32115300/32770624 swapFree=5780/116092
[pid=5373] ppid=5370 vsize=30564 CPUtime=2262.3 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 26187 0 0 0 225668 562 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 2262.3
Current children cumulated vsize (KiB) 30564
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 6983
/proc/meminfo: memFree=32091464/32770624 swapFree=5780/125636
[pid=5373] ppid=5370 vsize=30564 CPUtime=2322.3 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 26718 0 0 0 231654 576 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 2322.3
Current children cumulated vsize (KiB) 30564
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 6984
/proc/meminfo: memFree=32090796/32770624 swapFree=5780/125692
[pid=5373] ppid=5370 vsize=30564 CPUtime=2382.29 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 27247 0 0 0 237642 587 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448063960 5438127 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 30564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 6991
/proc/meminfo: memFree=32089900/32770624 swapFree=5780/125700
[pid=5373] ppid=5370 vsize=30564 CPUtime=2400.09 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 27777 0 0 0 239418 591 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 30564
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 5373 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 6991
/proc/meminfo: memFree=32089900/32770624 swapFree=5780/125700
[pid=5373] ppid=5370 vsize=30564 CPUtime=2400.09 cores=1,3,5,7
/proc/5373/stat : 5373 (naxos-xcsp3) R 5370 5373 3347 0 -1 4202496 27777 0 0 0 239418 591 0 0 20 0 1 0 2014140 31297536 2340 33554432000 4194304 6986860 140729448068608 140729448064136 140311128469884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10092544 140729448076558 140729448076639 140729448076639 140729448079338 0
/proc/5373/statm: 7641 2340 729 682 0 1644 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 30564
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.1
CPU user time (s): 2394.18
CPU system time (s): 5.91901
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 30564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.18
system time used= 5.91901
maximum resident set size= 9396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27807
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= 618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54652 second user time and 8.17663 second system time
The end