runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (1636 MiB free)
memory of node 1: 16384 MiB (2199 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303955-1534029548/watcher-4303955-1534029548 -o /tmp/evaluation-result-4303955-1534029548/solver-4303955-1534029548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534024476-11662 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1469276230 HOME/instance-4303955-1534029548.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12272, runsolver pid=12269
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12273
/proc/meminfo: memFree=3869676/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=86524 memory=61192 CPUtime=0.09 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 15790 0 0 0 8 1 0 0 20 0 1 0 220517925 88600576 15298 33554432000 4194304 7499544 140727885813264 140727885810264 140232877730473 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 21631 15298 711 807 0 14622 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86524 KiB
Current children cumulated memory: 61192 KiB
[startup+0.20973 s]*
/proc/loadavg: 2.00 2.01 2.05 4/187 12273
/proc/meminfo: memFree=3863352/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=93476 memory=68060 CPUtime=0.21 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 17598 0 0 0 19 2 0 0 20 0 1 0 220517925 95719424 17015 33554432000 4194304 7499544 140727885813264 140727885810264 4564144 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 23369 17015 711 807 0 16360 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 93476 KiB
Current children cumulated memory: 68060 KiB
[startup+0.309538 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12273
/proc/meminfo: memFree=3858588/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=98072 memory=72812 CPUtime=0.31 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 18777 0 0 0 29 2 0 0 20 0 1 0 220517925 100425728 18203 33554432000 4194304 7499544 140727885813264 140727885810264 4564151 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 24518 18203 751 807 0 17509 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 98072 KiB
Current children cumulated memory: 72812 KiB
[startup+0.700333 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12273
/proc/meminfo: memFree=3840664/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=116596 memory=91292 CPUtime=0.68 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 22591 0 0 0 66 2 0 0 20 0 1 0 220517925 119394304 22823 33554432000 4194304 7499544 140727885813264 140727885803096 4564151 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 29149 22823 751 807 0 22140 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116596 KiB
Current children cumulated memory: 91292 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12273
/proc/meminfo: memFree=3810820/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=153872 memory=128888 CPUtime=1.49 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 29955 0 0 0 146 3 0 0 20 0 1 0 220517925 157564928 32222 33554432000 4194304 7499544 140727885813264 140727885807800 5790793 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 38468 32222 793 807 0 31459 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 153872 KiB
Current children cumulated memory: 128888 KiB
[startup+3.10948 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12273
/proc/meminfo: memFree=3792256/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=162848 memory=137660 CPUtime=3.1 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 51447 0 0 0 305 5 0 0 20 0 1 0 220517925 166756352 34415 33554432000 4194304 7499544 140727885813264 140727885807800 5684728 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 40712 34415 793 807 0 33703 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 162848 KiB
Current children cumulated memory: 137660 KiB
[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12273
/proc/meminfo: memFree=3789648/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=164432 memory=139400 CPUtime=6.28 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 72137 0 0 0 623 5 0 0 20 0 1 0 220517925 168378368 34850 33554432000 4194304 7499544 140727885813264 140727885807800 4317674 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41108 34850 793 807 0 34099 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 164432 KiB
Current children cumulated memory: 139400 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12273
/proc/meminfo: memFree=3788860/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=165488 memory=140536 CPUtime=12.69 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 92941 0 0 0 1262 7 0 0 20 0 1 0 220517925 169459712 35134 33554432000 4194304 7499544 140727885813264 140727885807800 5684301 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41372 35134 793 807 0 34363 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 165488 KiB
Current children cumulated memory: 140536 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12273
/proc/meminfo: memFree=3789216/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=166280 memory=141324 CPUtime=25.48 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 120731 0 0 0 2539 9 0 0 20 0 1 0 220517925 170270720 35331 33554432000 4194304 7499544 140727885813264 140727885807800 4405133 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41570 35331 793 807 0 34561 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 166280 KiB
Current children cumulated memory: 141324 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 12337
/proc/meminfo: memFree=3763232/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=166688 memory=141728 CPUtime=51.06 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 143208 0 0 0 5096 10 0 0 20 0 1 0 220517925 170688512 35432 33554432000 4194304 7499544 140727885813264 140727885807800 5701922 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41672 35432 793 807 0 34663 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 166688 KiB
Current children cumulated memory: 141728 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 12346
/proc/meminfo: memFree=3760980/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=167084 memory=142072 CPUtime=102.24 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 145264 0 0 0 10214 10 0 0 20 0 1 0 220517925 171094016 35518 33554432000 4194304 7499544 140727885813264 140727885807800 5685348 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41771 35518 793 807 0 34762 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 167084 KiB
Current children cumulated memory: 142072 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 12347
/proc/meminfo: memFree=3761792/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=167216 memory=142188 CPUtime=162.25 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 145985 0 0 0 16214 11 0 0 20 0 1 0 220517925 171229184 35547 33554432000 4194304 7499544 140727885813264 140727885807800 5703131 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41804 35547 793 807 0 34795 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 167216 KiB
Current children cumulated memory: 142188 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 12348
/proc/meminfo: memFree=3761404/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=167216 memory=142260 CPUtime=222.24 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 146476 0 0 0 22213 11 0 0 20 0 1 0 220517925 171229184 35565 33554432000 4194304 7499544 140727885813264 140727885807800 5840043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41804 35565 793 807 0 34795 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 167216 KiB
Current children cumulated memory: 142260 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 12349
/proc/meminfo: memFree=3761204/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=167348 memory=142300 CPUtime=282.24 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 147230 0 0 0 28213 11 0 0 20 0 1 0 220517925 171364352 35575 33554432000 4194304 7499544 140727885813264 140727885807800 5700709 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41837 35575 793 807 0 34828 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 167348 KiB
Current children cumulated memory: 142300 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 12350
/proc/meminfo: memFree=3761328/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=167348 memory=142360 CPUtime=342.24 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 147773 0 0 0 34213 11 0 0 20 0 1 0 220517925 171364352 35590 33554432000 4194304 7499544 140727885813264 140727885807800 4580628 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41837 35590 793 807 0 34828 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 167348 KiB
Current children cumulated memory: 142360 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 12352
/proc/meminfo: memFree=3761776/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=167348 memory=142388 CPUtime=402.24 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 148435 0 0 0 40213 11 0 0 20 0 1 0 220517925 171364352 35597 33554432000 4194304 7499544 140727885813264 140727885807800 5161094 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41837 35597 793 807 0 34828 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 167348 KiB
Current children cumulated memory: 142388 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 12353
/proc/meminfo: memFree=3761528/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=167348 memory=142408 CPUtime=462.24 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 149199 0 0 0 46213 11 0 0 20 0 1 0 220517925 171364352 35602 33554432000 4194304 7499544 140727885813264 140727885807800 5702067 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 41837 35602 793 807 0 34828 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 167348 KiB
Current children cumulated memory: 142408 KiB
################
# More data... #
################
/proc/12272/statm: 42773 36518 793 807 0 35764 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 171092 KiB
Current children cumulated memory: 146072 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.18 2.13 4/187 12392
/proc/meminfo: memFree=3757540/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171092 memory=146092 CPUtime=1782.19 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 163153 0 0 0 178207 12 0 0 20 0 1 0 220517925 175198208 36523 33554432000 4194304 7499544 140727885813264 140727885807800 5704671 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42773 36523 793 807 0 35764 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 171092 KiB
Current children cumulated memory: 146092 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.15 2.12 4/187 12393
/proc/meminfo: memFree=3757420/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171356 memory=146152 CPUtime=1842.19 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 163904 0 0 0 184207 12 0 0 20 0 1 0 220517925 175468544 36538 33554432000 4194304 7499544 140727885813264 140727885807800 5790974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42839 36538 793 807 0 35830 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 171356 KiB
Current children cumulated memory: 146152 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.12 2.12 4/188 12402
/proc/meminfo: memFree=3756568/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171356 memory=146348 CPUtime=1902.18 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 164549 0 0 0 190206 12 0 0 20 0 1 0 220517925 175468544 36587 33554432000 4194304 7499544 140727885813264 140727885807800 5702399 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42839 36587 793 807 0 35830 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 171356 KiB
Current children cumulated memory: 146348 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.10 2.11 4/188 12403
/proc/meminfo: memFree=3756916/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171356 memory=146356 CPUtime=1962.19 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 165192 0 0 0 196206 13 0 0 20 0 1 0 220517925 175468544 36589 33554432000 4194304 7499544 140727885813264 140727885807800 4245312 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42839 36589 793 807 0 35830 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 171356 KiB
Current children cumulated memory: 146356 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.10 2.11 4/188 12404
/proc/meminfo: memFree=3756916/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171356 memory=146360 CPUtime=2022.19 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 165843 0 0 0 202206 13 0 0 20 0 1 0 220517925 175468544 36590 33554432000 4194304 7499544 140727885813264 140727885807800 5161055 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42839 36590 793 807 0 35830 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 171356 KiB
Current children cumulated memory: 146360 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.08 2.11 4/188 12405
/proc/meminfo: memFree=3757404/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171356 memory=146364 CPUtime=2082.19 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 166502 0 0 0 208206 13 0 0 20 0 1 0 220517925 175468544 36591 33554432000 4194304 7499544 140727885813264 140727885807800 5684745 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42839 36591 793 807 0 35830 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 171356 KiB
Current children cumulated memory: 146364 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.07 2.10 4/188 12406
/proc/meminfo: memFree=3757236/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171356 memory=146364 CPUtime=2142.19 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 167161 0 0 0 214206 13 0 0 20 0 1 0 220517925 175468544 36591 33554432000 4194304 7499544 140727885813264 140727885807800 5701224 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42839 36591 793 807 0 35830 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 171356 KiB
Current children cumulated memory: 146364 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.09 4/187 12408
/proc/meminfo: memFree=3756840/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171356 memory=146364 CPUtime=2202.18 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 167808 0 0 0 220205 13 0 0 20 0 1 0 220517925 175468544 36591 33554432000 4194304 7499544 140727885813264 140727885807800 4545493 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42839 36591 793 807 0 35830 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 171356 KiB
Current children cumulated memory: 146364 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.09 4/187 12409
/proc/meminfo: memFree=3756500/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171620 memory=146492 CPUtime=2262.18 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 168633 0 0 0 226205 13 0 0 20 0 1 0 220517925 175738880 36623 33554432000 4194304 7499544 140727885813264 140727885807800 4246863 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42905 36623 793 807 0 35896 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 171620 KiB
Current children cumulated memory: 146492 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.08 4/187 12410
/proc/meminfo: memFree=3756732/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171620 memory=146624 CPUtime=2322.18 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 169410 0 0 0 232205 13 0 0 20 0 1 0 220517925 175738880 36656 33554432000 4194304 7499544 140727885813264 140727885807800 5700654 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42905 36656 793 807 0 35896 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 171620 KiB
Current children cumulated memory: 146624 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.08 4/187 12412
/proc/meminfo: memFree=3756508/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171620 memory=146640 CPUtime=2382.18 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 170187 0 0 0 238205 13 0 0 20 0 1 0 220517925 175738880 36660 33554432000 4194304 7499544 140727885813264 140727885807800 5161301 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42905 36660 793 807 0 35896 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 171620 KiB
Current children cumulated memory: 146640 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.07 4/187 12413
/proc/meminfo: memFree=3756648/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=171620 memory=146640 CPUtime=2442.17 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 170970 0 0 0 244204 13 0 0 20 0 1 0 220517925 175738880 36660 33554432000 4194304 7499544 140727885813264 140727885807800 4317700 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 42905 36660 793 807 0 35896 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 171620 KiB
Current children cumulated memory: 146640 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.06 4/187 12421
/proc/meminfo: memFree=3755656/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=172016 memory=146884 CPUtime=2502.17 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 171891 0 0 0 250204 13 0 0 20 0 1 0 220517925 176144384 36721 33554432000 4194304 7499544 140727885813264 140727885807800 5700824 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 43004 36721 793 807 0 35995 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 172016 KiB
Current children cumulated memory: 146884 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.06 4/187 12446
/proc/meminfo: memFree=3753524/32770624 swapFree=67108860/67108860
[pid=12272] ppid=12269 vsize=172148 memory=147140 CPUtime=2519.88 cores=1,3,5,7
/proc/12272/stat : 12272 (MistralXCSP) R 12269 12272 11630 0 -1 4202496 172434 0 0 0 251975 13 0 0 20 0 1 0 220517925 176279552 36785 33554432000 4194304 7499544 140727885813264 140727885807800 5700650 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 40951808 140727885816941 140727885817091 140727885817091 140727885819849 0
/proc/12272/statm: 43037 36785 793 807 0 36028 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 172148 KiB
Current children cumulated memory: 147140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 12272 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.75 s, system=0.137995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.89
CPU user time (s): 2519.75
CPU system time (s): 0.137995
CPU usage (%): 99.9953
Max. virtual memory (cumulated for all children) (KiB): 172148
Max. memory (cumulated for all children) (KiB): 147140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.75
system time used= 0.137995
maximum resident set size= 147160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172464
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= 63
involuntary context switches= 1176
# summary of solver processes directly reported to runsolver:
# pid: 12272
# total CPU time (s): 2519.89
# total CPU user time (s): 2519.75
# total CPU system time (s): 0.137995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.97516 second user time and 18.3407 second system time
The end