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 (13153 MiB free)
memory of node 1: 16384 MiB (13880 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289706-1532205778/watcher-4289706-1532205778 -o /tmp/evaluation-result-4289706-1532205778/solver-4289706-1532205778 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532190501-29367 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2140901463 HOME/instance-4289706-1532205778.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31603, runsolver pid=31600
Current StackSize limit: 8192 KiB
[startup+0.100666 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27676484/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=35672 memory=10468 CPUtime=0.1 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 2839 0 0 0 10 0 0 0 20 0 1 0 38141022 36528128 2617 33554432000 4194304 7498468 140736303384816 140736303379832 4581281 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 8918 2617 740 807 0 1909 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35672 KiB
Current children cumulated memory: 10468 KiB
[startup+0.209746 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27676484/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=35804 memory=10468 CPUtime=0.2 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 2871 0 0 0 20 0 0 0 20 0 1 0 38141022 36663296 2617 33554432000 4194304 7498468 140736303384816 140736303379832 4257943 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 8951 2617 740 807 0 1942 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35804 KiB
Current children cumulated memory: 10468 KiB
[startup+0.309105 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27676484/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=35936 memory=10732 CPUtime=0.3 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 2889 0 0 0 30 0 0 0 20 0 1 0 38141022 36798464 2683 33554432000 4194304 7498468 140736303384816 140736303379832 5791403 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 8984 2683 740 807 0 1975 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35936 KiB
Current children cumulated memory: 10732 KiB
[startup+0.70028 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27676020/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36068 memory=10732 CPUtime=0.68 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 2918 0 0 0 68 0 0 0 20 0 1 0 38141022 36933632 2683 33554432000 4194304 7498468 140736303384816 140736303379352 4580617 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9017 2683 740 807 0 2008 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36068 KiB
Current children cumulated memory: 10732 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27675904/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36068 memory=10732 CPUtime=1.48 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 2939 0 0 0 148 0 0 0 20 0 1 0 38141022 36933632 2683 33554432000 4194304 7498468 140736303384816 140736303379832 5685825 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9017 2683 740 807 0 2008 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36068 KiB
Current children cumulated memory: 10732 KiB
[startup+3.10919 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27675660/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36200 memory=10992 CPUtime=3.09 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 4124 0 0 0 309 0 0 0 20 0 1 0 38141022 37068800 2748 33554432000 4194304 7498468 140736303384816 140736303379832 5574834 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9050 2748 740 807 0 2041 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36200 KiB
Current children cumulated memory: 10992 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27675668/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36200 memory=11012 CPUtime=6.28 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 5311 0 0 0 627 1 0 0 20 0 1 0 38141022 37068800 2753 33554432000 4194304 7498468 140736303384816 140736303379832 5617912 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9050 2753 740 807 0 2041 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 36200 KiB
Current children cumulated memory: 11012 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27675168/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36332 memory=11068 CPUtime=12.68 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 6295 0 0 0 1267 1 0 0 20 0 1 0 38141022 37203968 2767 33554432000 4194304 7498468 140736303384816 140736303379352 5791403 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9083 2767 740 807 0 2074 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 11068 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27675664/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36332 memory=11124 CPUtime=25.48 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 7464 0 0 0 2547 1 0 0 20 0 1 0 38141022 37203968 2781 33554432000 4194304 7498468 140736303384816 140736303379352 5838480 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9083 2781 740 807 0 2074 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 11124 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31604
/proc/meminfo: memFree=27675484/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36332 memory=11212 CPUtime=51.09 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 8171 0 0 0 5108 1 0 0 20 0 1 0 38141022 37203968 2803 33554432000 4194304 7498468 140736303384816 140736303379832 5791513 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9083 2803 740 807 0 2074 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 11212 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 31606
/proc/meminfo: memFree=27675468/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36464 memory=11276 CPUtime=102.28 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 9080 0 0 0 10227 1 0 0 20 0 1 0 38141022 37339136 2819 33554432000 4194304 7498468 140736303384816 140736303379832 5770464 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9116 2819 740 807 0 2107 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 11276 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31607
/proc/meminfo: memFree=27675512/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11360 CPUtime=162.28 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 9815 0 0 0 16227 1 0 0 20 0 1 0 38141022 37474304 2840 33554432000 4194304 7498468 140736303384816 140736303379352 4317408 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2840 740 807 0 2140 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11360 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31608
/proc/meminfo: memFree=27675536/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11372 CPUtime=222.28 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 10544 0 0 0 22227 1 0 0 20 0 1 0 38141022 37474304 2843 33554432000 4194304 7498468 140736303384816 140736303379832 5791488 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2843 740 807 0 2140 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11372 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31609
/proc/meminfo: memFree=27675456/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11380 CPUtime=282.28 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 11076 0 0 0 28227 1 0 0 20 0 1 0 38141022 37474304 2845 33554432000 4194304 7498468 140736303384816 140736303379832 5791403 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2845 740 807 0 2140 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11380 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31610
/proc/meminfo: memFree=27675476/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11384 CPUtime=342.28 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 11788 0 0 0 34227 1 0 0 20 0 1 0 38141022 37474304 2846 33554432000 4194304 7498468 140736303384816 140736303379832 5791352 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2846 740 807 0 2140 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11384 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 31611
/proc/meminfo: memFree=27675352/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11412 CPUtime=402.28 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 12525 0 0 0 40227 1 0 0 20 0 1 0 38141022 37474304 2853 33554432000 4194304 7498468 140736303384816 140736303379832 5791611 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2853 740 807 0 2140 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11412 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 31620
/proc/meminfo: memFree=27674896/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11412 CPUtime=462.28 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 13106 0 0 0 46227 1 0 0 20 0 1 0 38141022 37474304 2853 33554432000 4194304 7498468 140736303384816 140736303379832 5771524 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2853 740 807 0 2140 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11412 KiB
################
# More data... #
################
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 1662.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 31684
/proc/meminfo: memFree=27672760/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=1722.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 25847 0 0 0 172227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 4580003 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 31810
/proc/meminfo: memFree=27657384/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=1782.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 26067 0 0 0 178227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5791332 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/192 31811
/proc/meminfo: memFree=27618456/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=1842.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 26286 0 0 0 184227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5791403 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/192 31812
/proc/meminfo: memFree=27618356/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=1902.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 26511 0 0 0 190227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 31813
/proc/meminfo: memFree=27618400/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=1962.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 26732 0 0 0 196227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5686105 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 31814
/proc/meminfo: memFree=27618188/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=2022.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 26957 0 0 0 202227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 31815
/proc/meminfo: memFree=27617900/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=2082.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 27178 0 0 0 208227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 4405008 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/191 31817
/proc/meminfo: memFree=27617904/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=2142.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 27464 0 0 0 214227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5684448 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/191 31818
/proc/meminfo: memFree=27618192/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=2202.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 27650 0 0 0 220227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5770560 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 31825
/proc/meminfo: memFree=27618124/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=2262.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 27841 0 0 0 226227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 4397952 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/191 31826
/proc/meminfo: memFree=27618536/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=2322.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 28032 0 0 0 232227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 31827
/proc/meminfo: memFree=27618944/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=2382.29 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 28223 0 0 0 238227 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 4253264 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 31828
/proc/meminfo: memFree=27618836/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=2400.1 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 28389 0 0 0 240008 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5791419 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 31603 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.08 s, system=0.022999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 31828
/proc/meminfo: memFree=27618836/32770624 swapFree=67108860/67108860
[pid=31603] ppid=31600 vsize=36596 memory=11448 CPUtime=2400.1 cores=1,3,5,7
/proc/31603/stat : 31603 (MistralXCSP) R 31600 31603 29334 0 -1 4202496 28389 0 0 0 240008 2 0 0 20 0 1 0 38141022 37474304 2862 33554432000 4194304 7498468 140736303384816 140736303379832 5791419 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13111296 140736303387757 140736303387907 140736303387907 140736303390665 0
/proc/31603/statm: 9149 2862 740 807 0 2140 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 11448 KiB
Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.1
CPU user time (s): 2400.08
CPU system time (s): 0.022999
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 36596
Max. memory (cumulated for all children) (KiB): 11448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.022999
maximum resident set size= 11468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28428
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= 11
involuntary context switches= 730
# summary of solver processes directly reported to runsolver:
# pid: 31603
# total CPU time (s): 2400.1
# total CPU user time (s): 2400.08
# total CPU system time (s): 0.022999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2501 second user time and 13.5521 second system time
The end