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-4261323-1502399405/watcher-4261323-1502399405 -o /tmp/evaluation-result-4261323-1502399405/solver-4261323-1502399405 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20756 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 803985234 HOME/instance-4261323-1502399405.xml
pid=31588
running on 4 cores: 1,3,5,7
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.08 2.03 2.05 3/184 31591
/proc/meminfo: memFree=31069684/32770624 swapFree=0/550620
[pid=31591] ppid=31588 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31591/stat : 31591 (runsolver) D 31588 31591 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 87446778 24240128 108 18446744073709551615 4194304 4338465 140729281339200 140729281336840 140568171107031 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 19345408 140729281343627 140729281344073 140729281344073 140729281347530 0
/proc/31591/statm: 5918 108 54 36 0 2156 0
[startup+0.100209 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 31591
/proc/meminfo: memFree=31069684/32770624 swapFree=0/550620
[pid=31591] ppid=31588 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31591/stat : 31591 (runsolver) R 31588 31591 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 87446778 24240128 108 18446744073709551615 4194304 4338465 140729281339200 140729281336840 140568171107031 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 19345408 140729281343627 140729281344073 140729281344073 140729281347530 0
/proc/31591/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200347 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 31591
/proc/meminfo: memFree=31069684/32770624 swapFree=0/550620
[pid=31591] ppid=31588 vsize=36744 CPUtime=0.09 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 2903 0 0 0 9 0 0 0 20 0 1 0 87446778 37625856 2718 18446744073709551615 4194304 7396336 140722643761312 140722643758312 140246957452805 0 0 1 0 0 0 0 17 1 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 9186 2718 607 782 0 2202 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36744
[startup+0.300326 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 31591
/proc/meminfo: memFree=31069684/32770624 swapFree=0/550620
[pid=31591] ppid=31588 vsize=75032 CPUtime=0.19 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 12921 0 0 0 18 1 0 0 20 0 1 0 87446778 76832768 12148 18446744073709551615 4194304 7396336 140722643761312 140722643758312 140246950669285 0 0 1 0 0 0 0 17 1 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 18758 12148 610 782 0 11774 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 75032
[startup+0.70022 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 31591
/proc/meminfo: memFree=31069684/32770624 swapFree=0/550620
[pid=31591] ppid=31588 vsize=78388 CPUtime=0.59 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 13816 0 0 0 58 1 0 0 20 0 1 0 87446778 80269312 13006 18446744073709551615 4194304 7396336 140722643761312 140722643753400 6195292 0 0 1 0 0 0 0 17 1 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 19597 13006 700 782 0 12613 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 78388
[startup+1.50022 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 31592
/proc/meminfo: memFree=31019264/32770624 swapFree=0/550572
[pid=31591] ppid=31588 vsize=79008 CPUtime=1.38 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 13993 0 0 0 137 1 0 0 20 0 1 0 87446778 80904192 13204 18446744073709551615 4194304 7396336 140722643761312 140722643750120 140246950667069 0 0 1 0 0 0 0 17 1 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 19752 13204 711 782 0 12768 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 79008
[startup+3.10022 s]
/proc/loadavg: 1.99 2.02 2.04 3/185 31592
/proc/meminfo: memFree=31018364/32770624 swapFree=0/550736
[pid=31591] ppid=31588 vsize=80908 CPUtime=2.99 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 18439 0 0 0 297 2 0 0 20 0 1 0 87446778 82849792 13696 18446744073709551615 4194304 7396336 140722643761312 140722643752056 6181038 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 20227 13696 717 782 0 13243 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 80908
[startup+6.30022 s]
/proc/loadavg: 1.99 2.02 2.04 3/185 31592
/proc/meminfo: memFree=31015396/32770624 swapFree=0/550736
[pid=31591] ppid=31588 vsize=84368 CPUtime=6.19 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 24803 0 0 0 617 2 0 0 20 0 1 0 87446778 86392832 14567 18446744073709551615 4194304 7396336 140722643761312 140722643751912 6180832 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 21092 14567 717 782 0 14108 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 84368
[startup+12.7002 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 31592
/proc/meminfo: memFree=31000844/32770624 swapFree=0/550732
[pid=31591] ppid=31588 vsize=98832 CPUtime=12.59 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 35208 0 0 0 1256 3 0 0 20 0 1 0 87446778 101203968 18100 18446744073709551615 4194304 7396336 140722643761312 140722643752056 140246956847312 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 24708 18100 730 782 0 17724 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 98832
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 31592
/proc/meminfo: memFree=30979696/32770624 swapFree=0/550732
[pid=31591] ppid=31588 vsize=119868 CPUtime=25.39 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 47040 0 0 0 2534 5 0 0 20 0 1 0 87446778 122744832 23378 18446744073709551615 4194304 7396336 140722643761312 140722643752056 6036756 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 29967 23378 730 782 0 22983 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 119868
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 31593
/proc/meminfo: memFree=30933500/32770624 swapFree=0/550728
[pid=31591] ppid=31588 vsize=165344 CPUtime=50.99 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 81071 0 0 0 5091 8 0 0 20 0 1 0 87446778 169312256 34820 18446744073709551615 4194304 7396336 140722643761312 140722643752056 4566053 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 41336 34820 730 782 0 34352 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 165344
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 31717
/proc/meminfo: memFree=30816808/32770624 swapFree=0/550648
[pid=31591] ppid=31588 vsize=214740 CPUtime=102.18 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 128482 0 0 0 10206 12 0 0 20 0 1 0 87446778 219893760 46983 18446744073709551615 4194304 7396336 140722643761312 140722643755944 5162982 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53685 46983 765 782 0 46701 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 214740
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 31720
/proc/meminfo: memFree=30730624/32770624 swapFree=0/550668
[pid=31591] ppid=31588 vsize=214740 CPUtime=162.16 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 135484 0 0 0 16204 12 0 0 20 0 1 0 87446778 219893760 47237 18446744073709551615 4194304 7396336 140722643761312 140722643755944 4323537 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53685 47237 765 782 0 46701 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 214740
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 31723
/proc/meminfo: memFree=30729368/32770624 swapFree=0/550676
[pid=31591] ppid=31588 vsize=214872 CPUtime=222.16 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 136582 0 0 0 22204 12 0 0 20 0 1 0 87446778 220028928 47250 18446744073709551615 4194304 7396336 140722643761312 140722643755944 5575980 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53718 47250 765 782 0 46734 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 214872
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31739
/proc/meminfo: memFree=30725320/32770624 swapFree=0/550716
[pid=31591] ppid=31588 vsize=214872 CPUtime=282.17 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 137702 0 0 0 28204 13 0 0 20 0 1 0 87446778 220028928 47279 18446744073709551615 4194304 7396336 140722643761312 140722643755944 4542508 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53718 47279 765 782 0 46734 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 214872
[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 31765
/proc/meminfo: memFree=30723972/32770624 swapFree=0/550720
[pid=31591] ppid=31588 vsize=214872 CPUtime=342.16 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 138818 0 0 0 34203 13 0 0 20 0 1 0 87446778 220028928 47290 18446744073709551615 4194304 7396336 140722643761312 140722643755944 4323542 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53718 47290 765 782 0 46734 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 214872
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 31768
/proc/meminfo: memFree=30727624/32770624 swapFree=0/550748
[pid=31591] ppid=31588 vsize=215004 CPUtime=402.16 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 139939 0 0 0 40203 13 0 0 20 0 1 0 87446778 220164096 47294 18446744073709551615 4194304 7396336 140722643761312 140722643755944 4245092 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53751 47294 765 782 0 46767 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 215004
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 31770
/proc/meminfo: memFree=30728128/32770624 swapFree=0/550756
[pid=31591] ppid=31588 vsize=215004 CPUtime=462.16 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 140571 0 0 0 46203 13 0 0 20 0 1 0 87446778 220164096 47300 18446744073709551615 4194304 7396336 140722643761312 140722643755944 5586214 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53751 47300 765 782 0 46767 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 215004
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31772
/proc/meminfo: memFree=30728524/32770624 swapFree=0/550772
[pid=31591] ppid=31588 vsize=215136 CPUtime=522.16 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 141255 0 0 0 52203 13 0 0 20 0 1 0 87446778 220299264 47325 18446744073709551615 4194304 7396336 140722643761312 140722643755592 5575980 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53784 47325 765 782 0 46800 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 215136
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 31774
/proc/meminfo: memFree=30728180/32770624 swapFree=0/550776
[pid=31591] ppid=31588 vsize=215268 CPUtime=582.16 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 141949 0 0 0 58203 13 0 0 20 0 1 0 87446778 220434432 47363 18446744073709551615 4194304 7396336 140722643761312 140722643755864 5162969 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53817 47363 765 782 0 46833 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 215268
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/185 31840
/proc/meminfo: memFree=30727352/32770624 swapFree=0/550964
[pid=31591] ppid=31588 vsize=215532 CPUtime=1602.2 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 154333 0 0 0 160206 14 0 0 20 0 1 0 87446778 220704768 47444 18446744073709551615 4194304 7396336 140722643761312 140722643755592 140246954104483 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53883 47444 765 782 0 46899 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 215532
[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/184 31842
/proc/meminfo: memFree=30726996/32770624 swapFree=0/550968
[pid=31591] ppid=31588 vsize=215532 CPUtime=1662.2 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 155102 0 0 0 166206 14 0 0 20 0 1 0 87446778 220704768 47445 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4407456 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53883 47445 765 782 0 46899 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 215532
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/184 31844
/proc/meminfo: memFree=30727120/32770624 swapFree=0/550980
[pid=31591] ppid=31588 vsize=215532 CPUtime=1722.2 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 155872 0 0 0 172206 14 0 0 20 0 1 0 87446778 220704768 47445 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4543814 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53883 47445 765 782 0 46899 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 215532
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 31849
/proc/meminfo: memFree=30726468/32770624 swapFree=0/550988
[pid=31591] ppid=31588 vsize=215532 CPUtime=1782.2 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 156642 0 0 0 178206 14 0 0 20 0 1 0 87446778 220704768 47446 18446744073709551615 4194304 7396336 140722643761312 140722643755592 5575312 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53883 47446 765 782 0 46899 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 215532
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 31851
/proc/meminfo: memFree=30726840/32770624 swapFree=0/551004
[pid=31591] ppid=31588 vsize=215532 CPUtime=1842.2 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 157414 0 0 0 184206 14 0 0 20 0 1 0 87446778 220704768 47447 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4252486 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53883 47447 765 782 0 46899 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 215532
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 31853
/proc/meminfo: memFree=30726096/32770624 swapFree=0/551012
[pid=31591] ppid=31588 vsize=215532 CPUtime=1902.2 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 158190 0 0 0 190206 14 0 0 20 0 1 0 87446778 220704768 47449 18446744073709551615 4194304 7396336 140722643761312 140722643755592 5575964 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53883 47449 765 782 0 46899 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 215532
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 31856
/proc/meminfo: memFree=30726592/32770624 swapFree=0/551024
[pid=31591] ppid=31588 vsize=215532 CPUtime=1962.2 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 158964 0 0 0 196206 14 0 0 20 0 1 0 87446778 220704768 47449 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4379213 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53883 47449 765 782 0 46899 0
Current children cumulated CPU time (s) 1962.2
Current children cumulated vsize (KiB) 215532
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 31858
/proc/meminfo: memFree=30726344/32770624 swapFree=0/551024
[pid=31591] ppid=31588 vsize=215532 CPUtime=2022.2 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 159741 0 0 0 202206 14 0 0 20 0 1 0 87446778 220704768 47450 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4399632 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53883 47450 765 782 0 46899 0
Current children cumulated CPU time (s) 2022.2
Current children cumulated vsize (KiB) 215532
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 31875
/proc/meminfo: memFree=30722620/32770624 swapFree=0/551032
[pid=31591] ppid=31588 vsize=215796 CPUtime=2082.21 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 160568 0 0 0 208207 14 0 0 20 0 1 0 87446778 220975104 47491 18446744073709551615 4194304 7396336 140722643761312 140722643755592 140246954104503 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53949 47491 765 782 0 46965 0
Current children cumulated CPU time (s) 2082.21
Current children cumulated vsize (KiB) 215796
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 31877
/proc/meminfo: memFree=30725528/32770624 swapFree=0/551036
[pid=31591] ppid=31588 vsize=215796 CPUtime=2142.21 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 161384 0 0 0 214206 15 0 0 20 0 1 0 87446778 220975104 47500 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4581442 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53949 47500 765 782 0 46965 0
Current children cumulated CPU time (s) 2142.21
Current children cumulated vsize (KiB) 215796
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 31879
/proc/meminfo: memFree=30726104/32770624 swapFree=0/551048
[pid=31591] ppid=31588 vsize=215796 CPUtime=2202.22 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 162204 0 0 0 220207 15 0 0 20 0 1 0 87446778 220975104 47500 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4257640 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53949 47500 765 782 0 46965 0
Current children cumulated CPU time (s) 2202.22
Current children cumulated vsize (KiB) 215796
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31883
/proc/meminfo: memFree=30725824/32770624 swapFree=0/551056
[pid=31591] ppid=31588 vsize=215796 CPUtime=2262.21 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 163029 0 0 0 226206 15 0 0 20 0 1 0 87446778 220975104 47500 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4257837 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53949 47500 765 782 0 46965 0
Current children cumulated CPU time (s) 2262.21
Current children cumulated vsize (KiB) 215796
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31885
/proc/meminfo: memFree=30726120/32770624 swapFree=0/551060
[pid=31591] ppid=31588 vsize=215796 CPUtime=2322.22 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 163854 0 0 0 232207 15 0 0 20 0 1 0 87446778 220975104 47501 18446744073709551615 4194304 7396336 140722643761312 140722643755592 5163189 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53949 47501 765 782 0 46965 0
Current children cumulated CPU time (s) 2322.22
Current children cumulated vsize (KiB) 215796
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 31887
/proc/meminfo: memFree=30725488/32770624 swapFree=0/551072
[pid=31591] ppid=31588 vsize=215796 CPUtime=2382.22 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 164679 0 0 0 238207 15 0 0 20 0 1 0 87446778 220975104 47502 18446744073709551615 4194304 7396336 140722643761312 140722643755592 5609888 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53949 47502 765 782 0 46965 0
Current children cumulated CPU time (s) 2382.22
Current children cumulated vsize (KiB) 215796
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 31889
/proc/meminfo: memFree=30725792/32770624 swapFree=0/551080
[pid=31591] ppid=31588 vsize=215796 CPUtime=2442.22 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 165505 0 0 0 244207 15 0 0 20 0 1 0 87446778 220975104 47502 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4249696 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53949 47502 765 782 0 46965 0
Current children cumulated CPU time (s) 2442.22
Current children cumulated vsize (KiB) 215796
[startup+2502.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 31891
/proc/meminfo: memFree=30725668/32770624 swapFree=0/551092
[pid=31591] ppid=31588 vsize=215796 CPUtime=2502.22 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 166331 0 0 0 250207 15 0 0 20 0 1 0 87446778 220975104 47503 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4246650 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53949 47503 765 782 0 46965 0
Current children cumulated CPU time (s) 2502.22
Current children cumulated vsize (KiB) 215796
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 31891
/proc/meminfo: memFree=30725544/32770624 swapFree=0/551096
[pid=31591] ppid=31588 vsize=215796 CPUtime=2519.92 cores=1,3,5,7
/proc/31591/stat : 31591 (MistralXCSP) R 31588 31591 31388 0 -1 4202496 167156 0 0 0 251977 15 0 0 20 0 1 0 87446778 220975104 47503 18446744073709551615 4194304 7396336 140722643761312 140722643755592 4320622 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 21323776 140722643763635 140722643763784 140722643763784 140722643767241 0
/proc/31591/statm: 53949 47503 765 782 0 46965 0
Current children cumulated CPU time (s) 2519.92
Current children cumulated vsize (KiB) 215796
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 31591 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.93
CPU user time (s): 2519.77
CPU system time (s): 0.156003
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 215796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.156003
maximum resident set size= 190036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167186
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= 58
involuntary context switches= 915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81086 second user time and 10.2314 second system time
The end