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-4241856-1500653006/watcher-4241856-1500653006 -o /tmp/evaluation-result-4241856-1500653006/solver-4241856-1500653006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500648178-2490 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1901401755 HOME/instance-4241856-1500653006.xml
pid=3191
running on 8 cores: 1,3,5,7,9,11,13,15
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.99 2.02 1.99 3/243 3194
/proc/meminfo: memFree=32037568/32770624 swapFree=5956/210164
[pid=3194] ppid=3191 vsize=28936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 1075 0 0 0 0 0 0 0 20 0 1 0 569672 29630464 868 33554432000 4194304 7402444 140721249293920 140721249290968 5972009 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 7234 868 647 784 0 248 0
[startup+0.100149 s]
/proc/loadavg: 1.99 2.02 1.99 3/243 3194
/proc/meminfo: memFree=32037568/32770624 swapFree=5956/210164
[pid=3194] ppid=3191 vsize=30164 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 1440 0 0 0 9 0 0 0 20 0 1 0 569672 30887936 1210 33554432000 4194304 7402444 140721249293920 140721249284040 6057432 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 7541 1210 741 784 0 555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30164
[startup+0.200281 s]
/proc/loadavg: 1.99 2.02 1.99 3/243 3194
/proc/meminfo: memFree=32037568/32770624 swapFree=5956/210164
[pid=3194] ppid=3191 vsize=31572 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 1784 0 0 0 19 0 0 0 20 0 1 0 569672 32329728 1607 33554432000 4194304 7402444 140721249293920 140721249284456 140710596207696 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 7893 1607 741 784 0 907 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31572
[startup+0.300238 s]
/proc/loadavg: 1.99 2.02 1.99 3/243 3194
/proc/meminfo: memFree=32037568/32770624 swapFree=5956/210164
[pid=3194] ppid=3191 vsize=33792 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 2432 0 0 0 29 0 0 0 20 0 1 0 569672 34603008 2123 33554432000 4194304 7402444 140721249293920 140721249284392 4221472 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 8448 2123 741 784 0 1462 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33792
[startup+0.700215 s]
/proc/loadavg: 1.99 2.02 1.99 3/243 3194
/proc/meminfo: memFree=32037568/32770624 swapFree=5956/210164
[pid=3194] ppid=3191 vsize=37004 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 3297 0 0 0 69 0 0 0 20 0 1 0 569672 37892096 3046 33554432000 4194304 7402444 140721249293920 140721249288344 5327242 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9251 3046 799 784 0 2265 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37004
[startup+1.50021 s]
/proc/loadavg: 1.99 2.02 1.99 3/244 3195
/proc/meminfo: memFree=32028172/32770624 swapFree=5956/209912
[pid=3194] ppid=3191 vsize=37004 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 3305 0 0 0 149 0 0 0 20 0 1 0 569672 37892096 3046 33554432000 4194304 7402444 140721249293920 140721249288344 5878467 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9251 3046 799 784 0 2265 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37004
[startup+3.10021 s]
/proc/loadavg: 1.99 2.02 1.99 3/244 3195
/proc/meminfo: memFree=32027676/32770624 swapFree=5956/209912
[pid=3194] ppid=3191 vsize=37136 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 5128 0 0 0 309 0 0 0 20 0 1 0 569672 38027264 3075 33554432000 4194304 7402444 140721249293920 140721249288152 5750503 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9284 3075 799 784 0 2298 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37136
[startup+6.30021 s]
/proc/loadavg: 1.91 2.00 1.98 3/244 3195
/proc/meminfo: memFree=32025984/32770624 swapFree=5956/209924
[pid=3194] ppid=3191 vsize=37400 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 6959 0 0 0 628 0 0 0 20 0 1 0 569672 38297600 3112 33554432000 4194304 7402444 140721249293920 140721249288344 5722791 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9350 3112 799 784 0 2364 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37400
[startup+12.7002 s]
/proc/loadavg: 1.91 2.00 1.98 3/244 3195
/proc/meminfo: memFree=32025104/32770624 swapFree=5956/209932
[pid=3194] ppid=3191 vsize=37592 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 7561 0 0 0 1268 0 0 0 20 0 1 0 569672 38494208 3162 33554432000 4194304 7402444 140721249293920 140721249288504 4248838 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9398 3162 799 784 0 2412 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37592
[startup+25.5003 s]
/proc/loadavg: 1.93 2.00 1.98 3/244 3195
/proc/meminfo: memFree=32025096/32770624 swapFree=5956/209940
[pid=3194] ppid=3191 vsize=37724 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 8767 0 0 0 2548 0 0 0 20 0 1 0 569672 38629376 3222 33554432000 4194304 7402444 140721249293920 140721249288184 5716036 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9431 3222 799 784 0 2445 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37724
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 1.98 3/244 3195
/proc/meminfo: memFree=32025336/32770624 swapFree=5956/209956
[pid=3194] ppid=3191 vsize=37856 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 9433 0 0 0 5107 0 0 0 20 0 1 0 569672 38764544 3238 33554432000 4194304 7402444 140721249293920 140721249288168 4489809 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9464 3238 799 784 0 2478 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37856
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.98 3/243 3196
/proc/meminfo: memFree=32025208/32770624 swapFree=5956/210008
[pid=3194] ppid=3191 vsize=37856 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 10092 0 0 0 10227 0 0 0 20 0 1 0 569672 38764544 3251 33554432000 4194304 7402444 140721249293920 140721249288168 4491122 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9464 3251 799 784 0 2478 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37856
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/243 3197
/proc/meminfo: memFree=32024948/32770624 swapFree=5956/210044
[pid=3194] ppid=3191 vsize=37856 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 10752 0 0 0 16225 0 0 0 20 0 1 0 569672 38764544 3260 33554432000 4194304 7402444 140721249293920 140721249288168 5327336 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9464 3260 799 784 0 2478 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37856
[startup+222.308 s]
/proc/loadavg: 2.00 2.00 1.98 3/243 3198
/proc/meminfo: memFree=32024924/32770624 swapFree=5956/210088
[pid=3194] ppid=3191 vsize=37988 CPUtime=222.25 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 11422 0 0 0 22225 0 0 0 20 0 1 0 569672 38899712 3270 33554432000 4194304 7402444 140721249293920 140721249288504 5718422 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9497 3270 799 784 0 2511 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 37988
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/242 3199
/proc/meminfo: memFree=32025308/32770624 swapFree=5956/210112
[pid=3194] ppid=3191 vsize=37988 CPUtime=282.23 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 11614 0 0 0 28223 0 0 0 20 0 1 0 569672 38899712 3277 33554432000 4194304 7402444 140721249293920 140721249288504 4378960 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9497 3277 799 784 0 2511 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37988
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/243 3201
/proc/meminfo: memFree=32025344/32770624 swapFree=5956/210156
[pid=3194] ppid=3191 vsize=37988 CPUtime=342.22 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 11806 0 0 0 34222 0 0 0 20 0 1 0 569672 38899712 3278 33554432000 4194304 7402444 140721249293920 140721249288504 5758766 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9497 3278 799 784 0 2511 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 37988
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/244 3210
/proc/meminfo: memFree=32024784/32770624 swapFree=5956/210192
[pid=3194] ppid=3191 vsize=37988 CPUtime=402.2 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 11997 0 0 0 40220 0 0 0 20 0 1 0 569672 38899712 3280 33554432000 4194304 7402444 140721249293920 140721249288504 4491057 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9497 3280 799 784 0 2511 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 37988
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/244 3211
/proc/meminfo: memFree=32024984/32770624 swapFree=5956/210232
[pid=3194] ppid=3191 vsize=37988 CPUtime=462.19 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 12187 0 0 0 46219 0 0 0 20 0 1 0 569672 38899712 3284 33554432000 4194304 7402444 140721249293920 140721249288504 5878065 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9497 3284 799 784 0 2511 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 37988
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/244 3212
/proc/meminfo: memFree=32025332/32770624 swapFree=5956/210268
[pid=3194] ppid=3191 vsize=37988 CPUtime=522.18 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 12382 0 0 0 52218 0 0 0 20 0 1 0 569672 38899712 3285 33554432000 4194304 7402444 140721249293920 140721249288504 5758807 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9497 3285 799 784 0 2511 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 37988
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/244 3213
/proc/meminfo: memFree=32025188/32770624 swapFree=5956/210292
[pid=3194] ppid=3191 vsize=37988 CPUtime=582.17 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 12575 0 0 0 58217 0 0 0 20 0 1 0 569672 38899712 3286 33554432000 4194304 7402444 140721249293920 140721249288504 5750519 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9497 3286 799 784 0 2511 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 37988
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/243 3239
/proc/meminfo: memFree=32020556/32770624 swapFree=5848/210896
[pid=3194] ppid=3191 vsize=38120 CPUtime=1542 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 15942 0 0 0 154199 1 0 0 20 0 1 0 569672 39034880 3310 33554432000 4194304 7402444 140721249293920 140721249288168 4537366 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3310 799 784 0 2544 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 38120
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 3247
/proc/meminfo: memFree=32020852/32770624 swapFree=5848/210944
[pid=3194] ppid=3191 vsize=38120 CPUtime=1601.98 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 16168 0 0 0 160197 1 0 0 20 0 1 0 569672 39034880 3311 33554432000 4194304 7402444 140721249293920 140721249288168 5871069 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3311 799 784 0 2544 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 38120
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3248
/proc/meminfo: memFree=32020948/32770624 swapFree=5848/210984
[pid=3194] ppid=3191 vsize=38120 CPUtime=1661.97 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 16385 0 0 0 166196 1 0 0 20 0 1 0 569672 39034880 3311 33554432000 4194304 7402444 140721249293920 140721249288168 5750503 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3311 799 784 0 2544 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 38120
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3249
/proc/meminfo: memFree=32020756/32770624 swapFree=5848/211016
[pid=3194] ppid=3191 vsize=38120 CPUtime=1721.96 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 16602 0 0 0 172195 1 0 0 20 0 1 0 569672 39034880 3311 33554432000 4194304 7402444 140721249293920 140721249288168 4248926 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3311 799 784 0 2544 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 38120
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3250
/proc/meminfo: memFree=32021000/32770624 swapFree=5848/211056
[pid=3194] ppid=3191 vsize=38120 CPUtime=1781.95 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 16829 0 0 0 178194 1 0 0 20 0 1 0 569672 39034880 3311 33554432000 4194304 7402444 140721249293920 140721249288168 5746100 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3311 799 784 0 2544 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 38120
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3251
/proc/meminfo: memFree=32021564/32770624 swapFree=5848/211088
[pid=3194] ppid=3191 vsize=38120 CPUtime=1841.94 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 17048 0 0 0 184193 1 0 0 20 0 1 0 569672 39034880 3312 33554432000 4194304 7402444 140721249293920 140721249288168 5691104 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3312 799 784 0 2544 0
Current children cumulated CPU time (s) 1841.94
Current children cumulated vsize (KiB) 38120
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3252
/proc/meminfo: memFree=32021116/32770624 swapFree=5848/211136
[pid=3194] ppid=3191 vsize=38120 CPUtime=1901.93 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 17266 0 0 0 190192 1 0 0 20 0 1 0 569672 39034880 3312 33554432000 4194304 7402444 140721249293920 140721249288168 4746995 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3312 799 784 0 2544 0
Current children cumulated CPU time (s) 1901.93
Current children cumulated vsize (KiB) 38120
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/243 3253
/proc/meminfo: memFree=32021324/32770624 swapFree=5848/211168
[pid=3194] ppid=3191 vsize=38120 CPUtime=1961.92 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 17490 0 0 0 196191 1 0 0 20 0 1 0 569672 39034880 3314 33554432000 4194304 7402444 140721249293920 140721249288168 5871010 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3314 799 784 0 2544 0
Current children cumulated CPU time (s) 1961.92
Current children cumulated vsize (KiB) 38120
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/243 3254
/proc/meminfo: memFree=32021568/32770624 swapFree=5848/211204
[pid=3194] ppid=3191 vsize=38120 CPUtime=2021.91 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 17711 0 0 0 202190 1 0 0 20 0 1 0 569672 39034880 3314 33554432000 4194304 7402444 140721249293920 140721249288168 5726770 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3314 799 784 0 2544 0
Current children cumulated CPU time (s) 2021.91
Current children cumulated vsize (KiB) 38120
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 3255
/proc/meminfo: memFree=32021540/32770624 swapFree=5848/211248
[pid=3194] ppid=3191 vsize=38120 CPUtime=2081.9 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 17933 0 0 0 208189 1 0 0 20 0 1 0 569672 39034880 3315 33554432000 4194304 7402444 140721249293920 140721249288168 4378934 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3315 799 784 0 2544 0
Current children cumulated CPU time (s) 2081.9
Current children cumulated vsize (KiB) 38120
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/243 3256
/proc/meminfo: memFree=32021868/32770624 swapFree=5848/211280
[pid=3194] ppid=3191 vsize=38120 CPUtime=2141.88 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 18155 0 0 0 214187 1 0 0 20 0 1 0 569672 39034880 3315 33554432000 4194304 7402444 140721249293920 140721249288168 140710589997554 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3315 799 784 0 2544 0
Current children cumulated CPU time (s) 2141.88
Current children cumulated vsize (KiB) 38120
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.01 3/244 3265
/proc/meminfo: memFree=32021048/32770624 swapFree=5848/211308
[pid=3194] ppid=3191 vsize=38120 CPUtime=2201.88 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 18378 0 0 0 220187 1 0 0 20 0 1 0 569672 39034880 3315 33554432000 4194304 7402444 140721249293920 140721249288168 4747338 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3315 799 784 0 2544 0
Current children cumulated CPU time (s) 2201.88
Current children cumulated vsize (KiB) 38120
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/244 3266
/proc/meminfo: memFree=32021480/32770624 swapFree=5848/211332
[pid=3194] ppid=3191 vsize=38120 CPUtime=2261.86 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 18599 0 0 0 226185 1 0 0 20 0 1 0 569672 39034880 3316 33554432000 4194304 7402444 140721249293920 140721249288168 4238492 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3316 799 784 0 2544 0
Current children cumulated CPU time (s) 2261.86
Current children cumulated vsize (KiB) 38120
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/244 3267
/proc/meminfo: memFree=32021292/32770624 swapFree=5848/211380
[pid=3194] ppid=3191 vsize=38120 CPUtime=2321.85 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 18824 0 0 0 232184 1 0 0 20 0 1 0 569672 39034880 3316 33554432000 4194304 7402444 140721249293920 140721249288168 4377858 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3316 799 784 0 2544 0
Current children cumulated CPU time (s) 2321.85
Current children cumulated vsize (KiB) 38120
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/244 3268
/proc/meminfo: memFree=32020412/32770624 swapFree=5848/211412
[pid=3194] ppid=3191 vsize=38120 CPUtime=2381.84 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 19051 0 0 0 238183 1 0 0 20 0 1 0 569672 39034880 3319 33554432000 4194304 7402444 140721249293920 140721249288168 4361450 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3319 799 784 0 2544 0
Current children cumulated CPU time (s) 2381.84
Current children cumulated vsize (KiB) 38120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.01 3/244 3466
/proc/meminfo: memFree=31929488/32770624 swapFree=5848/211516
[pid=3194] ppid=3191 vsize=38120 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 19268 0 0 0 240002 1 0 0 20 0 1 0 569672 39034880 3319 33554432000 4194304 7402444 140721249293920 140721249288168 4490426 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3319 799 784 0 2544 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 38120
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 3194 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.01 3/244 3466
/proc/meminfo: memFree=31929488/32770624 swapFree=5848/211516
[pid=3194] ppid=3191 vsize=38120 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/3194/stat : 3194 (MistralXCSP) R 3191 3194 2458 0 -1 4202496 19268 0 0 0 240002 1 0 0 20 0 1 0 569672 39034880 3319 33554432000 4194304 7402444 140721249293920 140721249288168 4490426 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39473152 140721249297576 140721249297726 140721249297726 140721249300425 0
/proc/3194/statm: 9530 3319 799 784 0 2544 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 38120
Child status: 0
Real time (s): 2400.5
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.010997
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 38120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.010997
maximum resident set size= 13300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19300
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= 12
involuntary context switches= 120709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6723 second user time and 10.2972 second system time
The end