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-4241183-1500650579/watcher-4241183-1500650579 -o /tmp/evaluation-result-4241183-1500650579/solver-4241183-1500650579 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500648174-9873 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 435707687 HOME/instance-4241183-1500650579.xml
pid=10135
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: 1.84 1.98 1.86 2/243 10138
/proc/meminfo: memFree=32036392/32770624 swapFree=5956/184424
[pid=10138] ppid=10135 vsize=28672 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 864 0 0 0 0 0 0 0 20 0 1 0 324612 29360128 670 33554432000 4194304 7402444 140736172743104 140736172740152 140696032847328 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 7168 670 525 784 0 182 0
[startup+0.10012 s]
/proc/loadavg: 1.84 1.98 1.86 2/243 10138
/proc/meminfo: memFree=32036392/32770624 swapFree=5956/184424
[pid=10138] ppid=10135 vsize=28992 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 1016 0 0 0 9 0 0 0 20 0 1 0 324612 29687808 802 33554432000 4194304 7402444 140736172743104 140736172736344 6143796 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 7248 802 631 784 0 262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28992
[startup+0.200307 s]
/proc/loadavg: 1.84 1.98 1.86 2/243 10138
/proc/meminfo: memFree=32036392/32770624 swapFree=5956/184424
[pid=10138] ppid=10135 vsize=29244 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 1191 0 0 0 18 0 0 0 20 0 1 0 324612 29945856 1010 33554432000 4194304 7402444 140736172743104 140736172733800 6030430 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 7311 1010 727 784 0 325 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 29244
[startup+0.300271 s]
/proc/loadavg: 1.84 1.98 1.86 2/243 10138
/proc/meminfo: memFree=32036392/32770624 swapFree=5956/184424
[pid=10138] ppid=10135 vsize=29632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 1302 0 0 0 28 0 0 0 20 0 1 0 324612 30343168 1108 33554432000 4194304 7402444 140736172743104 140736172733800 140696015666149 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 7408 1108 728 784 0 422 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29632
[startup+0.700242 s]
/proc/loadavg: 1.84 1.98 1.86 2/243 10138
/proc/meminfo: memFree=32036392/32770624 swapFree=5956/184424
[pid=10138] ppid=10135 vsize=31392 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 1729 0 0 0 68 0 0 0 20 0 1 0 324612 32145408 1549 33554432000 4194304 7402444 140736172743104 140736172733992 6057900 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 7848 1549 728 784 0 862 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 31392
[startup+1.50023 s]
/proc/loadavg: 1.84 1.98 1.86 3/244 10139
/proc/meminfo: memFree=32025336/32770624 swapFree=5956/184880
[pid=10138] ppid=10135 vsize=34732 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 2654 0 0 0 148 0 0 0 20 0 1 0 324612 35565568 2396 33554432000 4194304 7402444 140736172743104 140736172733848 140696022153376 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 8683 2396 728 784 0 1697 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34732
[startup+3.10032 s]
/proc/loadavg: 1.84 1.98 1.86 3/244 10139
/proc/meminfo: memFree=32016940/32770624 swapFree=5956/185112
[pid=10138] ppid=10135 vsize=44636 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 7274 0 0 0 308 0 0 0 20 0 1 0 324612 45707264 4860 33554432000 4194304 7402444 140736172743104 140736172733992 140696016413432 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 11159 4860 728 784 0 4173 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44636
[startup+6.30027 s]
/proc/loadavg: 1.78 1.97 1.86 3/244 10139
/proc/meminfo: memFree=31990452/32770624 swapFree=5956/185116
[pid=10138] ppid=10135 vsize=53860 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 10329 0 0 0 627 1 0 0 20 0 1 0 324612 55152640 7136 33554432000 4194304 7402444 140736172743104 140736172733848 6011284 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 13465 7136 728 784 0 6479 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 53860
[startup+12.7003 s]
/proc/loadavg: 1.79 1.97 1.86 3/244 10139
/proc/meminfo: memFree=31884540/32770624 swapFree=5956/185116
[pid=10138] ppid=10135 vsize=126856 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 46554 0 0 0 1264 4 0 0 20 0 1 0 324612 129900544 25444 33554432000 4194304 7402444 140736172743104 140736172737384 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 31714 25444 766 784 0 24728 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 126856
[startup+25.5004 s]
/proc/loadavg: 1.84 1.97 1.86 3/244 10139
/proc/meminfo: memFree=31835444/32770624 swapFree=5956/185128
[pid=10138] ppid=10135 vsize=141356 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 98929 0 0 0 2541 7 0 0 20 0 1 0 324612 144748544 29041 33554432000 4194304 7402444 140736172743104 140736172737384 5750500 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 35339 29041 766 784 0 28353 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 141356
[startup+51.1005 s]
/proc/loadavg: 1.89 1.97 1.86 3/244 10139
/proc/meminfo: memFree=31749948/32770624 swapFree=5956/185144
[pid=10138] ppid=10135 vsize=150596 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 129258 0 0 0 5098 9 0 0 20 0 1 0 324612 154210304 31404 33554432000 4194304 7402444 140736172743104 140736172737384 4747062 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 37649 31404 766 784 0 30663 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 150596
[startup+102.3 s]
/proc/loadavg: 1.95 1.97 1.87 3/244 10140
/proc/meminfo: memFree=31596300/32770624 swapFree=5956/185180
[pid=10138] ppid=10135 vsize=157328 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 160816 0 0 0 10215 11 0 0 20 0 1 0 324612 161103872 33073 33554432000 4194304 7402444 140736172743104 140736172738120 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 39332 33073 766 784 0 32346 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 157328
[startup+162.3 s]
/proc/loadavg: 2.05 2.00 1.88 3/244 10142
/proc/meminfo: memFree=30898852/32770624 swapFree=5956/185224
[pid=10138] ppid=10135 vsize=160232 CPUtime=162.22 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 191831 0 0 0 16210 12 0 0 20 0 1 0 324612 164077568 33782 33554432000 4194304 7402444 140736172743104 140736172737384 5878232 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 40058 33782 766 784 0 33072 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 160232
[startup+222.308 s]
/proc/loadavg: 2.02 2.00 1.89 3/244 10143
/proc/meminfo: memFree=30433756/32770624 swapFree=5956/185260
[pid=10138] ppid=10135 vsize=161024 CPUtime=222.21 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 222834 0 0 0 22207 14 0 0 20 0 1 0 324612 164888576 34008 33554432000 4194304 7402444 140736172743104 140736172738120 5750496 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 40256 34008 766 784 0 33270 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 161024
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/244 10144
/proc/meminfo: memFree=30363160/32770624 swapFree=5956/185308
[pid=10138] ppid=10135 vsize=162608 CPUtime=282.17 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 254257 0 0 0 28202 15 0 0 20 0 1 0 324612 166510592 34392 33554432000 4194304 7402444 140736172743104 140736172737384 5877676 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 40652 34392 766 784 0 33666 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 162608
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/243 10146
/proc/meminfo: memFree=30294416/32770624 swapFree=5956/185340
[pid=10138] ppid=10135 vsize=163136 CPUtime=342.14 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 285558 0 0 0 34198 16 0 0 20 0 1 0 324612 167051264 34507 33554432000 4194304 7402444 140736172743104 140736172737400 5877655 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 40784 34507 766 784 0 33798 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 163136
[startup+402.3 s]
/proc/loadavg: 2.08 2.01 1.91 3/243 10147
/proc/meminfo: memFree=30227896/32770624 swapFree=5956/185372
[pid=10138] ppid=10135 vsize=163400 CPUtime=402.12 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 316888 0 0 0 40194 18 0 0 20 0 1 0 324612 167321600 34588 33554432000 4194304 7402444 140736172743104 140736172737384 5877690 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 40850 34588 766 784 0 33864 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 163400
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 1.92 3/244 10156
/proc/meminfo: memFree=30219664/32770624 swapFree=5956/185404
[pid=10138] ppid=10135 vsize=163400 CPUtime=462.09 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 348169 0 0 0 46189 20 0 0 20 0 1 0 324612 167321600 34614 33554432000 4194304 7402444 140736172743104 140736172737384 5877651 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 40850 34614 766 784 0 33864 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 163400
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/244 10157
/proc/meminfo: memFree=30186828/32770624 swapFree=5956/185432
[pid=10138] ppid=10135 vsize=163532 CPUtime=522.07 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 379475 0 0 0 52185 22 0 0 20 0 1 0 324612 167456768 34622 33554432000 4194304 7402444 140736172743104 140736172737384 4238492 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 40883 34622 766 784 0 33897 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 163532
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/244 10158
/proc/meminfo: memFree=30166292/32770624 swapFree=5956/185456
[pid=10138] ppid=10135 vsize=163532 CPUtime=582.03 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 410800 0 0 0 58181 22 0 0 20 0 1 0 324612 167456768 34651 33554432000 4194304 7402444 140736172743104 140736172737384 5877690 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 40883 34651 766 784 0 33897 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 163532
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 1.97 3/243 10182
/proc/meminfo: memFree=29743552/32770624 swapFree=5956/185908
[pid=10138] ppid=10135 vsize=164588 CPUtime=1541.58 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 823376 0 0 0 154117 41 0 0 20 0 1 0 324612 168538112 34885 33554432000 4194304 7402444 140736172743104 140736172737384 5758845 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41147 34885 766 784 0 34161 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 164588
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10183
/proc/meminfo: memFree=29737184/32770624 swapFree=5956/185940
[pid=10138] ppid=10135 vsize=164720 CPUtime=1601.55 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 824560 0 0 0 160114 41 0 0 20 0 1 0 324612 168673280 34912 33554432000 4194304 7402444 140736172743104 140736172737384 5877644 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41180 34912 766 784 0 34194 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 164720
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/244 10192
/proc/meminfo: memFree=29736356/32770624 swapFree=5956/185976
[pid=10138] ppid=10135 vsize=164720 CPUtime=1661.52 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 825744 0 0 0 166111 41 0 0 20 0 1 0 324612 168673280 34923 33554432000 4194304 7402444 140736172743104 140736172737384 5877540 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41180 34923 766 784 0 34194 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 164720
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/244 10193
/proc/meminfo: memFree=29735868/32770624 swapFree=5956/186000
[pid=10138] ppid=10135 vsize=164720 CPUtime=1721.49 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 826940 0 0 0 172108 41 0 0 20 0 1 0 324612 168673280 34923 33554432000 4194304 7402444 140736172743104 140736172737384 5877690 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41180 34923 766 784 0 34194 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 164720
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/244 10194
/proc/meminfo: memFree=29735404/32770624 swapFree=5956/186028
[pid=10138] ppid=10135 vsize=164720 CPUtime=1781.47 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 828146 0 0 0 178106 41 0 0 20 0 1 0 324612 168673280 34935 33554432000 4194304 7402444 140736172743104 140736172737384 5878600 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41180 34935 766 784 0 34194 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 164720
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 10195
/proc/meminfo: memFree=29735048/32770624 swapFree=5956/186052
[pid=10138] ppid=10135 vsize=164720 CPUtime=1841.44 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 829347 0 0 0 184103 41 0 0 20 0 1 0 324612 168673280 34945 33554432000 4194304 7402444 140736172743104 140736172737384 5878467 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41180 34945 766 784 0 34194 0
Current children cumulated CPU time (s) 1841.44
Current children cumulated vsize (KiB) 164720
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 10196
/proc/meminfo: memFree=29731224/32770624 swapFree=5956/186088
[pid=10138] ppid=10135 vsize=164720 CPUtime=1901.42 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 830561 0 0 0 190101 41 0 0 20 0 1 0 324612 168673280 34949 33554432000 4194304 7402444 140736172743104 140736172737384 5758807 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41180 34949 766 784 0 34194 0
Current children cumulated CPU time (s) 1901.42
Current children cumulated vsize (KiB) 164720
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10198
/proc/meminfo: memFree=29724444/32770624 swapFree=5956/186128
[pid=10138] ppid=10135 vsize=164852 CPUtime=1961.39 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 831780 0 0 0 196098 41 0 0 20 0 1 0 324612 168808448 34949 33554432000 4194304 7402444 140736172743104 140736172737560 4747723 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34949 766 784 0 34227 0
Current children cumulated CPU time (s) 1961.39
Current children cumulated vsize (KiB) 164852
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10199
/proc/meminfo: memFree=29724632/32770624 swapFree=5956/186148
[pid=10138] ppid=10135 vsize=164852 CPUtime=2021.36 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 833001 0 0 0 202095 41 0 0 20 0 1 0 324612 168808448 34956 33554432000 4194304 7402444 140736172743104 140736172737560 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34956 766 784 0 34227 0
Current children cumulated CPU time (s) 2021.36
Current children cumulated vsize (KiB) 164852
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10200
/proc/meminfo: memFree=29725740/32770624 swapFree=5956/186184
[pid=10138] ppid=10135 vsize=164852 CPUtime=2081.35 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 834344 0 0 0 208094 41 0 0 20 0 1 0 324612 168808448 34960 33554432000 4194304 7402444 140736172743104 140736172738120 5750496 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34960 766 784 0 34227 0
Current children cumulated CPU time (s) 2081.35
Current children cumulated vsize (KiB) 164852
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10202
/proc/meminfo: memFree=29725896/32770624 swapFree=5956/186212
[pid=10138] ppid=10135 vsize=164852 CPUtime=2141.31 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 835597 0 0 0 214090 41 0 0 20 0 1 0 324612 168808448 34981 33554432000 4194304 7402444 140736172743104 140736172738120 5758615 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34981 766 784 0 34227 0
Current children cumulated CPU time (s) 2141.31
Current children cumulated vsize (KiB) 164852
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10203
/proc/meminfo: memFree=29725996/32770624 swapFree=5956/186248
[pid=10138] ppid=10135 vsize=164852 CPUtime=2201.29 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 836722 0 0 0 220088 41 0 0 20 0 1 0 324612 168808448 34981 33554432000 4194304 7402444 140736172743104 140736172738120 5878467 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34981 766 784 0 34227 0
Current children cumulated CPU time (s) 2201.29
Current children cumulated vsize (KiB) 164852
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 10212
/proc/meminfo: memFree=29719564/32770624 swapFree=5956/186288
[pid=10138] ppid=10135 vsize=164852 CPUtime=2261.26 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 837990 0 0 0 226085 41 0 0 20 0 1 0 324612 168808448 34982 33554432000 4194304 7402444 140736172743104 140736172738120 4342315 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34982 766 784 0 34227 0
Current children cumulated CPU time (s) 2261.26
Current children cumulated vsize (KiB) 164852
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/245 10236
/proc/meminfo: memFree=29718292/32770624 swapFree=5796/186316
[pid=10138] ppid=10135 vsize=164852 CPUtime=2321.23 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 839164 0 0 0 232082 41 0 0 20 0 1 0 324612 168808448 34982 33554432000 4194304 7402444 140736172743104 140736172738120 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34982 766 784 0 34227 0
Current children cumulated CPU time (s) 2321.23
Current children cumulated vsize (KiB) 164852
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/245 10237
/proc/meminfo: memFree=29713612/32770624 swapFree=5648/186336
[pid=10138] ppid=10135 vsize=164852 CPUtime=2381.21 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 840338 0 0 0 238080 41 0 0 20 0 1 0 324612 168808448 34982 33554432000 4194304 7402444 140736172743104 140736172738120 4747422 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34982 766 784 0 34227 0
Current children cumulated CPU time (s) 2381.21
Current children cumulated vsize (KiB) 164852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.1 s]
/proc/loadavg: 2.04 2.03 1.98 3/245 10237
/proc/meminfo: memFree=29713240/32770624 swapFree=5648/186344
[pid=10138] ppid=10135 vsize=164852 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 841385 0 0 0 239959 41 0 0 20 0 1 0 324612 168808448 34982 33554432000 4194304 7402444 140736172743104 140736172738120 5877736 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34982 766 784 0 34227 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 164852
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 10138 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.1 s]
/proc/loadavg: 2.04 2.03 1.98 3/245 10237
/proc/meminfo: memFree=29713240/32770624 swapFree=5648/186344
[pid=10138] ppid=10135 vsize=164852 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/10138/stat : 10138 (MistralXCSP) R 10135 10138 9841 0 -1 4202496 841385 0 0 0 239959 41 0 0 20 0 1 0 324612 168808448 34982 33554432000 4194304 7402444 140736172743104 140736172738120 5877736 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26132480 140736172749993 140736172750142 140736172750142 140736172752841 0
/proc/10138/statm: 41213 34982 766 784 0 34227 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 164852
Child status: 0
Real time (s): 2401.1
CPU time (s): 2400.01
CPU user time (s): 2399.59
CPU system time (s): 0.418821
CPU usage (%): 99.9546
Max. virtual memory (cumulated for all children) (KiB): 164852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.59
system time used= 0.418821
maximum resident set size= 139952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841423
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= 68
involuntary context switches= 120703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.25577 second user time and 13.4844 second system time
The end