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 (8346 MiB free)
memory of node 1: 16384 MiB (14038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291917-1532261083/watcher-4291917-1532261083 -o /tmp/evaluation-result-4291917-1532261083/solver-4291917-1532261083 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532261025-702 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 282238218 HOME/instance-4291917-1532261083.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=1205, runsolver pid=1202
[startup+0.100729 s]*
/proc/loadavg: 3.21 2.31 2.06 3/189 1206
/proc/meminfo: memFree=22917764/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=32492 memory=7084 CPUtime=0.09 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 1938 0 0 0 9 0 0 0 20 0 1 0 43671545 33271808 1771 33554432000 4194304 7498468 140720383393280 140720383384296 6003022 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 8123 1771 702 807 0 1114 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32492 KiB
Current children cumulated memory: 7084 KiB
[startup+0.209505 s]*
/proc/loadavg: 3.21 2.31 2.06 3/189 1206
/proc/meminfo: memFree=22914776/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=35804 memory=10400 CPUtime=0.2 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 2791 0 0 0 20 0 0 0 20 0 1 0 43671545 36663296 2600 33554432000 4194304 7498468 140720383393280 140720383384296 139698322385893 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 8951 2600 702 807 0 1942 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35804 KiB
Current children cumulated memory: 10400 KiB
[startup+0.309174 s]*
/proc/loadavg: 3.21 2.31 2.06 3/189 1206
/proc/meminfo: memFree=22911632/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=39128 memory=13596 CPUtime=0.3 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 3592 0 0 0 30 0 0 0 20 0 1 0 43671545 40067072 3399 33554432000 4194304 7498468 140720383393280 140720383384040 4564424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 9782 3399 702 807 0 2773 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39128 KiB
Current children cumulated memory: 13596 KiB
[startup+0.700261 s]
/proc/loadavg: 3.21 2.31 2.06 3/189 1206
/proc/meminfo: memFree=22906004/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=56148 memory=30808 CPUtime=0.68 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 7965 0 0 0 67 1 0 0 20 0 1 0 43671545 57495552 7702 33554432000 4194304 7498468 140720383393280 140720383384280 4564424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 14037 7702 716 807 0 7028 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 30808 KiB
[startup+1.50033 s]
/proc/loadavg: 3.21 2.31 2.06 3/189 1206
/proc/meminfo: memFree=22862604/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88036 memory=62860 CPUtime=1.49 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 16261 0 0 0 146 3 0 0 20 0 1 0 43671545 90148864 15715 33554432000 4194304 7498468 140720383393280 140720383388296 5838511 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22009 15715 750 807 0 15000 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88036 KiB
Current children cumulated memory: 62860 KiB
[startup+3.10942 s]
/proc/loadavg: 3.11 2.31 2.06 3/189 1206
/proc/meminfo: memFree=22862976/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88304 memory=62996 CPUtime=3.09 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 28188 0 0 0 306 3 0 0 20 0 1 0 43671545 90423296 15749 33554432000 4194304 7498468 140720383393280 140720383388296 5613413 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22076 15749 753 807 0 15067 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 88304 KiB
Current children cumulated memory: 62996 KiB
[startup+6.30023 s]
/proc/loadavg: 3.11 2.31 2.06 3/189 1206
/proc/meminfo: memFree=22862456/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88436 memory=63256 CPUtime=6.28 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 40174 0 0 0 624 4 0 0 20 0 1 0 43671545 90558464 15814 33554432000 4194304 7498468 140720383393280 140720383387816 4320816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22109 15814 753 807 0 15100 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 88436 KiB
Current children cumulated memory: 63256 KiB
[startup+12.7002 s]
/proc/loadavg: 2.94 2.30 2.06 3/189 1206
/proc/meminfo: memFree=22862640/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88568 memory=63384 CPUtime=12.68 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 48671 0 0 0 1263 5 0 0 20 0 1 0 43671545 90693632 15846 33554432000 4194304 7498468 140720383393280 140720383387816 4249744 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22142 15846 753 807 0 15133 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 88568 KiB
Current children cumulated memory: 63384 KiB
[startup+25.5002 s]
/proc/loadavg: 2.79 2.29 2.06 3/189 1206
/proc/meminfo: memFree=22863016/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88700 memory=63548 CPUtime=25.46 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 56711 0 0 0 2541 5 0 0 20 0 1 0 43671545 90828800 15887 33554432000 4194304 7498468 140720383393280 140720383387704 4249952 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22175 15887 753 807 0 15166 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 88700 KiB
Current children cumulated memory: 63548 KiB
[startup+51.109 s]
/proc/loadavg: 2.52 2.27 2.06 3/189 1206
/proc/meminfo: memFree=22863708/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88700 memory=63608 CPUtime=51.06 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 59452 0 0 0 5100 6 0 0 20 0 1 0 43671545 90828800 15902 33554432000 4194304 7498468 140720383393280 140720383387704 5838205 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22175 15902 753 807 0 15166 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 88700 KiB
Current children cumulated memory: 63608 KiB
[startup+102.3 s]
/proc/loadavg: 2.21 2.22 2.05 3/188 1207
/proc/meminfo: memFree=22863536/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88700 memory=63640 CPUtime=102.24 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 60639 0 0 0 10218 6 0 0 20 0 1 0 43671545 90828800 15910 33554432000 4194304 7498468 140720383393280 140720383387704 5613376 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22175 15910 753 807 0 15166 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 88700 KiB
Current children cumulated memory: 63640 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.18 2.05 3/188 1208
/proc/meminfo: memFree=22863480/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63656 CPUtime=162.23 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 61823 0 0 0 16217 6 0 0 20 0 1 0 43671545 90963968 15914 33554432000 4194304 7498468 140720383393280 140720383387736 4249680 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15914 753 807 0 15199 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63656 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.15 2.05 3/188 1209
/proc/meminfo: memFree=22863420/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63664 CPUtime=222.22 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 63008 0 0 0 22216 6 0 0 20 0 1 0 43671545 90963968 15916 33554432000 4194304 7498468 140720383393280 140720383387736 4249714 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15916 753 807 0 15199 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63664 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.12 2.05 3/188 1210
/proc/meminfo: memFree=22863668/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63676 CPUtime=282.21 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 63515 0 0 0 28215 6 0 0 20 0 1 0 43671545 90963968 15919 33554432000 4194304 7498468 140720383393280 140720383387736 5613391 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15919 753 807 0 15199 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63676 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.10 2.05 3/188 1219
/proc/meminfo: memFree=22862756/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63676 CPUtime=342.2 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 64730 0 0 0 34214 6 0 0 20 0 1 0 43671545 90963968 15919 33554432000 4194304 7498468 140720383393280 140720383387736 4249936 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15919 753 807 0 15199 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63676 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.08 2.05 3/188 1220
/proc/meminfo: memFree=22863444/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=402.2 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 65921 0 0 0 40213 7 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 4249936 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.07 2.05 3/188 1221
/proc/meminfo: memFree=22863144/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=462.19 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 66443 0 0 0 46212 7 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 5587409 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
################
# More data... #
################
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 1662.06 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1260
/proc/meminfo: memFree=22862640/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=1722.07 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 81726 0 0 0 172199 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 5585650 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1261
/proc/meminfo: memFree=22862880/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=1782.06 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 82386 0 0 0 178198 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 5585598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 1262
/proc/meminfo: memFree=22862708/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=1842.05 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 83009 0 0 0 184197 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 4542275 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+1902.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 1263
/proc/meminfo: memFree=22862856/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=1902.05 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 83663 0 0 0 190197 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 4249721 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 1264
/proc/meminfo: memFree=22862936/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=1962.04 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 84287 0 0 0 196196 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 5649070 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 1265
/proc/meminfo: memFree=22863004/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=2022.04 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 84933 0 0 0 202196 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 4404954 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 1266
/proc/meminfo: memFree=22862896/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=2082.03 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 85531 0 0 0 208195 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 4249711 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 1274
/proc/meminfo: memFree=22861948/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=2142.03 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 86213 0 0 0 214195 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 4405728 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 1275
/proc/meminfo: memFree=22862408/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=2202.02 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 86834 0 0 0 220194 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 5574869 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 1276
/proc/meminfo: memFree=22862360/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63772 CPUtime=2262.02 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 88044 0 0 0 226194 8 0 0 20 0 1 0 43671545 90963968 15943 33554432000 4194304 7498468 140720383393280 140720383387736 4405916 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15943 753 807 0 15199 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63772 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 1277
/proc/meminfo: memFree=22862432/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63776 CPUtime=2322.01 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 88578 0 0 0 232193 8 0 0 20 0 1 0 43671545 90963968 15944 33554432000 4194304 7498468 140720383393280 140720383387736 4249936 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15944 753 807 0 15199 0
Current children cumulated CPU time: 2322.01 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63776 KiB
[startup+2382.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 1339
/proc/meminfo: memFree=21896036/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63776 CPUtime=2382 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 89116 0 0 0 238191 9 0 0 20 0 1 0 43671545 90963968 15944 33554432000 4194304 7498468 140720383393280 140720383387736 4404954 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15944 753 807 0 15199 0
Current children cumulated CPU time: 2382 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 1339
/proc/meminfo: memFree=21724692/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63776 CPUtime=2400 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 89609 0 0 0 239991 9 0 0 20 0 1 0 43671545 90963968 15944 33554432000 4194304 7498468 140720383393280 140720383387736 4249952 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15944 753 807 0 15199 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 1205 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.91 s, system=0.096989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 1339
/proc/meminfo: memFree=21724692/32770624 swapFree=67108860/67108860
[pid=1205] ppid=1202 vsize=88832 memory=63776 CPUtime=2400 cores=0,2,4,6
/proc/1205/stat : 1205 (MistralXCSP) R 1202 1205 671 0 -1 4202496 89609 0 0 0 239991 9 0 0 20 0 1 0 43671545 90963968 15944 33554432000 4194304 7498468 140720383393280 140720383387736 4249952 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 25575424 140720383399022 140720383399171 140720383399171 140720383401929 0
/proc/1205/statm: 22208 15944 753 807 0 15199 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 63776 KiB
Child status: 0
Real time (s): 2400.3
CPU time (s): 2400.01
CPU user time (s): 2399.91
CPU system time (s): 0.096989
CPU usage (%): 99.9878
Max. virtual memory (cumulated for all children) (KiB): 88832
Max. memory (cumulated for all children) (KiB): 63776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.096989
maximum resident set size= 63796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89750
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= 30
involuntary context switches= 4539
# summary of solver processes directly reported to runsolver:
# pid: 1205
# total CPU time (s): 2400.01
# total CPU user time (s): 2399.91
# total CPU system time (s): 0.096989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08019 second user time and 15.6613 second system time
The end