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 (6950 MiB free)
memory of node 1: 16384 MiB (10495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303892-1534035396/watcher-4303892-1534035396 -o /tmp/evaluation-result-4303892-1534035396/solver-4303892-1534035396 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534025302-27177 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1110015476 HOME/instance-4303892-1534035396.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28620, runsolver pid=28617
[startup+0.100111 s]*
/proc/loadavg: 1.99 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17858996/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=34896 memory=9544 CPUtime=0.1 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 2551 0 0 0 10 0 0 0 20 0 1 0 221102723 35733504 2386 33554432000 4194304 7499544 140725514041952 140725514038952 6016393 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 8724 2386 693 807 0 1715 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34896 KiB
Current children cumulated memory: 9544 KiB
[startup+0.209749 s]*
/proc/loadavg: 1.99 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17852908/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=40948 memory=15352 CPUtime=0.2 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 4059 0 0 0 20 0 0 0 20 0 1 0 221102723 41930752 3838 33554432000 4194304 7499544 140725514041952 140725514038952 140074701371328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 10237 3838 693 807 0 3228 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40948 KiB
Current children cumulated memory: 15352 KiB
[startup+0.309418 s]*
/proc/loadavg: 1.99 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17847328/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=46480 memory=20896 CPUtime=0.3 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 5443 0 0 0 30 0 0 0 20 0 1 0 221102723 47595520 5224 33554432000 4194304 7499544 140725514041952 140725514038952 5880588 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 11620 5224 693 807 0 4611 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46480 KiB
Current children cumulated memory: 20896 KiB
[startup+0.700312 s]
/proc/loadavg: 1.99 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17834648/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=60644 memory=35240 CPUtime=0.69 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 9182 0 0 0 68 1 0 0 20 0 1 0 221102723 62099456 8810 33554432000 4194304 7499544 140725514041952 140725514036488 4386306 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15161 8810 745 807 0 8152 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60644 KiB
Current children cumulated memory: 35240 KiB
[startup+1.50026 s]
/proc/loadavg: 1.99 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17831968/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=61436 memory=36296 CPUtime=1.49 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 9403 0 0 0 148 1 0 0 20 0 1 0 221102723 62910464 9074 33554432000 4194304 7499544 140725514041952 140725514036488 5791060 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15359 9074 745 807 0 8350 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61436 KiB
Current children cumulated memory: 36296 KiB
[startup+3.10952 s]
/proc/loadavg: 1.99 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17831480/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=61832 memory=36512 CPUtime=3.09 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 14259 0 0 0 308 1 0 0 20 0 1 0 221102723 63315968 9128 33554432000 4194304 7499544 140725514041952 140725514036488 5791064 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15458 9128 745 807 0 8449 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61832 KiB
Current children cumulated memory: 36512 KiB
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17830956/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=61964 memory=36744 CPUtime=6.28 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 19157 0 0 0 626 2 0 0 20 0 1 0 221102723 63451136 9186 33554432000 4194304 7499544 140725514041952 140725514036488 5790776 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15491 9186 745 807 0 8482 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 61964 KiB
Current children cumulated memory: 36744 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17830852/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62096 memory=36888 CPUtime=12.69 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 24068 0 0 0 1266 3 0 0 20 0 1 0 221102723 63586304 9222 33554432000 4194304 7499544 140725514041952 140725514036488 4317722 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15524 9222 745 807 0 8515 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 62096 KiB
Current children cumulated memory: 36888 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17829184/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62096 memory=37008 CPUtime=25.47 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 30309 0 0 0 2544 3 0 0 20 0 1 0 221102723 63586304 9252 33554432000 4194304 7499544 140725514041952 140725514036488 5685010 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15524 9252 745 807 0 8515 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 62096 KiB
Current children cumulated memory: 37008 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 28621
/proc/meminfo: memFree=17829472/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62228 memory=37052 CPUtime=51.07 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 31348 0 0 0 5104 3 0 0 20 0 1 0 221102723 63721472 9263 33554432000 4194304 7499544 140725514041952 140725514036488 4253232 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15557 9263 745 807 0 8548 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 62228 KiB
Current children cumulated memory: 37052 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 28624
/proc/meminfo: memFree=17830000/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37140 CPUtime=102.26 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 32447 0 0 0 10223 3 0 0 20 0 1 0 221102723 63856640 9285 33554432000 4194304 7499544 140725514041952 140725514036344 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9285 745 807 0 8581 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37140 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/191 28625
/proc/meminfo: memFree=17830432/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37188 CPUtime=162.25 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 32996 0 0 0 16222 3 0 0 20 0 1 0 221102723 63856640 9297 33554432000 4194304 7499544 140725514041952 140725514036344 4540486 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9297 745 807 0 8581 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37188 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/192 28634
/proc/meminfo: memFree=17829924/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37200 CPUtime=222.24 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 33348 0 0 0 22221 3 0 0 20 0 1 0 221102723 63856640 9300 33554432000 4194304 7499544 140725514041952 140725514036344 5791081 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9300 745 807 0 8581 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37200 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/193 28657
/proc/meminfo: memFree=17828900/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37220 CPUtime=282.24 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 33911 0 0 0 28220 4 0 0 20 0 1 0 221102723 63856640 9305 33554432000 4194304 7499544 140725514041952 140725514036344 5790812 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9305 745 807 0 8581 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37220 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 28658
/proc/meminfo: memFree=17829704/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37244 CPUtime=342.23 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 34452 0 0 0 34219 4 0 0 20 0 1 0 221102723 63856640 9311 33554432000 4194304 7499544 140725514041952 140725514036344 5685414 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9311 745 807 0 8581 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37244 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28659
/proc/meminfo: memFree=17830520/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37252 CPUtime=402.22 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 35014 0 0 0 40218 4 0 0 20 0 1 0 221102723 63856640 9313 33554432000 4194304 7499544 140725514041952 140725514036344 4317392 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9313 745 807 0 8581 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37252 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28660
/proc/meminfo: memFree=17830400/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37264 CPUtime=462.21 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 35379 0 0 0 46217 4 0 0 20 0 1 0 221102723 63856640 9316 33554432000 4194304 7499544 140725514041952 140725514036344 5790987 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9316 745 807 0 8581 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37264 KiB
################
# More data... #
################
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 1722.04 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/191 28740
/proc/meminfo: memFree=17812572/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=1782.02 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 44458 0 0 0 178193 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 1782.02 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 28741
/proc/meminfo: memFree=17813192/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=1842.01 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 44826 0 0 0 184192 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5791081 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 1842.01 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 28743
/proc/meminfo: memFree=17813384/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=1902.01 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 45185 0 0 0 190192 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 4253248 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 1902.01 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 28744
/proc/meminfo: memFree=17813684/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=1962 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 45539 0 0 0 196191 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5791288 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 1962 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 28752
/proc/meminfo: memFree=17811952/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2022 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 45901 0 0 0 202191 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5790960 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2022 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 28753
/proc/meminfo: memFree=17812788/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2082 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 46256 0 0 0 208191 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 4405237 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2082 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/190 28754
/proc/meminfo: memFree=17812500/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2141.99 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 46632 0 0 0 214190 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5791192 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2141.99 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/190 28755
/proc/meminfo: memFree=17812704/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2201.99 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 46991 0 0 0 220190 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5790896 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2201.99 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 28756
/proc/meminfo: memFree=17812784/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2261.99 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 47553 0 0 0 226190 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5790920 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2261.99 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+2322.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/190 28817
/proc/meminfo: memFree=17828476/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2321.98 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 47882 0 0 0 232189 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 4253216 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2321.98 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+2382.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/190 28818
/proc/meminfo: memFree=17828820/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2381.98 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 48245 0 0 0 238189 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5790831 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2381.98 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 28819
/proc/meminfo: memFree=17828892/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2441.98 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 48629 0 0 0 244189 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5791018 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2441.98 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 28820
/proc/meminfo: memFree=17828616/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2501.97 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 49003 0 0 0 250188 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5790776 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2501.97 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/190 28821
/proc/meminfo: memFree=17828576/32770624 swapFree=67108860/67108860
[pid=28620] ppid=28617 vsize=62360 memory=37272 CPUtime=2519.68 cores=0,2,4,6
/proc/28620/stat : 28620 (MistralXCSP) R 28617 28620 27146 0 -1 4202496 49320 0 0 0 251959 9 0 0 20 0 1 0 221102723 63856640 9318 33554432000 4194304 7499544 140725514041952 140725514036344 5790960 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 38121472 140725514044525 140725514044675 140725514044675 140725514047433 0
/proc/28620/statm: 15590 9318 745 807 0 8581 0
Current children cumulated CPU time: 2519.68 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 37272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28620 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.6 s, system=0.098988 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.7
CPU user time (s): 2519.6
CPU system time (s): 0.098988
CPU usage (%): 99.9875
Max. virtual memory (cumulated for all children) (KiB): 62360
Max. memory (cumulated for all children) (KiB): 37272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.098988
maximum resident set size= 37292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49355
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= 23
involuntary context switches= 3960
# summary of solver processes directly reported to runsolver:
# pid: 28620
# total CPU time (s): 2519.7
# total CPU user time (s): 2519.6
# total CPU system time (s): 0.098988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.13601 second user time and 17.3589 second system time
The end