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-4251709-1500917344/watcher-4251709-1500917344 -o /tmp/evaluation-result-4251709-1500917344/solver-4251709-1500917344 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500914920-3562 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251709-1500917344.xml
pid=4855
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.26 3/181 4858
/proc/meminfo: memFree=32112292/32770624 swapFree=5768/111536
[pid=4858] ppid=4855 vsize=25392 CPUtime=0 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 1119 0 0 0 0 0 0 0 20 0 1 0 1323091 26001408 914 33554432000 4194304 6986860 140726076199328 140726076196024 5484152 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 6348 914 649 682 0 351 0
[startup+0.100194 s]
/proc/loadavg: 2.00 2.01 2.26 3/181 4858
/proc/meminfo: memFree=32112292/32770624 swapFree=5768/111536
[pid=4858] ppid=4855 vsize=25640 CPUtime=0.09 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 1273 0 0 0 9 0 0 0 20 0 1 0 1323091 26255360 1103 33554432000 4194304 6986860 140726076199328 140726076196024 5667159 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 6410 1103 740 682 0 413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25640
[startup+0.20034 s]
/proc/loadavg: 2.00 2.01 2.26 3/181 4858
/proc/meminfo: memFree=32112292/32770624 swapFree=5768/111536
[pid=4858] ppid=4855 vsize=25892 CPUtime=0.19 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 1346 0 0 0 19 0 0 0 20 0 1 0 1323091 26513408 1165 33554432000 4194304 6986860 140726076199328 140726076196024 6250962 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 6473 1165 740 682 0 476 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25892
[startup+0.300318 s]
/proc/loadavg: 2.00 2.01 2.26 3/181 4858
/proc/meminfo: memFree=32112292/32770624 swapFree=5768/111536
[pid=4858] ppid=4855 vsize=26268 CPUtime=0.29 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 1419 0 0 0 29 0 0 0 20 0 1 0 1323091 26898432 1260 33554432000 4194304 6986860 140726076199328 140726076196024 5524613 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 6567 1260 740 682 0 570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26268
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.26 3/181 4858
/proc/meminfo: memFree=32112292/32770624 swapFree=5768/111536
[pid=4858] ppid=4855 vsize=76156 CPUtime=0.69 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 13925 0 0 0 68 1 0 0 20 0 1 0 1323091 77983744 13731 33554432000 4194304 6986860 140726076199328 140726076196024 140262575722417 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13731 762 682 0 13042 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76156
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.26 3/182 4859
/proc/meminfo: memFree=32060432/32770624 swapFree=5768/111540
[pid=4858] ppid=4855 vsize=76156 CPUtime=1.49 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 13925 0 0 0 147 2 0 0 20 0 1 0 1323091 77983744 13731 33554432000 4194304 6986860 140726076199328 140726076194680 140262575710756 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13731 762 682 0 13042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76156
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.26 3/182 4859
/proc/meminfo: memFree=32060184/32770624 swapFree=5768/111540
[pid=4858] ppid=4855 vsize=76156 CPUtime=3.09 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 14479 0 0 0 305 4 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194680 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76156
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.26 3/182 4859
/proc/meminfo: memFree=32060144/32770624 swapFree=5768/111548
[pid=4858] ppid=4855 vsize=76156 CPUtime=6.29 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 15034 0 0 0 622 7 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575708024 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76156
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.25 3/182 4859
/proc/meminfo: memFree=32059780/32770624 swapFree=5768/111548
[pid=4858] ppid=4855 vsize=76156 CPUtime=12.69 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 15589 0 0 0 1255 14 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 5366196 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76156
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.25 3/182 4859
/proc/meminfo: memFree=32059620/32770624 swapFree=5768/111568
[pid=4858] ppid=4855 vsize=76156 CPUtime=25.49 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 16698 0 0 0 2521 28 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575705836 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76156
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.24 3/182 4920
/proc/meminfo: memFree=32068296/32770624 swapFree=5768/111580
[pid=4858] ppid=4855 vsize=76156 CPUtime=51.09 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 16788 0 0 0 5054 55 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194680 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76156
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.23 3/183 4929
/proc/meminfo: memFree=32067564/32770624 swapFree=5768/111640
[pid=4858] ppid=4855 vsize=76156 CPUtime=102.3 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 16876 0 0 0 10124 106 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 76156
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.22 3/183 4930
/proc/meminfo: memFree=32067100/32770624 swapFree=5768/111672
[pid=4858] ppid=4855 vsize=76156 CPUtime=162.29 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 16963 0 0 0 16066 163 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 76156
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.20 3/183 4931
/proc/meminfo: memFree=32066772/32770624 swapFree=5768/111700
[pid=4858] ppid=4855 vsize=76156 CPUtime=222.3 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 17050 0 0 0 22010 220 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 76156
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.20 3/183 4932
/proc/meminfo: memFree=32066556/32770624 swapFree=5768/111728
[pid=4858] ppid=4855 vsize=76156 CPUtime=282.29 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 17137 0 0 0 27952 277 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 76156
[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.19 3/183 4933
/proc/meminfo: memFree=32066600/32770624 swapFree=5768/111764
[pid=4858] ppid=4855 vsize=76156 CPUtime=342.29 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 17224 0 0 0 33888 341 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 5398478 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 76156
[startup+402.3 s]
/proc/loadavg: 2.09 2.05 2.19 3/182 4934
/proc/meminfo: memFree=32066524/32770624 swapFree=5768/111792
[pid=4858] ppid=4855 vsize=76156 CPUtime=402.3 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 17311 0 0 0 39827 403 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 5372581 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 76156
[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.18 3/182 4935
/proc/meminfo: memFree=32065796/32770624 swapFree=5768/111820
[pid=4858] ppid=4855 vsize=76156 CPUtime=462.3 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 17398 0 0 0 45767 463 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 5477327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 76156
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.17 3/182 4936
/proc/meminfo: memFree=32065952/32770624 swapFree=5768/111852
[pid=4858] ppid=4855 vsize=76156 CPUtime=522.3 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 17485 0 0 0 51707 523 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 5435695 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 76156
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.16 3/182 4937
/proc/meminfo: memFree=32066120/32770624 swapFree=5768/111880
[pid=4858] ppid=4855 vsize=76156 CPUtime=582.3 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 17572 0 0 0 57647 583 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194680 5477370 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 76156
################
# More data... #
################
[pid=4858] ppid=4855 vsize=76156 CPUtime=1662.32 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19138 0 0 0 164565 1667 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 76156
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.06 3/182 4971
/proc/meminfo: memFree=32065756/32770624 swapFree=5768/112476
[pid=4858] ppid=4855 vsize=76156 CPUtime=1722.32 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19225 0 0 0 170504 1728 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 5358425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 76156
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 4973
/proc/meminfo: memFree=32065620/32770624 swapFree=5768/112512
[pid=4858] ppid=4855 vsize=76156 CPUtime=1782.33 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19312 0 0 0 176441 1792 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 76156
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4974
/proc/meminfo: memFree=32065504/32770624 swapFree=5768/112556
[pid=4858] ppid=4855 vsize=76156 CPUtime=1842.33 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19399 0 0 0 182383 1850 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575710758 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 76156
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4982
/proc/meminfo: memFree=32065192/32770624 swapFree=5768/112596
[pid=4858] ppid=4855 vsize=76156 CPUtime=1902.33 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19486 0 0 0 188321 1912 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194680 140262575722436 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 76156
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5005
/proc/meminfo: memFree=32064448/32770624 swapFree=5768/112628
[pid=4858] ppid=4855 vsize=76156 CPUtime=1962.33 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19573 0 0 0 194260 1973 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 1962.33
Current children cumulated vsize (KiB) 76156
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5006
/proc/meminfo: memFree=32064596/32770624 swapFree=5768/112660
[pid=4858] ppid=4855 vsize=76156 CPUtime=2022.33 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19660 0 0 0 200196 2037 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 5435491 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 76156
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5007
/proc/meminfo: memFree=32064784/32770624 swapFree=5768/112688
[pid=4858] ppid=4855 vsize=76156 CPUtime=2082.34 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19747 0 0 0 206133 2101 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 76156
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5008
/proc/meminfo: memFree=32064852/32770624 swapFree=5768/112724
[pid=4858] ppid=4855 vsize=76156 CPUtime=2142.34 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19834 0 0 0 212070 2164 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 76156
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5009
/proc/meminfo: memFree=32065032/32770624 swapFree=5768/112756
[pid=4858] ppid=4855 vsize=76156 CPUtime=2202.34 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 19921 0 0 0 218010 2224 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 2202.34
Current children cumulated vsize (KiB) 76156
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5010
/proc/meminfo: memFree=32065060/32770624 swapFree=5768/112784
[pid=4858] ppid=4855 vsize=76156 CPUtime=2262.34 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 20008 0 0 0 223951 2283 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 5476239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 76156
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5011
/proc/meminfo: memFree=32065168/32770624 swapFree=5768/112812
[pid=4858] ppid=4855 vsize=76156 CPUtime=2322.34 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 20095 0 0 0 229889 2345 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 76156
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5012
/proc/meminfo: memFree=32064468/32770624 swapFree=5768/112840
[pid=4858] ppid=4855 vsize=76156 CPUtime=2382.34 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 20182 0 0 0 235828 2406 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 2382.34
Current children cumulated vsize (KiB) 76156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5012
/proc/meminfo: memFree=32064928/32770624 swapFree=5768/112840
[pid=4858] ppid=4855 vsize=76156 CPUtime=2400.05 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) R 4855 4858 3531 0 -1 4202496 20269 0 0 0 237580 2425 0 0 20 0 1 0 1323091 77983744 13771 33554432000 4194304 6986860 140726076199328 140726076194856 140262575976828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19039 13771 762 682 0 13042 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 76156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4858
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4858 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2400.8 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 5012
/proc/meminfo: memFree=32064928/32770624 swapFree=5768/112840
[pid=4858] ppid=4855 vsize=76160 CPUtime=2400.05 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) S 4855 4858 3531 0 -1 1077944320 20285 0 0 0 237580 2425 0 0 20 0 1 0 1323091 77987840 13771 33554432000 4194304 6986860 140726076199328 140726076192504 140262576267516 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19040 13771 762 682 0 13043 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 76160
[startup+2401.6 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 5012
/proc/meminfo: memFree=32065052/32770624 swapFree=5768/112840
[pid=4858] ppid=4855 vsize=76160 CPUtime=2400.05 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) S 4855 4858 3531 0 -1 1077944320 20285 0 0 0 237580 2425 0 0 20 0 1 0 1323091 77987840 13771 33554432000 4194304 6986860 140726076199328 140726076192504 140262576267516 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19040 13771 762 682 0 13043 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 76160
[startup+2402 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 5012
/proc/meminfo: memFree=32065052/32770624 swapFree=5768/112840
[pid=4858] ppid=4855 vsize=76160 CPUtime=2400.05 cores=0,2,4,6
/proc/4858/stat : 4858 (naxos-xcsp3) S 4855 4858 3531 0 -1 1077944320 20285 0 0 0 237580 2425 0 0 20 0 1 0 1323091 77987840 13771 33554432000 4194304 6986860 140726076199328 140726076192504 140262576267516 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 22761472 140726076208398 140726076208479 140726076208479 140726076211178 0
/proc/4858/statm: 19040 13771 762 682 0 13043 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 76160
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402
CPU time (s): 2400.05
CPU user time (s): 2375.8
CPU system time (s): 24.2515
CPU usage (%): 99.9189
Max. virtual memory (cumulated for all children) (KiB): 76160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2375.8
system time used= 24.2515
maximum resident set size= 55108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20285
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= 8
involuntary context switches= 606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.68787 second user time and 5.20685 second system time
The end