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-4242742-1500660218/watcher-4242742-1500660218 -o /tmp/evaluation-result-4242742-1500660218/solver-4242742-1500660218 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9858 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1853614431 HOME/instance-4242742-1500660218.xml
pid=11284
running on 8 cores: 0,2,4,6,8,10,12,14
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.01 2.02 2.05 3/243 11287
/proc/meminfo: memFree=31542636/32770624 swapFree=5960/191520
[pid=11287] ppid=11284 vsize=29200 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 1075 0 0 0 0 0 0 0 20 0 1 0 1286695 29900800 868 33554432000 4194304 7402444 140726349582032 140726349581224 5888682 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 7300 868 620 784 0 314 0
[startup+0.100174 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11287
/proc/meminfo: memFree=31542636/32770624 swapFree=5960/191520
[pid=11287] ppid=11284 vsize=29932 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 1303 0 0 0 9 0 0 0 20 0 1 0 1286695 30650368 1081 33554432000 4194304 7402444 140726349582032 140726349575272 6143905 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 7483 1081 631 784 0 497 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29932
[startup+0.200293 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11287
/proc/meminfo: memFree=31542636/32770624 swapFree=5960/191520
[pid=11287] ppid=11284 vsize=31744 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 1862 0 0 0 19 0 0 0 20 0 1 0 1286695 32505856 1352 33554432000 4194304 7402444 140726349582032 140726349575272 6143894 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 7936 1352 631 784 0 950 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31744
[startup+0.300271 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11287
/proc/meminfo: memFree=31542636/32770624 swapFree=5960/191520
[pid=11287] ppid=11284 vsize=84116 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 15042 0 0 0 27 2 0 0 20 0 1 0 1286695 86134784 14485 33554432000 4194304 7402444 140726349582032 140726349573528 140046090233760 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 21029 14485 656 784 0 14043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84116
[startup+0.700275 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11287
/proc/meminfo: memFree=31542636/32770624 swapFree=5960/191520
[pid=11287] ppid=11284 vsize=255696 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 58405 0 0 0 62 7 0 0 20 0 1 0 1286695 261832704 57602 33554432000 4194304 7402444 140726349582032 140726349577384 4484726 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 63924 57602 745 784 0 56938 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 255696
[startup+1.50027 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11288
/proc/meminfo: memFree=31312644/32770624 swapFree=5960/191364
[pid=11287] ppid=11284 vsize=258992 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 59242 0 0 0 142 7 0 0 20 0 1 0 1286695 265207808 58460 33554432000 4194304 7402444 140726349582032 140726349576568 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 64748 58460 765 784 0 57762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 258992
[startup+3.10028 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11288
/proc/meminfo: memFree=31310724/32770624 swapFree=5960/191364
[pid=11287] ppid=11284 vsize=259652 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 94021 0 0 0 300 9 0 0 20 0 1 0 1286695 265883648 58673 33554432000 4194304 7402444 140726349582032 140726349576568 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 64913 58673 765 784 0 57927 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 259652
[startup+6.30027 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11288
/proc/meminfo: memFree=31304412/32770624 swapFree=5960/191364
[pid=11287] ppid=11284 vsize=264464 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 133051 0 0 0 618 10 0 0 20 0 1 0 1286695 270811136 59868 33554432000 4194304 7402444 140726349582032 140726349576568 4484555 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66116 59868 765 784 0 59130 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 264464
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11288
/proc/meminfo: memFree=31304204/32770624 swapFree=5960/191444
[pid=11287] ppid=11284 vsize=264464 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 170196 0 0 0 1256 12 0 0 20 0 1 0 1286695 270811136 59868 33554432000 4194304 7402444 140726349582032 140726349576568 4484377 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66116 59868 765 784 0 59130 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 264464
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11288
/proc/meminfo: memFree=31304204/32770624 swapFree=5960/191444
[pid=11287] ppid=11284 vsize=264464 CPUtime=25.47 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 243572 0 0 0 2533 14 0 0 20 0 1 0 1286695 270811136 59868 33554432000 4194304 7402444 140726349582032 140726349576568 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66116 59868 765 784 0 59130 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 264464
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11288
/proc/meminfo: memFree=31304088/32770624 swapFree=5960/191464
[pid=11287] ppid=11284 vsize=264464 CPUtime=51.06 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 281055 0 0 0 5090 16 0 0 20 0 1 0 1286695 270811136 59868 33554432000 4194304 7402444 140726349582032 140726349576568 4342254 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66116 59868 765 784 0 59130 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 264464
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11289
/proc/meminfo: memFree=31303892/32770624 swapFree=5960/191512
[pid=11287] ppid=11284 vsize=264596 CPUtime=102.25 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 318154 0 0 0 10207 18 0 0 20 0 1 0 1286695 270946304 59893 33554432000 4194304 7402444 140726349582032 140726349576568 5750484 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66149 59893 765 784 0 59163 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 264596
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11290
/proc/meminfo: memFree=31303744/32770624 swapFree=5960/191548
[pid=11287] ppid=11284 vsize=264860 CPUtime=162.2 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 355358 0 0 0 16200 20 0 0 20 0 1 0 1286695 271216640 59961 33554432000 4194304 7402444 140726349582032 140726349576568 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66215 59961 765 784 0 59229 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 264860
[startup+222.308 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11363
/proc/meminfo: memFree=31501256/32770624 swapFree=5960/191524
[pid=11287] ppid=11284 vsize=265124 CPUtime=222.17 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 390610 0 0 0 22194 23 0 0 20 0 1 0 1286695 271486976 60027 33554432000 4194304 7402444 140726349582032 140726349576504 4238492 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66281 60027 765 784 0 59295 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 265124
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11364
/proc/meminfo: memFree=31496876/32770624 swapFree=5960/191560
[pid=11287] ppid=11284 vsize=265388 CPUtime=282.11 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 410458 0 0 0 28187 24 0 0 20 0 1 0 1286695 271757312 60092 33554432000 4194304 7402444 140726349582032 140726349576568 4306501 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66347 60092 765 784 0 59361 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 265388
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11365
/proc/meminfo: memFree=31493016/32770624 swapFree=5960/191592
[pid=11287] ppid=11284 vsize=265784 CPUtime=342.07 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 414731 0 0 0 34183 24 0 0 20 0 1 0 1286695 272162816 60174 33554432000 4194304 7402444 140726349582032 140726349576568 4484798 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66446 60174 765 784 0 59460 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 265784
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11373
/proc/meminfo: memFree=31493516/32770624 swapFree=5960/191644
[pid=11287] ppid=11284 vsize=265916 CPUtime=402.04 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 415526 0 0 0 40180 24 0 0 20 0 1 0 1286695 272297984 60219 33554432000 4194304 7402444 140726349582032 140726349576568 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66479 60219 765 784 0 59493 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 265916
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11374
/proc/meminfo: memFree=31493740/32770624 swapFree=5960/191676
[pid=11287] ppid=11284 vsize=265916 CPUtime=462.01 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 416332 0 0 0 46177 24 0 0 20 0 1 0 1286695 272297984 60234 33554432000 4194304 7402444 140726349582032 140726349576568 5750450 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66479 60234 765 784 0 59493 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 265916
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11375
/proc/meminfo: memFree=31493084/32770624 swapFree=5960/191716
[pid=11287] ppid=11284 vsize=265916 CPUtime=521.98 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 417187 0 0 0 52174 24 0 0 20 0 1 0 1286695 272297984 60242 33554432000 4194304 7402444 140726349582032 140726349576568 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66479 60242 765 784 0 59493 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 265916
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 11376
/proc/meminfo: memFree=31493152/32770624 swapFree=5960/191744
[pid=11287] ppid=11284 vsize=265916 CPUtime=581.96 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 418080 0 0 0 58172 24 0 0 20 0 1 0 1286695 272297984 60245 33554432000 4194304 7402444 140726349582032 140726349576568 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66479 60245 765 784 0 59493 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 265916
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 11401
/proc/meminfo: memFree=31486984/32770624 swapFree=5960/192348
[pid=11287] ppid=11284 vsize=266048 CPUtime=1541.58 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 427984 0 0 0 154133 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4319949 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 266048
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 11410
/proc/meminfo: memFree=31486972/32770624 swapFree=5960/192396
[pid=11287] ppid=11284 vsize=266048 CPUtime=1601.55 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 428491 0 0 0 160130 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 266048
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 11411
/proc/meminfo: memFree=31485920/32770624 swapFree=5960/192436
[pid=11287] ppid=11284 vsize=266048 CPUtime=1661.54 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 428986 0 0 0 166129 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 5750450 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 266048
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 11412
/proc/meminfo: memFree=31485392/32770624 swapFree=5960/192468
[pid=11287] ppid=11284 vsize=266048 CPUtime=1721.52 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 429408 0 0 0 172127 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4306487 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 266048
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 11413
/proc/meminfo: memFree=31484788/32770624 swapFree=5960/192500
[pid=11287] ppid=11284 vsize=266048 CPUtime=1781.5 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 429913 0 0 0 178125 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4238508 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (KiB) 266048
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11414
/proc/meminfo: memFree=31485648/32770624 swapFree=5960/192536
[pid=11287] ppid=11284 vsize=266048 CPUtime=1841.48 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 430411 0 0 0 184123 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 5750469 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 1841.48
Current children cumulated vsize (KiB) 266048
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11415
/proc/meminfo: memFree=31485772/32770624 swapFree=5960/192576
[pid=11287] ppid=11284 vsize=266048 CPUtime=1901.46 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 430914 0 0 0 190121 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 5750464 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 1901.46
Current children cumulated vsize (KiB) 266048
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11416
/proc/meminfo: memFree=31486204/32770624 swapFree=5960/192612
[pid=11287] ppid=11284 vsize=266048 CPUtime=1961.43 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 431420 0 0 0 196118 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 5750725 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 1961.43
Current children cumulated vsize (KiB) 266048
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11417
/proc/meminfo: memFree=31486172/32770624 swapFree=5960/192644
[pid=11287] ppid=11284 vsize=266048 CPUtime=2021.42 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 431915 0 0 0 202117 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4319879 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 2021.42
Current children cumulated vsize (KiB) 266048
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11418
/proc/meminfo: memFree=31484832/32770624 swapFree=5960/192680
[pid=11287] ppid=11284 vsize=266048 CPUtime=2081.4 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 432422 0 0 0 208115 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 2081.4
Current children cumulated vsize (KiB) 266048
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11419
/proc/meminfo: memFree=31485340/32770624 swapFree=5960/192708
[pid=11287] ppid=11284 vsize=266048 CPUtime=2141.37 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 432929 0 0 0 214112 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 5750489 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 2141.37
Current children cumulated vsize (KiB) 266048
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11427
/proc/meminfo: memFree=31484876/32770624 swapFree=5960/192760
[pid=11287] ppid=11284 vsize=266048 CPUtime=2201.36 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 433422 0 0 0 220111 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 5750735 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 2201.36
Current children cumulated vsize (KiB) 266048
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11428
/proc/meminfo: memFree=31484272/32770624 swapFree=5960/192796
[pid=11287] ppid=11284 vsize=266048 CPUtime=2261.34 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 433916 0 0 0 226109 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4484606 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 2261.34
Current children cumulated vsize (KiB) 266048
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11429
/proc/meminfo: memFree=31484484/32770624 swapFree=5960/192832
[pid=11287] ppid=11284 vsize=266048 CPUtime=2321.32 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 434414 0 0 0 232107 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4484602 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 2321.32
Current children cumulated vsize (KiB) 266048
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11430
/proc/meminfo: memFree=31484732/32770624 swapFree=5960/192868
[pid=11287] ppid=11284 vsize=266048 CPUtime=2381.29 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 434926 0 0 0 238104 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4747166 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 2381.29
Current children cumulated vsize (KiB) 266048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11431
/proc/meminfo: memFree=31484684/32770624 swapFree=5960/192868
[pid=11287] ppid=11284 vsize=266048 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 435405 0 0 0 239984 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 266048
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 11287 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11431
/proc/meminfo: memFree=31484684/32770624 swapFree=5960/192868
[pid=11287] ppid=11284 vsize=266048 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/11287/stat : 11287 (MistralXCSP) R 11284 11287 9826 0 -1 4202496 435405 0 0 0 239984 25 0 0 20 0 1 0 1286695 272433152 60284 33554432000 4194304 7402444 140726349582032 140726349577048 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31907840 140726349587624 140726349587774 140726349587774 140726349590473 0
/proc/11287/statm: 66512 60284 767 784 0 59526 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 266048
Child status: 0
Real time (s): 2401.1
CPU time (s): 2400.1
CPU user time (s): 2399.84
CPU system time (s): 0.255898
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 266048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.84
system time used= 0.255898
maximum resident set size= 241160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435449
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= 85
involuntary context switches= 120693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.32863 second user time and 12.321 second system time
The end