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-4242745-1500660221/watcher-4242745-1500660221 -o /tmp/evaluation-result-4242745-1500660221/solver-4242745-1500660221 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500648178-9856 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2103734610 HOME/instance-4242745-1500660221.xml
pid=11626
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: 2.01 2.02 2.05 2/243 11629
/proc/meminfo: memFree=31924352/32770624 swapFree=5920/191096
[pid=11629] ppid=11626 vsize=29728 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 1200 0 0 0 1 0 0 0 20 0 1 0 1291059 30441472 1000 33554432000 4194304 7402444 140736213808448 140736213803208 140237194095589 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 7432 1000 620 784 0 446 0
[startup+0.100122 s]
/proc/loadavg: 2.01 2.02 2.05 2/243 11629
/proc/meminfo: memFree=31924352/32770624 swapFree=5920/191096
[pid=11629] ppid=11626 vsize=30848 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 1521 0 0 0 9 0 0 0 20 0 1 0 1291059 31588352 1278 33554432000 4194304 7402444 140736213808448 140736213799688 140237194095589 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 7712 1278 631 784 0 726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30848
[startup+0.200262 s]
/proc/loadavg: 2.01 2.02 2.05 2/243 11629
/proc/meminfo: memFree=31924352/32770624 swapFree=5920/191096
[pid=11629] ppid=11626 vsize=31760 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 1851 0 0 0 19 0 0 0 20 0 1 0 1291059 32522240 1521 33554432000 4194304 7402444 140736213808448 140736213801688 5888963 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 7940 1521 631 784 0 954 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31760
[startup+0.300214 s]
/proc/loadavg: 2.01 2.02 2.05 2/243 11629
/proc/meminfo: memFree=31924352/32770624 swapFree=5920/191096
[pid=11629] ppid=11626 vsize=33188 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 2321 0 0 0 29 0 0 0 20 0 1 0 1291059 33984512 1811 33554432000 4194304 7402444 140736213808448 140736213801688 140237194533888 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 8297 1811 631 784 0 1311 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33188
[startup+0.700181 s]
/proc/loadavg: 2.01 2.02 2.05 2/243 11629
/proc/meminfo: memFree=31924352/32770624 swapFree=5920/191096
[pid=11629] ppid=11626 vsize=37364 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3836 0 0 0 68 1 0 0 20 0 1 0 1291059 38260736 2919 33554432000 4194304 7402444 140736213808448 140736213801688 140237194095589 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 9341 2919 631 784 0 2355 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37364
[startup+1.50026 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11630
/proc/meminfo: memFree=31753652/32770624 swapFree=5920/191168
[pid=11629] ppid=11626 vsize=442944 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 103255 0 0 0 138 11 0 0 20 0 1 0 1291059 453574656 104144 33554432000 4194304 7402444 140736213808448 140736213799944 140237194143648 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 110736 104144 657 784 0 103750 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 442944
[startup+3.10026 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11630
/proc/meminfo: memFree=31078468/32770624 swapFree=5920/191132
[pid=11629] ppid=11626 vsize=1427252 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 348489 0 0 0 269 40 0 0 20 0 1 0 1291059 1461506048 350146 33554432000 4194304 7402444 140736213808448 140736213799528 5754178 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 356813 350146 657 784 0 349827 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1427252
[startup+6.30023 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11630
/proc/meminfo: memFree=30165728/32770624 swapFree=5920/191140
[pid=11629] ppid=11626 vsize=1794700 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 441851 0 0 0 579 50 0 0 20 0 1 0 1291059 1837772800 442312 33554432000 4194304 7402444 140736213808448 140736213799208 4731632 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 448675 442312 673 784 0 441689 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1794700
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11630
/proc/meminfo: memFree=30118904/32770624 swapFree=5920/191148
[pid=11629] ppid=11626 vsize=1826452 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 631398 0 0 0 1210 59 0 0 20 0 1 0 1291059 1870286848 450364 33554432000 4194304 7402444 140736213808448 140736213803080 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 456613 450364 765 784 0 449627 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1826452
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11630
/proc/meminfo: memFree=30118528/32770624 swapFree=5920/191160
[pid=11629] ppid=11626 vsize=1826452 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 947203 0 0 0 2475 73 0 0 20 0 1 0 1291059 1870286848 450370 33554432000 4194304 7402444 140736213808448 140736213803080 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 456613 450370 765 784 0 449627 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1826452
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11630
/proc/meminfo: memFree=30118644/32770624 swapFree=5920/191180
[pid=11629] ppid=11626 vsize=1826452 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 1206179 0 0 0 5023 83 0 0 20 0 1 0 1291059 1870286848 450370 33554432000 4194304 7402444 140736213808448 140736213803080 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 456613 450370 765 784 0 449627 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1826452
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11631
/proc/meminfo: memFree=30118452/32770624 swapFree=5920/191212
[pid=11629] ppid=11626 vsize=1826848 CPUtime=102.24 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 1535519 0 0 0 10126 98 0 0 20 0 1 0 1291059 1870692352 450468 33554432000 4194304 7402444 140736213808448 140736213802984 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 456712 450468 765 784 0 449726 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1826848
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11632
/proc/meminfo: memFree=30117352/32770624 swapFree=5920/191236
[pid=11629] ppid=11626 vsize=1828432 CPUtime=162.19 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 1789112 0 0 0 16109 110 0 0 20 0 1 0 1291059 1872314368 450872 33554432000 4194304 7402444 140736213808448 140736213802984 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 457108 450872 765 784 0 450122 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 1828432
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11633
/proc/meminfo: memFree=30114900/32770624 swapFree=5920/191264
[pid=11629] ppid=11626 vsize=1831600 CPUtime=222.17 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 2023980 0 0 0 22096 121 0 0 20 0 1 0 1291059 1875558400 451669 33554432000 4194304 7402444 140736213808448 140736213802984 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 457900 451669 765 784 0 450914 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 1831600
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11634
/proc/meminfo: memFree=30115820/32770624 swapFree=5920/191288
[pid=11629] ppid=11626 vsize=1831600 CPUtime=282.13 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 2240638 0 0 0 28082 131 0 0 20 0 1 0 1291059 1875558400 451669 33554432000 4194304 7402444 140736213808448 140736213802984 5750730 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 457900 451669 765 784 0 450914 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 1831600
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11635
/proc/meminfo: memFree=30115360/32770624 swapFree=5920/191324
[pid=11629] ppid=11626 vsize=1831600 CPUtime=342.09 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 2459690 0 0 0 34068 141 0 0 20 0 1 0 1291059 1875558400 451669 33554432000 4194304 7402444 140736213808448 140736213802984 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 457900 451669 765 784 0 450914 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 1831600
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/245 11645
/proc/meminfo: memFree=30101872/32770624 swapFree=5920/191332
[pid=11629] ppid=11626 vsize=1844452 CPUtime=402.04 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 2644399 0 0 0 40055 149 0 0 20 0 1 0 1291059 1888718848 454883 33554432000 4194304 7402444 140736213808448 140736213802984 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 461113 454883 765 784 0 454127 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 1844452
[startup+462.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/245 11646
/proc/meminfo: memFree=30102440/32770624 swapFree=5920/191360
[pid=11629] ppid=11626 vsize=1844452 CPUtime=462.01 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 2818977 0 0 0 46045 156 0 0 20 0 1 0 1291059 1888718848 454883 33554432000 4194304 7402444 140736213808448 140736213802984 4484598 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 461113 454883 765 784 0 454127 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 1844452
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/245 11647
/proc/meminfo: memFree=30102504/32770624 swapFree=5920/191384
[pid=11629] ppid=11626 vsize=1844452 CPUtime=521.97 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 2988135 0 0 0 52034 163 0 0 20 0 1 0 1291059 1888718848 454883 33554432000 4194304 7402444 140736213808448 140736213802984 5327250 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 461113 454883 765 784 0 454127 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 1844452
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 11648
/proc/meminfo: memFree=30102904/32770624 swapFree=5920/191412
[pid=11629] ppid=11626 vsize=1844452 CPUtime=581.93 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3140861 0 0 0 58023 170 0 0 20 0 1 0 1291059 1888718848 454883 33554432000 4194304 7402444 140736213808448 140736213802984 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 461113 454883 765 784 0 454127 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 1844452
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 11672
/proc/meminfo: memFree=30094548/32770624 swapFree=5920/191860
[pid=11629] ppid=11626 vsize=1852108 CPUtime=1481.44 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3843211 0 0 0 147942 202 0 0 20 0 1 0 1291059 1896558592 456793 33554432000 4194304 7402444 140736213808448 140736213802984 4484562 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463027 456793 765 784 0 456041 0
Current children cumulated CPU time (s) 1481.44
Current children cumulated vsize (KiB) 1852108
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11673
/proc/meminfo: memFree=30094468/32770624 swapFree=5920/191892
[pid=11629] ppid=11626 vsize=1852108 CPUtime=1541.41 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3844536 0 0 0 153939 202 0 0 20 0 1 0 1291059 1896558592 456793 33554432000 4194304 7402444 140736213808448 140736213802984 5754032 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463027 456793 765 784 0 456041 0
Current children cumulated CPU time (s) 1541.41
Current children cumulated vsize (KiB) 1852108
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11681
/proc/meminfo: memFree=30094072/32770624 swapFree=5920/191932
[pid=11629] ppid=11626 vsize=1852108 CPUtime=1601.37 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3845812 0 0 0 159935 202 0 0 20 0 1 0 1291059 1896558592 456793 33554432000 4194304 7402444 140736213808448 140736213802984 5750735 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463027 456793 765 784 0 456041 0
Current children cumulated CPU time (s) 1601.37
Current children cumulated vsize (KiB) 1852108
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11682
/proc/meminfo: memFree=30094276/32770624 swapFree=5920/191956
[pid=11629] ppid=11626 vsize=1852108 CPUtime=1661.34 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3846886 0 0 0 165932 202 0 0 20 0 1 0 1291059 1896558592 456793 33554432000 4194304 7402444 140736213808448 140736213802984 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463027 456793 765 784 0 456041 0
Current children cumulated CPU time (s) 1661.34
Current children cumulated vsize (KiB) 1852108
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11683
/proc/meminfo: memFree=30094276/32770624 swapFree=5920/191988
[pid=11629] ppid=11626 vsize=1852108 CPUtime=1721.31 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3848067 0 0 0 171929 202 0 0 20 0 1 0 1291059 1896558592 456793 33554432000 4194304 7402444 140736213808448 140736213802984 4484571 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463027 456793 765 784 0 456041 0
Current children cumulated CPU time (s) 1721.31
Current children cumulated vsize (KiB) 1852108
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11684
/proc/meminfo: memFree=30093740/32770624 swapFree=5920/192016
[pid=11629] ppid=11626 vsize=1852108 CPUtime=1781.27 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3849789 0 0 0 177925 202 0 0 20 0 1 0 1291059 1896558592 456793 33554432000 4194304 7402444 140736213808448 140736213802984 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463027 456793 765 784 0 456041 0
Current children cumulated CPU time (s) 1781.27
Current children cumulated vsize (KiB) 1852108
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11685
/proc/meminfo: memFree=30093584/32770624 swapFree=5920/192056
[pid=11629] ppid=11626 vsize=1852108 CPUtime=1841.24 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3851279 0 0 0 183922 202 0 0 20 0 1 0 1291059 1896558592 456793 33554432000 4194304 7402444 140736213808448 140736213802984 5754000 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463027 456793 765 784 0 456041 0
Current children cumulated CPU time (s) 1841.24
Current children cumulated vsize (KiB) 1852108
[startup+1902.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11686
/proc/meminfo: memFree=30094056/32770624 swapFree=5920/192084
[pid=11629] ppid=11626 vsize=1852108 CPUtime=1901.22 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3852967 0 0 0 189919 203 0 0 20 0 1 0 1291059 1896558592 456793 33554432000 4194304 7402444 140736213808448 140736213802984 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463027 456793 765 784 0 456041 0
Current children cumulated CPU time (s) 1901.22
Current children cumulated vsize (KiB) 1852108
[startup+1962.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 11687
/proc/meminfo: memFree=30094016/32770624 swapFree=5920/192112
[pid=11629] ppid=11626 vsize=1852108 CPUtime=1961.19 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3854284 0 0 0 195916 203 0 0 20 0 1 0 1291059 1896558592 456793 33554432000 4194304 7402444 140736213808448 140736213802984 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463027 456793 765 784 0 456041 0
Current children cumulated CPU time (s) 1961.19
Current children cumulated vsize (KiB) 1852108
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11688
/proc/meminfo: memFree=30093176/32770624 swapFree=5920/192116
[pid=11629] ppid=11626 vsize=1852636 CPUtime=2021.16 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3859610 0 0 0 201913 203 0 0 20 0 1 0 1291059 1897099264 456916 33554432000 4194304 7402444 140736213808448 140736213802760 5696137 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463159 456916 765 784 0 456173 0
Current children cumulated CPU time (s) 2021.16
Current children cumulated vsize (KiB) 1852636
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11689
/proc/meminfo: memFree=30093384/32770624 swapFree=5920/192140
[pid=11629] ppid=11626 vsize=1852636 CPUtime=2081.13 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3862945 0 0 0 207910 203 0 0 20 0 1 0 1291059 1897099264 456916 33554432000 4194304 7402444 140736213808448 140736213802760 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463159 456916 765 784 0 456173 0
Current children cumulated CPU time (s) 2081.13
Current children cumulated vsize (KiB) 1852636
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11690
/proc/meminfo: memFree=30093260/32770624 swapFree=5920/192176
[pid=11629] ppid=11626 vsize=1852636 CPUtime=2141.1 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3866243 0 0 0 213906 204 0 0 20 0 1 0 1291059 1897099264 456916 33554432000 4194304 7402444 140736213808448 140736213802760 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463159 456916 765 784 0 456173 0
Current children cumulated CPU time (s) 2141.1
Current children cumulated vsize (KiB) 1852636
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 11699
/proc/meminfo: memFree=30092000/32770624 swapFree=5920/192212
[pid=11629] ppid=11626 vsize=1852636 CPUtime=2201.07 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3869646 0 0 0 219903 204 0 0 20 0 1 0 1291059 1897099264 456929 33554432000 4194304 7402444 140736213808448 140736213802760 5750455 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463159 456929 765 784 0 456173 0
Current children cumulated CPU time (s) 2201.07
Current children cumulated vsize (KiB) 1852636
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11700
/proc/meminfo: memFree=30092132/32770624 swapFree=5920/192240
[pid=11629] ppid=11626 vsize=1852636 CPUtime=2261.03 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3871594 0 0 0 225898 205 0 0 20 0 1 0 1291059 1897099264 456929 33554432000 4194304 7402444 140736213808448 140736213802760 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463159 456929 765 784 0 456173 0
Current children cumulated CPU time (s) 2261.03
Current children cumulated vsize (KiB) 1852636
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11701
/proc/meminfo: memFree=30092000/32770624 swapFree=5920/192264
[pid=11629] ppid=11626 vsize=1852768 CPUtime=2321 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3876362 0 0 0 231895 205 0 0 20 0 1 0 1291059 1897234432 456940 33554432000 4194304 7402444 140736213808448 140736213802984 5753888 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463192 456940 765 784 0 456206 0
Current children cumulated CPU time (s) 2321
Current children cumulated vsize (KiB) 1852768
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11702
/proc/meminfo: memFree=30090612/32770624 swapFree=5920/192288
[pid=11629] ppid=11626 vsize=1853824 CPUtime=2380.98 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3880207 0 0 0 237892 206 0 0 20 0 1 0 1291059 1898315776 457197 33554432000 4194304 7402444 140736213808448 140736213802984 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463456 457197 765 784 0 456470 0
Current children cumulated CPU time (s) 2380.98
Current children cumulated vsize (KiB) 1853824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.41 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11768
/proc/meminfo: memFree=30120420/32770624 swapFree=5920/192320
[pid=11629] ppid=11626 vsize=1853824 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/11629/stat : 11629 (MistralXCSP) R 11626 11629 9824 0 -1 4202496 3880465 0 0 0 239801 206 0 0 20 0 1 0 1291059 1898315776 457197 33554432000 4194304 7402444 140736213808448 140736213802984 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 9920512 140736213812392 140736213812542 140736213812542 140736213815241 0
/proc/11629/statm: 463456 457197 765 784 0 456470 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 1853824
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 11629 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2401.41
CPU time (s): 2400.09
CPU user time (s): 2398.02
CPU system time (s): 2.06692
CPU usage (%): 99.9447
Max. virtual memory (cumulated for all children) (KiB): 1853824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.02
system time used= 2.06692
maximum resident set size= 1828812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3880494
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= 105
involuntary context switches= 120758
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4533 second user time and 9.41277 second system time
The end