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-4253395-1500931781/watcher-4253395-1500931781 -o /tmp/evaluation-result-4253395-1500931781/solver-4253395-1500931781 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500914921-3806 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253395-1500931781.xml
pid=7020
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: 2.00 2.01 2.05 3/181 7023
/proc/meminfo: memFree=32120632/32770624 swapFree=5848/119952
[pid=7023] ppid=7020 vsize=25264 CPUtime=0 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 1132 0 0 0 0 0 0 0 20 0 1 0 2731525 25870336 918 33554432000 4194304 6986860 140729250724704 140729250721400 140113466412005 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 6316 918 652 682 0 319 0
[startup+0.100108 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7023
/proc/meminfo: memFree=32120632/32770624 swapFree=5848/119952
[pid=7023] ppid=7020 vsize=39124 CPUtime=0.09 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 4610 0 0 0 9 0 0 0 20 0 1 0 2731525 40062976 4403 33554432000 4194304 6986860 140729250724704 140729250721400 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4403 713 682 0 3784 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39124
[startup+0.200279 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7023
/proc/meminfo: memFree=32120632/32770624 swapFree=5848/119952
[pid=7023] ppid=7020 vsize=39124 CPUtime=0.19 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 4610 0 0 0 19 0 0 0 20 0 1 0 2731525 40062976 4403 33554432000 4194304 6986860 140729250724704 140729250721400 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4403 713 682 0 3784 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39124
[startup+0.300197 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7023
/proc/meminfo: memFree=32120632/32770624 swapFree=5848/119952
[pid=7023] ppid=7020 vsize=39124 CPUtime=0.29 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 4610 0 0 0 28 1 0 0 20 0 1 0 2731525 40062976 4403 33554432000 4194304 6986860 140729250724704 140729250721400 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4403 713 682 0 3784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39124
[startup+0.700174 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7023
/proc/meminfo: memFree=32120632/32770624 swapFree=5848/119952
[pid=7023] ppid=7020 vsize=39124 CPUtime=0.69 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 4610 0 0 0 68 1 0 0 20 0 1 0 2731525 40062976 4403 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4403 713 682 0 3784 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39124
[startup+1.50017 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 7024
/proc/meminfo: memFree=32105648/32770624 swapFree=5848/119972
[pid=7023] ppid=7020 vsize=39124 CPUtime=1.49 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 4610 0 0 0 146 3 0 0 20 0 1 0 2731525 40062976 4403 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4403 713 682 0 3784 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39124
[startup+3.10017 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 7024
/proc/meminfo: memFree=32105276/32770624 swapFree=5848/119972
[pid=7023] ppid=7020 vsize=39124 CPUtime=3.09 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 6543 0 0 0 304 5 0 0 20 0 1 0 2731525 40062976 4456 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4456 718 682 0 3784 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39124
[startup+6.30017 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 7024
/proc/meminfo: memFree=32104980/32770624 swapFree=5848/119972
[pid=7023] ppid=7020 vsize=39124 CPUtime=6.29 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 8528 0 0 0 619 10 0 0 20 0 1 0 2731525 40062976 4456 33554432000 4194304 6986860 140729250724704 140729250720232 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4456 718 682 0 3784 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39124
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 7024
/proc/meminfo: memFree=32104752/32770624 swapFree=5848/119972
[pid=7023] ppid=7020 vsize=39124 CPUtime=12.69 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 10530 0 0 0 1249 20 0 0 20 0 1 0 2731525 40062976 4456 33554432000 4194304 6986860 140729250724704 140729250720232 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4456 718 682 0 3784 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39124
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 7031
/proc/meminfo: memFree=32104852/32770624 swapFree=5848/120000
[pid=7023] ppid=7020 vsize=39124 CPUtime=25.49 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 12743 0 0 0 2506 43 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39124
[startup+51.1002 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 7092
/proc/meminfo: memFree=32040044/32770624 swapFree=5848/120064
[pid=7023] ppid=7020 vsize=39124 CPUtime=51.09 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 13297 0 0 0 5022 87 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39124
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 7093
/proc/meminfo: memFree=32038640/32770624 swapFree=5848/120112
[pid=7023] ppid=7020 vsize=39124 CPUtime=102.3 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 13855 0 0 0 10054 176 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 39124
[startup+162.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/182 7094
/proc/meminfo: memFree=32038644/32770624 swapFree=5848/120140
[pid=7023] ppid=7020 vsize=39124 CPUtime=162.3 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 14399 0 0 0 15949 281 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 39124
[startup+222.306 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 7095
/proc/meminfo: memFree=32039096/32770624 swapFree=5848/120168
[pid=7023] ppid=7020 vsize=39124 CPUtime=222.31 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 14963 0 0 0 21844 387 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 39124
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7096
/proc/meminfo: memFree=32038880/32770624 swapFree=5848/120196
[pid=7023] ppid=7020 vsize=39124 CPUtime=282.31 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 14963 0 0 0 27740 491 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 39124
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7097
/proc/meminfo: memFree=32038516/32770624 swapFree=5848/120236
[pid=7023] ppid=7020 vsize=39124 CPUtime=342.31 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 15514 0 0 0 33635 596 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 39124
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7098
/proc/meminfo: memFree=32038144/32770624 swapFree=5848/120264
[pid=7023] ppid=7020 vsize=39124 CPUtime=402.32 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 15517 0 0 0 39532 700 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 39124
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7099
/proc/meminfo: memFree=32038516/32770624 swapFree=5848/120296
[pid=7023] ppid=7020 vsize=39124 CPUtime=462.32 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 16071 0 0 0 45423 809 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 39124
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7100
/proc/meminfo: memFree=32037876/32770624 swapFree=5848/120324
[pid=7023] ppid=7020 vsize=39124 CPUtime=522.33 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 16071 0 0 0 51327 906 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 39124
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7101
/proc/meminfo: memFree=32038248/32770624 swapFree=5848/120352
[pid=7023] ppid=7020 vsize=39124 CPUtime=582.33 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 16622 0 0 0 57218 1015 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 39124
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 7142
/proc/meminfo: memFree=32036344/32770624 swapFree=5812/121116
[pid=7023] ppid=7020 vsize=39124 CPUtime=1482.42 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 20498 0 0 0 145644 2598 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 1482.42
Current children cumulated vsize (KiB) 39124
[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 7144
/proc/meminfo: memFree=32036220/32770624 swapFree=5812/121152
[pid=7023] ppid=7020 vsize=39124 CPUtime=1542.43 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 21053 0 0 0 151536 2707 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720232 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 1542.43
Current children cumulated vsize (KiB) 39124
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 7145
/proc/meminfo: memFree=32035592/32770624 swapFree=5812/121180
[pid=7023] ppid=7020 vsize=39124 CPUtime=1602.43 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 21053 0 0 0 157430 2813 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 1602.43
Current children cumulated vsize (KiB) 39124
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 7146
/proc/meminfo: memFree=32035620/32770624 swapFree=5812/121208
[pid=7023] ppid=7020 vsize=39124 CPUtime=1662.43 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 21605 0 0 0 163324 2919 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 1662.43
Current children cumulated vsize (KiB) 39124
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7148
/proc/meminfo: memFree=32036008/32770624 swapFree=5812/121248
[pid=7023] ppid=7020 vsize=39124 CPUtime=1722.44 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 21605 0 0 0 169222 3022 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 1722.44
Current children cumulated vsize (KiB) 39124
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7149
/proc/meminfo: memFree=32035752/32770624 swapFree=5812/121280
[pid=7023] ppid=7020 vsize=39124 CPUtime=1782.44 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 22157 0 0 0 175116 3128 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720232 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (KiB) 39124
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7157
/proc/meminfo: memFree=32035528/32770624 swapFree=5812/121304
[pid=7023] ppid=7020 vsize=39124 CPUtime=1842.46 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 22157 0 0 0 181014 3232 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 1842.46
Current children cumulated vsize (KiB) 39124
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7183
/proc/meminfo: memFree=32034748/32770624 swapFree=5812/121360
[pid=7023] ppid=7020 vsize=39124 CPUtime=1902.46 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 22699 0 0 0 186907 3339 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720232 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 1902.46
Current children cumulated vsize (KiB) 39124
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7184
/proc/meminfo: memFree=32034816/32770624 swapFree=5812/121392
[pid=7023] ppid=7020 vsize=39124 CPUtime=1962.46 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 22709 0 0 0 192808 3438 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 1962.46
Current children cumulated vsize (KiB) 39124
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7185
/proc/meminfo: memFree=32035148/32770624 swapFree=5812/121420
[pid=7023] ppid=7020 vsize=39124 CPUtime=2022.46 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 23260 0 0 0 198703 3543 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720232 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 2022.46
Current children cumulated vsize (KiB) 39124
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7186
/proc/meminfo: memFree=32035180/32770624 swapFree=5812/121452
[pid=7023] ppid=7020 vsize=39124 CPUtime=2082.48 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 23260 0 0 0 204595 3653 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 2082.48
Current children cumulated vsize (KiB) 39124
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7187
/proc/meminfo: memFree=32035472/32770624 swapFree=5812/121488
[pid=7023] ppid=7020 vsize=39124 CPUtime=2142.48 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 23819 0 0 0 210499 3749 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 2142.48
Current children cumulated vsize (KiB) 39124
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7188
/proc/meminfo: memFree=32035208/32770624 swapFree=5812/121516
[pid=7023] ppid=7020 vsize=39124 CPUtime=2202.49 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 23819 0 0 0 216392 3857 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720232 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 2202.49
Current children cumulated vsize (KiB) 39124
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7189
/proc/meminfo: memFree=32034944/32770624 swapFree=5812/121544
[pid=7023] ppid=7020 vsize=39124 CPUtime=2262.49 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 24371 0 0 0 222280 3969 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 2262.49
Current children cumulated vsize (KiB) 39124
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7191
/proc/meminfo: memFree=32035224/32770624 swapFree=5812/121580
[pid=7023] ppid=7020 vsize=39124 CPUtime=2322.5 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 24371 0 0 0 228173 4077 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 2322.5
Current children cumulated vsize (KiB) 39124
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7192
/proc/meminfo: memFree=32035028/32770624 swapFree=5812/121612
[pid=7023] ppid=7020 vsize=39124 CPUtime=2382.5 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 24926 0 0 0 234057 4193 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720056 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 2382.5
Current children cumulated vsize (KiB) 39124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7192
/proc/meminfo: memFree=32035152/32770624 swapFree=5812/121612
[pid=7023] ppid=7020 vsize=39124 CPUtime=2400 cores=1,3,5,7
/proc/7023/stat : 7023 (naxos-xcsp3) R 7020 7023 3774 0 -1 4202496 24926 0 0 0 235778 4222 0 0 20 0 1 0 2731525 40062976 4463 33554432000 4194304 6986860 140729250724704 140729250720232 140113466675580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10629120 140729250727182 140729250727263 140729250727263 140729250729962 0
/proc/7023/statm: 9781 4463 718 682 0 3784 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 39124
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 7023 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.01
CPU user time (s): 2357.78
CPU system time (s): 42.2289
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 39124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2357.79
system time used= 42.2289
maximum resident set size= 17872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24953
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= 13
involuntary context switches= 605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.04529 second user time and 8.29344 second system time
The end