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-4261671-1502381830/watcher-4261671-1502381830 -o /tmp/evaluation-result-4261671-1502381830/solver-4261671-1502381830 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20755 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 937418026 HOME/instance-4261671-1502381830.xml
pid=29017
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.05 2.00 2.04 2/184 29020
/proc/meminfo: memFree=31073728/32770624 swapFree=0/546940
[pid=29020] ppid=29017 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29020/stat : 29020 (runsolver) D 29017 29020 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 85689252 24240128 108 18446744073709551615 4194304 4338465 140734168562864 140734168560504 140254717436631 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 8200192 140734168567947 140734168568393 140734168568393 140734168571850 0
/proc/29020/statm: 5918 108 54 36 0 2156 0
[startup+0.102006 s]
/proc/loadavg: 2.05 2.00 2.04 2/184 29020
/proc/meminfo: memFree=31073728/32770624 swapFree=0/546940
[pid=29020] ppid=29017 vsize=30332 CPUtime=0.01 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 1330 0 0 0 1 0 0 0 20 0 1 0 85689252 31059968 1125 18446744073709551615 4194304 7396336 140722863327968 140722863319208 5946255 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 7583 1125 607 782 0 599 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30332
[startup+0.201053 s]
/proc/loadavg: 2.05 2.00 2.04 2/184 29020
/proc/meminfo: memFree=31073728/32770624 swapFree=0/546940
[pid=29020] ppid=29017 vsize=122200 CPUtime=0.1 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 24429 0 0 0 8 2 0 0 20 0 1 0 85689252 125132800 24132 18446744073709551615 4194304 7396336 140722863327968 140722863317832 4566039 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 30550 24132 666 782 0 23566 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 122200
[startup+0.301048 s]
/proc/loadavg: 2.05 2.00 2.04 2/184 29020
/proc/meminfo: memFree=31073728/32770624 swapFree=0/546940
[pid=29020] ppid=29017 vsize=133424 CPUtime=0.2 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 27490 0 0 0 17 3 0 0 20 0 1 0 85689252 136626176 26990 18446744073709551615 4194304 7396336 140722863327968 140722863317784 4566039 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 33356 26990 666 782 0 26372 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 133424
[startup+0.700337 s]
/proc/loadavg: 2.05 2.00 2.04 2/184 29020
/proc/meminfo: memFree=31073728/32770624 swapFree=0/546940
[pid=29020] ppid=29017 vsize=156820 CPUtime=0.6 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 33087 0 0 0 57 3 0 0 20 0 1 0 85689252 160583680 32795 18446744073709551615 4194304 7396336 140722863327968 140722863317784 4565880 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 39205 32795 666 782 0 32221 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 156820
[startup+1.50028 s]
/proc/loadavg: 2.05 2.00 2.04 3/185 29021
/proc/meminfo: memFree=30936440/32770624 swapFree=0/546968
[pid=29020] ppid=29017 vsize=176120 CPUtime=1.4 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 38144 0 0 0 136 4 0 0 20 0 1 0 85689252 180346880 37688 18446744073709551615 4194304 7396336 140722863327968 140722863317864 4566048 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 44030 37688 750 782 0 37046 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 176120
[startup+3.10035 s]
/proc/loadavg: 2.05 2.00 2.04 3/185 29021
/proc/meminfo: memFree=30915608/32770624 swapFree=0/546968
[pid=29020] ppid=29017 vsize=220044 CPUtime=3 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 74933 0 0 0 294 6 0 0 20 0 1 0 85689252 225325056 48771 18446744073709551615 4194304 7396336 140722863327968 140722863317864 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 55011 48771 788 782 0 48027 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 220044
[startup+6.30036 s]
/proc/loadavg: 2.05 2.00 2.04 3/185 29021
/proc/meminfo: memFree=30796488/32770624 swapFree=0/546968
[pid=29020] ppid=29017 vsize=305828 CPUtime=6.2 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 129685 0 0 0 609 11 0 0 20 0 1 0 85689252 313167872 70215 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5791952 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 76457 70215 788 782 0 69473 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 305828
[startup+12.7003 s]
/proc/loadavg: 2.04 2.00 2.04 3/185 29021
/proc/meminfo: memFree=30787992/32770624 swapFree=0/546968
[pid=29020] ppid=29017 vsize=313492 CPUtime=12.6 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 174693 0 0 0 1246 14 0 0 20 0 1 0 85689252 321015808 72111 18446744073709551615 4194304 7396336 140722863327968 140722863322248 4317313 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 78373 72111 790 782 0 71389 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 313492
[startup+25.5004 s]
/proc/loadavg: 2.03 2.00 2.04 3/185 29021
/proc/meminfo: memFree=30783636/32770624 swapFree=0/546968
[pid=29020] ppid=29017 vsize=316792 CPUtime=25.39 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 219284 0 0 0 2523 16 0 0 20 0 1 0 85689252 324395008 72981 18446744073709551615 4194304 7396336 140722863327968 140722863322632 4547381 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 79198 72981 790 782 0 72214 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 316792
[startup+51.1004 s]
/proc/loadavg: 2.02 2.00 2.04 3/185 29022
/proc/meminfo: memFree=30782548/32770624 swapFree=0/546976
[pid=29020] ppid=29017 vsize=318640 CPUtime=50.98 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 260588 0 0 0 5080 18 0 0 20 0 1 0 85689252 326287360 73422 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 79660 73422 790 782 0 72676 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 318640
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/186 29025
/proc/meminfo: memFree=30779704/32770624 swapFree=0/546996
[pid=29020] ppid=29017 vsize=320620 CPUtime=102.16 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 294964 0 0 0 10196 20 0 0 20 0 1 0 85689252 328314880 73883 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 80155 73883 790 782 0 73171 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 320620
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 29027
/proc/meminfo: memFree=30777892/32770624 swapFree=0/547012
[pid=29020] ppid=29017 vsize=322600 CPUtime=162.13 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 313848 0 0 0 16192 21 0 0 20 0 1 0 85689252 330342400 74418 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5162969 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 80650 74418 790 782 0 73666 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 322600
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 29029
/proc/meminfo: memFree=30775576/32770624 swapFree=0/547028
[pid=29020] ppid=29017 vsize=325504 CPUtime=222.15 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 316427 0 0 0 22193 22 0 0 20 0 1 0 85689252 333316096 75137 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5792137 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 81376 75137 790 782 0 74392 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 325504
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/185 29031
/proc/meminfo: memFree=30772596/32770624 swapFree=0/547040
[pid=29020] ppid=29017 vsize=328144 CPUtime=282.14 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 319647 0 0 0 28192 22 0 0 20 0 1 0 85689252 336019456 75751 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5706547 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 82036 75751 790 782 0 75052 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 328144
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 29033
/proc/meminfo: memFree=30771356/32770624 swapFree=0/547048
[pid=29020] ppid=29017 vsize=329728 CPUtime=342.14 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 323285 0 0 0 34191 23 0 0 20 0 1 0 85689252 337641472 76224 18446744073709551615 4194304 7396336 140722863327968 140722863322504 4317268 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 82432 76224 790 782 0 75448 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 329728
[startup+402.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/185 29036
/proc/meminfo: memFree=30768256/32770624 swapFree=0/547056
[pid=29020] ppid=29017 vsize=331976 CPUtime=402.14 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 327459 0 0 0 40191 23 0 0 20 0 1 0 85689252 339943424 76762 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5791976 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 82994 76762 790 782 0 76010 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 331976
[startup+462.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/189 29053
/proc/meminfo: memFree=30761976/32770624 swapFree=0/547096
[pid=29020] ppid=29017 vsize=333564 CPUtime=462.15 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 332009 0 0 0 46191 24 0 0 20 0 1 0 85689252 341569536 77150 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5162982 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 83391 77150 790 782 0 76407 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 333564
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 29055
/proc/meminfo: memFree=30764132/32770624 swapFree=0/547104
[pid=29020] ppid=29017 vsize=334884 CPUtime=522.14 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 334358 0 0 0 52190 24 0 0 20 0 1 0 85689252 342921216 77450 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5163046 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 83721 77450 790 782 0 76737 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 334884
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 29057
/proc/meminfo: memFree=30762644/32770624 swapFree=0/547108
[pid=29020] ppid=29017 vsize=336600 CPUtime=582.15 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 337135 0 0 0 58190 25 0 0 20 0 1 0 85689252 344678400 77874 18446744073709551615 4194304 7396336 140722863327968 140722863322504 4547352 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 84150 77874 790 782 0 77166 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 336600
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29114
/proc/meminfo: memFree=30745372/32770624 swapFree=0/547336
[pid=29020] ppid=29017 vsize=353632 CPUtime=1602.14 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 379763 0 0 0 160183 31 0 0 20 0 1 0 85689252 362119168 82125 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 88408 82125 790 782 0 81424 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 353632
[startup+1662.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/189 29130
/proc/meminfo: memFree=30741124/32770624 swapFree=0/547364
[pid=29020] ppid=29017 vsize=354172 CPUtime=1662.15 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 382802 0 0 0 166183 32 0 0 20 0 1 0 85689252 362672128 82284 18446744073709551615 4194304 7396336 140722863327968 140722863322248 5163046 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 88543 82284 790 782 0 81559 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 354172
[startup+1722.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/185 29132
/proc/meminfo: memFree=30743744/32770624 swapFree=0/547380
[pid=29020] ppid=29017 vsize=354832 CPUtime=1722.15 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 386002 0 0 0 172183 32 0 0 20 0 1 0 85689252 363347968 82457 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5686404 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 88708 82457 790 782 0 81724 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 354832
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/185 29134
/proc/meminfo: memFree=30743280/32770624 swapFree=0/547388
[pid=29020] ppid=29017 vsize=355232 CPUtime=1782.15 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 389234 0 0 0 178183 32 0 0 20 0 1 0 85689252 363757568 82556 18446744073709551615 4194304 7396336 140722863327968 140722863322504 4249495 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 88808 82556 790 782 0 81824 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 355232
[startup+1842.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 29136
/proc/meminfo: memFree=30742536/32770624 swapFree=0/547396
[pid=29020] ppid=29017 vsize=355628 CPUtime=1842.14 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 391214 0 0 0 184182 32 0 0 20 0 1 0 85689252 364163072 82685 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5649188 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 88907 82685 790 782 0 81923 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 355628
[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/184 29138
/proc/meminfo: memFree=30742552/32770624 swapFree=0/547412
[pid=29020] ppid=29017 vsize=356420 CPUtime=1902.15 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 393416 0 0 0 190182 33 0 0 20 0 1 0 85689252 364974080 82850 18446744073709551615 4194304 7396336 140722863327968 140722863322504 4581576 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 89105 82850 790 782 0 82121 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 356420
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 29141
/proc/meminfo: memFree=30742384/32770624 swapFree=0/547420
[pid=29020] ppid=29017 vsize=356816 CPUtime=1962.15 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 395665 0 0 0 196182 33 0 0 20 0 1 0 85689252 365379584 82945 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5702338 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 89204 82945 790 782 0 82220 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 356816
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 29143
/proc/meminfo: memFree=30741120/32770624 swapFree=0/547432
[pid=29020] ppid=29017 vsize=357476 CPUtime=2022.15 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 398149 0 0 0 202182 33 0 0 20 0 1 0 85689252 366055424 83126 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 89369 83126 790 782 0 82385 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 357476
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29146
/proc/meminfo: memFree=30740744/32770624 swapFree=0/547444
[pid=29020] ppid=29017 vsize=357872 CPUtime=2082.16 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 399637 0 0 0 208182 34 0 0 20 0 1 0 85689252 366460928 83185 18446744073709551615 4194304 7396336 140722863327968 140722863322504 4406881 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 89468 83185 790 782 0 82484 0
Current children cumulated CPU time (s) 2082.16
Current children cumulated vsize (KiB) 357872
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29148
/proc/meminfo: memFree=30740792/32770624 swapFree=0/547452
[pid=29020] ppid=29017 vsize=358400 CPUtime=2142.16 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 401274 0 0 0 214182 34 0 0 20 0 1 0 85689252 367001600 83326 18446744073709551615 4194304 7396336 140722863327968 140722863322504 4245092 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 89600 83326 790 782 0 82616 0
Current children cumulated CPU time (s) 2142.16
Current children cumulated vsize (KiB) 358400
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29150
/proc/meminfo: memFree=30740184/32770624 swapFree=0/547456
[pid=29020] ppid=29017 vsize=358532 CPUtime=2202.17 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 402950 0 0 0 220183 34 0 0 20 0 1 0 85689252 367136768 83419 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5792180 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 89633 83419 790 782 0 82649 0
Current children cumulated CPU time (s) 2202.17
Current children cumulated vsize (KiB) 358532
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 29166
/proc/meminfo: memFree=30734464/32770624 swapFree=0/547484
[pid=29020] ppid=29017 vsize=360116 CPUtime=2262.16 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 404982 0 0 0 226182 34 0 0 20 0 1 0 85689252 368758784 83767 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5162982 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 90029 83767 790 782 0 83045 0
Current children cumulated CPU time (s) 2262.16
Current children cumulated vsize (KiB) 360116
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29168
/proc/meminfo: memFree=30737484/32770624 swapFree=0/547496
[pid=29020] ppid=29017 vsize=360516 CPUtime=2322.17 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 407147 0 0 0 232182 35 0 0 20 0 1 0 85689252 369168384 83877 18446744073709551615 4194304 7396336 140722863327968 140722863322248 5162982 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 90129 83877 790 782 0 83145 0
Current children cumulated CPU time (s) 2322.17
Current children cumulated vsize (KiB) 360516
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 29170
/proc/meminfo: memFree=30736504/32770624 swapFree=0/547512
[pid=29020] ppid=29017 vsize=360912 CPUtime=2382.17 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 408895 0 0 0 238182 35 0 0 20 0 1 0 85689252 369573888 83986 18446744073709551615 4194304 7396336 140722863327968 140722863322504 4547381 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 90228 83986 790 782 0 83244 0
Current children cumulated CPU time (s) 2382.17
Current children cumulated vsize (KiB) 360912
[startup+2442.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 29296
/proc/meminfo: memFree=30620100/32770624 swapFree=0/547556
[pid=29020] ppid=29017 vsize=361176 CPUtime=2442.16 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 410711 0 0 0 244181 35 0 0 20 0 1 0 85689252 369844224 84049 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 90294 84049 790 782 0 83310 0
Current children cumulated CPU time (s) 2442.16
Current children cumulated vsize (KiB) 361176
[startup+2502.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 29297
/proc/meminfo: memFree=30615400/32770624 swapFree=0/547568
[pid=29020] ppid=29017 vsize=361708 CPUtime=2502.16 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 412667 0 0 0 250181 35 0 0 20 0 1 0 85689252 370388992 84173 18446744073709551615 4194304 7396336 140722863327968 140722863322456 5163189 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 90427 84173 790 782 0 83443 0
Current children cumulated CPU time (s) 2502.16
Current children cumulated vsize (KiB) 361708
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29298
/proc/meminfo: memFree=30614040/32770624 swapFree=0/547564
[pid=29020] ppid=29017 vsize=361840 CPUtime=2519.86 cores=0,2,4,6
/proc/29020/stat : 29020 (MistralXCSP) R 29017 29020 31388 0 -1 4202496 412895 0 0 0 251951 35 0 0 20 0 1 0 85689252 370524160 84200 18446744073709551615 4194304 7396336 140722863327968 140722863322504 5162982 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39350272 140722863329715 140722863329864 140722863329864 140722863333321 0
/proc/29020/statm: 90460 84200 790 782 0 83476 0
Current children cumulated CPU time (s) 2519.86
Current children cumulated vsize (KiB) 361840
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 29020 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.87
CPU user time (s): 2519.52
CPU system time (s): 0.356003
CPU usage (%): 99.9948
Max. virtual memory (cumulated for all children) (KiB): 361840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.52
system time used= 0.356003
maximum resident set size= 336928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412923
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= 123
involuntary context switches= 1635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68915 second user time and 10.6613 second system time
The end