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-4252923-1501981327/watcher-4252923-1501981327 -o /tmp/evaluation-result-4252923-1501981327/solver-4252923-1501981327 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501978048-2909 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252923-1501981327.xml
pid=4482
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: 1.92 2.00 2.14 3/180 4485
/proc/meminfo: memFree=32002256/32770624 swapFree=0/256664
[pid=4485] ppid=4482 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4485/stat : 4485 (runsolver) D 4482 4485 2450 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 326442 24240128 106 18446744073709551615 4194304 4338465 140723948045968 140723948043608 140254749672151 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 35934208 140723948048595 140723948048972 140723948048972 140723948052426 0
/proc/4485/statm: 5918 106 53 36 0 2156 0
[startup+0.1002 s]
/proc/loadavg: 1.92 2.00 2.14 3/180 4485
/proc/meminfo: memFree=32002256/32770624 swapFree=0/256664
[pid=4485] ppid=4482 vsize=26848 CPUtime=0.01 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 1508 0 0 0 1 0 0 0 20 0 1 0 326442 27492352 1349 18446744073709551615 4194304 6986860 140722963953792 140722963950488 5438837 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 6712 1349 687 682 0 715 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26848
[startup+0.200346 s]
/proc/loadavg: 1.92 2.00 2.14 3/180 4485
/proc/meminfo: memFree=32002256/32770624 swapFree=0/256664
[pid=4485] ppid=4482 vsize=28828 CPUtime=0.11 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2036 0 0 0 11 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963950488 5472144 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 28828
[startup+0.300321 s]
/proc/loadavg: 1.92 2.00 2.14 3/180 4485
/proc/meminfo: memFree=32002256/32770624 swapFree=0/256664
[pid=4485] ppid=4482 vsize=28828 CPUtime=0.21 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2036 0 0 0 21 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5430088 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 28828
[startup+0.700277 s]
/proc/loadavg: 1.92 2.00 2.14 3/180 4485
/proc/meminfo: memFree=32002256/32770624 swapFree=0/256664
[pid=4485] ppid=4482 vsize=28828 CPUtime=0.61 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2036 0 0 0 61 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5429845 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 28828
[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.14 3/181 4486
/proc/meminfo: memFree=31997580/32770624 swapFree=0/256684
[pid=4485] ppid=4482 vsize=28828 CPUtime=1.41 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2036 0 0 0 141 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5474352 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 28828
[startup+3.10027 s]
/proc/loadavg: 1.93 2.00 2.14 3/181 4486
/proc/meminfo: memFree=31996736/32770624 swapFree=0/256692
[pid=4485] ppid=4482 vsize=28828 CPUtime=3.01 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2043 0 0 0 301 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5431127 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 28828
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.14 3/181 4486
/proc/meminfo: memFree=31996624/32770624 swapFree=0/256696
[pid=4485] ppid=4482 vsize=28828 CPUtime=6.21 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2050 0 0 0 621 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5472552 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 28828
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.14 3/181 4486
/proc/meminfo: memFree=31996028/32770624 swapFree=0/256700
[pid=4485] ppid=4482 vsize=28828 CPUtime=12.61 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2057 0 0 0 1261 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5473974 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 28828
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.14 3/181 4487
/proc/meminfo: memFree=31995800/32770624 swapFree=0/256700
[pid=4485] ppid=4482 vsize=28828 CPUtime=25.41 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2070 0 0 0 2541 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5414312 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 28828
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.14 3/181 4487
/proc/meminfo: memFree=31995840/32770624 swapFree=0/256716
[pid=4485] ppid=4482 vsize=28828 CPUtime=51.01 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2075 0 0 0 5101 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5474992 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 28828
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/181 4489
/proc/meminfo: memFree=31995600/32770624 swapFree=0/256740
[pid=4485] ppid=4482 vsize=28828 CPUtime=102.21 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2080 0 0 0 10221 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5430464 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 28828
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/185 4506
/proc/meminfo: memFree=31991808/32770624 swapFree=0/256792
[pid=4485] ppid=4482 vsize=28828 CPUtime=162.2 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2085 0 0 0 16220 0 0 0 20 0 1 0 326442 29519872 1876 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5429777 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1876 703 682 0 1210 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 28828
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.12 3/183 4508
/proc/meminfo: memFree=31993872/32770624 swapFree=0/256824
[pid=4485] ppid=4482 vsize=28828 CPUtime=222.21 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2090 0 0 0 22221 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5431285 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 28828
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/182 4510
/proc/meminfo: memFree=31995124/32770624 swapFree=0/256844
[pid=4485] ppid=4482 vsize=28828 CPUtime=282.2 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2095 0 0 0 28220 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5453291 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 28828
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/182 4512
/proc/meminfo: memFree=31995364/32770624 swapFree=0/256868
[pid=4485] ppid=4482 vsize=28828 CPUtime=342.2 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2100 0 0 0 34220 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5431304 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 28828
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.11 3/182 4514
/proc/meminfo: memFree=31995372/32770624 swapFree=0/256896
[pid=4485] ppid=4482 vsize=28828 CPUtime=402.19 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2105 0 0 0 40219 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5472560 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 28828
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.10 3/181 4517
/proc/meminfo: memFree=31995188/32770624 swapFree=0/256924
[pid=4485] ppid=4482 vsize=28828 CPUtime=462.19 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2110 0 0 0 46219 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5355911 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 28828
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.10 3/181 4519
/proc/meminfo: memFree=31995748/32770624 swapFree=0/256944
[pid=4485] ppid=4482 vsize=28828 CPUtime=522.19 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2115 0 0 0 52219 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5355938 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 28828
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/181 4521
/proc/meminfo: memFree=31995484/32770624 swapFree=0/256964
[pid=4485] ppid=4482 vsize=28828 CPUtime=582.19 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2120 0 0 0 58219 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5431086 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 28828
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4605
/proc/meminfo: memFree=31994256/32770624 swapFree=0/257408
[pid=4485] ppid=4482 vsize=28828 CPUtime=1482.15 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2195 0 0 0 148215 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5355328 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 1482.15
Current children cumulated vsize (KiB) 28828
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4607
/proc/meminfo: memFree=31994256/32770624 swapFree=0/257428
[pid=4485] ppid=4482 vsize=28828 CPUtime=1542.16 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2200 0 0 0 154216 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5284448 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 28828
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4609
/proc/meminfo: memFree=31994140/32770624 swapFree=0/257460
[pid=4485] ppid=4482 vsize=28828 CPUtime=1602.15 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2205 0 0 0 160215 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5430591 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 28828
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4611
/proc/meminfo: memFree=31994324/32770624 swapFree=0/257480
[pid=4485] ppid=4482 vsize=28828 CPUtime=1662.15 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2210 0 0 0 166215 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5472144 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 28828
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4613
/proc/meminfo: memFree=31994272/32770624 swapFree=0/257500
[pid=4485] ppid=4482 vsize=28828 CPUtime=1722.15 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2215 0 0 0 172215 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5473995 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 28828
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4615
/proc/meminfo: memFree=31993784/32770624 swapFree=0/257520
[pid=4485] ppid=4482 vsize=28828 CPUtime=1782.14 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2220 0 0 0 178214 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5453272 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 28828
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4617
/proc/meminfo: memFree=31994160/32770624 swapFree=0/257540
[pid=4485] ppid=4482 vsize=28828 CPUtime=1842.14 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2225 0 0 0 184214 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5355938 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 28828
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4619
/proc/meminfo: memFree=31994228/32770624 swapFree=0/257560
[pid=4485] ppid=4482 vsize=28828 CPUtime=1902.14 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2230 0 0 0 190214 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5473995 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 28828
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 4634
/proc/meminfo: memFree=31990760/32770624 swapFree=0/257612
[pid=4485] ppid=4482 vsize=28828 CPUtime=1962.14 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2235 0 0 0 196214 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5413136 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 28828
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 4636
/proc/meminfo: memFree=31992212/32770624 swapFree=0/257640
[pid=4485] ppid=4482 vsize=28828 CPUtime=2022.13 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2240 0 0 0 202213 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5430024 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 28828
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4638
/proc/meminfo: memFree=31994724/32770624 swapFree=0/257660
[pid=4485] ppid=4482 vsize=28828 CPUtime=2082.14 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2245 0 0 0 208214 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5430072 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 28828
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4641
/proc/meminfo: memFree=31994084/32770624 swapFree=0/257680
[pid=4485] ppid=4482 vsize=28828 CPUtime=2142.13 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2250 0 0 0 214213 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5355804 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 28828
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4643
/proc/meminfo: memFree=31994060/32770624 swapFree=0/257708
[pid=4485] ppid=4482 vsize=28828 CPUtime=2202.13 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2255 0 0 0 220213 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5430159 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 2202.13
Current children cumulated vsize (KiB) 28828
[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 4646
/proc/meminfo: memFree=31994052/32770624 swapFree=0/257740
[pid=4485] ppid=4482 vsize=28828 CPUtime=2262.13 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2260 0 0 0 226213 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5430228 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 28828
[startup+2322.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 4648
/proc/meminfo: memFree=31994548/32770624 swapFree=0/257760
[pid=4485] ppid=4482 vsize=28828 CPUtime=2322.12 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2265 0 0 0 232212 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5355823 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 2322.12
Current children cumulated vsize (KiB) 28828
[startup+2382.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/182 4650
/proc/meminfo: memFree=31993936/32770624 swapFree=0/257780
[pid=4485] ppid=4482 vsize=28828 CPUtime=2382.12 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2270 0 0 0 238212 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5355804 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 28828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 4712
/proc/meminfo: memFree=31986340/32770624 swapFree=0/257684
[pid=4485] ppid=4482 vsize=28828 CPUtime=2400.03 cores=0,2,4,6
/proc/4485/stat : 4485 (naxos-xcsp3) R 4482 4485 2450 0 -1 4202496 2275 0 0 0 240003 0 0 0 20 0 1 0 326442 29519872 1889 18446744073709551615 4194304 6986860 140722963953792 140722963949320 5355804 0 0 1 16384 0 0 0 17 4 0 0 8 0 0 9087712 9120176 28696576 140722963960347 140722963960428 140722963960428 140722963963882 0
/proc/4485/statm: 7207 1889 703 682 0 1210 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 28828
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 4485 sig 9
??? kill -4485 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.04
CPU user time (s): 2400.03
CPU system time (s): 0.004999
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 28828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.004999
maximum resident set size= 7596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2314
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= 6
involuntary context switches= 614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61417 second user time and 8.32367 second system time
The end