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-4252052-1500922240/watcher-4252052-1500922240 -o /tmp/evaluation-result-4252052-1500922240/solver-4252052-1500922240 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3508 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252052-1500922240.xml
pid=4829
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.97 2.01 2.04 3/181 4832
/proc/meminfo: memFree=32125984/32770624 swapFree=5740/117480
[pid=4832] ppid=4829 vsize=24612 CPUtime=0 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 959 0 0 0 0 0 0 0 20 0 1 0 1764043 25202688 755 33554432000 4194304 6986860 140728353717936 140728353714632 140330954329061 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6153 755 652 682 0 156 0
[startup+0.10015 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 4832
/proc/meminfo: memFree=32125984/32770624 swapFree=5740/117480
[pid=4832] ppid=4829 vsize=24740 CPUtime=0.09 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1010 0 0 0 9 0 0 0 20 0 1 0 1764043 25333760 809 33554432000 4194304 6986860 140728353717936 140728353714632 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6185 809 674 682 0 188 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24740
[startup+0.200258 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 4832
/proc/meminfo: memFree=32125984/32770624 swapFree=5740/117480
[pid=4832] ppid=4829 vsize=24740 CPUtime=0.18 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1011 0 0 0 18 0 0 0 20 0 1 0 1764043 25333760 809 33554432000 4194304 6986860 140728353717936 140728353714632 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6185 809 674 682 0 188 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 24740
[startup+0.300245 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 4832
/proc/meminfo: memFree=32125984/32770624 swapFree=5740/117480
[pid=4832] ppid=4829 vsize=24740 CPUtime=0.29 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1011 0 0 0 28 1 0 0 20 0 1 0 1764043 25333760 809 33554432000 4194304 6986860 140728353717936 140728353714632 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6185 809 674 682 0 188 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24740
[startup+0.700216 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 4832
/proc/meminfo: memFree=32125984/32770624 swapFree=5740/117480
[pid=4832] ppid=4829 vsize=24868 CPUtime=0.69 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1012 0 0 0 67 2 0 0 20 0 1 0 1764043 25464832 858 33554432000 4194304 6986860 140728353717936 140728353714632 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6217 858 691 682 0 220 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24868
[startup+1.50021 s]
/proc/loadavg: 1.97 2.01 2.04 3/182 4833
/proc/meminfo: memFree=32125208/32770624 swapFree=5740/117472
[pid=4832] ppid=4829 vsize=24860 CPUtime=1.49 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1012 0 0 0 143 6 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24860
[startup+3.10022 s]
/proc/loadavg: 1.97 2.01 2.04 3/182 4833
/proc/meminfo: memFree=32124712/32770624 swapFree=5740/117644
[pid=4832] ppid=4829 vsize=24860 CPUtime=3.09 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1125 0 0 0 296 13 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24860
[startup+6.30022 s]
/proc/loadavg: 1.97 2.01 2.04 3/182 4833
/proc/meminfo: memFree=32124636/32770624 swapFree=5740/117516
[pid=4832] ppid=4829 vsize=24860 CPUtime=6.29 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1238 0 0 0 605 24 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24860
[startup+12.7002 s]
/proc/loadavg: 1.97 2.01 2.04 3/182 4833
/proc/meminfo: memFree=32124344/32770624 swapFree=5740/117528
[pid=4832] ppid=4829 vsize=24860 CPUtime=12.69 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1351 0 0 0 1222 47 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24860
[startup+25.5003 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 4833
/proc/meminfo: memFree=32124348/32770624 swapFree=5740/117544
[pid=4832] ppid=4829 vsize=24860 CPUtime=25.49 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1577 0 0 0 2450 99 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24860
[startup+51.1003 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 4833
/proc/meminfo: memFree=32124584/32770624 swapFree=5740/117560
[pid=4832] ppid=4829 vsize=24860 CPUtime=51.1 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1692 0 0 0 4884 226 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 24860
[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/182 4834
/proc/meminfo: memFree=32124344/32770624 swapFree=5740/117584
[pid=4832] ppid=4829 vsize=24860 CPUtime=102.3 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1806 0 0 0 9737 493 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 24860
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4835
/proc/meminfo: memFree=32124408/32770624 swapFree=5740/117616
[pid=4832] ppid=4829 vsize=24860 CPUtime=162.29 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 1920 0 0 0 15452 777 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24860
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 4836
/proc/meminfo: memFree=32124080/32770624 swapFree=5740/117636
[pid=4832] ppid=4829 vsize=24860 CPUtime=222.3 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 2034 0 0 0 21156 1074 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 24860
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4838
/proc/meminfo: memFree=32124316/32770624 swapFree=5740/117664
[pid=4832] ppid=4829 vsize=24860 CPUtime=282.3 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 2148 0 0 0 26871 1359 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24860
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4839
/proc/meminfo: memFree=32123884/32770624 swapFree=5740/117688
[pid=4832] ppid=4829 vsize=24860 CPUtime=342.3 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 2262 0 0 0 32597 1633 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24860
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4903
/proc/meminfo: memFree=31300464/32770624 swapFree=5740/117936
[pid=4832] ppid=4829 vsize=24860 CPUtime=402.31 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 2376 0 0 0 38298 1933 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 24860
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4906
/proc/meminfo: memFree=31238004/32770624 swapFree=5740/117972
[pid=4832] ppid=4829 vsize=24860 CPUtime=462.31 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 2490 0 0 0 43995 2236 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24860
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4907
/proc/meminfo: memFree=31178336/32770624 swapFree=5740/117996
[pid=4832] ppid=4829 vsize=24860 CPUtime=522.3 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 2604 0 0 0 49731 2499 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24860
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4915
/proc/meminfo: memFree=31115988/32770624 swapFree=5740/118020
[pid=4832] ppid=4829 vsize=24860 CPUtime=582.3 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 2718 0 0 0 55467 2763 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24860
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5142
/proc/meminfo: memFree=32124636/32770624 swapFree=5740/118560
[pid=4832] ppid=4829 vsize=24860 CPUtime=1482.34 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 4427 0 0 0 141103 7131 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 24860
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5143
/proc/meminfo: memFree=32124428/32770624 swapFree=5740/118592
[pid=4832] ppid=4829 vsize=24860 CPUtime=1542.34 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 4541 0 0 0 146772 7462 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 24860
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 5144
/proc/meminfo: memFree=32124764/32770624 swapFree=5740/118624
[pid=4832] ppid=4829 vsize=24860 CPUtime=1602.34 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 4655 0 0 0 152460 7774 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 24860
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 5145
/proc/meminfo: memFree=32124344/32770624 swapFree=5740/118660
[pid=4832] ppid=4829 vsize=24860 CPUtime=1662.35 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 4769 0 0 0 158138 8097 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 24860
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5146
/proc/meminfo: memFree=32124640/32770624 swapFree=5740/118692
[pid=4832] ppid=4829 vsize=24860 CPUtime=1722.35 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 4883 0 0 0 163816 8419 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 24860
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5155
/proc/meminfo: memFree=32123792/32770624 swapFree=5740/118724
[pid=4832] ppid=4829 vsize=24860 CPUtime=1782.35 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 4997 0 0 0 169552 8683 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 24860
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5156
/proc/meminfo: memFree=32124212/32770624 swapFree=5740/118756
[pid=4832] ppid=4829 vsize=24860 CPUtime=1842.35 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 5111 0 0 0 175262 8973 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 24860
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5157
/proc/meminfo: memFree=32124468/32770624 swapFree=5740/118780
[pid=4832] ppid=4829 vsize=24860 CPUtime=1902.35 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 5225 0 0 0 180949 9286 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 24860
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5158
/proc/meminfo: memFree=32124500/32770624 swapFree=5740/118824
[pid=4832] ppid=4829 vsize=24860 CPUtime=1962.35 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 5339 0 0 0 186680 9555 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 24860
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5159
/proc/meminfo: memFree=32124392/32770624 swapFree=5740/118848
[pid=4832] ppid=4829 vsize=24860 CPUtime=2022.36 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 5453 0 0 0 192409 9827 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 24860
[startup+2082.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/182 5161
/proc/meminfo: memFree=32124516/32770624 swapFree=5740/118892
[pid=4832] ppid=4829 vsize=24860 CPUtime=2082.37 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 5567 0 0 0 198142 10095 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 24860
[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 5162
/proc/meminfo: memFree=32124336/32770624 swapFree=5740/118916
[pid=4832] ppid=4829 vsize=24860 CPUtime=2142.36 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 5680 0 0 0 203829 10407 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 24860
[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 5163
/proc/meminfo: memFree=32124372/32770624 swapFree=5740/118948
[pid=4832] ppid=4829 vsize=24860 CPUtime=2202.37 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 5793 0 0 0 209465 10772 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 24860
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5165
/proc/meminfo: memFree=32124436/32770624 swapFree=5740/118988
[pid=4832] ppid=4829 vsize=24860 CPUtime=2262.36 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 5908 0 0 0 215120 11116 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 24860
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5166
/proc/meminfo: memFree=32124320/32770624 swapFree=5740/119020
[pid=4832] ppid=4829 vsize=24860 CPUtime=2322.36 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 6022 0 0 0 220802 11434 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 24860
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5174
/proc/meminfo: memFree=32123280/32770624 swapFree=5740/119056
[pid=4832] ppid=4829 vsize=24860 CPUtime=2382.37 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 6136 0 0 0 226479 11758 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713464 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 24860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5175
/proc/meminfo: memFree=32123140/32770624 swapFree=5740/119080
[pid=4832] ppid=4829 vsize=24860 CPUtime=2400.07 cores=1,3,5,7
/proc/4832/stat : 4832 (naxos-xcsp3) R 4829 4832 3476 0 -1 4202496 6250 0 0 0 228138 11869 0 0 20 0 1 0 1764043 25456640 858 33554432000 4194304 6986860 140728353717936 140728353713288 140330954592636 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 17588224 140728353719566 140728353719647 140728353719647 140728353722346 0
/proc/4832/statm: 6215 858 691 682 0 218 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 24860
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 4832 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400
CPU time (s): 2400.08
CPU user time (s): 2281.39
CPU system time (s): 118.69
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2281.39
system time used= 118.69
maximum resident set size= 3472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6280
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= 5
involuntary context switches= 604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80078 second user time and 7.68659 second system time
The end