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 (10016 MiB free)
memory of node 1: 16384 MiB (15152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397231-1568572784/watcher-4397231-1568572784 -o /tmp/evaluation-result-4397231-1568572784/solver-4397231-1568572784 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568572746-32297 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397231-1568572784.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32325, runsolver pid=32319
Current StackSize limit: 8192 KiB
[startup+0.100134 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 32327
/proc/meminfo: memFree=25762548/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=47840 memory=23984 CPUtime=0.01 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 6148 0 0 0 1 0 0 0 20 0 1 0 433517069 48988160 5930 33554432000 4194304 6211092 140736167688064 140736167684552 5231237 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 11960 5930 752 493 0 5265 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 47840 KiB
Current children cumulated memory: 23984 KiB
[startup+0.209836 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 32327
/proc/meminfo: memFree=25644220/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=139292 memory=115592 CPUtime=0.12 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 29088 0 0 0 9 3 0 0 20 0 1 0 433517069 142635008 28898 33554432000 4194304 6211092 140736167688064 140736167682568 139786365602789 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 34823 28898 825 493 0 28128 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 139292 KiB
Current children cumulated memory: 115592 KiB
[startup+0.309732 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 32327
/proc/meminfo: memFree=25637996/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=145008 memory=121240 CPUtime=0.22 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 30537 0 0 0 19 3 0 0 20 0 1 0 433517069 148488192 30310 33554432000 4194304 6211092 140736167688064 140736167682568 139786365650848 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 36252 30310 827 493 0 29557 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 145008 KiB
Current children cumulated memory: 121240 KiB
[startup+0.700285 s]
/proc/loadavg: 0.00 0.01 0.05 4/199 32327
/proc/meminfo: memFree=25624728/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=167860 memory=144096 CPUtime=0.61 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 36250 0 0 0 57 4 0 0 20 0 1 0 433517069 171888640 36024 33554432000 4194304 6211092 140736167688064 140736167682584 139786365602789 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 41965 36024 827 493 0 35270 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 167860 KiB
Current children cumulated memory: 144096 KiB
[startup+1.50028 s]
/proc/loadavg: 0.00 0.01 0.05 5/199 32327
/proc/meminfo: memFree=24931564/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=1025528 memory=1001952 CPUtime=1.4 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 250676 0 0 0 111 29 0 0 20 0 1 0 433517069 1050140672 250488 33554432000 4194304 6211092 140736167688064 140736167686328 5046873 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 256382 250488 855 493 0 249687 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 1025528 KiB
Current children cumulated memory: 1001952 KiB
[startup+3.10949 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 32327
/proc/meminfo: memFree=24754324/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=1025528 memory=1002064 CPUtime=3.01 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 366919 0 0 0 267 34 0 0 20 0 1 0 433517069 1050140672 250516 33554432000 4194304 6211092 140736167688064 140736167686328 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 256382 250516 881 493 0 249687 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1025528 KiB
Current children cumulated memory: 1002064 KiB
[startup+6.30039 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 32327
/proc/meminfo: memFree=24753376/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=1026520 memory=1003036 CPUtime=6.2 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 540726 0 0 0 577 43 0 0 20 0 1 0 433517069 1051156480 250759 33554432000 4194304 6211092 140736167688064 140736167685448 5167538 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 256630 250759 881 493 0 249935 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1026520 KiB
Current children cumulated memory: 1003036 KiB
[startup+12.7003 s]
/proc/loadavg: 0.45 0.11 0.08 4/199 32327
/proc/meminfo: memFree=24752012/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=1028392 memory=1004820 CPUtime=12.6 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 726192 0 0 0 1208 52 0 0 20 0 1 0 433517069 1053073408 251205 33554432000 4194304 6211092 140736167688064 140736167685320 5168225 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 257098 251205 881 493 0 250403 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1028392 KiB
Current children cumulated memory: 1004820 KiB
[startup+25.5004 s]
/proc/loadavg: 0.68 0.17 0.10 4/199 32327
/proc/meminfo: memFree=24748144/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=1032840 memory=1009272 CPUtime=25.39 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 900392 0 0 0 2479 60 0 0 20 0 1 0 433517069 1057628160 252318 33554432000 4194304 6211092 140736167688064 140736167685320 5392352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 258210 252318 881 493 0 251515 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1032840 KiB
Current children cumulated memory: 1009272 KiB
[startup+51.1095 s]
/proc/loadavg: 1.13 0.32 0.15 4/199 32329
/proc/meminfo: memFree=24744816/32770624 swapFree=66941228/67108860
[pid=32325] ppid=32319 vsize=1034160 memory=1010672 CPUtime=51.01 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1077252 0 0 0 5031 70 0 0 20 0 1 0 433517069 1058979840 252668 33554432000 4194304 6211092 140736167688064 140736167685304 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 258540 252668 881 493 0 251845 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 1034160 KiB
Current children cumulated memory: 1010672 KiB
[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 4/199 32340
/proc/meminfo: memFree=24741392/32770624 swapFree=66941232/67108860
[pid=32325] ppid=32319 vsize=1036340 memory=1012544 CPUtime=102.18 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1275646 0 0 0 10139 79 0 0 20 0 1 0 433517069 1061212160 253136 33554432000 4194304 6211092 140736167688064 140736167685320 5168225 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259085 253136 881 493 0 252390 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 1036340 KiB
Current children cumulated memory: 1012544 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 4/199 32344
/proc/meminfo: memFree=24740848/32770624 swapFree=66941232/67108860
[pid=32325] ppid=32319 vsize=1036604 memory=1012784 CPUtime=162.16 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1388404 0 0 0 16132 84 0 0 20 0 1 0 433517069 1061482496 253196 33554432000 4194304 6211092 140736167688064 140736167685368 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259151 253196 881 493 0 252456 0
Current children cumulated CPU time: 162.16 s
Current children cumulated vsize: 1036604 KiB
Current children cumulated memory: 1012784 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 4/199 32350
/proc/meminfo: memFree=24740316/32770624 swapFree=66941232/67108860
[pid=32325] ppid=32319 vsize=1037540 memory=1013780 CPUtime=222.15 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1491808 0 0 0 22126 89 0 0 20 0 1 0 433517069 1062440960 253445 33554432000 4194304 6211092 140736167688064 140736167685320 5397368 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259385 253445 881 493 0 252690 0
Current children cumulated CPU time: 222.15 s
Current children cumulated vsize: 1037540 KiB
Current children cumulated memory: 1013780 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 4/199 32354
/proc/meminfo: memFree=24740536/32770624 swapFree=66941232/67108860
[pid=32325] ppid=32319 vsize=1037808 memory=1014084 CPUtime=282.14 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1560522 0 0 0 28121 93 0 0 20 0 1 0 433517069 1062715392 253521 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259452 253521 881 493 0 252757 0
Current children cumulated CPU time: 282.14 s
Current children cumulated vsize: 1037808 KiB
Current children cumulated memory: 1014084 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 4/199 32358
/proc/meminfo: memFree=24739844/32770624 swapFree=66941232/67108860
[pid=32325] ppid=32319 vsize=1037940 memory=1014176 CPUtime=342.13 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1655076 0 0 0 34115 98 0 0 20 0 1 0 433517069 1062850560 253544 33554432000 4194304 6211092 140736167688064 140736167685320 5397375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259485 253544 881 493 0 252790 0
Current children cumulated CPU time: 342.13 s
Current children cumulated vsize: 1037940 KiB
Current children cumulated memory: 1014176 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 4/199 32364
/proc/meminfo: memFree=24740084/32770624 swapFree=66941232/67108860
[pid=32325] ppid=32319 vsize=1037940 memory=1014176 CPUtime=402.12 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1697949 0 0 0 40112 100 0 0 20 0 1 0 433517069 1062850560 253544 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259485 253544 881 493 0 252790 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 1037940 KiB
Current children cumulated memory: 1014176 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.82 4/199 32368
/proc/meminfo: memFree=24739696/32770624 swapFree=66941232/67108860
[pid=32325] ppid=32319 vsize=1037940 memory=1014176 CPUtime=462.12 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1731978 0 0 0 46110 102 0 0 20 0 1 0 433517069 1062850560 253544 33554432000 4194304 6211092 140736167688064 140736167685320 5168192 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259485 253544 881 493 0 252790 0
Current children cumulated CPU time: 462.12 s
Current children cumulated vsize: 1037940 KiB
Current children cumulated memory: 1014176 KiB
################
# More data... #
################
/proc/32325/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1721.94 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.72 4/199 32511
/proc/meminfo: memFree=24737428/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015148 CPUtime=1781.93 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1850311 0 0 0 178086 107 0 0 20 0 1 0 433517069 1063813120 253787 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1781.93 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.73 4/199 32517
/proc/meminfo: memFree=24737276/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015148 CPUtime=1841.92 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1851228 0 0 0 184085 107 0 0 20 0 1 0 433517069 1063813120 253787 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1841.92 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.75 4/200 32529
/proc/meminfo: memFree=24738168/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015148 CPUtime=1901.92 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1851918 0 0 0 190085 107 0 0 20 0 1 0 433517069 1063813120 253787 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1901.92 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.77 4/200 32533
/proc/meminfo: memFree=24737540/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015148 CPUtime=1961.91 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1852488 0 0 0 196084 107 0 0 20 0 1 0 433517069 1063813120 253787 33554432000 4194304 6211092 140736167688064 140736167685320 5168192 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1961.91 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.78 4/200 32539
/proc/meminfo: memFree=24737400/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015152 CPUtime=2021.9 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1853167 0 0 0 202083 107 0 0 20 0 1 0 433517069 1063813120 253788 33554432000 4194304 6211092 140736167688064 140736167685320 5168219 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253788 881 493 0 253025 0
Current children cumulated CPU time: 2021.9 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015152 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.79 4/200 32543
/proc/meminfo: memFree=24737060/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015156 CPUtime=2081.89 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1854134 0 0 0 208082 107 0 0 20 0 1 0 433517069 1063813120 253789 33554432000 4194304 6211092 140736167688064 140736167685320 5167888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2081.89 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.81 4/200 32547
/proc/meminfo: memFree=24737384/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015156 CPUtime=2141.88 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1854768 0 0 0 214081 107 0 0 20 0 1 0 433517069 1063813120 253789 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2141.88 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.82 4/199 32553
/proc/meminfo: memFree=24736768/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015156 CPUtime=2201.88 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1855403 0 0 0 220081 107 0 0 20 0 1 0 433517069 1063813120 253789 33554432000 4194304 6211092 140736167688064 140736167685320 5167928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2201.88 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.83 4/199 32557
/proc/meminfo: memFree=24737308/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015156 CPUtime=2261.87 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1856340 0 0 0 226080 107 0 0 20 0 1 0 433517069 1063813120 253789 33554432000 4194304 6211092 140736167688064 140736167685320 5167521 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2261.87 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.84 4/199 32561
/proc/meminfo: memFree=24737548/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015156 CPUtime=2321.87 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1857064 0 0 0 232079 108 0 0 20 0 1 0 433517069 1063813120 253789 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2321.87 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.85 4/199 32567
/proc/meminfo: memFree=24737276/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015156 CPUtime=2381.86 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1857779 0 0 0 238078 108 0 0 20 0 1 0 433517069 1063813120 253789 33554432000 4194304 6211092 140736167688064 140736167685320 5168219 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2381.86 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.86 4/199 32571
/proc/meminfo: memFree=24737864/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015156 CPUtime=2441.85 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1858485 0 0 0 244077 108 0 0 20 0 1 0 433517069 1063813120 253789 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2441.85 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/200 32583
/proc/meminfo: memFree=24737196/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015156 CPUtime=2501.85 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1859190 0 0 0 250077 108 0 0 20 0 1 0 433517069 1063813120 253789 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2501.85 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 1.87 4/200 32585
/proc/meminfo: memFree=24737008/32770624 swapFree=66941236/67108860
[pid=32325] ppid=32319 vsize=1038880 memory=1015156 CPUtime=2519.55 cores=1,3,5,7
/proc/32325/stat : 32325 (cosoco) R 32319 32325 32265 0 -1 4202496 1859509 0 0 0 251847 108 0 0 20 0 1 0 433517069 1063813120 253789 33554432000 4194304 6211092 140736167688064 140736167685320 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39948288 140736167695371 140736167695473 140736167695473 140736167698382 0
/proc/32325/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2519.55 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 32325 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.48 s, system=1.08486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.56
CPU user time (s): 2518.48
CPU system time (s): 1.08486
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 1038880
Max. memory (cumulated for all children) (KiB): 1015156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.48
system time used= 1.08486
maximum resident set size= 1015224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1859561
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= 114
involuntary context switches= 2136
# summary of solver processes directly reported to runsolver:
# pid: 32325
# total CPU time (s): 2519.56
# total CPU user time (s): 2518.48
# total CPU system time (s): 1.08486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.66393 second user time and 18.4741 second system time
The end