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-4242817-1500662600/watcher-4242817-1500662600 -o /tmp/evaluation-result-4242817-1500662600/solver-4242817-1500662600 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500648178-2497 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1465374154 HOME/instance-4242817-1500662600.xml
pid=4410
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.00 2.01 2.05 3/243 4413
/proc/meminfo: memFree=31959360/32770624 swapFree=5804/213864
[pid=4413] ppid=4410 vsize=29072 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 1060 0 0 0 0 0 0 0 20 0 1 0 1528703 29769728 868 33554432000 4194304 7402444 140730685988224 140730685979864 139634087554565 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 7268 868 631 784 0 282 0
[startup+0.100145 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4413
/proc/meminfo: memFree=31959360/32770624 swapFree=5804/213864
[pid=4413] ppid=4410 vsize=31360 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 1924 0 0 0 9 0 0 0 20 0 1 0 1528703 32112640 1187 33554432000 4194304 7402444 140730685988224 140730685981464 139634087554500 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 7840 1187 633 784 0 854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31360
[startup+0.200294 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4413
/proc/meminfo: memFree=31959360/32770624 swapFree=5804/213864
[pid=4413] ppid=4410 vsize=38276 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 3494 0 0 0 19 0 0 0 20 0 1 0 1528703 39194624 2619 33554432000 4194304 7402444 140730685988224 140730685981464 139634081231852 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 9569 2619 633 784 0 2583 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38276
[startup+0.300321 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4413
/proc/meminfo: memFree=31959360/32770624 swapFree=5804/213864
[pid=4413] ppid=4410 vsize=43612 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 4859 0 0 0 28 0 0 0 20 0 1 0 1528703 44658688 3938 33554432000 4194304 7402444 140730685988224 140730685978680 6323740 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 10903 3938 663 784 0 3917 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43612
[startup+0.700278 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4413
/proc/meminfo: memFree=31959360/32770624 swapFree=5804/213864
[pid=4413] ppid=4410 vsize=72200 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 12007 0 0 0 67 1 0 0 20 0 1 0 1528703 73932800 11066 33554432000 4194304 7402444 140730685988224 140730685978680 6323884 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 18050 11066 664 784 0 11064 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 72200
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4414
/proc/meminfo: memFree=31888696/32770624 swapFree=5804/213940
[pid=4413] ppid=4410 vsize=129384 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 26302 0 0 0 146 3 0 0 20 0 1 0 1528703 132489216 25388 33554432000 4194304 7402444 140730685988224 140730685978680 139634081694800 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 32346 25388 664 784 0 25360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129384
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4414
/proc/meminfo: memFree=31814164/32770624 swapFree=5804/213940
[pid=4413] ppid=4410 vsize=174228 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 58619 0 0 0 303 5 0 0 20 0 1 0 1528703 178409472 36867 33554432000 4194304 7402444 140730685988224 140730685982856 4484558 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 43557 36867 771 784 0 36571 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 174228
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4414
/proc/meminfo: memFree=31811632/32770624 swapFree=5804/214256
[pid=4413] ppid=4410 vsize=177660 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 83682 0 0 0 622 7 0 0 20 0 1 0 1528703 181923840 37664 33554432000 4194304 7402444 140730685988224 140730685982760 4484558 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 44415 37664 771 784 0 37429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 177660
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4414
/proc/meminfo: memFree=31809860/32770624 swapFree=5804/214272
[pid=4413] ppid=4410 vsize=178980 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 108338 0 0 0 1261 7 0 0 20 0 1 0 1528703 183275520 38013 33554432000 4194304 7402444 140730685988224 140730685982760 5750450 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 44745 38013 771 784 0 37759 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 178980
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4414
/proc/meminfo: memFree=31804652/32770624 swapFree=5804/214284
[pid=4413] ppid=4410 vsize=184128 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 159687 0 0 0 2537 10 0 0 20 0 1 0 1528703 188547072 39284 33554432000 4194304 7402444 140730685988224 140730685982760 4484488 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 46032 39284 771 784 0 39046 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 184128
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4414
/proc/meminfo: memFree=31801792/32770624 swapFree=5804/214296
[pid=4413] ppid=4410 vsize=185844 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 186304 0 0 0 5094 12 0 0 20 0 1 0 1528703 190304256 39716 33554432000 4194304 7402444 140730685988224 140730685982760 4484598 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 46461 39716 771 784 0 39475 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 185844
[startup+102.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/243 4481
/proc/meminfo: memFree=31761924/32770624 swapFree=5804/214256
[pid=4413] ppid=4410 vsize=189828 CPUtime=102.21 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 207414 0 0 0 10208 13 0 0 20 0 1 0 1528703 194383872 40708 33554432000 4194304 7402444 140730685988224 140730685982920 4484558 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 47457 40708 771 784 0 40471 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 189828
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/243 4482
/proc/meminfo: memFree=31750416/32770624 swapFree=5804/214304
[pid=4413] ppid=4410 vsize=192204 CPUtime=162.15 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 213528 0 0 0 16201 14 0 0 20 0 1 0 1528703 196816896 41315 33554432000 4194304 7402444 140730685988224 140730685982760 5818225 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48051 41315 771 784 0 41065 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 192204
[startup+222.308 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4483
/proc/meminfo: memFree=31749248/32770624 swapFree=5804/214348
[pid=4413] ppid=4410 vsize=192468 CPUtime=222.12 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 214515 0 0 0 22198 14 0 0 20 0 1 0 1528703 197087232 41403 33554432000 4194304 7402444 140730685988224 140730685982760 4712959 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48117 41403 771 784 0 41131 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 192468
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4484
/proc/meminfo: memFree=31748068/32770624 swapFree=5804/214356
[pid=4413] ppid=4410 vsize=193260 CPUtime=282.07 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 215699 0 0 0 28193 14 0 0 20 0 1 0 1528703 197898240 41585 33554432000 4194304 7402444 140730685988224 140730685982760 4484558 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48315 41585 771 784 0 41329 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 193260
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4485
/proc/meminfo: memFree=31748132/32770624 swapFree=5804/214412
[pid=4413] ppid=4410 vsize=193260 CPUtime=342.04 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 216892 0 0 0 34190 14 0 0 20 0 1 0 1528703 197898240 41625 33554432000 4194304 7402444 140730685988224 140730685982760 4484558 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48315 41625 771 784 0 41329 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 193260
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4493
/proc/meminfo: memFree=31747756/32770624 swapFree=5804/214448
[pid=4413] ppid=4410 vsize=193260 CPUtime=402 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 217273 0 0 0 40186 14 0 0 20 0 1 0 1528703 197898240 41625 33554432000 4194304 7402444 140730685988224 140730685982760 4712981 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48315 41625 771 784 0 41329 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 193260
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 4494
/proc/meminfo: memFree=31748056/32770624 swapFree=5804/214500
[pid=4413] ppid=4410 vsize=193656 CPUtime=461.96 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 218393 0 0 0 46182 14 0 0 20 0 1 0 1528703 198303744 41704 33554432000 4194304 7402444 140730685988224 140730685982760 4484689 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48414 41704 771 784 0 41428 0
Current children cumulated CPU time (s) 461.96
Current children cumulated vsize (KiB) 193656
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 4495
/proc/meminfo: memFree=31747684/32770624 swapFree=5804/214528
[pid=4413] ppid=4410 vsize=193920 CPUtime=521.93 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 219257 0 0 0 52179 14 0 0 20 0 1 0 1528703 198574080 41779 33554432000 4194304 7402444 140730685988224 140730685982760 5823724 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48480 41779 771 784 0 41494 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 193920
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4496
/proc/meminfo: memFree=31747700/32770624 swapFree=5804/214564
[pid=4413] ppid=4410 vsize=194448 CPUtime=581.89 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 220232 0 0 0 58175 14 0 0 20 0 1 0 1528703 199114752 41847 33554432000 4194304 7402444 140730685988224 140730685982760 4747176 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48612 41847 771 784 0 41626 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 194448
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 4543
/proc/meminfo: memFree=31742360/32770624 swapFree=5804/215132
[pid=4413] ppid=4410 vsize=195636 CPUtime=1481.34 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 230131 0 0 0 148119 15 0 0 20 0 1 0 1528703 200331264 42215 33554432000 4194304 7402444 140730685988224 140730685982760 5765205 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48909 42215 771 784 0 41923 0
Current children cumulated CPU time (s) 1481.34
Current children cumulated vsize (KiB) 195636
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 4544
/proc/meminfo: memFree=31742344/32770624 swapFree=5804/215172
[pid=4413] ppid=4410 vsize=195636 CPUtime=1541.31 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 230841 0 0 0 154116 15 0 0 20 0 1 0 1528703 200331264 42215 33554432000 4194304 7402444 140730685988224 140730685982760 4484602 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48909 42215 771 784 0 41923 0
Current children cumulated CPU time (s) 1541.31
Current children cumulated vsize (KiB) 195636
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4552
/proc/meminfo: memFree=31740908/32770624 swapFree=5804/215212
[pid=4413] ppid=4410 vsize=195636 CPUtime=1601.27 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 231347 0 0 0 160112 15 0 0 20 0 1 0 1528703 200331264 42215 33554432000 4194304 7402444 140730685988224 140730685982760 5747610 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48909 42215 771 784 0 41923 0
Current children cumulated CPU time (s) 1601.27
Current children cumulated vsize (KiB) 195636
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4553
/proc/meminfo: memFree=31741672/32770624 swapFree=5804/215256
[pid=4413] ppid=4410 vsize=195768 CPUtime=1661.23 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 232119 0 0 0 166108 15 0 0 20 0 1 0 1528703 200466432 42215 33554432000 4194304 7402444 140730685988224 140730685982760 4709536 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42215 771 784 0 41956 0
Current children cumulated CPU time (s) 1661.23
Current children cumulated vsize (KiB) 195768
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4554
/proc/meminfo: memFree=31741772/32770624 swapFree=5804/215292
[pid=4413] ppid=4410 vsize=195768 CPUtime=1721.2 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 232895 0 0 0 172105 15 0 0 20 0 1 0 1528703 200466432 42233 33554432000 4194304 7402444 140730685988224 140730685982760 5750474 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42233 771 784 0 41956 0
Current children cumulated CPU time (s) 1721.2
Current children cumulated vsize (KiB) 195768
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 4555
/proc/meminfo: memFree=31742484/32770624 swapFree=5804/215324
[pid=4413] ppid=4410 vsize=195768 CPUtime=1781.16 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 233669 0 0 0 178101 15 0 0 20 0 1 0 1528703 200466432 42233 33554432000 4194304 7402444 140730685988224 140730685982760 4238492 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42233 771 784 0 41956 0
Current children cumulated CPU time (s) 1781.16
Current children cumulated vsize (KiB) 195768
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4556
/proc/meminfo: memFree=31742348/32770624 swapFree=5804/215356
[pid=4413] ppid=4410 vsize=195768 CPUtime=1841.12 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 234453 0 0 0 184097 15 0 0 20 0 1 0 1528703 200466432 42239 33554432000 4194304 7402444 140730685988224 140730685982760 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42239 771 784 0 41956 0
Current children cumulated CPU time (s) 1841.12
Current children cumulated vsize (KiB) 195768
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4557
/proc/meminfo: memFree=31743380/32770624 swapFree=5804/215400
[pid=4413] ppid=4410 vsize=195768 CPUtime=1901.08 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 235235 0 0 0 190093 15 0 0 20 0 1 0 1528703 200466432 42239 33554432000 4194304 7402444 140730685988224 140730685982760 4484480 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42239 771 784 0 41956 0
Current children cumulated CPU time (s) 1901.08
Current children cumulated vsize (KiB) 195768
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4558
/proc/meminfo: memFree=31743264/32770624 swapFree=5804/215432
[pid=4413] ppid=4410 vsize=195768 CPUtime=1961.05 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 236012 0 0 0 196090 15 0 0 20 0 1 0 1528703 200466432 42242 33554432000 4194304 7402444 140730685988224 140730685982760 5754034 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42242 771 784 0 41956 0
Current children cumulated CPU time (s) 1961.05
Current children cumulated vsize (KiB) 195768
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4559
/proc/meminfo: memFree=31743264/32770624 swapFree=5804/215468
[pid=4413] ppid=4410 vsize=195768 CPUtime=2021.02 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 236788 0 0 0 202086 16 0 0 20 0 1 0 1528703 200466432 42242 33554432000 4194304 7402444 140730685988224 140730685982760 4484558 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42242 771 784 0 41956 0
Current children cumulated CPU time (s) 2021.02
Current children cumulated vsize (KiB) 195768
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4560
/proc/meminfo: memFree=31742268/32770624 swapFree=5804/215500
[pid=4413] ppid=4410 vsize=195768 CPUtime=2080.99 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 237562 0 0 0 208083 16 0 0 20 0 1 0 1528703 200466432 42242 33554432000 4194304 7402444 140730685988224 140730685982760 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42242 771 784 0 41956 0
Current children cumulated CPU time (s) 2080.99
Current children cumulated vsize (KiB) 195768
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4561
/proc/meminfo: memFree=31742144/32770624 swapFree=5804/215532
[pid=4413] ppid=4410 vsize=195768 CPUtime=2140.94 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 238353 0 0 0 214078 16 0 0 20 0 1 0 1528703 200466432 42242 33554432000 4194304 7402444 140730685988224 140730685982760 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42242 771 784 0 41956 0
Current children cumulated CPU time (s) 2140.94
Current children cumulated vsize (KiB) 195768
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 4570
/proc/meminfo: memFree=31741048/32770624 swapFree=5804/215572
[pid=4413] ppid=4410 vsize=195768 CPUtime=2200.91 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 239141 0 0 0 220075 16 0 0 20 0 1 0 1528703 200466432 42248 33554432000 4194304 7402444 140730685988224 140730685982760 5754032 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42248 771 784 0 41956 0
Current children cumulated CPU time (s) 2200.91
Current children cumulated vsize (KiB) 195768
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 4571
/proc/meminfo: memFree=31741536/32770624 swapFree=5804/215616
[pid=4413] ppid=4410 vsize=195768 CPUtime=2260.87 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 239425 0 0 0 226071 16 0 0 20 0 1 0 1528703 200466432 42251 33554432000 4194304 7402444 140730685988224 140730685982760 5754037 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42251 771 784 0 41956 0
Current children cumulated CPU time (s) 2260.87
Current children cumulated vsize (KiB) 195768
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4572
/proc/meminfo: memFree=31741284/32770624 swapFree=5804/215656
[pid=4413] ppid=4410 vsize=195768 CPUtime=2320.83 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 239709 0 0 0 232067 16 0 0 20 0 1 0 1528703 200466432 42251 33554432000 4194304 7402444 140730685988224 140730685982760 4484555 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48942 42251 771 784 0 41956 0
Current children cumulated CPU time (s) 2320.83
Current children cumulated vsize (KiB) 195768
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4573
/proc/meminfo: memFree=31741284/32770624 swapFree=5804/215684
[pid=4413] ppid=4410 vsize=195900 CPUtime=2380.79 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 240012 0 0 0 238063 16 0 0 20 0 1 0 1528703 200601600 42252 33554432000 4194304 7402444 140730685988224 140730685982760 4484555 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48975 42252 771 784 0 41989 0
Current children cumulated CPU time (s) 2380.79
Current children cumulated vsize (KiB) 195900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4573
/proc/meminfo: memFree=31741160/32770624 swapFree=5804/215688
[pid=4413] ppid=4410 vsize=195900 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/4413/stat : 4413 (MistralXCSP) R 4410 4413 2464 0 -1 4202496 240316 0 0 0 239992 16 0 0 20 0 1 0 1528703 200601600 42270 33554432000 4194304 7402444 140730685988224 140730685982760 5754032 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 28508160 140730685990056 140730685990206 140730685990206 140730685992905 0
/proc/4413/statm: 48975 42270 771 784 0 41989 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 195900
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 4413 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2401.6
CPU time (s): 2400.09
CPU user time (s): 2399.93
CPU system time (s): 0.164899
CPU usage (%): 99.9371
Max. virtual memory (cumulated for all children) (KiB): 195900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.93
system time used= 0.164899
maximum resident set size= 169080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240366
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= 77
involuntary context switches= 120872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82918 second user time and 13.2098 second system time
The end