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-4251685-1500917343/watcher-4251685-1500917343 -o /tmp/evaluation-result-4251685-1500917343/solver-4251685-1500917343 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500914923-3501 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251685-1500917343.xml 

pid=4210
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: 1.92 2.00 2.21 3/177 4213
/proc/meminfo: memFree=32124980/32770624 swapFree=5756/114412
[pid=4213] ppid=4210 vsize=25504 CPUtime=0 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 1161 0 0 0 0 0 0 0 20 0 1 0 1274340 26116096 975 33554432000 4194304 6986860 140734287750048 140734287746744 5587176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 6376 975 649 682 0 379 0

[startup+0.100105 s]
/proc/loadavg: 1.92 2.00 2.21 3/177 4213
/proc/meminfo: memFree=32124980/32770624 swapFree=5756/114412
[pid=4213] ppid=4210 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 1290 0 0 0 9 0 0 0 20 0 1 0 1274340 26628096 1106 33554432000 4194304 6986860 140734287750048 140734287746744 5620525 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 6501 1106 676 682 0 504 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26004

[startup+0.200217 s]
/proc/loadavg: 1.92 2.00 2.21 3/177 4213
/proc/meminfo: memFree=32124980/32770624 swapFree=5756/114412
[pid=4213] ppid=4210 vsize=26004 CPUtime=0.19 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 1290 0 0 0 19 0 0 0 20 0 1 0 1274340 26628096 1106 33554432000 4194304 6986860 140734287750048 140734287746744 5646644 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 6501 1106 676 682 0 504 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26004

[startup+0.300211 s]
/proc/loadavg: 1.92 2.00 2.21 3/177 4213
/proc/meminfo: memFree=32124980/32770624 swapFree=5756/114412
[pid=4213] ppid=4210 vsize=26004 CPUtime=0.29 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 1290 0 0 0 29 0 0 0 20 0 1 0 1274340 26628096 1106 33554432000 4194304 6986860 140734287750048 140734287744728 6251015 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 6501 1106 676 682 0 504 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26004

[startup+0.700208 s]
/proc/loadavg: 1.92 2.00 2.21 3/177 4213
/proc/meminfo: memFree=32124980/32770624 swapFree=5756/114412
[pid=4213] ppid=4210 vsize=26004 CPUtime=0.69 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 1291 0 0 0 69 0 0 0 20 0 1 0 1274340 26628096 1106 33554432000 4194304 6986860 140734287750048 140734287744728 6073175 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 6501 1106 676 682 0 504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26004

[startup+1.50022 s]
/proc/loadavg: 1.92 2.00 2.21 2/176 4289
/proc/meminfo: memFree=32128632/32770624 swapFree=5756/114328
[pid=4213] ppid=4210 vsize=26004 CPUtime=1.49 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 1301 0 0 0 149 0 0 0 20 0 1 0 1274340 26628096 1106 33554432000 4194304 6986860 140734287750048 140734287744728 140091217566693 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 6501 1106 676 682 0 504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26004

[startup+3.10022 s]
/proc/loadavg: 1.92 2.00 2.21 3/182 4304
/proc/meminfo: memFree=32124236/32770624 swapFree=5756/114356
[pid=4213] ppid=4210 vsize=28312 CPUtime=3.09 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 2376 0 0 0 309 0 0 0 20 0 1 0 1274340 28991488 1721 33554432000 4194304 6986860 140734287750048 140734287744728 140091217830268 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 7078 1721 729 682 0 1081 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28312

[startup+6.30023 s]
/proc/loadavg: 1.85 1.98 2.20 3/182 4304
/proc/meminfo: memFree=32121292/32770624 swapFree=5756/114368
[pid=4213] ppid=4210 vsize=28312 CPUtime=6.29 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 3308 0 0 0 627 2 0 0 20 0 1 0 1274340 28991488 1779 33554432000 4194304 6986860 140734287750048 140734287745576 140091217830268 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 7078 1779 729 682 0 1081 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28312

[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 2.21 3/182 4304
/proc/meminfo: memFree=32120696/32770624 swapFree=5756/114380
[pid=4213] ppid=4210 vsize=28312 CPUtime=12.69 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 4103 0 0 0 1262 7 0 0 20 0 1 0 1274340 28991488 1779 33554432000 4194304 6986860 140734287750048 140734287745400 140091217830268 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 7078 1779 729 682 0 1081 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28312

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4213 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8003 s]
/proc/loadavg: 1.94 2.00 2.21 3/182 4304
/proc/meminfo: memFree=32120696/32770624 swapFree=5756/114380
[pid=4213] ppid=4210 vsize=28312 CPUtime=12.79 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 4103 0 0 0 1272 7 0 0 20 0 1 0 1274340 28991488 1779 33554432000 4194304 6986860 140734287750048 140734287745400 5475904 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 7078 1779 729 682 0 1081 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 28312

[startup+16.0002 s]
/proc/loadavg: 1.95 2.00 2.21 3/182 4304
/proc/meminfo: memFree=32120696/32770624 swapFree=5756/114380
[pid=4213] ppid=4210 vsize=28312 CPUtime=15.99 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 4897 0 0 0 1590 9 0 0 20 0 1 0 1274340 28991488 1779 33554432000 4194304 6986860 140734287750048 140734287745400 140091217830268 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 7078 1779 729 682 0 1081 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 28312

[startup+16.8002 s]
/proc/loadavg: 1.95 2.00 2.21 3/182 4304
/proc/meminfo: memFree=32120696/32770624 swapFree=5756/114380
[pid=4213] ppid=4210 vsize=28312 CPUtime=16.8 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 4897 0 0 0 1670 10 0 0 20 0 1 0 1274340 28991488 1779 33554432000 4194304 6986860 140734287750048 140734287745400 140091217830268 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 7078 1779 729 682 0 1081 0
Current children cumulated CPU time (s) 16.8
Current children cumulated vsize (KiB) 28312

[startup+17.2002 s]
/proc/loadavg: 1.95 2.00 2.21 3/182 4304
/proc/meminfo: memFree=32120696/32770624 swapFree=5756/114380
[pid=4213] ppid=4210 vsize=28312 CPUtime=17.19 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 4897 0 0 0 1709 10 0 0 20 0 1 0 1274340 28991488 1779 33554432000 4194304 6986860 140734287750048 140734287745400 140091217830268 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 7078 1779 729 682 0 1081 0
Current children cumulated CPU time (s) 17.19
Current children cumulated vsize (KiB) 28312

[startup+17.4002 s]
/proc/loadavg: 1.95 2.00 2.21 3/182 4304
/proc/meminfo: memFree=32120696/32770624 swapFree=5756/114380
[pid=4213] ppid=4210 vsize=28312 CPUtime=17.39 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 5049 0 0 0 1729 10 0 0 20 0 1 0 1274340 28991488 1779 33554432000 4194304 6986860 140734287750048 140734287745400 140091217830268 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 7078 1779 729 682 0 1081 0
Current children cumulated CPU time (s) 17.39
Current children cumulated vsize (KiB) 28312

[startup+17.5002 s]
/proc/loadavg: 1.95 2.00 2.21 3/182 4304
/proc/meminfo: memFree=32120696/32770624 swapFree=5756/114380
[pid=4213] ppid=4210 vsize=28312 CPUtime=17.49 cores=1,3,5,7
/proc/4213/stat : 4213 (naxos-xcsp3) R 4210 4213 3469 0 -1 4202496 5052 0 0 0 1739 10 0 0 20 0 1 0 1274340 28991488 1779 33554432000 4194304 6986860 140734287750048 140734287745400 140091217830268 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35717120 140734287754510 140734287754591 140734287754591 140734287757290 0
/proc/4213/statm: 7078 1779 729 682 0 1081 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 28312

Child status: 0
Real time (s): 17.5302
CPU time (s): 17.5303
CPU user time (s): 17.4243
CPU system time (s): 0.106014
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 28312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4243
system time used= 0.106014
maximum resident set size= 7140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5101
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= 7
involuntary context switches= 7

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04802 second user time and 0.063871 second system time

The end