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-4251817-1500919743/watcher-4251817-1500919743 -o /tmp/evaluation-result-4251817-1500919743/solver-4251817-1500919743 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500914921-3495 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251817-1500919743.xml
pid=4387
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4390
/proc/meminfo: memFree=32115384/32770624 swapFree=5784/116964
[pid=4390] ppid=4387 vsize=25120 CPUtime=0 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 1052 0 0 0 0 0 0 0 20 0 1 0 1527695 25722880 898 33554432000 4194304 6986860 140727279043312 140727279040008 5813386 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 6280 898 668 682 0 283 0
[startup+0.100214 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4390
/proc/meminfo: memFree=32115384/32770624 swapFree=5784/116964
[pid=4390] ppid=4387 vsize=45756 CPUtime=0.09 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 6237 0 0 0 9 0 0 0 20 0 1 0 1527695 46854144 6059 33554432000 4194304 6986860 140727279043312 140727279040008 140266918251493 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 11439 6059 670 682 0 5442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45756
[startup+0.200417 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4390
/proc/meminfo: memFree=32115384/32770624 swapFree=5784/116964
[pid=4390] ppid=4387 vsize=54768 CPUtime=0.19 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 8489 0 0 0 18 1 0 0 20 0 1 0 1527695 56082432 8279 33554432000 4194304 6986860 140727279043312 140727279040008 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13692 8279 670 682 0 7695 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 54768
[startup+0.300401 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4390
/proc/meminfo: memFree=32115384/32770624 swapFree=5784/116964
[pid=4390] ppid=4387 vsize=54768 CPUtime=0.29 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 8490 0 0 0 28 1 0 0 20 0 1 0 1527695 56082432 8279 33554432000 4194304 6986860 140727279043312 140727279040008 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13692 8279 670 682 0 7695 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54768
[startup+0.700352 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4390
/proc/meminfo: memFree=32115384/32770624 swapFree=5784/116964
[pid=4390] ppid=4387 vsize=54768 CPUtime=0.69 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 8491 0 0 0 68 1 0 0 20 0 1 0 1527695 56082432 8279 33554432000 4194304 6986860 140727279043312 140727279040008 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13692 8279 670 682 0 7695 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54768
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32002632/32770624 swapFree=5784/116940
[pid=4390] ppid=4387 vsize=54768 CPUtime=1.49 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 8493 0 0 0 148 1 0 0 20 0 1 0 1527695 56082432 8279 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13692 8279 670 682 0 7695 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54768
[startup+3.10032 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32002100/32770624 swapFree=5784/116952
[pid=4390] ppid=4387 vsize=54768 CPUtime=3.08 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 16072 0 0 0 307 1 0 0 20 0 1 0 1527695 56082432 8339 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13692 8339 686 682 0 7695 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 54768
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32000892/32770624 swapFree=5784/116952
[pid=4390] ppid=4387 vsize=54732 CPUtime=6.29 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 23654 0 0 0 627 2 0 0 20 0 1 0 1527695 56045568 8339 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8339 686 682 0 7686 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54732
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32001380/32770624 swapFree=5784/116960
[pid=4390] ppid=4387 vsize=54732 CPUtime=12.69 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 31257 0 0 0 1265 4 0 0 20 0 1 0 1527695 56045568 8339 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8339 686 682 0 7686 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54732
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32000976/32770624 swapFree=5784/116976
[pid=4390] ppid=4387 vsize=54732 CPUtime=25.49 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 46464 0 0 0 2541 8 0 0 20 0 1 0 1527695 56045568 8339 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8339 686 682 0 7686 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54732
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32001012/32770624 swapFree=5784/116988
[pid=4390] ppid=4387 vsize=54732 CPUtime=51.09 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 54069 0 0 0 5094 15 0 0 20 0 1 0 1527695 56045568 8339 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8339 686 682 0 7686 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 54732
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4400
/proc/meminfo: memFree=31999608/32770624 swapFree=5784/117024
[pid=4390] ppid=4387 vsize=54732 CPUtime=102.29 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 55043 0 0 0 10200 29 0 0 20 0 1 0 1527695 56045568 8339 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8339 686 682 0 7686 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 54732
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4401
/proc/meminfo: memFree=31999824/32770624 swapFree=5784/117044
[pid=4390] ppid=4387 vsize=54732 CPUtime=162.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 56004 0 0 0 16184 44 0 0 20 0 1 0 1527695 56045568 8339 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8339 686 682 0 7686 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 54732
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4402
/proc/meminfo: memFree=31999992/32770624 swapFree=5784/117064
[pid=4390] ppid=4387 vsize=54732 CPUtime=222.29 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 56966 0 0 0 22168 61 0 0 20 0 1 0 1527695 56045568 8339 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8339 686 682 0 7686 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 54732
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 4403
/proc/meminfo: memFree=31999816/32770624 swapFree=5784/117088
[pid=4390] ppid=4387 vsize=54732 CPUtime=282.27 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 57928 0 0 0 28148 79 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 54732
[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 4404
/proc/meminfo: memFree=31999560/32770624 swapFree=5784/117108
[pid=4390] ppid=4387 vsize=54732 CPUtime=342.27 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 58890 0 0 0 34133 94 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 54732
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/182 4405
/proc/meminfo: memFree=31999860/32770624 swapFree=5784/117132
[pid=4390] ppid=4387 vsize=54732 CPUtime=402.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 59852 0 0 0 40116 112 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 54732
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/182 4406
/proc/meminfo: memFree=31999800/32770624 swapFree=5784/117156
[pid=4390] ppid=4387 vsize=54732 CPUtime=462.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 60814 0 0 0 46099 129 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 54732
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/182 4407
/proc/meminfo: memFree=31999792/32770624 swapFree=5784/117176
[pid=4390] ppid=4387 vsize=54732 CPUtime=522.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 61776 0 0 0 52079 149 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 54732
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/182 4408
/proc/meminfo: memFree=31999708/32770624 swapFree=5784/117196
[pid=4390] ppid=4387 vsize=54732 CPUtime=582.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 62737 0 0 0 58063 165 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 54732
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.02 3/182 4439
/proc/meminfo: memFree=31998088/32770624 swapFree=5784/117544
[pid=4390] ppid=4387 vsize=54732 CPUtime=1482.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 77166 0 0 0 147793 435 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 54732
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.02 3/182 4440
/proc/meminfo: memFree=31998248/32770624 swapFree=5784/117560
[pid=4390] ppid=4387 vsize=54732 CPUtime=1542.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 78127 0 0 0 153774 454 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 54732
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/182 4441
/proc/meminfo: memFree=31998124/32770624 swapFree=5784/117600
[pid=4390] ppid=4387 vsize=54732 CPUtime=1602.27 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 79089 0 0 0 159756 471 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 54732
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/182 4442
/proc/meminfo: memFree=31998408/32770624 swapFree=5784/117624
[pid=4390] ppid=4387 vsize=54732 CPUtime=1662.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 80051 0 0 0 165738 490 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 54732
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 4443
/proc/meminfo: memFree=31998632/32770624 swapFree=5784/117644
[pid=4390] ppid=4387 vsize=54732 CPUtime=1722.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 81013 0 0 0 171721 507 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 54732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 4444
/proc/meminfo: memFree=31998564/32770624 swapFree=5784/117664
[pid=4390] ppid=4387 vsize=54732 CPUtime=1782.27 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 81975 0 0 0 177702 525 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 54732
[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.03 3/182 4445
/proc/meminfo: memFree=31998356/32770624 swapFree=5784/117684
[pid=4390] ppid=4387 vsize=54732 CPUtime=1842.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 82937 0 0 0 183686 542 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 54732
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.03 3/182 4453
/proc/meminfo: memFree=31998060/32770624 swapFree=5784/117716
[pid=4390] ppid=4387 vsize=54732 CPUtime=1902.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 83899 0 0 0 189670 558 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 1902.28
Current children cumulated vsize (KiB) 54732
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/182 4454
/proc/meminfo: memFree=31998356/32770624 swapFree=5784/117736
[pid=4390] ppid=4387 vsize=54732 CPUtime=1962.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 84861 0 0 0 195649 579 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 54732
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4455
/proc/meminfo: memFree=31998404/32770624 swapFree=5784/117756
[pid=4390] ppid=4387 vsize=54732 CPUtime=2022.28 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 85823 0 0 0 201630 598 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 54732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4390 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2048 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4456
/proc/meminfo: memFree=31997932/32770624 swapFree=5784/117776
[pid=4390] ppid=4387 vsize=54732 CPUtime=2047.97 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 86784 0 0 0 204193 604 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 2047.97
Current children cumulated vsize (KiB) 54732
[startup+2060.8 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4456
/proc/meminfo: memFree=31998360/32770624 swapFree=5784/117776
[pid=4390] ppid=4387 vsize=54732 CPUtime=2060.77 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 86785 0 0 0 205470 607 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038840 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 2060.77
Current children cumulated vsize (KiB) 54732
[startup+2067.2 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4456
/proc/meminfo: memFree=31998360/32770624 swapFree=5784/117776
[pid=4390] ppid=4387 vsize=54732 CPUtime=2067.18 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 86785 0 0 0 206109 609 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 2067.18
Current children cumulated vsize (KiB) 54732
[startup+2070.4 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4456
/proc/meminfo: memFree=31998360/32770624 swapFree=5784/117776
[pid=4390] ppid=4387 vsize=54732 CPUtime=2070.37 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 86785 0 0 0 206427 610 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 2070.37
Current children cumulated vsize (KiB) 54732
[startup+2073.61 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4456
/proc/meminfo: memFree=31998484/32770624 swapFree=5784/117776
[pid=4390] ppid=4387 vsize=54732 CPUtime=2073.58 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 86785 0 0 0 206747 611 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 2073.58
Current children cumulated vsize (KiB) 54732
[startup+2075.2 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4456
/proc/meminfo: memFree=31998484/32770624 swapFree=5784/117776
[pid=4390] ppid=4387 vsize=54732 CPUtime=2075.18 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 86785 0 0 0 206906 612 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 2075.18
Current children cumulated vsize (KiB) 54732
[startup+2076 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4456
/proc/meminfo: memFree=31998484/32770624 swapFree=5784/117776
[pid=4390] ppid=4387 vsize=54732 CPUtime=2075.97 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 86785 0 0 0 206985 612 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 2075.97
Current children cumulated vsize (KiB) 54732
[startup+2076.2 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4456
/proc/meminfo: memFree=31998484/32770624 swapFree=5784/117776
[pid=4390] ppid=4387 vsize=54732 CPUtime=2076.17 cores=0,2,4,6
/proc/4390/stat : 4390 (naxos-xcsp3) R 4387 4390 3464 0 -1 4202496 86785 0 0 0 207005 612 0 0 20 0 1 0 1527695 56045568 8340 33554432000 4194304 6986860 140727279043312 140727279038664 140266918515068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19013632 140727279052046 140727279052127 140727279052127 140727279054826 0
/proc/4390/statm: 13683 8340 686 682 0 7686 0
Current children cumulated CPU time (s) 2076.17
Current children cumulated vsize (KiB) 54732
Child status: 0
Real time (s): 2076.24
CPU time (s): 2076.22
CPU user time (s): 2070.1
CPU system time (s): 6.12799
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 54768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2070.1
system time used= 6.12799
maximum resident set size= 33400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86816
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= 18
involuntary context switches= 816
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71934 second user time and 8.54877 second system time
The end