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-4261508-1502385110/watcher-4261508-1502385110 -o /tmp/evaluation-result-4261508-1502385110/solver-4261508-1502385110 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1220768774 HOME/instance-4261508-1502385110.xml
pid=3734
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.04 4/180 3737
/proc/meminfo: memFree=31703592/32770624 swapFree=0/374240
[pid=3737] ppid=3734 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3737/stat : 3737 (runsolver) D 3734 3737 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 26851673 24240128 106 18446744073709551615 4194304 4338465 140726388423376 140726388421016 140031453975255 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 25014272 140726388424843 140726388425290 140726388425290 140726388428746 0
/proc/3737/statm: 5918 106 53 36 0 2156 0
[startup+0.10016 s]
/proc/loadavg: 2.00 2.01 2.04 4/180 3737
/proc/meminfo: memFree=31703592/32770624 swapFree=0/374240
[pid=3737] ppid=3734 vsize=29048 CPUtime=0 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 1 0 26851673 29745152 827 18446744073709551615 4194304 7396336 140724395352592 140724395349592 140064879193061 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 7262 827 591 782 0 278 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 29048
[startup+0.200281 s]
/proc/loadavg: 2.00 2.01 2.04 4/180 3737
/proc/meminfo: memFree=31703592/32770624 swapFree=0/374240
[pid=3737] ppid=3734 vsize=40708 CPUtime=0.1 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 4192 0 0 0 9 1 0 0 20 0 1 0 26851673 41684992 3800 18446744073709551615 4194304 7396336 140724395352592 140724395349592 5882174 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 10177 3800 667 782 0 3193 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 40708
[startup+0.300332 s]
/proc/loadavg: 2.00 2.01 2.04 4/180 3737
/proc/meminfo: memFree=31703592/32770624 swapFree=0/374240
[pid=3737] ppid=3734 vsize=42424 CPUtime=0.2 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 4628 0 0 0 19 1 0 0 20 0 1 0 26851673 43442176 4196 18446744073709551615 4194304 7396336 140724395352592 140724395349592 140064879193061 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 10606 4196 670 782 0 3622 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 42424
[startup+0.70025 s]
/proc/loadavg: 2.00 2.01 2.04 4/180 3737
/proc/meminfo: memFree=31703592/32770624 swapFree=0/374240
[pid=3737] ppid=3734 vsize=53168 CPUtime=0.6 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 7297 0 0 0 59 1 0 0 20 0 1 0 26851673 54444032 6902 18446744073709551615 4194304 7396336 140724395352592 140724395349592 5923128 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 13292 6902 670 782 0 6308 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 53168
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3738
/proc/meminfo: memFree=31672292/32770624 swapFree=0/374216
[pid=3737] ppid=3734 vsize=58772 CPUtime=1.39 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 8724 0 0 0 138 1 0 0 20 0 1 0 26851673 60182528 8352 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4379138 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14693 8352 701 782 0 7709 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 58772
[startup+3.10035 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3738
/proc/meminfo: memFree=31672168/32770624 swapFree=0/374216
[pid=3737] ppid=3734 vsize=58772 CPUtime=2.99 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 10819 0 0 0 298 1 0 0 20 0 1 0 26851673 60182528 8358 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5839021 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14693 8358 701 782 0 7709 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 58772
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3738
/proc/meminfo: memFree=31672100/32770624 swapFree=0/374224
[pid=3737] ppid=3734 vsize=58772 CPUtime=6.2 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 12926 0 0 0 618 2 0 0 20 0 1 0 26851673 60182528 8365 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5771878 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14693 8365 701 782 0 7709 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 58772
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3739
/proc/meminfo: memFree=31671596/32770624 swapFree=0/374232
[pid=3737] ppid=3734 vsize=58920 CPUtime=12.59 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 15066 0 0 0 1257 2 0 0 20 0 1 0 26851673 60334080 8397 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5163042 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8397 701 782 0 7746 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 58920
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3739
/proc/meminfo: memFree=31672836/32770624 swapFree=0/374244
[pid=3737] ppid=3734 vsize=58920 CPUtime=25.39 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 16020 0 0 0 2537 2 0 0 20 0 1 0 26851673 60334080 8404 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5771621 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8404 701 782 0 7746 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 58920
[startup+51.1004 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 3740
/proc/meminfo: memFree=31672820/32770624 swapFree=0/374252
[pid=3737] ppid=3734 vsize=58920 CPUtime=50.99 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 16535 0 0 0 5097 2 0 0 20 0 1 0 26851673 60334080 8407 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4249481 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8407 701 782 0 7746 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 58920
[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/181 3742
/proc/meminfo: memFree=31672448/32770624 swapFree=0/374276
[pid=3737] ppid=3734 vsize=58920 CPUtime=102.19 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 17022 0 0 0 10217 2 0 0 20 0 1 0 26851673 60334080 8408 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4581731 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8408 701 782 0 7746 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 58920
[startup+162.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/185 3759
/proc/meminfo: memFree=31667436/32770624 swapFree=0/374300
[pid=3737] ppid=3734 vsize=58920 CPUtime=162.18 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 17545 0 0 0 16216 2 0 0 20 0 1 0 26851673 60334080 8408 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5804364 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8408 701 782 0 7746 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 58920
[startup+222.306 s]
/proc/loadavg: 2.16 2.08 2.05 3/186 3786
/proc/meminfo: memFree=31665796/32770624 swapFree=0/374364
[pid=3737] ppid=3734 vsize=58920 CPUtime=222.18 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 18040 0 0 0 22216 2 0 0 20 0 1 0 26851673 60334080 8409 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5839021 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8409 701 782 0 7746 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 58920
[startup+282.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/185 3788
/proc/meminfo: memFree=31667692/32770624 swapFree=0/374360
[pid=3737] ppid=3734 vsize=58920 CPUtime=282.18 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 18545 0 0 0 28216 2 0 0 20 0 1 0 26851673 60334080 8409 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4249442 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8409 701 782 0 7746 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 58920
[startup+342.3 s]
/proc/loadavg: 2.10 2.07 2.05 3/183 3791
/proc/meminfo: memFree=31670108/32770624 swapFree=0/374392
[pid=3737] ppid=3734 vsize=58920 CPUtime=342.17 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 19042 0 0 0 34215 2 0 0 20 0 1 0 26851673 60334080 8409 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5162982 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8409 701 782 0 7746 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 58920
[startup+402.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/183 3793
/proc/meminfo: memFree=31670108/32770624 swapFree=0/374412
[pid=3737] ppid=3734 vsize=58920 CPUtime=402.17 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 19545 0 0 0 40215 2 0 0 20 0 1 0 26851673 60334080 8410 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5576210 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8410 701 782 0 7746 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 58920
[startup+462.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/182 3795
/proc/meminfo: memFree=31670372/32770624 swapFree=0/374432
[pid=3737] ppid=3734 vsize=58920 CPUtime=462.17 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 20041 0 0 0 46215 2 0 0 20 0 1 0 26851673 60334080 8411 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4547381 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8411 701 782 0 7746 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 58920
[startup+522.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 3797
/proc/meminfo: memFree=31670264/32770624 swapFree=0/374440
[pid=3737] ppid=3734 vsize=58920 CPUtime=522.17 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 20533 0 0 0 52215 2 0 0 20 0 1 0 26851673 60334080 8412 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5771571 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8412 701 782 0 7746 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 58920
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 3799
/proc/meminfo: memFree=31670776/32770624 swapFree=0/374456
[pid=3737] ppid=3734 vsize=58920 CPUtime=582.16 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 21020 0 0 0 58214 2 0 0 20 0 1 0 26851673 60334080 8412 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4245088 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14730 8412 701 782 0 7746 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 58920
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 3862
/proc/meminfo: memFree=31669192/32770624 swapFree=0/374852
[pid=3737] ppid=3734 vsize=59456 CPUtime=1602.13 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 29659 0 0 0 160210 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5839248 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 59456
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 3865
/proc/meminfo: memFree=31668968/32770624 swapFree=0/374888
[pid=3737] ppid=3734 vsize=59456 CPUtime=1662.13 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 30164 0 0 0 166210 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4249727 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 59456
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3867
/proc/meminfo: memFree=31668744/32770624 swapFree=0/374912
[pid=3737] ppid=3734 vsize=59456 CPUtime=1722.13 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 30662 0 0 0 172210 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4246575 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 59456
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 3869
/proc/meminfo: memFree=31668768/32770624 swapFree=0/374928
[pid=3737] ppid=3734 vsize=59456 CPUtime=1782.12 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 31161 0 0 0 178209 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5578128 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 59456
[startup+1842.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 3872
/proc/meminfo: memFree=31669040/32770624 swapFree=0/374944
[pid=3737] ppid=3734 vsize=59456 CPUtime=1842.12 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 31677 0 0 0 184209 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5163012 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 59456
[startup+1902.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/181 3874
/proc/meminfo: memFree=31669456/32770624 swapFree=0/374972
[pid=3737] ppid=3734 vsize=59456 CPUtime=1902.12 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 32166 0 0 0 190209 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5162969 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 59456
[startup+1962.3 s]
/proc/loadavg: 2.23 2.09 2.06 3/185 3891
/proc/meminfo: memFree=31666168/32770624 swapFree=0/375000
[pid=3737] ppid=3734 vsize=59456 CPUtime=1962.12 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 32664 0 0 0 196209 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4581813 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 59456
[startup+2022.3 s]
/proc/loadavg: 2.09 2.07 2.05 3/185 3893
/proc/meminfo: memFree=31665312/32770624 swapFree=0/375028
[pid=3737] ppid=3734 vsize=59456 CPUtime=2022.12 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 33155 0 0 0 202209 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4543897 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 59456
[startup+2082.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/182 3895
/proc/meminfo: memFree=31667836/32770624 swapFree=0/375044
[pid=3737] ppid=3734 vsize=59456 CPUtime=2082.12 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 33649 0 0 0 208209 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5774736 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 59456
[startup+2142.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/182 3897
/proc/meminfo: memFree=31667984/32770624 swapFree=0/375056
[pid=3737] ppid=3734 vsize=59456 CPUtime=2142.11 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 34149 0 0 0 214208 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5839323 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 59456
[startup+2202.31 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 3899
/proc/meminfo: memFree=31668132/32770624 swapFree=0/375064
[pid=3737] ppid=3734 vsize=59456 CPUtime=2202.11 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 34648 0 0 0 220208 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5163042 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 59456
[startup+2262.3 s]
/proc/loadavg: 2.06 2.06 2.05 4/181 3961
/proc/meminfo: memFree=31652112/32770624 swapFree=0/375116
[pid=3737] ppid=3734 vsize=59456 CPUtime=2262.11 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 35145 0 0 0 226208 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4249476 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 59456
[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 3963
/proc/meminfo: memFree=31652688/32770624 swapFree=0/375144
[pid=3737] ppid=3734 vsize=59456 CPUtime=2322.1 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 35625 0 0 0 232207 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5778271 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 59456
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 3965
/proc/meminfo: memFree=31652464/32770624 swapFree=0/375168
[pid=3737] ppid=3734 vsize=59456 CPUtime=2382.1 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 36055 0 0 0 238207 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4542519 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2382.1
Current children cumulated vsize (KiB) 59456
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 5/181 3967
/proc/meminfo: memFree=31652336/32770624 swapFree=0/375184
[pid=3737] ppid=3734 vsize=59456 CPUtime=2442.1 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 36452 0 0 0 244207 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5572036 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2442.1
Current children cumulated vsize (KiB) 59456
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/181 3969
/proc/meminfo: memFree=31652360/32770624 swapFree=0/375208
[pid=3737] ppid=3734 vsize=59456 CPUtime=2502.1 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 36952 0 0 0 250207 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 5576210 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2502.1
Current children cumulated vsize (KiB) 59456
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 5/181 3970
/proc/meminfo: memFree=31652124/32770624 swapFree=0/375228
[pid=3737] ppid=3734 vsize=59456 CPUtime=2519.8 cores=0,2,4,6
/proc/3737/stat : 3737 (MistralXCSP) R 3734 3737 6971 0 -1 4202496 37425 0 0 0 251977 3 0 0 20 0 1 0 26851673 60882944 8529 18446744073709551615 4194304 7396336 140724395352592 140724395347224 4245092 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 23273472 140724395356595 140724395356745 140724395356745 140724395360201 0
/proc/3737/statm: 14864 8529 701 782 0 7880 0
Current children cumulated CPU time (s) 2519.8
Current children cumulated vsize (KiB) 59456
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 3737 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.8
CPU user time (s): 2519.77
CPU system time (s): 0.033998
CPU usage (%): 99.9922
Max. virtual memory (cumulated for all children) (KiB): 59456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.033998
maximum resident set size= 34144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37462
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= 19
involuntary context switches= 3152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92337 second user time and 9.27544 second system time
The end