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-4242010-1500630477/watcher-4242010-1500630477 -o /tmp/evaluation-result-4242010-1500630477/solver-4242010-1500630477 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500623787-5249 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1631882515 HOME/instance-4242010-1500630477.xml
pid=7801
running on 4 cores: 0,2,4,6
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.01 4/186 7804
/proc/meminfo: memFree=30936220/32770624 swapFree=6412/504644
[pid=7804] ppid=7801 vsize=29068 CPUtime=0 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 1038 0 0 0 0 0 0 0 20 0 1 0 17940979 29765632 868 33554432000 4194304 7402444 140722471164192 140722471161240 140039732833253 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 7267 868 618 784 0 281 0
[startup+0.100125 s]
/proc/loadavg: 2.00 2.01 2.01 4/186 7804
/proc/meminfo: memFree=30936220/32770624 swapFree=6412/504644
[pid=7804] ppid=7801 vsize=82528 CPUtime=0.09 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 14461 0 0 0 7 2 0 0 20 0 1 0 17940979 84508672 14286 33554432000 4194304 7402444 140722471164192 140722471155704 140039732833253 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 20676 14286 666 784 0 13690 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 82528
[startup+0.200344 s]
/proc/loadavg: 2.00 2.01 2.01 4/186 7804
/proc/meminfo: memFree=30936220/32770624 swapFree=6412/504644
[pid=7804] ppid=7801 vsize=116008 CPUtime=0.19 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 21339 0 0 0 16 3 0 0 20 0 1 0 17940979 118792192 22646 33554432000 4194304 7402444 140722471164192 140722471158728 140039732833253 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 29002 22646 699 784 0 22016 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 116008
[startup+0.300296 s]
/proc/loadavg: 2.00 2.01 2.01 4/186 7804
/proc/meminfo: memFree=30936220/32770624 swapFree=6412/504644
[pid=7804] ppid=7801 vsize=119424 CPUtime=0.29 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 22174 0 0 0 26 3 0 0 20 0 1 0 17940979 122290176 23504 33554432000 4194304 7402444 140722471164192 140722471158728 5754032 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 29856 23504 705 784 0 22870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119424
[startup+0.700238 s]
/proc/loadavg: 2.00 2.01 2.01 4/186 7804
/proc/meminfo: memFree=30936220/32770624 swapFree=6412/504644
[pid=7804] ppid=7801 vsize=136848 CPUtime=0.69 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 26526 0 0 0 65 4 0 0 20 0 1 0 17940979 140132352 27860 33554432000 4194304 7402444 140722471164192 140722471158728 5818296 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 34212 27860 705 784 0 27226 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 136848
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7805
/proc/meminfo: memFree=30826228/32770624 swapFree=6412/504624
[pid=7804] ppid=7801 vsize=141600 CPUtime=1.49 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 27741 0 0 0 145 4 0 0 20 0 1 0 17940979 144998400 29048 33554432000 4194304 7402444 140722471164192 140722471158728 4378386 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 35400 29048 705 784 0 28414 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141600
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7805
/proc/meminfo: memFree=30818788/32770624 swapFree=6412/504624
[pid=7804] ppid=7801 vsize=149652 CPUtime=3.08 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 48215 0 0 0 303 5 0 0 20 0 1 0 17940979 153243648 31031 33554432000 4194304 7402444 140722471164192 140722471158728 4484648 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 37413 31031 705 784 0 30427 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 149652
[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7805
/proc/meminfo: memFree=30805632/32770624 swapFree=6412/504684
[pid=7804] ppid=7801 vsize=158760 CPUtime=6.28 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 69063 0 0 0 621 7 0 0 20 0 1 0 17940979 162570240 33336 33554432000 4194304 7402444 140722471164192 140722471158728 4377730 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 39690 33336 705 784 0 32704 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 158760
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7805
/proc/meminfo: memFree=30771948/32770624 swapFree=6412/504680
[pid=7804] ppid=7801 vsize=191284 CPUtime=12.68 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 92224 0 0 0 1259 9 0 0 20 0 1 0 17940979 195874816 41460 33554432000 4194304 7402444 140722471164192 140722471158728 5754037 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 47821 41460 705 784 0 40835 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 191284
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7805
/proc/meminfo: memFree=30761128/32770624 swapFree=6412/504696
[pid=7804] ppid=7801 vsize=199600 CPUtime=25.45 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 134166 0 0 0 2534 11 0 0 20 0 1 0 17940979 204390400 43543 33554432000 4194304 7402444 140722471164192 140722471158728 140039732828990 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 49900 43543 705 784 0 42914 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 199600
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7805
/proc/meminfo: memFree=30755036/32770624 swapFree=6412/504720
[pid=7804] ppid=7801 vsize=206860 CPUtime=51.02 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 154227 0 0 0 5089 13 0 0 20 0 1 0 17940979 211824640 45383 33554432000 4194304 7402444 140722471164192 140722471158728 4377734 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 51715 45383 705 784 0 44729 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 206860
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7806
/proc/meminfo: memFree=30749660/32770624 swapFree=6412/504752
[pid=7804] ppid=7801 vsize=211612 CPUtime=102.17 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 162508 0 0 0 10203 14 0 0 20 0 1 0 17940979 216690688 46538 33554432000 4194304 7402444 140722471164192 140722471158728 4484439 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 52903 46538 705 784 0 45917 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 211612
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 7815
/proc/meminfo: memFree=30748020/32770624 swapFree=6412/504796
[pid=7804] ppid=7801 vsize=213328 CPUtime=162.13 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 164155 0 0 0 16199 14 0 0 20 0 1 0 17940979 218447872 46978 33554432000 4194304 7402444 140722471164192 140722471158728 4378979 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 53332 46978 705 784 0 46346 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 213328
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 7816
/proc/meminfo: memFree=30747552/32770624 swapFree=6412/504828
[pid=7804] ppid=7801 vsize=214516 CPUtime=222.1 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 166055 0 0 0 22195 15 0 0 20 0 1 0 17940979 219664384 47270 33554432000 4194304 7402444 140722471164192 140722471158728 4708116 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 53629 47270 705 784 0 46643 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 214516
[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.02 3/189 7818
/proc/meminfo: memFree=30747172/32770624 swapFree=6412/504860
[pid=7804] ppid=7801 vsize=215176 CPUtime=282.06 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 168043 0 0 0 28191 15 0 0 20 0 1 0 17940979 220340224 47429 33554432000 4194304 7402444 140722471164192 140722471158728 4484665 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 53794 47429 705 784 0 46808 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 215176
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.02 3/189 7819
/proc/meminfo: memFree=30746924/32770624 swapFree=6412/504896
[pid=7804] ppid=7801 vsize=215440 CPUtime=342.02 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 170104 0 0 0 34187 15 0 0 20 0 1 0 17940979 220610560 47502 33554432000 4194304 7402444 140722471164192 140722471158728 4378337 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 53860 47502 705 784 0 46874 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 215440
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/189 7820
/proc/meminfo: memFree=30746304/32770624 swapFree=6412/504928
[pid=7804] ppid=7801 vsize=215836 CPUtime=401.98 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 172237 0 0 0 40183 15 0 0 20 0 1 0 17940979 221016064 47619 33554432000 4194304 7402444 140722471164192 140722471158728 4484558 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 53959 47619 705 784 0 46973 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 215836
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/188 7822
/proc/meminfo: memFree=30746488/32770624 swapFree=6412/504968
[pid=7804] ppid=7801 vsize=215968 CPUtime=461.94 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 174452 0 0 0 46179 15 0 0 20 0 1 0 17940979 221151232 47667 33554432000 4194304 7402444 140722471164192 140722471158728 4378960 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 53992 47667 705 784 0 47006 0
Current children cumulated CPU time (s) 461.94
Current children cumulated vsize (KiB) 215968
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/188 7823
/proc/meminfo: memFree=30744816/32770624 swapFree=6412/504996
[pid=7804] ppid=7801 vsize=216232 CPUtime=521.91 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 175661 0 0 0 52175 16 0 0 20 0 1 0 17940979 221421568 47728 33554432000 4194304 7402444 140722471164192 140722471158728 4379344 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54058 47728 705 784 0 47072 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 216232
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 7824
/proc/meminfo: memFree=30745948/32770624 swapFree=6412/505028
[pid=7804] ppid=7801 vsize=216364 CPUtime=581.87 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 176388 0 0 0 58171 16 0 0 20 0 1 0 17940979 221556736 47763 33554432000 4194304 7402444 140722471164192 140722471158728 4747176 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54091 47763 705 784 0 47105 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 216364
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 7940
/proc/meminfo: memFree=31106472/32770624 swapFree=6412/505596
[pid=7804] ppid=7801 vsize=217156 CPUtime=1541.35 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 184340 0 0 0 154118 17 0 0 20 0 1 0 17940979 222367744 47966 33554432000 4194304 7402444 140722471164192 140722471158728 4484555 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54289 47966 705 784 0 47303 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 217156
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.04 3/188 7941
/proc/meminfo: memFree=31106348/32770624 swapFree=6412/505628
[pid=7804] ppid=7801 vsize=217156 CPUtime=1601.31 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 184762 0 0 0 160114 17 0 0 20 0 1 0 17940979 222367744 47981 33554432000 4194304 7402444 140722471164192 140722471158728 4378386 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54289 47981 705 784 0 47303 0
Current children cumulated CPU time (s) 1601.31
Current children cumulated vsize (KiB) 217156
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 7942
/proc/meminfo: memFree=31106488/32770624 swapFree=6412/505660
[pid=7804] ppid=7801 vsize=217156 CPUtime=1661.27 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 185189 0 0 0 166110 17 0 0 20 0 1 0 17940979 222367744 47985 33554432000 4194304 7402444 140722471164192 140722471158728 4484665 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54289 47985 705 784 0 47303 0
Current children cumulated CPU time (s) 1661.27
Current children cumulated vsize (KiB) 217156
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 7943
/proc/meminfo: memFree=31106256/32770624 swapFree=6412/505688
[pid=7804] ppid=7801 vsize=217156 CPUtime=1721.24 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 185620 0 0 0 172107 17 0 0 20 0 1 0 17940979 222367744 47992 33554432000 4194304 7402444 140722471164192 140722471158728 4484558 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54289 47992 705 784 0 47303 0
Current children cumulated CPU time (s) 1721.24
Current children cumulated vsize (KiB) 217156
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 7944
/proc/meminfo: memFree=31106384/32770624 swapFree=6412/505716
[pid=7804] ppid=7801 vsize=217288 CPUtime=1781.2 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 186061 0 0 0 178103 17 0 0 20 0 1 0 17940979 222502912 47995 33554432000 4194304 7402444 140722471164192 140722471158728 4484555 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54322 47995 705 784 0 47336 0
Current children cumulated CPU time (s) 1781.2
Current children cumulated vsize (KiB) 217288
[startup+1842.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 7945
/proc/meminfo: memFree=31106140/32770624 swapFree=6412/505752
[pid=7804] ppid=7801 vsize=217288 CPUtime=1841.17 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 186508 0 0 0 184100 17 0 0 20 0 1 0 17940979 222502912 48002 33554432000 4194304 7402444 140722471164192 140722471158728 4377628 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54322 48002 705 784 0 47336 0
Current children cumulated CPU time (s) 1841.17
Current children cumulated vsize (KiB) 217288
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7946
/proc/meminfo: memFree=31106184/32770624 swapFree=6412/505784
[pid=7804] ppid=7801 vsize=217288 CPUtime=1901.13 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 186959 0 0 0 190096 17 0 0 20 0 1 0 17940979 222502912 48010 33554432000 4194304 7402444 140722471164192 140722471158728 5818296 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54322 48010 705 784 0 47336 0
Current children cumulated CPU time (s) 1901.13
Current children cumulated vsize (KiB) 217288
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7954
/proc/meminfo: memFree=31105080/32770624 swapFree=6412/505812
[pid=7804] ppid=7801 vsize=217288 CPUtime=1961.1 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 187412 0 0 0 196093 17 0 0 20 0 1 0 17940979 222502912 48014 33554432000 4194304 7402444 140722471164192 140722471158728 5818321 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54322 48014 705 784 0 47336 0
Current children cumulated CPU time (s) 1961.1
Current children cumulated vsize (KiB) 217288
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7955
/proc/meminfo: memFree=31105200/32770624 swapFree=6412/505852
[pid=7804] ppid=7801 vsize=217288 CPUtime=2021.06 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 187877 0 0 0 202089 17 0 0 20 0 1 0 17940979 222502912 48022 33554432000 4194304 7402444 140722471164192 140722471158728 4484648 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54322 48022 705 784 0 47336 0
Current children cumulated CPU time (s) 2021.06
Current children cumulated vsize (KiB) 217288
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7956
/proc/meminfo: memFree=31105464/32770624 swapFree=6412/505884
[pid=7804] ppid=7801 vsize=217288 CPUtime=2081.04 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 188342 0 0 0 208087 17 0 0 20 0 1 0 17940979 222502912 48025 33554432000 4194304 7402444 140722471164192 140722471158728 4378314 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54322 48025 705 784 0 47336 0
Current children cumulated CPU time (s) 2081.04
Current children cumulated vsize (KiB) 217288
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7957
/proc/meminfo: memFree=31105892/32770624 swapFree=6412/505916
[pid=7804] ppid=7801 vsize=217288 CPUtime=2141 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 188809 0 0 0 214083 17 0 0 20 0 1 0 17940979 222502912 48028 33554432000 4194304 7402444 140722471164192 140722471158728 4378979 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54322 48028 705 784 0 47336 0
Current children cumulated CPU time (s) 2141
Current children cumulated vsize (KiB) 217288
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7958
/proc/meminfo: memFree=31105768/32770624 swapFree=6412/505948
[pid=7804] ppid=7801 vsize=217420 CPUtime=2200.98 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 189281 0 0 0 220080 18 0 0 20 0 1 0 17940979 222638080 48031 33554432000 4194304 7402444 140722471164192 140722471158728 4484555 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54355 48031 705 784 0 47369 0
Current children cumulated CPU time (s) 2200.98
Current children cumulated vsize (KiB) 217420
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7960
/proc/meminfo: memFree=31105892/32770624 swapFree=6412/505984
[pid=7804] ppid=7801 vsize=217420 CPUtime=2260.94 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 189759 0 0 0 226076 18 0 0 20 0 1 0 17940979 222638080 48037 33554432000 4194304 7402444 140722471164192 140722471158728 4379289 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54355 48037 705 784 0 47369 0
Current children cumulated CPU time (s) 2260.94
Current children cumulated vsize (KiB) 217420
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7961
/proc/meminfo: memFree=31105764/32770624 swapFree=6412/506016
[pid=7804] ppid=7801 vsize=217420 CPUtime=2320.9 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 190239 0 0 0 232072 18 0 0 20 0 1 0 17940979 222638080 48042 33554432000 4194304 7402444 140722471164192 140722471158728 4708056 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54355 48042 705 784 0 47369 0
Current children cumulated CPU time (s) 2320.9
Current children cumulated vsize (KiB) 217420
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7962
/proc/meminfo: memFree=31105628/32770624 swapFree=6412/506048
[pid=7804] ppid=7801 vsize=217420 CPUtime=2380.87 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 190720 0 0 0 238069 18 0 0 20 0 1 0 17940979 222638080 48044 33554432000 4194304 7402444 140722471164192 140722471158728 4747326 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54355 48044 705 784 0 47369 0
Current children cumulated CPU time (s) 2380.87
Current children cumulated vsize (KiB) 217420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.5 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7963
/proc/meminfo: memFree=31105396/32770624 swapFree=6412/506068
[pid=7804] ppid=7801 vsize=217420 CPUtime=2400.06 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 191202 0 0 0 239988 18 0 0 20 0 1 0 17940979 222638080 48046 33554432000 4194304 7402444 140722471164192 140722471158728 4484644 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54355 48046 705 784 0 47369 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 217420
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 7804 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.5 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7963
/proc/meminfo: memFree=31105396/32770624 swapFree=6412/506068
[pid=7804] ppid=7801 vsize=217420 CPUtime=2400.06 cores=0,2,4,6
/proc/7804/stat : 7804 (MistralXCSP) R 7801 7804 5218 0 -1 4202496 191202 0 0 0 239988 18 0 0 20 0 1 0 17940979 222638080 48046 33554432000 4194304 7402444 140722471164192 140722471158728 4484644 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 15749120 140722471167144 140722471167294 140722471167294 140722471169993 0
/proc/7804/statm: 54355 48046 705 784 0 47369 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 217420
Child status: 0
Real time (s): 2401.5
CPU time (s): 2400.07
CPU user time (s): 2399.88
CPU system time (s): 0.187892
CPU usage (%): 99.9404
Max. virtual memory (cumulated for all children) (KiB): 217420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 0.187892
maximum resident set size= 192216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191235
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= 79
involuntary context switches= 122913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54171 second user time and 9.14372 second system time
The end