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 (4912 MiB free)
memory of node 1: 16384 MiB (1015 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303713-1533995286/watcher-4303713-1533995286 -o /tmp/evaluation-result-4303713-1533995286/solver-4303713-1533995286 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1533992764-9380 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 832527516 HOME/instance-4303713-1533995286.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
solver pid=9624, runsolver pid=9621
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 2.04 2.05 2.02 3/191 9625
/proc/meminfo: memFree=6048628/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=43728 memory=18232 CPUtime=0.1 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 5066 0 0 0 10 0 0 0 20 0 1 0 217091739 44777472 4558 33554432000 4194304 7499544 140722380076352 140722380073352 139867353651172 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 10932 4558 732 807 0 3923 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43728 KiB
Current children cumulated memory: 18232 KiB
[startup+0.209758 s]*
/proc/loadavg: 2.04 2.05 2.02 3/191 9625
/proc/meminfo: memFree=6039204/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=47084 memory=21664 CPUtime=0.2 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 5927 0 0 0 20 0 0 0 20 0 1 0 217091739 48214016 5416 33554432000 4194304 7499544 140722380076352 140722380073352 4563992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 11771 5416 745 807 0 4762 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47084 KiB
Current children cumulated memory: 21664 KiB
[startup+0.309443 s]*
/proc/loadavg: 2.04 2.05 2.02 3/191 9625
/proc/meminfo: memFree=5958196/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=114240 memory=88984 CPUtime=0.3 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 22726 0 0 0 28 2 0 0 20 0 1 0 217091739 116981760 22246 33554432000 4194304 7499544 140722380076352 140722380066152 4564144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 28560 22246 761 807 0 21551 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114240 KiB
Current children cumulated memory: 88984 KiB
[startup+0.700268 s]
/proc/loadavg: 2.04 2.05 2.02 3/191 9625
/proc/meminfo: memFree=5934868/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=162428 memory=137300 CPUtime=0.69 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 34871 0 0 0 65 4 0 0 20 0 1 0 217091739 166326272 34325 33554432000 4194304 7499544 140722380076352 140722380066152 5164040 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 40607 34325 805 807 0 33598 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 162428 KiB
Current children cumulated memory: 137300 KiB
[startup+1.50025 s]
/proc/loadavg: 2.04 2.05 2.02 3/191 9625
/proc/meminfo: memFree=5778404/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=162748 memory=137564 CPUtime=1.49 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 34944 0 0 0 145 4 0 0 20 0 1 0 217091739 166653952 34391 33554432000 4194304 7499544 140722380076352 140722380070856 4246864 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 40687 34391 809 807 0 33678 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 162748 KiB
Current children cumulated memory: 137564 KiB
[startup+3.1096 s]
/proc/loadavg: 1.95 2.04 2.01 3/191 9625
/proc/meminfo: memFree=5704380/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=164132 memory=139276 CPUtime=3.1 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 44506 0 0 0 305 5 0 0 20 0 1 0 217091739 168071168 34819 33554432000 4194304 7499544 140722380076352 140722380070888 5163933 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41033 34819 809 807 0 34024 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 164132 KiB
Current children cumulated memory: 139276 KiB
[startup+6.30028 s]
/proc/loadavg: 1.95 2.04 2.01 3/191 9625
/proc/meminfo: memFree=5699152/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167032 memory=142128 CPUtime=6.28 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 59100 0 0 0 623 5 0 0 20 0 1 0 217091739 171040768 35532 33554432000 4194304 7499544 140722380076352 140722380070712 4246856 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41758 35532 809 807 0 34749 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 167032 KiB
Current children cumulated memory: 142128 KiB
[startup+12.7002 s]
/proc/loadavg: 1.96 2.04 2.01 3/191 9625
/proc/meminfo: memFree=5699216/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167164 memory=142252 CPUtime=12.69 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 72928 0 0 0 1263 6 0 0 20 0 1 0 217091739 171175936 35563 33554432000 4194304 7499544 140722380076352 140722380070888 4579585 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41791 35563 809 807 0 34782 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 167164 KiB
Current children cumulated memory: 142252 KiB
[startup+25.5002 s]
/proc/loadavg: 1.97 2.04 2.01 3/191 9625
/proc/meminfo: memFree=5699672/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167164 memory=142308 CPUtime=25.49 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 92784 0 0 0 2542 7 0 0 20 0 1 0 217091739 171175936 35577 33554432000 4194304 7499544 140722380076352 140722380070888 5585188 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41791 35577 809 807 0 34782 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 167164 KiB
Current children cumulated memory: 142308 KiB
[startup+51.1093 s]
/proc/loadavg: 1.98 2.03 2.01 3/191 9625
/proc/meminfo: memFree=5699508/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167296 memory=142420 CPUtime=51.09 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 112880 0 0 0 5102 7 0 0 20 0 1 0 217091739 171311104 35605 33554432000 4194304 7499544 140722380076352 140722380070984 5163917 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41824 35605 809 807 0 34815 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 167296 KiB
Current children cumulated memory: 142420 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.02 3/191 9626
/proc/meminfo: memFree=5700024/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167428 memory=142516 CPUtime=102.28 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 126699 0 0 0 10220 8 0 0 20 0 1 0 217091739 171446272 35629 33554432000 4194304 7499544 140722380076352 140722380070888 5163917 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41857 35629 809 807 0 34848 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 167428 KiB
Current children cumulated memory: 142516 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/192 9635
/proc/meminfo: memFree=5699576/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167428 memory=142536 CPUtime=162.26 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 140141 0 0 0 16218 8 0 0 20 0 1 0 217091739 171446272 35634 33554432000 4194304 7499544 140722380076352 140722380070888 5163958 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41857 35634 809 807 0 34848 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 167428 KiB
Current children cumulated memory: 142536 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/192 9636
/proc/meminfo: memFree=5699128/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167428 memory=142552 CPUtime=222.25 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 153006 0 0 0 22216 9 0 0 20 0 1 0 217091739 171446272 35638 33554432000 4194304 7499544 140722380076352 140722380070888 5163954 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41857 35638 809 807 0 34848 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 167428 KiB
Current children cumulated memory: 142552 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/191 9637
/proc/meminfo: memFree=5699316/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167428 memory=142576 CPUtime=282.22 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 157177 0 0 0 28213 9 0 0 20 0 1 0 217091739 171446272 35644 33554432000 4194304 7499544 140722380076352 140722380070888 5163908 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41857 35644 809 807 0 34848 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 167428 KiB
Current children cumulated memory: 142576 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 9638
/proc/meminfo: memFree=5699236/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142592 CPUtime=342.21 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 158354 0 0 0 34212 9 0 0 20 0 1 0 217091739 171581440 35648 33554432000 4194304 7499544 140722380076352 140722380070888 5773225 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35648 809 807 0 34881 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142592 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/192 9640
/proc/meminfo: memFree=5699260/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142612 CPUtime=402.21 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 159539 0 0 0 40212 9 0 0 20 0 1 0 217091739 171581440 35653 33554432000 4194304 7499544 140722380076352 140722380070888 5163946 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35653 809 807 0 34881 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142612 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 9642
/proc/meminfo: memFree=5699324/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142612 CPUtime=462.2 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 160340 0 0 0 46211 9 0 0 20 0 1 0 217091739 171581440 35653 33554432000 4194304 7499544 140722380076352 140722380070888 4541843 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35653 809 807 0 34881 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142612 KiB
################
# More data... #
################
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 1722.01 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/190 9707
/proc/meminfo: memFree=5699272/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142652 CPUtime=1782 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 179427 0 0 0 178190 10 0 0 20 0 1 0 217091739 171581440 35663 33554432000 4194304 7499544 140722380076352 140722380070888 5163954 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 1782 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.07 2.06 3/190 9708
/proc/meminfo: memFree=5699076/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142652 CPUtime=1841.99 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 180102 0 0 0 184189 10 0 0 20 0 1 0 217091739 171581440 35663 33554432000 4194304 7499544 140722380076352 140722380070888 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 1841.99 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/190 9709
/proc/meminfo: memFree=5699120/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142652 CPUtime=1901.98 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 180782 0 0 0 190188 10 0 0 20 0 1 0 217091739 171581440 35663 33554432000 4194304 7499544 140722380076352 140722380070888 4540720 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 1901.98 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 9718
/proc/meminfo: memFree=5698840/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142652 CPUtime=1961.98 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 181445 0 0 0 196188 10 0 0 20 0 1 0 217091739 171581440 35663 33554432000 4194304 7499544 140722380076352 140722380070888 5770124 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 1961.98 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 9719
/proc/meminfo: memFree=5698884/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142652 CPUtime=2021.97 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 182603 0 0 0 202187 10 0 0 20 0 1 0 217091739 171581440 35663 33554432000 4194304 7499544 140722380076352 140722380070888 4579920 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 2021.97 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 9720
/proc/meminfo: memFree=5698928/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142652 CPUtime=2081.96 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 183425 0 0 0 208186 10 0 0 20 0 1 0 217091739 171581440 35663 33554432000 4194304 7499544 140722380076352 140722380070888 4246824 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 2081.96 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 9721
/proc/meminfo: memFree=5698752/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142652 CPUtime=2141.95 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 184213 0 0 0 214185 10 0 0 20 0 1 0 217091739 171581440 35663 33554432000 4194304 7499544 140722380076352 140722380070888 5771712 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 2141.95 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 9722
/proc/meminfo: memFree=5698664/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142652 CPUtime=2201.94 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 185033 0 0 0 220184 10 0 0 20 0 1 0 217091739 171581440 35663 33554432000 4194304 7499544 140722380076352 140722380070888 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 2201.94 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 9724
/proc/meminfo: memFree=5698720/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142652 CPUtime=2261.93 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 185835 0 0 0 226183 10 0 0 20 0 1 0 217091739 171581440 35663 33554432000 4194304 7499544 140722380076352 140722380070888 4246824 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35663 809 807 0 34881 0
Current children cumulated CPU time: 2261.93 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142652 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 9725
/proc/meminfo: memFree=5698388/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142656 CPUtime=2321.92 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 186624 0 0 0 232182 10 0 0 20 0 1 0 217091739 171581440 35664 33554432000 4194304 7499544 140722380076352 140722380070888 5163908 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35664 809 807 0 34881 0
Current children cumulated CPU time: 2321.92 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142656 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 9726
/proc/meminfo: memFree=5698432/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142656 CPUtime=2381.91 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 187417 0 0 0 238181 10 0 0 20 0 1 0 217091739 171581440 35664 33554432000 4194304 7499544 140722380076352 140722380070888 4246863 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35664 809 807 0 34881 0
Current children cumulated CPU time: 2381.91 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142656 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9729
/proc/meminfo: memFree=5698456/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142656 CPUtime=2441.9 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 188205 0 0 0 244180 10 0 0 20 0 1 0 217091739 171581440 35664 33554432000 4194304 7499544 140722380076352 140722380070888 4580602 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35664 809 807 0 34881 0
Current children cumulated CPU time: 2441.9 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142656 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9730
/proc/meminfo: memFree=5698508/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142656 CPUtime=2501.89 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 188991 0 0 0 250179 10 0 0 20 0 1 0 217091739 171581440 35664 33554432000 4194304 7499544 140722380076352 140722380070888 5612944 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35664 809 807 0 34881 0
Current children cumulated CPU time: 2501.89 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142656 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 2/190 9738
/proc/meminfo: memFree=5941836/32770624 swapFree=67108860/67108860
[pid=9624] ppid=9621 vsize=167560 memory=142656 CPUtime=2519.6 cores=0,2,4,6
/proc/9624/stat : 9624 (MistralXCSP) R 9621 9624 9349 0 -1 4202496 189712 0 0 0 251950 10 0 0 20 0 1 0 217091739 171581440 35664 33554432000 4194304 7499544 140722380076352 140722380070888 4246871 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17207296 140722380080238 140722380080387 140722380080387 140722380083145 0
/proc/9624/statm: 41890 35664 809 807 0 34881 0
Current children cumulated CPU time: 2519.6 s
Current children cumulated vsize: 167560 KiB
Current children cumulated memory: 142656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 9624 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.5 s, system=0.108983 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.61
CPU user time (s): 2519.5
CPU system time (s): 0.108983
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 167560
Max. memory (cumulated for all children) (KiB): 142656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.108983
maximum resident set size= 143428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189748
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= 41
involuntary context switches= 2162
# summary of solver processes directly reported to runsolver:
# pid: 9624
# total CPU time (s): 2519.61
# total CPU user time (s): 2519.5
# total CPU system time (s): 0.108983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.82825 second user time and 16.7917 second system time
The end