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-4260837-1502390326/watcher-4260837-1502390326 -o /tmp/evaluation-result-4260837-1502390326/solver-4260837-1502390326 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1581225530 HOME/instance-4260837-1502390326.xml
pid=30788
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 30791
/proc/meminfo: memFree=31099672/32770624 swapFree=0/488120
[pid=30791] ppid=30788 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30791/stat : 30791 (runsolver) D 30788 30791 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 41253395 24240128 106 18446744073709551615 4194304 4338465 140721267377888 140721267375528 139634441286359 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 23310336 140721267384459 140721267384906 140721267384906 140721267388362 0
/proc/30791/statm: 5918 106 53 36 0 2156 0
[startup+0.100047 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 30791
/proc/meminfo: memFree=31099672/32770624 swapFree=0/488120
[pid=30791] ppid=30788 vsize=28664 CPUtime=0 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 928 0 0 0 0 0 0 0 20 0 1 0 41253395 29351936 736 18446744073709551615 4194304 7396336 140735608124496 140735608121496 140712291322853 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 7166 736 582 782 0 182 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28664
[startup+0.200273 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 30791
/proc/meminfo: memFree=31099672/32770624 swapFree=0/488120
[pid=30791] ppid=30788 vsize=36740 CPUtime=0.1 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 3273 0 0 0 10 0 0 0 20 0 1 0 41253395 37621760 2537 18446744073709551615 4194304 7396336 140735608124496 140735608121496 5987266 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 9185 2537 615 782 0 2201 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 36740
[startup+0.300304 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 30791
/proc/meminfo: memFree=31099672/32770624 swapFree=0/488120
[pid=30791] ppid=30788 vsize=47012 CPUtime=0.19 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 5851 0 0 0 19 0 0 0 20 0 1 0 41253395 48140288 5110 18446744073709551615 4194304 7396336 140735608124496 140735608121496 6354589 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 11753 5110 647 782 0 4769 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47012
[startup+0.700263 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 30791
/proc/meminfo: memFree=31099672/32770624 swapFree=0/488120
[pid=30791] ppid=30788 vsize=90424 CPUtime=0.59 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 16704 0 0 0 58 1 0 0 20 0 1 0 41253395 92594176 15934 18446744073709551615 4194304 7396336 140735608124496 140735608121496 140712292246878 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 22606 15934 647 782 0 15622 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 90424
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30792
/proc/meminfo: memFree=30995184/32770624 swapFree=0/488052
[pid=30791] ppid=30788 vsize=177252 CPUtime=1.39 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 38411 0 0 0 135 4 0 0 20 0 1 0 41253395 181506048 37648 18446744073709551615 4194304 7396336 140735608124496 140735608114952 140712292246404 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 44313 37648 647 782 0 37329 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 177252
[startup+3.10026 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30792
/proc/meminfo: memFree=30875308/32770624 swapFree=0/488096
[pid=30791] ppid=30788 vsize=351040 CPUtime=2.99 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 81877 0 0 0 291 8 0 0 20 0 1 0 41253395 359464960 81076 18446744073709551615 4194304 7396336 140735608124496 140735608114952 6318234 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 87760 81076 647 782 0 80776 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 351040
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30792
/proc/meminfo: memFree=30536708/32770624 swapFree=0/488096
[pid=30791] ppid=30788 vsize=610676 CPUtime=6.19 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 149886 0 0 0 602 17 0 0 20 0 1 0 41253395 625332224 145985 18446744073709551615 4194304 7396336 140735608124496 140735608115064 4566039 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 152669 145985 665 782 0 145685 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 610676
[startup+12.7002 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 30792
/proc/meminfo: memFree=30435568/32770624 swapFree=0/488092
[pid=30791] ppid=30788 vsize=695368 CPUtime=12.6 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 175833 0 0 0 1240 20 0 0 20 0 1 0 41253395 712056832 167180 18446744073709551615 4194304 7396336 140735608124496 140735608115256 4566032 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 173842 167180 665 782 0 166858 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 695368
[startup+25.5003 s]
/proc/loadavg: 1.94 2.00 2.04 3/181 30794
/proc/meminfo: memFree=30346836/32770624 swapFree=0/488084
[pid=30791] ppid=30788 vsize=780128 CPUtime=25.39 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 199544 0 0 0 2516 23 0 0 20 0 1 0 41253395 798851072 188407 18446744073709551615 4194304 7396336 140735608124496 140735608115256 4566048 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 195032 188407 665 782 0 188048 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 780128
[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 30794
/proc/meminfo: memFree=30272700/32770624 swapFree=0/488076
[pid=30791] ppid=30788 vsize=852952 CPUtime=50.99 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 395457 0 0 0 5066 33 0 0 20 0 1 0 41253395 873422848 206917 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 213238 206917 768 782 0 206254 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 852952
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 30796
/proc/meminfo: memFree=30222972/32770624 swapFree=0/488092
[pid=30791] ppid=30788 vsize=903584 CPUtime=102.2 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 553890 0 0 0 10176 44 0 0 20 0 1 0 41253395 925270016 219594 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 225896 219594 768 782 0 218912 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 903584
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 30798
/proc/meminfo: memFree=30222256/32770624 swapFree=0/488104
[pid=30791] ppid=30788 vsize=903584 CPUtime=162.2 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 653589 0 0 0 16170 50 0 0 20 0 1 0 41253395 925270016 219607 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 225896 219607 768 782 0 218912 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 903584
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 30801
/proc/meminfo: memFree=30217140/32770624 swapFree=0/488128
[pid=30791] ppid=30788 vsize=908996 CPUtime=222.21 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 731166 0 0 0 22166 55 0 0 20 0 1 0 41253395 930811904 220956 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5575964 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 227249 220956 768 782 0 220265 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 908996
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 30803
/proc/meminfo: memFree=30213572/32770624 swapFree=0/488132
[pid=30791] ppid=30788 vsize=912032 CPUtime=282.2 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 794297 0 0 0 28162 58 0 0 20 0 1 0 41253395 933920768 221698 18446744073709551615 4194304 7396336 140735608124496 140735608119032 4253003 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 228008 221698 768 782 0 221024 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 912032
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 30820
/proc/meminfo: memFree=30209880/32770624 swapFree=0/488160
[pid=30791] ppid=30788 vsize=912560 CPUtime=342.2 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 841941 0 0 0 34159 61 0 0 20 0 1 0 41253395 934461440 221833 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 228140 221833 768 782 0 221156 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 912560
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 30822
/proc/meminfo: memFree=30202280/32770624 swapFree=0/488172
[pid=30791] ppid=30788 vsize=920084 CPUtime=402.18 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 885556 0 0 0 40155 63 0 0 20 0 1 0 41253395 942166016 223679 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 230021 223679 768 782 0 223037 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 920084
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 30824
/proc/meminfo: memFree=30196420/32770624 swapFree=0/488180
[pid=30791] ppid=30788 vsize=929324 CPUtime=462.16 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 916604 0 0 0 46150 66 0 0 20 0 1 0 41253395 951627776 225960 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 232331 225960 768 782 0 225347 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 929324
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 30826
/proc/meminfo: memFree=30193964/32770624 swapFree=0/488184
[pid=30791] ppid=30788 vsize=931832 CPUtime=522.17 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 932464 0 0 0 52149 68 0 0 20 0 1 0 41253395 954195968 226636 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 232958 226636 768 782 0 225974 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 931832
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 30828
/proc/meminfo: memFree=30189912/32770624 swapFree=0/488196
[pid=30791] ppid=30788 vsize=936452 CPUtime=582.17 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 935692 0 0 0 58149 68 0 0 20 0 1 0 41253395 958926848 227796 18446744073709551615 4194304 7396336 140735608124496 140735608118952 5165945 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 234113 227796 768 782 0 227129 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 936452
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 30892
/proc/meminfo: memFree=30165572/32770624 swapFree=0/488460
[pid=30791] ppid=30788 vsize=956780 CPUtime=1602.27 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1023547 0 0 0 160151 76 0 0 20 0 1 0 41253395 979742720 232876 18446744073709551615 4194304 7396336 140735608124496 140735608119032 4249722 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 239195 232876 768 782 0 232211 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 956780
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 30894
/proc/meminfo: memFree=30169304/32770624 swapFree=0/488468
[pid=30791] ppid=30788 vsize=956780 CPUtime=1662.27 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1025272 0 0 0 166151 76 0 0 20 0 1 0 41253395 979742720 232876 18446744073709551615 4194304 7396336 140735608124496 140735608119032 4249696 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 239195 232876 768 782 0 232211 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 956780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 30896
/proc/meminfo: memFree=30169584/32770624 swapFree=0/488476
[pid=30791] ppid=30788 vsize=956780 CPUtime=1722.28 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1026741 0 0 0 172152 76 0 0 20 0 1 0 41253395 979742720 232876 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5792278 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 239195 232876 768 782 0 232211 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 956780
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30898
/proc/meminfo: memFree=30169472/32770624 swapFree=0/488496
[pid=30791] ppid=30788 vsize=956780 CPUtime=1782.28 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1028687 0 0 0 178152 76 0 0 20 0 1 0 41253395 979742720 232877 18446744073709551615 4194304 7396336 140735608124496 140735608119032 4245088 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 239195 232877 768 782 0 232211 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 956780
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30901
/proc/meminfo: memFree=30169348/32770624 swapFree=0/488516
[pid=30791] ppid=30788 vsize=956780 CPUtime=1842.28 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1030421 0 0 0 184152 76 0 0 20 0 1 0 41253395 979742720 232877 18446744073709551615 4194304 7396336 140735608124496 140735608119032 4249466 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 239195 232877 768 782 0 232211 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 956780
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30903
/proc/meminfo: memFree=30169596/32770624 swapFree=0/488544
[pid=30791] ppid=30788 vsize=956780 CPUtime=1902.3 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1032159 0 0 0 190153 77 0 0 20 0 1 0 41253395 979742720 232880 18446744073709551615 4194304 7396336 140735608124496 140735608119032 4547381 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 239195 232880 768 782 0 232211 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 956780
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30905
/proc/meminfo: memFree=30167984/32770624 swapFree=0/488548
[pid=30791] ppid=30788 vsize=958100 CPUtime=1962.3 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1034239 0 0 0 196153 77 0 0 20 0 1 0 41253395 981094400 233192 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 239525 233192 768 782 0 232541 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 958100
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30908
/proc/meminfo: memFree=30166988/32770624 swapFree=0/488556
[pid=30791] ppid=30788 vsize=959024 CPUtime=2022.3 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1036518 0 0 0 202153 77 0 0 20 0 1 0 41253395 982040576 233419 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 239756 233419 768 782 0 232772 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 959024
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30910
/proc/meminfo: memFree=30166240/32770624 swapFree=0/488572
[pid=30791] ppid=30788 vsize=960080 CPUtime=2082.31 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1039382 0 0 0 208154 77 0 0 20 0 1 0 41253395 983121920 233728 18446744073709551615 4194304 7396336 140735608124496 140735608119032 4581738 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 240020 233728 768 782 0 233036 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 960080
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 30990
/proc/meminfo: memFree=23821052/32770624 swapFree=0/488700
[pid=30791] ppid=30788 vsize=960080 CPUtime=2142.31 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1040921 0 0 0 214154 77 0 0 20 0 1 0 41253395 983121920 233728 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5586787 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 240020 233728 768 782 0 233036 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 960080
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31016
/proc/meminfo: memFree=23795056/32770624 swapFree=0/488752
[pid=30791] ppid=30788 vsize=960080 CPUtime=2202.33 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1042488 0 0 0 220155 78 0 0 20 0 1 0 41253395 983121920 233728 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 240020 233728 768 782 0 233036 0
Current children cumulated CPU time (s) 2202.33
Current children cumulated vsize (KiB) 960080
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31018
/proc/meminfo: memFree=23795588/32770624 swapFree=0/488772
[pid=30791] ppid=30788 vsize=960080 CPUtime=2262.33 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1044011 0 0 0 226155 78 0 0 20 0 1 0 41253395 983121920 233728 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 240020 233728 768 782 0 233036 0
Current children cumulated CPU time (s) 2262.33
Current children cumulated vsize (KiB) 960080
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31020
/proc/meminfo: memFree=23799312/32770624 swapFree=0/488788
[pid=30791] ppid=30788 vsize=960080 CPUtime=2322.33 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1045606 0 0 0 232155 78 0 0 20 0 1 0 41253395 983121920 233728 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5165796 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 240020 233728 768 782 0 233036 0
Current children cumulated CPU time (s) 2322.33
Current children cumulated vsize (KiB) 960080
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 31022
/proc/meminfo: memFree=23800084/32770624 swapFree=0/488808
[pid=30791] ppid=30788 vsize=960080 CPUtime=2382.33 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1047170 0 0 0 238155 78 0 0 20 0 1 0 41253395 983121920 233728 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 240020 233728 768 782 0 233036 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 960080
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 31024
/proc/meminfo: memFree=23799368/32770624 swapFree=0/488820
[pid=30791] ppid=30788 vsize=960080 CPUtime=2442.34 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1048701 0 0 0 244156 78 0 0 20 0 1 0 41253395 983121920 233728 18446744073709551615 4194304 7396336 140735608124496 140735608119032 5792034 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 240020 233728 768 782 0 233036 0
Current children cumulated CPU time (s) 2442.34
Current children cumulated vsize (KiB) 960080
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31026
/proc/meminfo: memFree=23799768/32770624 swapFree=0/488832
[pid=30791] ppid=30788 vsize=960080 CPUtime=2502.34 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1050158 0 0 0 250156 78 0 0 20 0 1 0 41253395 983121920 233728 18446744073709551615 4194304 7396336 140735608124496 140735608119032 4252992 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 240020 233728 768 782 0 233036 0
Current children cumulated CPU time (s) 2502.34
Current children cumulated vsize (KiB) 960080
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31026
/proc/meminfo: memFree=23799488/32770624 swapFree=0/488824
[pid=30791] ppid=30788 vsize=960080 CPUtime=2520.05 cores=1,3,5,7
/proc/30791/stat : 30791 (MistralXCSP) R 30788 30791 4057 0 -1 4202496 1050286 0 0 0 251927 78 0 0 20 0 1 0 41253395 983121920 233728 18446744073709551615 4194304 7396336 140735608124496 140735608119032 4249734 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28385280 140735608127923 140735608128073 140735608128073 140735608131529 0
/proc/30791/statm: 240020 233728 768 782 0 233036 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 960080
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 30791 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2520.06
CPU user time (s): 2519.27
CPU system time (s): 0.792071
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 960080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.27
system time used= 0.792071
maximum resident set size= 934912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1050317
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= 140
involuntary context switches= 930
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33087 second user time and 10.454 second system time
The end