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-4251559-1500914941/watcher-4251559-1500914941 -o /tmp/evaluation-result-4251559-1500914941/solver-4251559-1500914941 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500914920-3560 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251559-1500914941.xml
pid=4183
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: 0.00 1.13 3.84 2/176 4186
/proc/meminfo: memFree=32137476/32770688 swapFree=5844/108244
[pid=4186] ppid=4183 vsize=24740 CPUtime=0 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 1034 0 0 0 0 0 0 0 20 0 1 0 1081991 25333760 823 33554432000 4194304 6986860 140737080069744 140737080066440 140191279426533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6185 823 688 682 0 188 0
[startup+0.100137 s]
/proc/loadavg: 0.00 1.13 3.84 2/176 4186
/proc/meminfo: memFree=32137476/32770688 swapFree=5844/108244
[pid=4186] ppid=4183 vsize=25788 CPUtime=0.09 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 1328 0 0 0 9 0 0 0 20 0 1 0 1081991 26406912 1134 33554432000 4194304 6986860 140737080069744 140737080066440 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1134 755 682 0 450 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25788
[startup+0.200294 s]
/proc/loadavg: 0.00 1.13 3.84 2/176 4186
/proc/meminfo: memFree=32137476/32770688 swapFree=5844/108244
[pid=4186] ppid=4183 vsize=25788 CPUtime=0.19 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 1328 0 0 0 19 0 0 0 20 0 1 0 1081991 26406912 1134 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1134 755 682 0 450 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25788
[startup+0.300255 s]
/proc/loadavg: 0.00 1.13 3.84 2/176 4186
/proc/meminfo: memFree=32137476/32770688 swapFree=5844/108244
[pid=4186] ppid=4183 vsize=25788 CPUtime=0.29 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 1328 0 0 0 29 0 0 0 20 0 1 0 1081991 26406912 1134 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1134 755 682 0 450 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25788
[startup+0.700237 s]
/proc/loadavg: 0.00 1.13 3.84 2/176 4186
/proc/meminfo: memFree=32137476/32770688 swapFree=5844/108244
[pid=4186] ppid=4183 vsize=25788 CPUtime=0.69 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 1328 0 0 0 69 0 0 0 20 0 1 0 1081991 26406912 1134 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1134 755 682 0 450 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25788
[startup+1.50025 s]
/proc/loadavg: 0.00 1.13 3.84 2/177 4251
/proc/meminfo: memFree=32130972/32770688 swapFree=5844/108300
[pid=4186] ppid=4183 vsize=25788 CPUtime=1.49 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 1328 0 0 0 148 1 0 0 20 0 1 0 1081991 26406912 1134 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1134 755 682 0 450 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25788
[startup+3.10023 s]
/proc/loadavg: 0.00 1.13 3.84 3/196 4356
/proc/meminfo: memFree=32109084/32770688 swapFree=5844/108252
[pid=4186] ppid=4183 vsize=25788 CPUtime=3.09 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 1573 0 0 0 306 3 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25788
[startup+6.30024 s]
/proc/loadavg: 0.00 1.11 3.82 3/183 4449
/proc/meminfo: memFree=32089168/32770688 swapFree=5844/108512
[pid=4186] ppid=4183 vsize=25788 CPUtime=6.29 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 1829 0 0 0 622 7 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25788
[startup+12.7002 s]
/proc/loadavg: 0.16 1.13 3.81 3/183 4449
/proc/meminfo: memFree=31586792/32770688 swapFree=5844/108528
[pid=4186] ppid=4183 vsize=25788 CPUtime=12.68 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 2108 0 0 0 1255 13 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25788
[startup+25.5003 s]
/proc/loadavg: 0.73 1.21 3.79 3/183 4876
/proc/meminfo: memFree=32125504/32770688 swapFree=5844/108716
[pid=4186] ppid=4183 vsize=25788 CPUtime=25.49 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 2684 0 0 0 2523 26 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 5438209 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25788
[startup+51.1003 s]
/proc/loadavg: 1.16 1.27 3.74 3/183 4876
/proc/meminfo: memFree=32125012/32770688 swapFree=5844/108764
[pid=4186] ppid=4183 vsize=25788 CPUtime=51.09 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 3001 0 0 0 5059 50 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25788
[startup+102.3 s]
/proc/loadavg: 1.67 1.39 3.64 3/183 4884
/proc/meminfo: memFree=32124832/32770688 swapFree=5844/108800
[pid=4186] ppid=4183 vsize=25788 CPUtime=102.3 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 3330 0 0 0 10128 102 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25788
[startup+162.3 s]
/proc/loadavg: 1.87 1.49 3.55 3/183 4885
/proc/meminfo: memFree=32125160/32770688 swapFree=5844/108840
[pid=4186] ppid=4183 vsize=25788 CPUtime=162.28 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 3664 0 0 0 16062 166 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 25788
[startup+222.306 s]
/proc/loadavg: 1.95 1.59 3.45 3/183 4886
/proc/meminfo: memFree=32125224/32770688 swapFree=5844/108880
[pid=4186] ppid=4183 vsize=25788 CPUtime=222.29 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 4021 0 0 0 21997 232 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 25788
[startup+282.3 s]
/proc/loadavg: 2.09 1.69 3.37 3/182 4887
/proc/meminfo: memFree=32125352/32770688 swapFree=5844/108904
[pid=4186] ppid=4183 vsize=25788 CPUtime=282.28 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 4365 0 0 0 27929 299 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 25788
[startup+342.3 s]
/proc/loadavg: 2.07 1.76 3.29 3/182 4888
/proc/meminfo: memFree=32125352/32770688 swapFree=5844/108948
[pid=4186] ppid=4183 vsize=25788 CPUtime=342.28 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 4710 0 0 0 33863 365 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 25788
[startup+402.3 s]
/proc/loadavg: 2.03 1.81 3.21 3/182 4890
/proc/meminfo: memFree=32125028/32770688 swapFree=5844/108996
[pid=4186] ppid=4183 vsize=25788 CPUtime=402.28 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 5060 0 0 0 39799 429 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 25788
[startup+462.3 s]
/proc/loadavg: 2.01 1.84 3.13 3/182 4891
/proc/meminfo: memFree=32125220/32770688 swapFree=5844/109028
[pid=4186] ppid=4183 vsize=25788 CPUtime=462.27 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 5414 0 0 0 45733 494 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 25788
[startup+522.3 s]
/proc/loadavg: 2.00 1.87 3.06 3/182 4892
/proc/meminfo: memFree=32125500/32770688 swapFree=5844/109068
[pid=4186] ppid=4183 vsize=25788 CPUtime=522.28 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 5770 0 0 0 51666 562 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 25788
[startup+582.3 s]
/proc/loadavg: 2.00 1.89 3.00 3/182 4894
/proc/meminfo: memFree=32125452/32770688 swapFree=5844/109096
[pid=4186] ppid=4183 vsize=25788 CPUtime=582.27 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 6122 0 0 0 57598 629 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 25788
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.37 3/183 4949
/proc/meminfo: memFree=32124020/32770688 swapFree=5844/109448
[pid=4186] ppid=4183 vsize=25788 CPUtime=1542.24 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 11801 0 0 0 152538 1686 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 25788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.35 3/182 4950
/proc/meminfo: memFree=32124028/32770688 swapFree=5844/109480
[pid=4186] ppid=4183 vsize=25788 CPUtime=1602.23 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 12156 0 0 0 158470 1753 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 25788
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.32 3/182 4951
/proc/meminfo: memFree=32124072/32770688 swapFree=5844/109516
[pid=4186] ppid=4183 vsize=25788 CPUtime=1662.23 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 12512 0 0 0 164401 1822 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 5432435 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 25788
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.30 3/182 4952
/proc/meminfo: memFree=32124124/32770688 swapFree=5844/109544
[pid=4186] ppid=4183 vsize=25788 CPUtime=1722.23 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 12868 0 0 0 170337 1886 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 25788
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.29 3/182 4953
/proc/meminfo: memFree=32124048/32770688 swapFree=5844/109572
[pid=4186] ppid=4183 vsize=25788 CPUtime=1782.23 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 13224 0 0 0 176274 1949 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 25788
[startup+1842.3 s]
/proc/loadavg: 2.06 2.04 2.28 3/182 4954
/proc/meminfo: memFree=32123976/32770688 swapFree=5844/109608
[pid=4186] ppid=4183 vsize=25788 CPUtime=1842.22 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 13580 0 0 0 182208 2014 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 25788
[startup+1902.3 s]
/proc/loadavg: 2.02 2.03 2.26 3/182 4962
/proc/meminfo: memFree=32122948/32770688 swapFree=5844/109652
[pid=4186] ppid=4183 vsize=25788 CPUtime=1902.22 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 13936 0 0 0 188142 2080 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 1902.22
Current children cumulated vsize (KiB) 25788
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.24 3/182 4963
/proc/meminfo: memFree=32123344/32770688 swapFree=5844/109680
[pid=4186] ppid=4183 vsize=25788 CPUtime=1962.22 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 14291 0 0 0 194080 2142 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 25788
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.23 3/182 4964
/proc/meminfo: memFree=32123624/32770688 swapFree=5844/109716
[pid=4186] ppid=4183 vsize=25788 CPUtime=2022.22 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 14646 0 0 0 200012 2210 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 25788
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.21 3/182 4965
/proc/meminfo: memFree=32123112/32770688 swapFree=5844/109744
[pid=4186] ppid=4183 vsize=25788 CPUtime=2082.22 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 15002 0 0 0 205950 2272 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 2082.22
Current children cumulated vsize (KiB) 25788
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4966
/proc/meminfo: memFree=32123204/32770688 swapFree=5844/109780
[pid=4186] ppid=4183 vsize=25788 CPUtime=2142.21 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 15358 0 0 0 211888 2333 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 2142.21
Current children cumulated vsize (KiB) 25788
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.19 3/182 4968
/proc/meminfo: memFree=32123240/32770688 swapFree=5844/109820
[pid=4186] ppid=4183 vsize=25788 CPUtime=2202.22 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 15714 0 0 0 217825 2397 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 2202.22
Current children cumulated vsize (KiB) 25788
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.18 3/182 4969
/proc/meminfo: memFree=32123188/32770688 swapFree=5844/109852
[pid=4186] ppid=4183 vsize=25788 CPUtime=2262.21 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 16069 0 0 0 223759 2462 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 2262.21
Current children cumulated vsize (KiB) 25788
[startup+2322.3 s]
/proc/loadavg: 2.06 2.04 2.18 3/182 4970
/proc/meminfo: memFree=32122968/32770688 swapFree=5844/109880
[pid=4186] ppid=4183 vsize=25788 CPUtime=2322.21 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 16424 0 0 0 229693 2528 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 5438008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 2322.21
Current children cumulated vsize (KiB) 25788
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.17 3/182 4972
/proc/meminfo: memFree=32123152/32770688 swapFree=5844/109916
[pid=4186] ppid=4183 vsize=25788 CPUtime=2382.21 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 16781 0 0 0 235627 2594 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065272 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 2382.21
Current children cumulated vsize (KiB) 25788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.01 2.03 2.16 3/182 4972
/proc/meminfo: memFree=32123152/32770688 swapFree=5844/109924
[pid=4186] ppid=4183 vsize=25788 CPUtime=2400 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 17137 0 0 0 237386 2614 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 25788
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 4186 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.01 2.03 2.16 3/182 4972
/proc/meminfo: memFree=32123152/32770688 swapFree=5844/109924
[pid=4186] ppid=4183 vsize=25788 CPUtime=2400 cores=0,2,4,6
/proc/4186/stat : 4186 (naxos-xcsp3) R 4183 4186 3529 0 -1 4202496 17137 0 0 0 237386 2614 0 0 20 0 1 0 1081991 26406912 1174 33554432000 4194304 6986860 140737080069744 140737080065096 140191279690108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 31014912 140737080075534 140737080075615 140737080075615 140737080078314 0
/proc/4186/statm: 6447 1174 759 682 0 450 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 25788
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.01
CPU user time (s): 2373.87
CPU system time (s): 26.144
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 25788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2373.87
system time used= 26.144
maximum resident set size= 4712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17163
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= 4222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41773 second user time and 10.8591 second system time
The end