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-4260751-1502245394/watcher-4260751-1502245394 -o /tmp/evaluation-result-4260751-1502245394/solver-4260751-1502245394 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502234551-16045 --watchdog 2580 BTD 2520 HOME/instance-4260751-1502245394.xml 

pid=18294
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.07 2.03 2.05 2/180 18297
/proc/meminfo: memFree=31627336/32770624 swapFree=0/130300
[pid=18297] ppid=18294 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18297/stat : 18297 (runsolver) D 18294 18297 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 26735063 24240128 106 18446744073709551615 4194304 4338465 140734918466160 140734918463800 140096212320983 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 10694656 140734918471893 140734918472266 140734918472266 140734918475722 0
/proc/18297/statm: 5918 106 53 36 0 2156 0

[startup+0.100159 s]
/proc/loadavg: 2.07 2.03 2.05 2/180 18297
/proc/meminfo: memFree=31627336/32770624 swapFree=0/130300
[pid=18297] ppid=18294 vsize=31632 CPUtime=0.01 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 693 0 0 0 1 0 0 0 20 0 1 0 26735063 32391168 545 18446744073709551615 4194304 35031035 140730654543200 140730654543200 7408826 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 7908 545 269 7529 0 355 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31632

[startup+0.200265 s]
/proc/loadavg: 2.07 2.03 2.05 2/180 18297
/proc/meminfo: memFree=31627336/32770624 swapFree=0/130300
[pid=18297] ppid=18294 vsize=32608 CPUtime=0.11 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 932 0 0 0 11 0 0 0 20 0 1 0 26735063 33390592 808 18446744073709551615 4194304 35031035 140730654543200 140730654536040 7993641 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 8152 808 294 7529 0 599 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 32608

[startup+0.300252 s]
/proc/loadavg: 2.07 2.03 2.05 2/180 18297
/proc/meminfo: memFree=31627336/32770624 swapFree=0/130300
[pid=18297] ppid=18294 vsize=32732 CPUtime=0.21 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 975 0 0 0 21 0 0 0 20 0 1 0 26735063 33517568 839 18446744073709551615 4194304 35031035 140730654543200 140730654536040 4750231 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 8183 839 294 7529 0 630 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 32732

[startup+0.700218 s]
/proc/loadavg: 2.07 2.03 2.05 2/180 18297
/proc/meminfo: memFree=31627336/32770624 swapFree=0/130300
[pid=18297] ppid=18294 vsize=33468 CPUtime=0.61 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 1154 0 0 0 61 0 0 0 20 0 1 0 26735063 34271232 1025 18446744073709551615 4194304 35031035 140730654543200 140730654536168 4788178 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 8367 1025 294 7529 0 814 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 33468

[startup+1.50022 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 18298
/proc/meminfo: memFree=31624024/32770624 swapFree=0/130300
[pid=18297] ppid=18294 vsize=34780 CPUtime=1.41 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 1504 0 0 0 141 0 0 0 20 0 1 0 26735063 35614720 1358 18446744073709551615 4194304 35031035 140730654543200 140730654536168 7398599 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 8695 1358 294 7529 0 1142 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 34780

[startup+3.10022 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 18298
/proc/meminfo: memFree=31618104/32770624 swapFree=0/130300
[pid=18297] ppid=18294 vsize=40320 CPUtime=3 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 4136 0 0 0 300 0 0 0 20 0 1 0 26735063 41287680 2718 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10080 2718 341 7529 0 2527 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 40320

[startup+6.30022 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 18298
/proc/meminfo: memFree=31616048/32770624 swapFree=0/130596
[pid=18297] ppid=18294 vsize=40452 CPUtime=6.2 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 4674 0 0 0 620 0 0 0 20 0 1 0 26735063 41422848 2741 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10113 2741 341 7529 0 2560 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 40452

[startup+12.7002 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 18298
/proc/meminfo: memFree=31615452/32770624 swapFree=0/130596
[pid=18297] ppid=18294 vsize=40716 CPUtime=12.6 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 5276 0 0 0 1258 2 0 0 20 0 1 0 26735063 41693184 2793 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10179 2793 341 7529 0 2626 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 40716

[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 18298
/proc/meminfo: memFree=31615700/32770624 swapFree=0/130616
[pid=18297] ppid=18294 vsize=40980 CPUtime=25.4 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 6589 0 0 0 2535 5 0 0 20 0 1 0 26735063 41963520 2875 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10245 2875 341 7529 0 2692 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 40980

[startup+51.1002 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 18313
/proc/meminfo: memFree=31612884/32770624 swapFree=0/130652
[pid=18297] ppid=18294 vsize=41244 CPUtime=50.98 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 7367 0 0 0 5083 15 0 0 20 0 1 0 26735063 42233856 2936 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10311 2936 341 7529 0 2758 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 41244

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 18376
/proc/meminfo: memFree=31598824/32770624 swapFree=0/130740
[pid=18297] ppid=18294 vsize=41508 CPUtime=102.17 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 8200 0 0 0 10178 39 0 0 20 0 1 0 26735063 42504192 3084 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10377 3084 341 7529 0 2824 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 41508

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18378
/proc/meminfo: memFree=31574056/32770624 swapFree=0/130796
[pid=18297] ppid=18294 vsize=41772 CPUtime=162.15 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 8884 0 0 0 16149 66 0 0 20 0 1 0 26735063 42774528 3133 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10443 3133 341 7529 0 2890 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 41772

[startup+222.306 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 18501
/proc/meminfo: memFree=31574828/32770624 swapFree=0/130952
[pid=18297] ppid=18294 vsize=41772 CPUtime=222.14 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 9576 0 0 0 22120 94 0 0 20 0 1 0 26735063 42774528 3165 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10443 3165 341 7529 0 2890 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 41772

[startup+282.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 18503
/proc/meminfo: memFree=31514156/32770624 swapFree=0/130996
[pid=18297] ppid=18294 vsize=41904 CPUtime=282.12 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 10298 0 0 0 28088 124 0 0 20 0 1 0 26735063 42909696 3202 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10476 3202 341 7529 0 2923 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 41904

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 18505
/proc/meminfo: memFree=31496540/32770624 swapFree=0/131020
[pid=18297] ppid=18294 vsize=42036 CPUtime=342.1 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 11027 0 0 0 34056 154 0 0 20 0 1 0 26735063 43044864 3219 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10509 3219 341 7529 0 2956 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 42036

[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/181 18507
/proc/meminfo: memFree=31496556/32770624 swapFree=0/131056
[pid=18297] ppid=18294 vsize=42036 CPUtime=402.09 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 11693 0 0 0 40026 183 0 0 20 0 1 0 26735063 43044864 3231 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10509 3231 341 7529 0 2956 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 42036

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 18509
/proc/meminfo: memFree=31496484/32770624 swapFree=0/131088
[pid=18297] ppid=18294 vsize=42036 CPUtime=462.07 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 12548 0 0 0 45994 213 0 0 20 0 1 0 26735063 43044864 3244 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10509 3244 341 7529 0 2956 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 42036

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 18511
/proc/meminfo: memFree=31496376/32770624 swapFree=0/131116
[pid=18297] ppid=18294 vsize=42168 CPUtime=522.05 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 13280 0 0 0 51963 242 0 0 20 0 1 0 26735063 43180032 3252 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10542 3252 341 7529 0 2989 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 42168

[startup+582.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 18513
/proc/meminfo: memFree=31495848/32770624 swapFree=0/131144
[pid=18297] ppid=18294 vsize=42168 CPUtime=582.04 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 14007 0 0 0 57929 275 0 0 20 0 1 0 26735063 43180032 3259 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10542 3259 341 7529 0 2989 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 42168

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

[startup+582.4 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 18513
/proc/meminfo: memFree=31495848/32770624 swapFree=0/131144
[pid=18297] ppid=18294 vsize=42168 CPUtime=582.14 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 14007 0 0 0 57939 275 0 0 20 0 1 0 26735063 43180032 3259 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10542 3259 341 7529 0 2989 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 42168

[startup+584 s]
/proc/loadavg: 2.13 2.04 2.05 3/181 18513
/proc/meminfo: memFree=31495848/32770624 swapFree=0/131144
[pid=18297] ppid=18294 vsize=42168 CPUtime=583.74 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 14013 0 0 0 58098 276 0 0 20 0 1 0 26735063 43180032 3259 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10542 3259 341 7529 0 2989 0
Current children cumulated CPU time (s) 583.74
Current children cumulated vsize (KiB) 42168

[startup+584.8 s]
/proc/loadavg: 2.13 2.04 2.05 3/181 18513
/proc/meminfo: memFree=31495412/32770624 swapFree=0/131144
[pid=18297] ppid=18294 vsize=42168 CPUtime=584.54 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 14013 0 0 0 58178 276 0 0 20 0 1 0 26735063 43180032 3259 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10542 3259 341 7529 0 2989 0
Current children cumulated CPU time (s) 584.54
Current children cumulated vsize (KiB) 42168

[startup+585.6 s]
/proc/loadavg: 2.13 2.04 2.05 3/181 18513
/proc/meminfo: memFree=31495412/32770624 swapFree=0/131144
[pid=18297] ppid=18294 vsize=42168 CPUtime=585.33 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 14057 0 0 0 58257 276 0 0 20 0 1 0 26735063 43180032 3265 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10542 3265 341 7529 0 2989 0
Current children cumulated CPU time (s) 585.33
Current children cumulated vsize (KiB) 42168

[startup+586 s]
/proc/loadavg: 2.13 2.04 2.05 3/181 18513
/proc/meminfo: memFree=31495412/32770624 swapFree=0/131144
[pid=18297] ppid=18294 vsize=42168 CPUtime=585.73 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 14057 0 0 0 58297 276 0 0 20 0 1 0 26735063 43180032 3265 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10542 3265 341 7529 0 2989 0
Current children cumulated CPU time (s) 585.73
Current children cumulated vsize (KiB) 42168

[startup+586.1 s]
/proc/loadavg: 2.13 2.04 2.05 3/181 18513
/proc/meminfo: memFree=31495412/32770624 swapFree=0/131144
[pid=18297] ppid=18294 vsize=42168 CPUtime=585.83 cores=1,3,5,7
/proc/18297/stat : 18297 (BTD) R 18294 18297 15981 0 -1 4202496 14057 0 0 0 58307 276 0 0 20 0 1 0 26735063 43180032 3265 18446744073709551615 4194304 35031035 140730654543200 140730654542200 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 61161472 140730654544389 140730654544465 140730654544465 140730654547921 0
/proc/18297/statm: 10542 3265 341 7529 0 2989 0
Current children cumulated CPU time (s) 585.83
Current children cumulated vsize (KiB) 42168

Child status: 0
Real time (s): 586.196
CPU time (s): 585.939
CPU user time (s): 583.17
CPU system time (s): 2.76819
CPU usage (%): 99.9561
Max. virtual memory (cumulated for all children) (KiB): 42168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 583.17
system time used= 2.76819
maximum resident set size= 13684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14293
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= 6
involuntary context switches= 3167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37931 second user time and 1.92384 second system time

The end