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-4251657-1500914964/watcher-4251657-1500914964 -o /tmp/evaluation-result-4251657-1500914964/solver-4251657-1500914964 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500914920-3561 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251657-1500914964.xml
pid=4872
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: 0.73 1.21 3.79 3/182 4875
/proc/meminfo: memFree=32126788/32770688 swapFree=5844/108912
[pid=4875] ppid=4872 vsize=24616 CPUtime=0 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 918 0 0 0 0 0 0 0 20 0 1 0 1084272 25206784 756 33554432000 4194304 6986860 140735333396672 140735333393368 5501735 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6154 756 660 682 0 157 0
[startup+0.100155 s]
/proc/loadavg: 0.73 1.21 3.79 3/182 4875
/proc/meminfo: memFree=32126788/32770688 swapFree=5844/108912
[pid=4875] ppid=4872 vsize=24616 CPUtime=0.09 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 968 0 0 0 9 0 0 0 20 0 1 0 1084272 25206784 756 33554432000 4194304 6986860 140735333396672 140735333393368 140224294798776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6154 756 660 682 0 157 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24616
[startup+0.200259 s]
/proc/loadavg: 0.73 1.21 3.79 3/182 4875
/proc/meminfo: memFree=32126788/32770688 swapFree=5844/108912
[pid=4875] ppid=4872 vsize=24616 CPUtime=0.19 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 970 0 0 0 19 0 0 0 20 0 1 0 1084272 25206784 756 33554432000 4194304 6986860 140735333396672 140735333393368 5647036 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6154 756 660 682 0 157 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24616
[startup+0.300237 s]
/proc/loadavg: 0.73 1.21 3.79 3/182 4875
/proc/meminfo: memFree=32126788/32770688 swapFree=5844/108912
[pid=4875] ppid=4872 vsize=24616 CPUtime=0.29 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 972 0 0 0 29 0 0 0 20 0 1 0 1084272 25206784 756 33554432000 4194304 6986860 140735333396672 140735333393368 140224294723459 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6154 756 660 682 0 157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24616
[startup+0.700209 s]
/proc/loadavg: 0.73 1.21 3.79 3/182 4875
/proc/meminfo: memFree=32126788/32770688 swapFree=5844/108912
[pid=4875] ppid=4872 vsize=25016 CPUtime=0.69 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 1094 0 0 0 69 0 0 0 20 0 1 0 1084272 25616384 888 33554432000 4194304 6986860 140735333396672 140735333393368 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 888 724 682 0 257 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25016
[startup+1.50021 s]
/proc/loadavg: 0.73 1.21 3.79 3/183 4876
/proc/meminfo: memFree=32125912/32770688 swapFree=5844/108720
[pid=4875] ppid=4872 vsize=25016 CPUtime=1.49 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 1094 0 0 0 147 2 0 0 20 0 1 0 1084272 25616384 888 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 888 724 682 0 257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25016
[startup+3.10023 s]
/proc/loadavg: 0.73 1.21 3.79 3/183 4876
/proc/meminfo: memFree=32125504/32770688 swapFree=5844/108716
[pid=4875] ppid=4872 vsize=25016 CPUtime=3.09 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 1235 0 0 0 305 4 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25016
[startup+6.30023 s]
/proc/loadavg: 0.83 1.22 3.78 3/183 4876
/proc/meminfo: memFree=32125192/32770688 swapFree=5844/108716
[pid=4875] ppid=4872 vsize=25016 CPUtime=6.29 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 1375 0 0 0 621 8 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25016
[startup+12.7002 s]
/proc/loadavg: 0.93 1.23 3.77 3/183 4876
/proc/meminfo: memFree=32125012/32770688 swapFree=5844/108736
[pid=4875] ppid=4872 vsize=25016 CPUtime=12.69 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 1522 0 0 0 1254 15 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25016
[startup+25.5003 s]
/proc/loadavg: 1.16 1.27 3.74 3/183 4876
/proc/meminfo: memFree=32125012/32770688 swapFree=5844/108756
[pid=4875] ppid=4872 vsize=25016 CPUtime=25.49 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 1823 0 0 0 2516 33 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25016
[startup+51.1003 s]
/proc/loadavg: 1.45 1.33 3.70 3/183 4883
/proc/meminfo: memFree=32124404/32770688 swapFree=5844/108776
[pid=4875] ppid=4872 vsize=25016 CPUtime=51.09 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 1977 0 0 0 5042 67 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25016
[startup+102.3 s]
/proc/loadavg: 1.76 1.43 3.61 3/183 4884
/proc/meminfo: memFree=32124708/32770688 swapFree=5844/108808
[pid=4875] ppid=4872 vsize=25016 CPUtime=102.31 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 2130 0 0 0 10095 136 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 25016
[startup+162.3 s]
/proc/loadavg: 1.91 1.53 3.51 3/183 4885
/proc/meminfo: memFree=32125408/32770688 swapFree=5844/108852
[pid=4875] ppid=4872 vsize=25016 CPUtime=162.31 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 2283 0 0 0 16019 212 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 25016
[startup+222.306 s]
/proc/loadavg: 2.05 1.64 3.42 3/183 4886
/proc/meminfo: memFree=32125100/32770688 swapFree=5844/108888
[pid=4875] ppid=4872 vsize=25016 CPUtime=222.32 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 2439 0 0 0 21944 288 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 25016
[startup+282.3 s]
/proc/loadavg: 2.13 1.73 3.34 3/182 4887
/proc/meminfo: memFree=32125444/32770688 swapFree=5844/108916
[pid=4875] ppid=4872 vsize=25016 CPUtime=282.32 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 2439 0 0 0 27864 368 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 25016
[startup+342.3 s]
/proc/loadavg: 2.05 1.78 3.26 3/182 4889
/proc/meminfo: memFree=32125352/32770688 swapFree=5844/108960
[pid=4875] ppid=4872 vsize=25016 CPUtime=342.33 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 2593 0 0 0 33780 453 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 25016
[startup+402.3 s]
/proc/loadavg: 2.02 1.82 3.18 3/182 4890
/proc/meminfo: memFree=32125152/32770688 swapFree=5844/109004
[pid=4875] ppid=4872 vsize=25016 CPUtime=402.33 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 2593 0 0 0 39694 539 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 25016
[startup+462.3 s]
/proc/loadavg: 2.01 1.85 3.10 3/182 4891
/proc/meminfo: memFree=32125344/32770688 swapFree=5844/109040
[pid=4875] ppid=4872 vsize=25016 CPUtime=462.34 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 2748 0 0 0 45608 626 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 25016
[startup+522.3 s]
/proc/loadavg: 2.00 1.88 3.03 3/182 4893
/proc/meminfo: memFree=32125504/32770688 swapFree=5844/109080
[pid=4875] ppid=4872 vsize=25016 CPUtime=522.34 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 2748 0 0 0 51518 716 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 25016
[startup+582.3 s]
/proc/loadavg: 2.00 1.90 2.97 3/182 4894
/proc/meminfo: memFree=32125452/32770688 swapFree=5844/109104
[pid=4875] ppid=4872 vsize=25016 CPUtime=582.35 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 2903 0 0 0 57433 802 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 25016
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.38 3/183 4948
/proc/meminfo: memFree=32124500/32770688 swapFree=5844/109440
[pid=4875] ppid=4872 vsize=25016 CPUtime=1482.43 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4007 0 0 0 146160 2083 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 1482.43
Current children cumulated vsize (KiB) 25016
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.36 3/182 4949
/proc/meminfo: memFree=32124160/32770688 swapFree=5844/109456
[pid=4875] ppid=4872 vsize=25016 CPUtime=1542.45 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4166 0 0 0 152078 2167 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 1542.45
Current children cumulated vsize (KiB) 25016
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.34 3/182 4950
/proc/meminfo: memFree=32124152/32770688 swapFree=5844/109492
[pid=4875] ppid=4872 vsize=25016 CPUtime=1602.44 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4166 0 0 0 157990 2254 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 1602.44
Current children cumulated vsize (KiB) 25016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/182 4951
/proc/meminfo: memFree=32124072/32770688 swapFree=5844/109524
[pid=4875] ppid=4872 vsize=25016 CPUtime=1662.45 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4325 0 0 0 163905 2340 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 1662.45
Current children cumulated vsize (KiB) 25016
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.30 3/182 4952
/proc/meminfo: memFree=32124248/32770688 swapFree=5844/109552
[pid=4875] ppid=4872 vsize=25016 CPUtime=1722.46 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4325 0 0 0 169820 2426 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 1722.46
Current children cumulated vsize (KiB) 25016
[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.29 3/182 4953
/proc/meminfo: memFree=32123800/32770688 swapFree=5844/109580
[pid=4875] ppid=4872 vsize=25016 CPUtime=1782.47 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4484 0 0 0 175730 2517 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (KiB) 25016
[startup+1842.3 s]
/proc/loadavg: 2.04 2.04 2.27 3/182 4961
/proc/meminfo: memFree=32122812/32770688 swapFree=5844/109616
[pid=4875] ppid=4872 vsize=25016 CPUtime=1842.47 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4484 0 0 0 181642 2605 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 1842.47
Current children cumulated vsize (KiB) 25016
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.25 3/182 4962
/proc/meminfo: memFree=32123184/32770688 swapFree=5844/109660
[pid=4875] ppid=4872 vsize=25016 CPUtime=1902.48 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4643 0 0 0 187558 2690 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 1902.48
Current children cumulated vsize (KiB) 25016
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.24 3/182 4963
/proc/meminfo: memFree=32123468/32770688 swapFree=5844/109692
[pid=4875] ppid=4872 vsize=25016 CPUtime=1962.48 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4643 0 0 0 193466 2782 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 1962.48
Current children cumulated vsize (KiB) 25016
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.22 3/182 4964
/proc/meminfo: memFree=32123748/32770688 swapFree=5844/109724
[pid=4875] ppid=4872 vsize=25016 CPUtime=2022.48 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4802 0 0 0 199380 2868 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 2022.48
Current children cumulated vsize (KiB) 25016
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.21 3/182 4965
/proc/meminfo: memFree=32123112/32770688 swapFree=5844/109752
[pid=4875] ppid=4872 vsize=25016 CPUtime=2082.5 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4802 0 0 0 205295 2955 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 2082.5
Current children cumulated vsize (KiB) 25016
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4967
/proc/meminfo: memFree=32123204/32770688 swapFree=5844/109792
[pid=4875] ppid=4872 vsize=25016 CPUtime=2142.5 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4961 0 0 0 211209 3041 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 2142.5
Current children cumulated vsize (KiB) 25016
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.19 3/182 4968
/proc/meminfo: memFree=32123240/32770688 swapFree=5844/109828
[pid=4875] ppid=4872 vsize=25016 CPUtime=2202.51 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 4961 0 0 0 217129 3122 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 2202.51
Current children cumulated vsize (KiB) 25016
[startup+2262.3 s]
/proc/loadavg: 2.10 2.04 2.19 3/182 4969
/proc/meminfo: memFree=32123312/32770688 swapFree=5844/109860
[pid=4875] ppid=4872 vsize=25016 CPUtime=2262.51 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 5120 0 0 0 223046 3205 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 2262.51
Current children cumulated vsize (KiB) 25016
[startup+2322.3 s]
/proc/loadavg: 2.04 2.04 2.17 3/182 4971
/proc/meminfo: memFree=32123092/32770688 swapFree=5844/109892
[pid=4875] ppid=4872 vsize=25016 CPUtime=2322.52 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 5120 0 0 0 228958 3294 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 2322.52
Current children cumulated vsize (KiB) 25016
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.16 3/182 5036
/proc/meminfo: memFree=32128988/32770688 swapFree=5844/109924
[pid=4875] ppid=4872 vsize=25016 CPUtime=2382.52 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 5279 0 0 0 234867 3385 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392024 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 2382.52
Current children cumulated vsize (KiB) 25016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.01 2.03 2.16 3/182 5097
/proc/meminfo: memFree=32100044/32770688 swapFree=5844/109952
[pid=4875] ppid=4872 vsize=25016 CPUtime=2400.02 cores=1,3,5,7
/proc/4875/stat : 4875 (naxos-xcsp3) R 4872 4875 3529 0 -1 4202496 5279 0 0 0 236592 3410 0 0 20 0 1 0 1084272 25616384 941 33554432000 4194304 6986860 140735333396672 140735333392200 140224294977916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 30093312 140735333401870 140735333401951 140735333401951 140735333404650 0
/proc/4875/statm: 6254 941 729 682 0 257 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 25016
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 4875 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2399.8
CPU time (s): 2400.03
CPU user time (s): 2365.93
CPU system time (s): 34.1063
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 25016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2365.93
system time used= 34.1063
maximum resident set size= 3784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5306
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= 602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15913 second user time and 8.92481 second system time
The end