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-4239838-1500634142/watcher-4239838-1500634142 -o /tmp/evaluation-result-4239838-1500634142/solver-4239838-1500634142 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500623787-3572 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 136714567 HOME/instance-4239838-1500634142.xml
pid=8061
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.00 2.03 2.05 3/186 8064
/proc/meminfo: memFree=30762108/32770624 swapFree=6376/1116604
[pid=8064] ppid=8061 vsize=28936 CPUtime=0 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 1048 0 0 0 0 0 0 0 20 0 1 0 16691432 29630464 868 33554432000 4194304 7402444 140732722776560 140732722773608 6048450 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 7234 868 650 784 0 248 0
[startup+0.100116 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 8064
/proc/meminfo: memFree=30762108/32770624 swapFree=6376/1116604
[pid=8064] ppid=8061 vsize=29068 CPUtime=0.09 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 1148 0 0 0 9 0 0 0 20 0 1 0 16691432 29765632 934 33554432000 4194304 7402444 140732722776560 140732722766664 140223687703400 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 7267 934 715 784 0 281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29068
[startup+0.200245 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 8064
/proc/meminfo: memFree=30762108/32770624 swapFree=6376/1116604
[pid=8064] ppid=8061 vsize=29192 CPUtime=0.19 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 1170 0 0 0 19 0 0 0 20 0 1 0 16691432 29892608 997 33554432000 4194304 7402444 140732722776560 140732722767224 6057513 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 7298 997 725 784 0 312 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29192
[startup+0.300221 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 8064
/proc/meminfo: memFree=30762108/32770624 swapFree=6376/1116604
[pid=8064] ppid=8061 vsize=29192 CPUtime=0.29 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 1196 0 0 0 29 0 0 0 20 0 1 0 16691432 29892608 997 33554432000 4194304 7402444 140732722776560 140732722767224 140223687666661 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 7298 997 725 784 0 312 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29192
[startup+0.700177 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 8064
/proc/meminfo: memFree=30762108/32770624 swapFree=6376/1116604
[pid=8064] ppid=8061 vsize=32828 CPUtime=0.69 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 2185 0 0 0 69 0 0 0 20 0 1 0 16691432 33615872 1960 33554432000 4194304 7402444 140732722776560 140732722771656 4296272 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8207 1960 776 784 0 1221 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32828
[startup+1.50018 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8065
/proc/meminfo: memFree=30757436/32770624 swapFree=6376/1116628
[pid=8064] ppid=8061 vsize=33488 CPUtime=1.49 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 2345 0 0 0 149 0 0 0 20 0 1 0 16691432 34291712 2091 33554432000 4194304 7402444 140732722776560 140732722770904 5758608 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8372 2091 778 784 0 1386 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33488
[startup+3.10018 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8065
/proc/meminfo: memFree=30755948/32770624 swapFree=6376/1116628
[pid=8064] ppid=8061 vsize=34676 CPUtime=3.09 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 3826 0 0 0 309 0 0 0 20 0 1 0 16691432 35508224 2415 33554432000 4194304 7402444 140732722776560 140732722770904 5871069 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8669 2415 778 784 0 1683 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34676
[startup+6.30019 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8065
/proc/meminfo: memFree=30755084/32770624 swapFree=6376/1116636
[pid=8064] ppid=8061 vsize=35204 CPUtime=6.29 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 5387 0 0 0 629 0 0 0 20 0 1 0 16691432 36048896 2519 33554432000 4194304 7402444 140732722776560 140732722771576 4238480 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8801 2519 778 784 0 1815 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35204
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8065
/proc/meminfo: memFree=30754612/32770624 swapFree=6376/1116644
[pid=8064] ppid=8061 vsize=35468 CPUtime=12.69 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 6944 0 0 0 1269 0 0 0 20 0 1 0 16691432 36319232 2623 33554432000 4194304 7402444 140732722776560 140732722770904 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8867 2623 778 784 0 1881 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35468
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8065
/proc/meminfo: memFree=30754768/32770624 swapFree=6376/1116652
[pid=8064] ppid=8061 vsize=35600 CPUtime=25.48 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 10094 0 0 0 2548 0 0 0 20 0 1 0 16691432 36454400 2678 33554432000 4194304 7402444 140732722776560 140732722770904 5878244 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8900 2678 778 784 0 1914 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35600
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8065
/proc/meminfo: memFree=30754172/32770624 swapFree=6376/1116652
[pid=8064] ppid=8061 vsize=35732 CPUtime=51.08 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 10784 0 0 0 5108 0 0 0 20 0 1 0 16691432 36589568 2699 33554432000 4194304 7402444 140732722776560 140732722770904 5872864 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8933 2699 778 784 0 1947 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35732
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 8073
/proc/meminfo: memFree=30753832/32770624 swapFree=6376/1116708
[pid=8064] ppid=8061 vsize=35864 CPUtime=102.28 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 11458 0 0 0 10228 0 0 0 20 0 1 0 16691432 36724736 2716 33554432000 4194304 7402444 140732722776560 140732722770904 5821601 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2716 778 784 0 1980 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35864
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 8074
/proc/meminfo: memFree=30753976/32770624 swapFree=6376/1116732
[pid=8064] ppid=8061 vsize=35864 CPUtime=162.27 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 12128 0 0 0 16227 0 0 0 20 0 1 0 16691432 36724736 2723 33554432000 4194304 7402444 140732722776560 140732722770904 4747422 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2723 778 784 0 1980 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 35864
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 8075
/proc/meminfo: memFree=30754048/32770624 swapFree=6376/1116764
[pid=8064] ppid=8061 vsize=35864 CPUtime=222.26 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 12814 0 0 0 22226 0 0 0 20 0 1 0 16691432 36724736 2726 33554432000 4194304 7402444 140732722776560 140732722770904 5758845 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2726 778 784 0 1980 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 35864
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 8076
/proc/meminfo: memFree=30753684/32770624 swapFree=6376/1116804
[pid=8064] ppid=8061 vsize=35864 CPUtime=282.25 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 13495 0 0 0 28225 0 0 0 20 0 1 0 16691432 36724736 2730 33554432000 4194304 7402444 140732722776560 140732722770904 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2730 778 784 0 1980 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 35864
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 8077
/proc/meminfo: memFree=30753528/32770624 swapFree=6376/1116836
[pid=8064] ppid=8061 vsize=35864 CPUtime=342.24 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 14172 0 0 0 34224 0 0 0 20 0 1 0 16691432 36724736 2733 33554432000 4194304 7402444 140732722776560 140732722770904 5877690 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2733 778 784 0 1980 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 35864
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8079
/proc/meminfo: memFree=30753452/32770624 swapFree=6376/1116868
[pid=8064] ppid=8061 vsize=35864 CPUtime=402.24 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 14856 0 0 0 40224 0 0 0 20 0 1 0 16691432 36724736 2733 33554432000 4194304 7402444 140732722776560 140732722770904 5871010 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2733 778 784 0 1980 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 35864
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8080
/proc/meminfo: memFree=30753488/32770624 swapFree=6376/1116896
[pid=8064] ppid=8061 vsize=35864 CPUtime=462.23 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 15534 0 0 0 46223 0 0 0 20 0 1 0 16691432 36724736 2736 33554432000 4194304 7402444 140732722776560 140732722770904 5758807 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2736 778 784 0 1980 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 35864
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8081
/proc/meminfo: memFree=30753528/32770624 swapFree=6376/1116932
[pid=8064] ppid=8061 vsize=35864 CPUtime=522.23 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 16212 0 0 0 52222 1 0 0 20 0 1 0 16691432 36724736 2736 33554432000 4194304 7402444 140732722776560 140732722770904 4238480 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2736 778 784 0 1980 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 35864
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8083
/proc/meminfo: memFree=30753692/32770624 swapFree=6376/1116968
[pid=8064] ppid=8061 vsize=35864 CPUtime=582.22 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 16890 0 0 0 58221 1 0 0 20 0 1 0 16691432 36724736 2736 33554432000 4194304 7402444 140732722776560 140732722770904 5822037 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2736 778 784 0 1980 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 35864
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8136
/proc/meminfo: memFree=30752020/32770624 swapFree=6376/1117504
[pid=8064] ppid=8061 vsize=35864 CPUtime=1542.12 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 27735 0 0 0 154211 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 140223691101925 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 35864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8137
/proc/meminfo: memFree=30751904/32770624 swapFree=6376/1117532
[pid=8064] ppid=8061 vsize=35864 CPUtime=1602.11 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 28412 0 0 0 160210 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 5878048 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 35864
[startup+1662.3 s]
/proc/loadavg: 2.18 2.06 2.06 3/187 8138
/proc/meminfo: memFree=30752248/32770624 swapFree=6376/1117564
[pid=8064] ppid=8061 vsize=35864 CPUtime=1662.1 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 29090 0 0 0 166209 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 5746096 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 35864
[startup+1722.3 s]
/proc/loadavg: 2.12 2.06 2.06 3/187 8139
/proc/meminfo: memFree=30752200/32770624 swapFree=6376/1117592
[pid=8064] ppid=8061 vsize=35864 CPUtime=1722.09 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 29768 0 0 0 172208 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 5758655 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 35864
[startup+1782.3 s]
/proc/loadavg: 2.16 2.08 2.06 3/187 8140
/proc/meminfo: memFree=30751936/32770624 swapFree=6376/1117632
[pid=8064] ppid=8061 vsize=35864 CPUtime=1782.09 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 30445 0 0 0 178208 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 4301229 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 35864
[startup+1842.3 s]
/proc/loadavg: 2.12 2.08 2.06 3/187 8141
/proc/meminfo: memFree=30751856/32770624 swapFree=6376/1117660
[pid=8064] ppid=8061 vsize=35864 CPUtime=1842.08 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 31124 0 0 0 184207 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 5878564 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 35864
[startup+1902.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/188 8150
/proc/meminfo: memFree=30750628/32770624 swapFree=6376/1117696
[pid=8064] ppid=8061 vsize=35864 CPUtime=1902.07 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 31801 0 0 0 190206 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 5877690 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 35864
[startup+1962.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/188 8151
/proc/meminfo: memFree=30750660/32770624 swapFree=6376/1117728
[pid=8064] ppid=8061 vsize=35864 CPUtime=1962.07 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 32479 0 0 0 196206 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 4708314 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 35864
[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 8152
/proc/meminfo: memFree=30751004/32770624 swapFree=6376/1117756
[pid=8064] ppid=8061 vsize=35864 CPUtime=2022.06 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 33157 0 0 0 202205 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 35864
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 8153
/proc/meminfo: memFree=30751304/32770624 swapFree=6376/1117792
[pid=8064] ppid=8061 vsize=35864 CPUtime=2082.06 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 33835 0 0 0 208205 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 5750704 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 35864
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 8215
/proc/meminfo: memFree=30333128/32770624 swapFree=6376/1117864
[pid=8064] ppid=8061 vsize=35864 CPUtime=2142.05 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 34510 0 0 0 214204 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 5750756 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 35864
[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8217
/proc/meminfo: memFree=30328848/32770624 swapFree=6376/1117960
[pid=8064] ppid=8061 vsize=35864 CPUtime=2202.05 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 35197 0 0 0 220204 1 0 0 20 0 1 0 16691432 36724736 2737 33554432000 4194304 7402444 140732722776560 140732722770904 5872796 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2737 778 784 0 1980 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 35864
[startup+2262.3 s]
/proc/loadavg: 2.14 2.05 2.06 3/187 8218
/proc/meminfo: memFree=30327464/32770624 swapFree=6376/1118032
[pid=8064] ppid=8061 vsize=35864 CPUtime=2262.03 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 35885 0 0 0 226202 1 0 0 20 0 1 0 16691432 36724736 2740 33554432000 4194304 7402444 140732722776560 140732722770904 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2740 778 784 0 1980 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 35864
[startup+2322.3 s]
/proc/loadavg: 2.15 2.07 2.06 3/187 8219
/proc/meminfo: memFree=30326832/32770624 swapFree=6376/1118112
[pid=8064] ppid=8061 vsize=35864 CPUtime=2322.03 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 36570 0 0 0 232202 1 0 0 20 0 1 0 16691432 36724736 2741 33554432000 4194304 7402444 140732722776560 140732722770904 5758845 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2741 778 784 0 1980 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 35864
[startup+2382.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/187 8221
/proc/meminfo: memFree=30327376/32770624 swapFree=6376/1118196
[pid=8064] ppid=8061 vsize=35864 CPUtime=2382.02 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 37253 0 0 0 238201 1 0 0 20 0 1 0 16691432 36724736 2741 33554432000 4194304 7402444 140732722776560 140732722770904 5758807 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2741 778 784 0 1980 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 35864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.04 2.06 2.05 3/187 8221
/proc/meminfo: memFree=30326716/32770624 swapFree=6376/1118212
[pid=8064] ppid=8061 vsize=35864 CPUtime=2400.02 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 37931 0 0 0 240001 1 0 0 20 0 1 0 16691432 36724736 2741 33554432000 4194304 7402444 140732722776560 140732722770904 4301211 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2741 778 784 0 1980 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 35864
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 8064 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.04 2.06 2.05 3/187 8221
/proc/meminfo: memFree=30326716/32770624 swapFree=6376/1118212
[pid=8064] ppid=8061 vsize=35864 CPUtime=2400.02 cores=1,3,5,7
/proc/8064/stat : 8064 (MistralXCSP) R 8061 8064 3540 0 -1 4202496 37931 0 0 0 240001 1 0 0 20 0 1 0 16691432 36724736 2741 33554432000 4194304 7402444 140732722776560 140732722770904 4301211 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36716544 140732722783401 140732722783550 140732722783550 140732722786249 0
/proc/8064/statm: 8966 2741 778 784 0 1980 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 35864
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.012998
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 35864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.012998
maximum resident set size= 10988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37971
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= 12
involuntary context switches= 120186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08063 second user time and 8.54388 second system time
The end