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-4240804-1500641393/watcher-4240804-1500641393 -o /tmp/evaluation-result-4240804-1500641393/solver-4240804-1500641393 -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 307276311 HOME/instance-4240804-1500641393.xml
pid=8881
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.04 2.03 2.05 3/185 8884
/proc/meminfo: memFree=30457568/32770624 swapFree=6376/1121848
[pid=8884] ppid=8881 vsize=28936 CPUtime=0 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 1018 0 0 0 0 0 0 0 20 0 1 0 17416548 29630464 802 33554432000 4194304 7402444 140734145489424 140734145486472 140413412731877 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 7234 802 616 784 0 248 0
[startup+0.100195 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 8884
/proc/meminfo: memFree=30457568/32770624 swapFree=6376/1121848
[pid=8884] ppid=8881 vsize=36656 CPUtime=0.09 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 3033 0 0 0 9 0 0 0 20 0 1 0 17416548 37535744 2727 33554432000 4194304 7402444 140734145489424 140734145478024 140413412731877 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 9164 2727 676 784 0 2178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36656
[startup+0.200333 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 8884
/proc/meminfo: memFree=30457568/32770624 swapFree=6376/1121848
[pid=8884] ppid=8881 vsize=47132 CPUtime=0.19 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 5916 0 0 0 18 1 0 0 20 0 1 0 17416548 48263168 5363 33554432000 4194304 7402444 140734145489424 140734145480600 4731639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 11783 5363 684 784 0 4797 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47132
[startup+0.300282 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 8884
/proc/meminfo: memFree=30457568/32770624 swapFree=6376/1121848
[pid=8884] ppid=8881 vsize=53772 CPUtime=0.29 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 7610 0 0 0 28 1 0 0 20 0 1 0 17416548 55062528 7052 33554432000 4194304 7402444 140734145489424 140734145480696 4731639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 13443 7052 684 784 0 6457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53772
[startup+0.700242 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 8884
/proc/meminfo: memFree=30457568/32770624 swapFree=6376/1121848
[pid=8884] ppid=8881 vsize=79048 CPUtime=0.69 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 13131 0 0 0 67 2 0 0 20 0 1 0 17416548 80945152 13392 33554432000 4194304 7402444 140734145489424 140734145480536 4731487 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 19762 13392 684 784 0 12776 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79048
[startup+1.50023 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 8886
/proc/meminfo: memFree=30405752/32770624 swapFree=6376/1121872
[pid=8884] ppid=8881 vsize=85784 CPUtime=1.49 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 14811 0 0 0 147 2 0 0 20 0 1 0 17416548 87842816 15041 33554432000 4194304 7402444 140734145489424 140734145480696 4731639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 21446 15041 684 784 0 14460 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85784
[startup+3.10022 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 8886
/proc/meminfo: memFree=30394044/32770624 swapFree=6376/1121872
[pid=8884] ppid=8881 vsize=91864 CPUtime=3.08 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 27834 0 0 0 306 2 0 0 20 0 1 0 17416548 94068736 16639 33554432000 4194304 7402444 140734145489424 140734145483928 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 22966 16639 725 784 0 15980 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 91864
[startup+6.30025 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 8886
/proc/meminfo: memFree=30393004/32770624 swapFree=6376/1121872
[pid=8884] ppid=8881 vsize=92016 CPUtime=6.29 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 39144 0 0 0 626 3 0 0 20 0 1 0 17416548 94224384 16653 33554432000 4194304 7402444 140734145489424 140734145484056 4342315 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23004 16653 726 784 0 16018 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92016
[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 8894
/proc/meminfo: memFree=30392080/32770624 swapFree=6376/1121896
[pid=8884] ppid=8881 vsize=92016 CPUtime=12.68 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 50545 0 0 0 1265 3 0 0 20 0 1 0 17416548 94224384 16655 33554432000 4194304 7402444 140734145489424 140734145484056 4248978 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23004 16655 726 784 0 16018 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92016
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.05 4/188 8894
/proc/meminfo: memFree=30391816/32770624 swapFree=6376/1121912
[pid=8884] ppid=8881 vsize=92016 CPUtime=25.48 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 73019 0 0 0 2544 4 0 0 20 0 1 0 17416548 94224384 16685 33554432000 4194304 7402444 140734145489424 140734145484056 4747338 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23004 16685 726 784 0 16018 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92016
[startup+51.1004 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 8894
/proc/meminfo: memFree=30389872/32770624 swapFree=6376/1121924
[pid=8884] ppid=8881 vsize=92016 CPUtime=51.07 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 84680 0 0 0 5102 5 0 0 20 0 1 0 17416548 94224384 16685 33554432000 4194304 7402444 140734145489424 140734145484056 5695885 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23004 16685 726 784 0 16018 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92016
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 8895
/proc/meminfo: memFree=30391460/32770624 swapFree=6376/1121960
[pid=8884] ppid=8881 vsize=92576 CPUtime=102.23 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 91449 0 0 0 10218 5 0 0 20 0 1 0 17416548 94797824 16819 33554432000 4194304 7402444 140734145489424 140734145483912 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23144 16819 726 784 0 16158 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 92576
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 8896
/proc/meminfo: memFree=30392000/32770624 swapFree=6376/1121984
[pid=8884] ppid=8881 vsize=92576 CPUtime=162.2 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 92211 0 0 0 16215 5 0 0 20 0 1 0 17416548 94797824 16819 33554432000 4194304 7402444 140734145489424 140734145483912 4747862 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23144 16819 726 784 0 16158 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 92576
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8897
/proc/meminfo: memFree=30393236/32770624 swapFree=6376/1122024
[pid=8884] ppid=8881 vsize=92576 CPUtime=222.18 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 92928 0 0 0 22213 5 0 0 20 0 1 0 17416548 94797824 16823 33554432000 4194304 7402444 140734145489424 140734145483912 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23144 16823 728 784 0 16158 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 92576
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8898
/proc/meminfo: memFree=30393828/32770624 swapFree=6376/1122052
[pid=8884] ppid=8881 vsize=92576 CPUtime=282.15 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 93675 0 0 0 28210 5 0 0 20 0 1 0 17416548 94797824 16823 33554432000 4194304 7402444 140734145489424 140734145483912 5327204 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23144 16823 728 784 0 16158 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 92576
[startup+342.3 s]
/proc/loadavg: 2.17 2.06 2.06 3/187 8900
/proc/meminfo: memFree=30394000/32770624 swapFree=6376/1122088
[pid=8884] ppid=8881 vsize=92576 CPUtime=342.13 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 94287 0 0 0 34208 5 0 0 20 0 1 0 17416548 94797824 16824 33554432000 4194304 7402444 140734145489424 140734145483912 4248926 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23144 16824 728 784 0 16158 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 92576
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 8901
/proc/meminfo: memFree=30393624/32770624 swapFree=6376/1122120
[pid=8884] ppid=8881 vsize=92576 CPUtime=402.11 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 94947 0 0 0 40206 5 0 0 20 0 1 0 17416548 94797824 16824 33554432000 4194304 7402444 140734145489424 140734145483912 5750768 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23144 16824 728 784 0 16158 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 92576
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 8902
/proc/meminfo: memFree=30393944/32770624 swapFree=6376/1122148
[pid=8884] ppid=8881 vsize=92576 CPUtime=462.08 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 95538 0 0 0 46203 5 0 0 20 0 1 0 17416548 94797824 16827 33554432000 4194304 7402444 140734145489424 140734145483912 5749712 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23144 16827 728 784 0 16158 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 92576
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 8904
/proc/meminfo: memFree=30393780/32770624 swapFree=6376/1122192
[pid=8884] ppid=8881 vsize=92576 CPUtime=522.05 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 96135 0 0 0 52200 5 0 0 20 0 1 0 17416548 94797824 16827 33554432000 4194304 7402444 140734145489424 140734145483912 5823925 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23144 16827 728 784 0 16158 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 92576
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8905
/proc/meminfo: memFree=30393640/32770624 swapFree=6376/1122224
[pid=8884] ppid=8881 vsize=92576 CPUtime=582.03 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 96933 0 0 0 58198 5 0 0 20 0 1 0 17416548 94797824 16827 33554432000 4194304 7402444 140734145489424 140734145483912 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23144 16827 728 784 0 16158 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 92576
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 9023
/proc/meminfo: memFree=30718784/32770624 swapFree=6376/1122788
[pid=8884] ppid=8881 vsize=92840 CPUtime=1541.64 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 109055 0 0 0 154158 6 0 0 20 0 1 0 17416548 95068160 16903 33554432000 4194304 7402444 140734145489424 140734145483944 5747658 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16903 728 784 0 16224 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 92840
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 9024
/proc/meminfo: memFree=30718972/32770624 swapFree=6376/1122816
[pid=8884] ppid=8881 vsize=92840 CPUtime=1601.61 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 109901 0 0 0 160155 6 0 0 20 0 1 0 17416548 95068160 16903 33554432000 4194304 7402444 140734145489424 140734145483944 5327160 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16903 728 784 0 16224 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 92840
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 9025
/proc/meminfo: memFree=30719312/32770624 swapFree=6376/1122848
[pid=8884] ppid=8881 vsize=92840 CPUtime=1661.58 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 110706 0 0 0 166152 6 0 0 20 0 1 0 17416548 95068160 16906 33554432000 4194304 7402444 140734145489424 140734145483944 5872847 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16906 728 784 0 16224 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 92840
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 9026
/proc/meminfo: memFree=30719280/32770624 swapFree=6376/1122884
[pid=8884] ppid=8881 vsize=92840 CPUtime=1721.56 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 111410 0 0 0 172150 6 0 0 20 0 1 0 17416548 95068160 16907 33554432000 4194304 7402444 140734145489424 140734145483944 5752475 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16907 728 784 0 16224 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 92840
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 9027
/proc/meminfo: memFree=30718988/32770624 swapFree=6376/1122912
[pid=8884] ppid=8881 vsize=92840 CPUtime=1781.54 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 112234 0 0 0 178148 6 0 0 20 0 1 0 17416548 95068160 16908 33554432000 4194304 7402444 140734145489424 140734145483944 4466783 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16908 728 784 0 16224 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 92840
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 9035
/proc/meminfo: memFree=30718300/32770624 swapFree=6376/1122952
[pid=8884] ppid=8881 vsize=92840 CPUtime=1841.51 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 112825 0 0 0 184145 6 0 0 20 0 1 0 17416548 95068160 16911 33554432000 4194304 7402444 140734145489424 140734145483944 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16911 728 784 0 16224 0
Current children cumulated CPU time (s) 1841.51
Current children cumulated vsize (KiB) 92840
[startup+1902.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 9036
/proc/meminfo: memFree=30718720/32770624 swapFree=6376/1122980
[pid=8884] ppid=8881 vsize=92840 CPUtime=1901.49 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 113361 0 0 0 190143 6 0 0 20 0 1 0 17416548 95068160 16911 33554432000 4194304 7402444 140734145489424 140734145483944 4248926 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16911 728 784 0 16224 0
Current children cumulated CPU time (s) 1901.49
Current children cumulated vsize (KiB) 92840
[startup+1962.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 9037
/proc/meminfo: memFree=30719064/32770624 swapFree=6376/1123008
[pid=8884] ppid=8881 vsize=92840 CPUtime=1961.47 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 114198 0 0 0 196141 6 0 0 20 0 1 0 17416548 95068160 16911 33554432000 4194304 7402444 140734145489424 140734145483944 5747655 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16911 728 784 0 16224 0
Current children cumulated CPU time (s) 1961.47
Current children cumulated vsize (KiB) 92840
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 9038
/proc/meminfo: memFree=30719012/32770624 swapFree=6376/1123048
[pid=8884] ppid=8881 vsize=92840 CPUtime=2021.44 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 115020 0 0 0 202138 6 0 0 20 0 1 0 17416548 95068160 16911 33554432000 4194304 7402444 140734145489424 140734145483944 4747250 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16911 728 784 0 16224 0
Current children cumulated CPU time (s) 2021.44
Current children cumulated vsize (KiB) 92840
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 9039
/proc/meminfo: memFree=30718896/32770624 swapFree=6376/1123076
[pid=8884] ppid=8881 vsize=92840 CPUtime=2081.42 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 115827 0 0 0 208136 6 0 0 20 0 1 0 17416548 95068160 16913 33554432000 4194304 7402444 140734145489424 140734145483944 5327204 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16913 728 784 0 16224 0
Current children cumulated CPU time (s) 2081.42
Current children cumulated vsize (KiB) 92840
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 9041
/proc/meminfo: memFree=30718756/32770624 swapFree=6376/1123108
[pid=8884] ppid=8881 vsize=92840 CPUtime=2141.39 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 116514 0 0 0 214133 6 0 0 20 0 1 0 17416548 95068160 16916 33554432000 4194304 7402444 140734145489424 140734145483944 5327179 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16916 728 784 0 16224 0
Current children cumulated CPU time (s) 2141.39
Current children cumulated vsize (KiB) 92840
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9042
/proc/meminfo: memFree=30718252/32770624 swapFree=6376/1123144
[pid=8884] ppid=8881 vsize=92840 CPUtime=2201.38 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 117377 0 0 0 220132 6 0 0 20 0 1 0 17416548 95068160 16916 33554432000 4194304 7402444 140734145489424 140734145483944 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16916 728 784 0 16224 0
Current children cumulated CPU time (s) 2201.38
Current children cumulated vsize (KiB) 92840
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9043
/proc/meminfo: memFree=30718288/32770624 swapFree=6376/1123172
[pid=8884] ppid=8881 vsize=92840 CPUtime=2261.36 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 118233 0 0 0 226129 7 0 0 20 0 1 0 17416548 95068160 16918 33554432000 4194304 7402444 140734145489424 140734145483944 4238819 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16918 728 784 0 16224 0
Current children cumulated CPU time (s) 2261.36
Current children cumulated vsize (KiB) 92840
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9045
/proc/meminfo: memFree=30718808/32770624 swapFree=6376/1123216
[pid=8884] ppid=8881 vsize=92840 CPUtime=2321.33 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 119065 0 0 0 232126 7 0 0 20 0 1 0 17416548 95068160 16919 33554432000 4194304 7402444 140734145489424 140734145483944 4747338 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16919 728 784 0 16224 0
Current children cumulated CPU time (s) 2321.33
Current children cumulated vsize (KiB) 92840
[startup+2382.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 9046
/proc/meminfo: memFree=30718356/32770624 swapFree=6376/1123248
[pid=8884] ppid=8881 vsize=92840 CPUtime=2381.3 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 119756 0 0 0 238123 7 0 0 20 0 1 0 17416548 95068160 16919 33554432000 4194304 7402444 140734145489424 140734145483944 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16919 728 784 0 16224 0
Current children cumulated CPU time (s) 2381.3
Current children cumulated vsize (KiB) 92840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.1 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 9047
/proc/meminfo: memFree=30717976/32770624 swapFree=6376/1123268
[pid=8884] ppid=8881 vsize=92840 CPUtime=2400.09 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 120450 0 0 0 240002 7 0 0 20 0 1 0 17416548 95068160 16919 33554432000 4194304 7402444 140734145489424 140734145483944 5872796 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16919 728 784 0 16224 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 92840
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 8884 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.1 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 9047
/proc/meminfo: memFree=30717976/32770624 swapFree=6376/1123268
[pid=8884] ppid=8881 vsize=92840 CPUtime=2400.09 cores=1,3,5,7
/proc/8884/stat : 8884 (MistralXCSP) R 8881 8884 3540 0 -1 4202496 120450 0 0 0 240002 7 0 0 20 0 1 0 17416548 95068160 16919 33554432000 4194304 7402444 140734145489424 140734145483944 5872796 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 37015552 140734145492137 140734145492286 140734145492286 140734145494985 0
/proc/8884/statm: 23210 16919 728 784 0 16224 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 92840
Child status: 0
Real time (s): 2401.1
CPU time (s): 2400.1
CPU user time (s): 2400.03
CPU system time (s): 0.073969
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 92840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.073969
maximum resident set size= 67708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120490
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= 32
involuntary context switches= 120683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37534 second user time and 10.1821 second system time
The end