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-4252061-1500922278/watcher-4252061-1500922278 -o /tmp/evaluation-result-4252061-1500922278/solver-4252061-1500922278 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500914926-3623 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252061-1500922278.xml
pid=6068
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.05 3/181 6071
/proc/meminfo: memFree=32118360/32770624 swapFree=5764/115428
[pid=6071] ppid=6068 vsize=25392 CPUtime=0 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 1140 0 0 0 0 0 0 0 20 0 1 0 1767790 26001408 949 33554432000 4194304 6986860 140726808202208 140726808198904 5761514 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 6348 949 652 682 0 351 0
[startup+0.100113 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6071
/proc/meminfo: memFree=32118360/32770624 swapFree=5764/115428
[pid=6071] ppid=6068 vsize=32712 CPUtime=0.09 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 2998 0 0 0 9 0 0 0 20 0 1 0 1767790 33497088 2798 33554432000 4194304 6986860 140726808202208 140726808194008 140023210400741 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 8178 2798 701 682 0 2181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32712
[startup+0.200314 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6071
/proc/meminfo: memFree=32118360/32770624 swapFree=5764/115428
[pid=6071] ppid=6068 vsize=39996 CPUtime=0.19 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 4832 0 0 0 19 0 0 0 20 0 1 0 1767790 40955904 4653 33554432000 4194304 6986860 140726808202208 140726808194008 140023210664316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 9999 4653 702 682 0 4002 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39996
[startup+0.300297 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6071
/proc/meminfo: memFree=32118360/32770624 swapFree=5764/115428
[pid=6071] ppid=6068 vsize=40788 CPUtime=0.29 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 5027 0 0 0 29 0 0 0 20 0 1 0 1767790 41766912 4850 33554432000 4194304 6986860 140726808202208 140726808194008 5380035 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10197 4850 716 682 0 4200 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40788
[startup+0.700195 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6071
/proc/meminfo: memFree=32118360/32770624 swapFree=5764/115428
[pid=6071] ppid=6068 vsize=41620 CPUtime=0.69 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 5255 0 0 0 69 0 0 0 20 0 1 0 1767790 42618880 5036 33554432000 4194304 6986860 140726808202208 140726808194008 140023210399712 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5036 716 682 0 4408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41620
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6072
/proc/meminfo: memFree=32100944/32770624 swapFree=5764/115448
[pid=6071] ppid=6068 vsize=41620 CPUtime=1.49 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 5256 0 0 0 149 0 0 0 20 0 1 0 1767790 42618880 5036 33554432000 4194304 6986860 140726808202208 140726808197560 140023210409890 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5036 716 682 0 4408 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41620
[startup+3.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6072
/proc/meminfo: memFree=32100572/32770624 swapFree=5764/115448
[pid=6071] ppid=6068 vsize=41620 CPUtime=3.09 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 9544 0 0 0 309 0 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 140023210410896 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41620
[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6072
/proc/meminfo: memFree=32100572/32770624 swapFree=5764/115448
[pid=6071] ppid=6068 vsize=41620 CPUtime=6.29 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 13839 0 0 0 628 1 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210398468 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41620
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6072
/proc/meminfo: memFree=32100572/32770624 swapFree=5764/115448
[pid=6071] ppid=6068 vsize=41620 CPUtime=12.69 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 18126 0 0 0 1267 2 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 5366046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41620
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6072
/proc/meminfo: memFree=32100288/32770624 swapFree=5764/115476
[pid=6071] ppid=6068 vsize=41620 CPUtime=25.49 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 26545 0 0 0 2545 4 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210398421 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41620
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6072
/proc/meminfo: memFree=32099468/32770624 swapFree=5764/115476
[pid=6071] ppid=6068 vsize=41620 CPUtime=51.08 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 27334 0 0 0 5100 8 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210398493 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41620
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6073
/proc/meminfo: memFree=32099716/32770624 swapFree=5764/115528
[pid=6071] ppid=6068 vsize=41620 CPUtime=102.28 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 28057 0 0 0 10213 15 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210664316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 41620
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6074
/proc/meminfo: memFree=32100132/32770624 swapFree=5764/115560
[pid=6071] ppid=6068 vsize=41620 CPUtime=162.26 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 28780 0 0 0 16202 24 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 5356180 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 41620
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6075
/proc/meminfo: memFree=32100360/32770624 swapFree=5764/115588
[pid=6071] ppid=6068 vsize=41620 CPUtime=222.26 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 29503 0 0 0 22192 34 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210664316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 41620
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6077
/proc/meminfo: memFree=32100420/32770624 swapFree=5764/115624
[pid=6071] ppid=6068 vsize=41620 CPUtime=282.24 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 30226 0 0 0 28182 42 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 5358416 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 41620
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6078
/proc/meminfo: memFree=32101128/32770624 swapFree=5764/115652
[pid=6071] ppid=6068 vsize=41620 CPUtime=342.23 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 30949 0 0 0 34174 49 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210409949 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 41620
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6080
/proc/meminfo: memFree=32100576/32770624 swapFree=5764/115684
[pid=6071] ppid=6068 vsize=41620 CPUtime=402.22 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 31673 0 0 0 40164 58 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 140023210664316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 41620
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6082
/proc/meminfo: memFree=32100444/32770624 swapFree=5764/115720
[pid=6071] ppid=6068 vsize=41620 CPUtime=462.22 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 32396 0 0 0 46157 65 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 5356189 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 41620
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6083
/proc/meminfo: memFree=32100320/32770624 swapFree=5764/115752
[pid=6071] ppid=6068 vsize=41620 CPUtime=522.21 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 33119 0 0 0 52150 71 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210664316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 41620
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6091
/proc/meminfo: memFree=32099936/32770624 swapFree=5764/115788
[pid=6071] ppid=6068 vsize=41620 CPUtime=582.2 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 33842 0 0 0 58141 79 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 5395039 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 41620
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6135
/proc/meminfo: memFree=32099436/32770624 swapFree=5764/116260
[pid=6071] ppid=6068 vsize=41620 CPUtime=1482.08 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 44686 0 0 0 148031 177 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 5397487 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 41620
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6136
/proc/meminfo: memFree=32099384/32770624 swapFree=5764/116284
[pid=6071] ppid=6068 vsize=41620 CPUtime=1542.07 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 45409 0 0 0 154022 185 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 140023210398514 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 41620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6137
/proc/meminfo: memFree=32099184/32770624 swapFree=5764/116324
[pid=6071] ppid=6068 vsize=41620 CPUtime=1602.06 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 46132 0 0 0 160014 192 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 5476035 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 41620
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6138
/proc/meminfo: memFree=32099092/32770624 swapFree=5764/116352
[pid=6071] ppid=6068 vsize=41620 CPUtime=1662.04 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 46855 0 0 0 166006 198 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 5355305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 41620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6139
/proc/meminfo: memFree=32099372/32770624 swapFree=5764/116380
[pid=6071] ppid=6068 vsize=41620 CPUtime=1722.04 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 47578 0 0 0 171998 206 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 5475248 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 41620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6147
/proc/meminfo: memFree=32098644/32770624 swapFree=5764/116416
[pid=6071] ppid=6068 vsize=41620 CPUtime=1782.03 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 48301 0 0 0 177991 212 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 5358592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 41620
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6148
/proc/meminfo: memFree=32098664/32770624 swapFree=5764/116448
[pid=6071] ppid=6068 vsize=41620 CPUtime=1842.02 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 49024 0 0 0 183983 219 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 140023210399712 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 41620
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6149
/proc/meminfo: memFree=32098332/32770624 swapFree=5764/116480
[pid=6071] ppid=6068 vsize=41620 CPUtime=1902.01 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 49747 0 0 0 189975 226 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 140023210409887 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 1902.01
Current children cumulated vsize (KiB) 41620
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6150
/proc/meminfo: memFree=32098568/32770624 swapFree=5764/116512
[pid=6071] ppid=6068 vsize=41620 CPUtime=1962 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 50468 0 0 0 195966 234 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210410896 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 1962
Current children cumulated vsize (KiB) 41620
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6151
/proc/meminfo: memFree=32098252/32770624 swapFree=5764/116540
[pid=6071] ppid=6068 vsize=41620 CPUtime=2022 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 51193 0 0 0 201957 243 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210664316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 41620
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6153
/proc/meminfo: memFree=32099104/32770624 swapFree=5764/116580
[pid=6071] ppid=6068 vsize=41620 CPUtime=2081.99 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 51916 0 0 0 207949 250 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210664316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 41620
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6154
/proc/meminfo: memFree=32099444/32770624 swapFree=5764/116612
[pid=6071] ppid=6068 vsize=41620 CPUtime=2141.98 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 52639 0 0 0 213938 260 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210398841 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 41620
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6156
/proc/meminfo: memFree=32098692/32770624 swapFree=5764/116648
[pid=6071] ppid=6068 vsize=41620 CPUtime=2201.98 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 53360 0 0 0 219930 268 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210398320 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 41620
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6157
/proc/meminfo: memFree=32099064/32770624 swapFree=5764/116688
[pid=6071] ppid=6068 vsize=41620 CPUtime=2261.96 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 54083 0 0 0 225921 275 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 140023210399833 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 41620
[startup+2322.3 s]
/proc/loadavg: 2.11 2.06 2.06 3/183 6347
/proc/meminfo: memFree=30531596/32770624 swapFree=5764/117696
[pid=6071] ppid=6068 vsize=41620 CPUtime=2321.95 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 54804 0 0 0 231913 282 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210398514 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 2321.95
Current children cumulated vsize (KiB) 41620
[startup+2382.3 s]
/proc/loadavg: 2.10 2.06 2.06 3/182 6354
/proc/meminfo: memFree=30530264/32770624 swapFree=5764/117724
[pid=6071] ppid=6068 vsize=41620 CPUtime=2381.94 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 55526 0 0 0 237905 289 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197736 140023210399220 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 2381.94
Current children cumulated vsize (KiB) 41620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.08 2.06 2.05 3/182 6355
/proc/meminfo: memFree=30530884/32770624 swapFree=5764/117756
[pid=6071] ppid=6068 vsize=41620 CPUtime=2400.04 cores=0,2,4,6
/proc/6071/stat : 6071 (naxos-xcsp3) R 6068 6071 3592 0 -1 4202496 56233 0 0 0 239712 292 0 0 20 0 1 0 1767790 42618880 5100 33554432000 4194304 6986860 140726808202208 140726808197560 140023210664316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 14901248 140726808208654 140726808208735 140726808208735 140726808211434 0
/proc/6071/statm: 10405 5100 716 682 0 4408 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 41620
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 6071 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.05
CPU user time (s): 2397.13
CPU system time (s): 2.92158
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 41620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.13
system time used= 2.92158
maximum resident set size= 20440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56263
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= 14
involuntary context switches= 3768
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.94095 second user time and 9.87287 second system time
The end