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-4242030-1500631004/watcher-4242030-1500631004 -o /tmp/evaluation-result-4242030-1500631004/solver-4242030-1500631004 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500623787-3308 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1443237899 HOME/instance-4242030-1500631004.xml
pid=4690
running on 4 cores: 1,3,5,7
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.12 2.04 2.01 3/186 4693
/proc/meminfo: memFree=28701068/32770624 swapFree=7088/2969268
[pid=4693] ppid=4690 vsize=29068 CPUtime=0 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 1033 0 0 0 0 0 0 0 20 0 1 0 16376802 29765632 802 33554432000 4194304 7402444 140736785336096 140736785333144 140313531784165 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 7267 802 618 784 0 281 0
[startup+0.100179 s]
/proc/loadavg: 2.12 2.04 2.01 3/186 4693
/proc/meminfo: memFree=28701068/32770624 swapFree=7088/2969268
[pid=4693] ppid=4690 vsize=74752 CPUtime=0.09 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 12538 0 0 0 8 1 0 0 20 0 1 0 16376802 76546048 12347 33554432000 4194304 7402444 140736785336096 140736785331096 4378960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 18688 12347 698 784 0 11702 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74752
[startup+0.200422 s]
/proc/loadavg: 2.12 2.04 2.01 3/186 4693
/proc/meminfo: memFree=28701068/32770624 swapFree=7088/2969268
[pid=4693] ppid=4690 vsize=79812 CPUtime=0.19 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 13799 0 0 0 18 1 0 0 20 0 1 0 16376802 81727488 13601 33554432000 4194304 7402444 140736785336096 140736785330632 140313531784165 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 19953 13601 704 784 0 12967 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 79812
[startup+0.300391 s]
/proc/loadavg: 2.12 2.04 2.01 3/186 4693
/proc/meminfo: memFree=28701068/32770624 swapFree=7088/2969268
[pid=4693] ppid=4690 vsize=92348 CPUtime=0.29 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 15426 0 0 0 27 2 0 0 20 0 1 0 16376802 94564352 16752 33554432000 4194304 7402444 140736785336096 140736785330632 140313531784165 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 23087 16752 704 784 0 16101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92348
[startup+0.700324 s]
/proc/loadavg: 2.12 2.04 2.01 3/186 4693
/proc/meminfo: memFree=28701068/32770624 swapFree=7088/2969268
[pid=4693] ppid=4690 vsize=94460 CPUtime=0.69 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 15964 0 0 0 67 2 0 0 20 0 1 0 16376802 96727040 17280 33554432000 4194304 7402444 140736785336096 140736785330632 4712981 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 23615 17280 704 784 0 16629 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94460
[startup+1.50034 s]
/proc/loadavg: 2.12 2.04 2.01 3/187 4694
/proc/meminfo: memFree=28634012/32770624 swapFree=7088/2969280
[pid=4693] ppid=4690 vsize=94988 CPUtime=1.49 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 16089 0 0 0 147 2 0 0 20 0 1 0 16376802 97267712 17412 33554432000 4194304 7402444 140736785336096 140736785330632 4484504 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 23747 17412 704 784 0 16761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94988
[startup+3.10034 s]
/proc/loadavg: 2.12 2.04 2.01 3/187 4694
/proc/meminfo: memFree=28633392/32770624 swapFree=7088/2969280
[pid=4693] ppid=4690 vsize=95516 CPUtime=3.09 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 24551 0 0 0 307 2 0 0 20 0 1 0 16376802 97808384 17536 33554432000 4194304 7402444 140736785336096 140736785330632 4377628 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 23879 17536 704 784 0 16893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95516
[startup+6.30035 s]
/proc/loadavg: 2.19 2.06 2.01 3/187 4694
/proc/meminfo: memFree=28631672/32770624 swapFree=7088/2969264
[pid=4693] ppid=4690 vsize=96836 CPUtime=6.29 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 33349 0 0 0 626 3 0 0 20 0 1 0 16376802 99160064 17896 33554432000 4194304 7402444 140736785336096 140736785330632 4484558 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 24209 17896 704 784 0 17223 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96836
[startup+12.7003 s]
/proc/loadavg: 2.18 2.06 2.01 3/187 4694
/proc/meminfo: memFree=28629768/32770624 swapFree=7088/2969264
[pid=4693] ppid=4690 vsize=98420 CPUtime=12.68 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 42553 0 0 0 1265 3 0 0 20 0 1 0 16376802 100782080 18270 33554432000 4194304 7402444 140736785336096 140736785330632 4379267 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 24605 18270 704 784 0 17619 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 98420
[startup+25.5004 s]
/proc/loadavg: 2.14 2.06 2.01 3/187 4694
/proc/meminfo: memFree=28627648/32770624 swapFree=7088/2969280
[pid=4693] ppid=4690 vsize=101060 CPUtime=25.48 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 61985 0 0 0 2544 4 0 0 20 0 1 0 16376802 103485440 18880 33554432000 4194304 7402444 140736785336096 140736785330632 4484360 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 25265 18880 704 784 0 18279 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 101060
[startup+51.1004 s]
/proc/loadavg: 2.09 2.05 2.01 3/187 4694
/proc/meminfo: memFree=28623804/32770624 swapFree=7088/2969288
[pid=4693] ppid=4690 vsize=104756 CPUtime=51.07 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 73262 0 0 0 5103 4 0 0 20 0 1 0 16376802 107270144 19841 33554432000 4194304 7402444 140736785336096 140736785330632 4484665 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 26189 19841 704 784 0 19203 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104756
[startup+102.3 s]
/proc/loadavg: 2.21 2.09 2.03 3/188 4819
/proc/meminfo: memFree=27538484/32770624 swapFree=7088/3010808
[pid=4693] ppid=4690 vsize=108980 CPUtime=102.24 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 85495 0 0 0 10219 5 0 0 20 0 1 0 16376802 111595520 20941 33554432000 4194304 7402444 140736785336096 140736785330632 4377626 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 27245 20941 704 784 0 20259 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 108980
[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.03 3/188 4820
/proc/meminfo: memFree=27020228/32770624 swapFree=7088/3010852
[pid=4693] ppid=4690 vsize=112016 CPUtime=162.22 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 87136 0 0 0 16217 5 0 0 20 0 1 0 16376802 114704384 21708 33554432000 4194304 7402444 140736785336096 140736785330632 4379289 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 28004 21708 704 784 0 21018 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 112016
[startup+222.306 s]
/proc/loadavg: 2.03 2.06 2.03 3/189 4829
/proc/meminfo: memFree=26497220/32770624 swapFree=7088/3010892
[pid=4693] ppid=4690 vsize=113732 CPUtime=222.22 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 88955 0 0 0 22216 6 0 0 20 0 1 0 16376802 116461568 22082 33554432000 4194304 7402444 140736785336096 140736785330632 5758615 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 28433 22082 704 784 0 21447 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 113732
[startup+282.3 s]
/proc/loadavg: 2.06 2.07 2.04 3/189 4912
/proc/meminfo: memFree=28908268/32770624 swapFree=7088/3010956
[pid=4693] ppid=4690 vsize=115316 CPUtime=282.19 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 91261 0 0 0 28213 6 0 0 20 0 1 0 16376802 118083584 22475 33554432000 4194304 7402444 140736785336096 140736785330632 4484415 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 28829 22475 704 784 0 21843 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 115316
[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/189 4913
/proc/meminfo: memFree=28906656/32770624 swapFree=7088/3010996
[pid=4693] ppid=4690 vsize=116504 CPUtime=342.18 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 93848 0 0 0 34212 6 0 0 20 0 1 0 16376802 119300096 22776 33554432000 4194304 7402444 140736785336096 140736785330632 5324615 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 29126 22776 704 784 0 22140 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 116504
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/188 4914
/proc/meminfo: memFree=28906608/32770624 swapFree=7088/3011028
[pid=4693] ppid=4690 vsize=117032 CPUtime=402.16 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 94444 0 0 0 40210 6 0 0 20 0 1 0 16376802 119840768 22905 33554432000 4194304 7402444 140736785336096 140736785330632 4377904 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 29258 22905 704 784 0 22272 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 117032
[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.04 3/188 4915
/proc/meminfo: memFree=28905876/32770624 swapFree=7088/3011060
[pid=4693] ppid=4690 vsize=117824 CPUtime=462.15 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 95302 0 0 0 46208 7 0 0 20 0 1 0 16376802 120651776 23114 33554432000 4194304 7402444 140736785336096 140736785330632 4379234 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 29456 23114 704 784 0 22470 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 117824
[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/187 4916
/proc/meminfo: memFree=28905396/32770624 swapFree=7088/3011088
[pid=4693] ppid=4690 vsize=118748 CPUtime=522.13 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 95874 0 0 0 52206 7 0 0 20 0 1 0 16376802 121597952 23356 33554432000 4194304 7402444 140736785336096 140736785330632 4377704 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 29687 23356 704 784 0 22701 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 118748
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/187 4917
/proc/meminfo: memFree=28904812/32770624 swapFree=7088/3011116
[pid=4693] ppid=4690 vsize=119276 CPUtime=582.12 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 96521 0 0 0 58205 7 0 0 20 0 1 0 16376802 122138624 23497 33554432000 4194304 7402444 140736785336096 140736785330632 5754000 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 29819 23497 704 784 0 22833 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 119276
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4947
/proc/meminfo: memFree=28899932/32770624 swapFree=7088/3011608
[pid=4693] ppid=4690 vsize=122708 CPUtime=1481.91 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 105975 0 0 0 148183 8 0 0 20 0 1 0 16376802 125652992 24335 33554432000 4194304 7402444 140736785336096 140736785330632 4484396 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30677 24335 704 784 0 23691 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 122708
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4948
/proc/meminfo: memFree=28899832/32770624 swapFree=7088/3011640
[pid=4693] ppid=4690 vsize=122708 CPUtime=1541.91 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 106457 0 0 0 154183 8 0 0 20 0 1 0 16376802 125652992 24369 33554432000 4194304 7402444 140736785336096 140736785330632 5695885 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30677 24369 704 784 0 23691 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 122708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4949
/proc/meminfo: memFree=28899636/32770624 swapFree=7088/3011676
[pid=4693] ppid=4690 vsize=122708 CPUtime=1601.9 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 106935 0 0 0 160182 8 0 0 20 0 1 0 16376802 125652992 24373 33554432000 4194304 7402444 140736785336096 140736785330632 4377723 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30677 24373 704 784 0 23691 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 122708
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4950
/proc/meminfo: memFree=28899388/32770624 swapFree=7088/3011704
[pid=4693] ppid=4690 vsize=122708 CPUtime=1661.9 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 107223 0 0 0 166182 8 0 0 20 0 1 0 16376802 125652992 24377 33554432000 4194304 7402444 140736785336096 140736785330632 4484555 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30677 24377 704 784 0 23691 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 122708
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4952
/proc/meminfo: memFree=28899032/32770624 swapFree=7088/3011748
[pid=4693] ppid=4690 vsize=122840 CPUtime=1721.88 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 107732 0 0 0 172180 8 0 0 20 0 1 0 16376802 125788160 24399 33554432000 4194304 7402444 140736785336096 140736785330632 5754016 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30710 24399 704 784 0 23724 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 122840
[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 4953
/proc/meminfo: memFree=28899288/32770624 swapFree=7088/3011776
[pid=4693] ppid=4690 vsize=122972 CPUtime=1781.88 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 108275 0 0 0 178179 9 0 0 20 0 1 0 16376802 125923328 24415 33554432000 4194304 7402444 140736785336096 140736785330632 4484571 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30743 24415 704 784 0 23757 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 122972
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 4954
/proc/meminfo: memFree=28899584/32770624 swapFree=7088/3011808
[pid=4693] ppid=4690 vsize=123104 CPUtime=1841.86 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 108841 0 0 0 184177 9 0 0 20 0 1 0 16376802 126058496 24438 33554432000 4194304 7402444 140736785336096 140736785330632 4377720 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30776 24438 704 784 0 23790 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 123104
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4956
/proc/meminfo: memFree=28899256/32770624 swapFree=7088/3011848
[pid=4693] ppid=4690 vsize=123104 CPUtime=1901.85 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 109427 0 0 0 190176 9 0 0 20 0 1 0 16376802 126058496 24459 33554432000 4194304 7402444 140736785336096 140736785330632 4377628 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30776 24459 704 784 0 23790 0
Current children cumulated CPU time (s) 1901.85
Current children cumulated vsize (KiB) 123104
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4957
/proc/meminfo: memFree=28899544/32770624 swapFree=7088/3011876
[pid=4693] ppid=4690 vsize=123236 CPUtime=1961.83 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 110047 0 0 0 196174 9 0 0 20 0 1 0 16376802 126193664 24500 33554432000 4194304 7402444 140736785336096 140736785330632 4378690 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30809 24500 704 784 0 23823 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 123236
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4965
/proc/meminfo: memFree=28898772/32770624 swapFree=7088/3011916
[pid=4693] ppid=4690 vsize=123368 CPUtime=2021.82 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 110684 0 0 0 202173 9 0 0 20 0 1 0 16376802 126328832 24516 33554432000 4194304 7402444 140736785336096 140736785330632 4484665 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30842 24516 704 784 0 23856 0
Current children cumulated CPU time (s) 2021.82
Current children cumulated vsize (KiB) 123368
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4966
/proc/meminfo: memFree=28899136/32770624 swapFree=7088/3011944
[pid=4693] ppid=4690 vsize=123368 CPUtime=2081.81 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 111329 0 0 0 208172 9 0 0 20 0 1 0 16376802 126328832 24529 33554432000 4194304 7402444 140736785336096 140736785330632 4484665 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30842 24529 704 784 0 23856 0
Current children cumulated CPU time (s) 2081.81
Current children cumulated vsize (KiB) 123368
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4967
/proc/meminfo: memFree=28899324/32770624 swapFree=7088/3011972
[pid=4693] ppid=4690 vsize=123500 CPUtime=2141.79 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 111995 0 0 0 214170 9 0 0 20 0 1 0 16376802 126464000 24548 33554432000 4194304 7402444 140736785336096 140736785330632 5754016 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30875 24548 704 784 0 23889 0
Current children cumulated CPU time (s) 2141.79
Current children cumulated vsize (KiB) 123500
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4968
/proc/meminfo: memFree=28899240/32770624 swapFree=7088/3012012
[pid=4693] ppid=4690 vsize=123500 CPUtime=2201.78 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 112669 0 0 0 220169 9 0 0 20 0 1 0 16376802 126464000 24559 33554432000 4194304 7402444 140736785336096 140736785330632 4484480 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30875 24559 704 784 0 23889 0
Current children cumulated CPU time (s) 2201.78
Current children cumulated vsize (KiB) 123500
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 4969
/proc/meminfo: memFree=28899152/32770624 swapFree=7088/3012040
[pid=4693] ppid=4690 vsize=123500 CPUtime=2261.76 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 113352 0 0 0 226167 9 0 0 20 0 1 0 16376802 126464000 24569 33554432000 4194304 7402444 140736785336096 140736785330632 5750503 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30875 24569 704 784 0 23889 0
Current children cumulated CPU time (s) 2261.76
Current children cumulated vsize (KiB) 123500
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 5030
/proc/meminfo: memFree=28842568/32770624 swapFree=7088/3012104
[pid=4693] ppid=4690 vsize=123632 CPUtime=2321.74 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 114059 0 0 0 232165 9 0 0 20 0 1 0 16376802 126599168 24589 33554432000 4194304 7402444 140736785336096 140736785330632 4379005 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30908 24589 704 784 0 23922 0
Current children cumulated CPU time (s) 2321.74
Current children cumulated vsize (KiB) 123632
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5031
/proc/meminfo: memFree=28840924/32770624 swapFree=7088/3012144
[pid=4693] ppid=4690 vsize=123632 CPUtime=2381.73 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 114778 0 0 0 238164 9 0 0 20 0 1 0 16376802 126599168 24601 33554432000 4194304 7402444 140736785336096 140736785330632 5871338 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30908 24601 704 784 0 23922 0
Current children cumulated CPU time (s) 2381.73
Current children cumulated vsize (KiB) 123632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5031
/proc/meminfo: memFree=28840604/32770624 swapFree=7088/3012144
[pid=4693] ppid=4690 vsize=123632 CPUtime=2400.03 cores=1,3,5,7
/proc/4693/stat : 4693 (MistralXCSP) R 4690 4693 3276 0 -1 4202496 115112 0 0 0 239994 9 0 0 20 0 1 0 16376802 126599168 24614 33554432000 4194304 7402444 140736785336096 140736785330632 4377865 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19857408 140736785343656 140736785343806 140736785343806 140736785346505 0
/proc/4693/statm: 30908 24614 704 784 0 23922 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 123632
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 4693 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.6
CPU time (s): 2400.04
CPU user time (s): 2399.95
CPU system time (s): 0.095979
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 123632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.95
system time used= 0.095979
maximum resident set size= 98488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115145
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= 49
involuntary context switches= 123260
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80176 second user time and 9.65678 second system time
The end