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 (15133 MiB free)
memory of node 1: 16384 MiB (13944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408353-1569814127/watcher-4408353-1569814127 -o /tmp/evaluation-result-4408353-1569814127/solver-4408353-1569814127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569787350-17998 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408353-1569814127.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=23136, runsolver pid=23133
Current StackSize limit: 8192 KiB
[startup+0.100204 s]*
/proc/loadavg: 2.26 2.18 2.11 3/200 23137
/proc/meminfo: memFree=29773904/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=29736 memory=6192 CPUtime=0.1 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 1732 0 0 0 10 0 0 0 20 0 1 0 557679477 30449664 1548 33554432000 4194304 6211132 140730943124224 140730943120760 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 7434 1548 851 493 0 739 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29736 KiB
Current children cumulated memory: 6192 KiB
[startup+0.20977 s]*
/proc/loadavg: 2.26 2.18 2.11 3/200 23137
/proc/meminfo: memFree=29772416/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=31080 memory=7512 CPUtime=0.21 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 2070 0 0 0 21 0 0 0 20 0 1 0 557679477 31825920 1878 33554432000 4194304 6211132 140730943124224 140730943120760 5012856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 7770 1878 851 493 0 1075 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31080 KiB
Current children cumulated memory: 7512 KiB
[startup+0.309627 s]*
/proc/loadavg: 2.26 2.18 2.11 3/200 23137
/proc/meminfo: memFree=29771300/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=32308 memory=8832 CPUtime=0.31 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 2375 0 0 0 31 0 0 0 20 0 1 0 557679477 33083392 2208 33554432000 4194304 6211132 140730943124224 140730943120760 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 8077 2208 851 493 0 1382 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32308 KiB
Current children cumulated memory: 8832 KiB
[startup+0.700385 s]
/proc/loadavg: 2.32 2.20 2.12 3/200 23137
/proc/meminfo: memFree=29768572/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=37008 memory=13348 CPUtime=0.69 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 3550 0 0 0 69 0 0 0 20 0 1 0 557679477 37896192 3337 33554432000 4194304 6211132 140730943124224 140730943120760 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 9252 3337 851 493 0 2557 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37008 KiB
Current children cumulated memory: 13348 KiB
[startup+1.50042 s]
/proc/loadavg: 2.32 2.20 2.12 3/200 23137
/proc/meminfo: memFree=29762672/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=47028 memory=23140 CPUtime=1.49 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 6012 0 0 0 149 0 0 0 20 0 1 0 557679477 48156672 5785 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 11757 5785 851 493 0 5062 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 23140 KiB
[startup+8.77217 s]
/proc/loadavg: 2.32 2.20 2.12 3/200 23137
/proc/meminfo: memFree=29762672/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=136888 memory=112936 CPUtime=8.76 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 28812 0 0 0 872 4 0 0 20 0 1 0 557679477 140173312 28234 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 34222 28234 851 493 0 27527 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 136888 KiB
Current children cumulated memory: 112936 KiB
[startup+8.80037 s]
/proc/loadavg: 2.32 2.20 2.12 3/200 23137
/proc/meminfo: memFree=29762672/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=139312 memory=113444 CPUtime=8.79 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 28901 0 0 0 875 4 0 0 20 0 1 0 557679477 142655488 28361 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 34828 28361 851 493 0 28133 0
Current children cumulated CPU time: 8.79 s
Current children cumulated vsize: 139312 KiB
Current children cumulated memory: 113444 KiB
[startup+12.7004 s]
/proc/loadavg: 2.88 2.32 2.16 3/200 23138
/proc/meminfo: memFree=30074632/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=185544 memory=161172 CPUtime=12.69 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 40896 0 0 0 1264 5 0 0 20 0 1 0 557679477 189997056 40293 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 46386 40293 851 493 0 39691 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 185544 KiB
Current children cumulated memory: 161172 KiB
[startup+25.5004 s]
/proc/loadavg: 2.75 2.31 2.16 3/199 23143
/proc/meminfo: memFree=30444128/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=344632 memory=319312 CPUtime=25.48 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 79625 0 0 0 2539 9 0 0 20 0 1 0 557679477 352903168 79828 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 86158 79828 851 493 0 79463 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 344632 KiB
Current children cumulated memory: 319312 KiB
[startup+51.1003 s]*
/proc/loadavg: 2.45 2.28 2.15 3/199 23143
/proc/meminfo: memFree=30124552/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=666220 memory=634032 CPUtime=51.1 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 156401 0 0 0 5092 18 0 0 20 0 1 0 557679477 682209280 158508 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 166555 158508 851 493 0 159860 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 666220 KiB
Current children cumulated memory: 634032 KiB
[startup+102.3 s]
/proc/loadavg: 2.20 2.24 2.14 3/200 23148
/proc/meminfo: memFree=29493516/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=1310912 memory=1264896 CPUtime=102.29 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 308450 0 0 0 10192 37 0 0 20 0 1 0 557679477 1342373888 316224 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 327728 316224 851 493 0 321033 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1310912 KiB
Current children cumulated memory: 1264896 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.20 2.13 3/200 23161
/proc/meminfo: memFree=28746784/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=2056208 memory=2006016 CPUtime=162.29 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 485552 0 0 0 16168 61 0 0 20 0 1 0 557679477 2105556992 501504 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 514052 501504 851 493 0 507357 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2056208 KiB
Current children cumulated memory: 2006016 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.16 2.13 3/200 23165
/proc/meminfo: memFree=28006304/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=2816848 memory=2742132 CPUtime=222.29 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 662562 0 0 0 22147 82 0 0 20 0 1 0 557679477 2884452352 685533 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 704212 685533 851 493 0 697517 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2816848 KiB
Current children cumulated memory: 2742132 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.13 2.12 3/200 23169
/proc/meminfo: memFree=27263676/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=3521992 memory=3480840 CPUtime=282.29 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 839338 0 0 0 28123 106 0 0 20 0 1 0 557679477 3606519808 870210 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 880498 870210 851 493 0 873803 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 3521992 KiB
Current children cumulated memory: 3480840 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.11 2.12 3/200 23175
/proc/meminfo: memFree=26523132/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=4315040 memory=4219596 CPUtime=342.29 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 1016585 0 0 0 34097 132 0 0 20 0 1 0 557679477 4418600960 1054899 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 1078760 1054899 851 493 0 1072065 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 4315040 KiB
Current children cumulated memory: 4219596 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.09 2.11 3/199 23179
/proc/meminfo: memFree=25776760/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=5020844 memory=4960476 CPUtime=402.28 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 1193432 0 0 0 40070 158 0 0 20 0 1 0 557679477 5141344256 1240119 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 1255211 1240119 851 493 0 1248516 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 5020844 KiB
Current children cumulated memory: 4960476 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.07 2.10 3/199 23183
/proc/meminfo: memFree=25033680/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=5728496 memory=5703116 CPUtime=462.26 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 1370469 0 0 0 46043 183 0 0 20 0 1 0 557679477 5865979904 1425779 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 1432124 1425779 851 493 0 1425429 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 5728496 KiB
Current children cumulated memory: 5703116 KiB
################
# More data... #
################
Current children cumulated vsize: 7974700 KiB
Current children cumulated memory: 7924168 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/199 23203
/proc/meminfo: memFree=22067808/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=8868284 memory=8663956 CPUtime=702.19 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 2078954 0 0 0 69926 293 0 0 20 0 1 0 557679477 9081122816 2165989 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 2217071 2165989 851 493 0 2210376 0
Current children cumulated CPU time: 702.19 s
Current children cumulated vsize: 8868284 KiB
Current children cumulated memory: 8663956 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/199 23214
/proc/meminfo: memFree=21325624/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=9575276 memory=9403952 CPUtime=762.18 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 2255917 0 0 0 75898 320 0 0 20 0 1 0 557679477 9805082624 2350988 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 2393819 2350988 851 493 0 2387124 0
Current children cumulated CPU time: 762.18 s
Current children cumulated vsize: 9575276 KiB
Current children cumulated memory: 9403952 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/199 23218
/proc/meminfo: memFree=20583072/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=10281872 memory=10145728 CPUtime=822.16 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 2432804 0 0 0 81867 349 0 0 20 0 1 0 557679477 10528636928 2536432 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 2570468 2536432 851 493 0 2563773 0
Current children cumulated CPU time: 822.16 s
Current children cumulated vsize: 10281872 KiB
Current children cumulated memory: 10145728 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/199 23224
/proc/meminfo: memFree=19840876/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=10988732 memory=10885720 CPUtime=882.14 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 2609709 0 0 0 87836 378 0 0 20 0 1 0 557679477 11252461568 2721430 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 2747183 2721430 851 493 0 2740488 0
Current children cumulated CPU time: 882.14 s
Current children cumulated vsize: 10988732 KiB
Current children cumulated memory: 10885720 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/199 23228
/proc/meminfo: memFree=19100808/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=11701696 memory=11624436 CPUtime=942.12 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 2786378 0 0 0 93799 413 0 0 20 0 1 0 557679477 11982536704 2906109 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 2925424 2906109 851 493 0 2918729 0
Current children cumulated CPU time: 942.12 s
Current children cumulated vsize: 11701696 KiB
Current children cumulated memory: 11624436 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23232
/proc/meminfo: memFree=18360036/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=12408424 memory=12364308 CPUtime=1002.11 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 2963315 0 0 0 99765 446 0 0 20 0 1 0 557679477 12706226176 3091077 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 3102106 3091077 851 493 0 3095411 0
Current children cumulated CPU time: 1002.11 s
Current children cumulated vsize: 12408424 KiB
Current children cumulated memory: 12364308 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23238
/proc/meminfo: memFree=17617508/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=13395300 memory=13105132 CPUtime=1062.09 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 3140979 0 0 0 105731 478 0 0 20 0 1 0 557679477 13716787200 3276283 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 3348825 3276283 851 493 0 3342130 0
Current children cumulated CPU time: 1062.09 s
Current children cumulated vsize: 13395300 KiB
Current children cumulated memory: 13105132 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23242
/proc/meminfo: memFree=16873796/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=14102424 memory=13847048 CPUtime=1122.07 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 3317964 0 0 0 111696 511 0 0 20 0 1 0 557679477 14440882176 3461762 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 3525606 3461762 851 493 0 3518911 0
Current children cumulated CPU time: 1122.07 s
Current children cumulated vsize: 14102424 KiB
Current children cumulated memory: 13847048 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23246
/proc/meminfo: memFree=16133320/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=14809284 memory=14586988 CPUtime=1182.05 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 3494891 0 0 0 117658 547 0 0 20 0 1 0 557679477 15164706816 3646747 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 3702321 3646747 851 493 0 3695626 0
Current children cumulated CPU time: 1182.05 s
Current children cumulated vsize: 14809284 KiB
Current children cumulated memory: 14586988 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23252
/proc/meminfo: memFree=15391796/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=15515748 memory=15326368 CPUtime=1242.04 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 3671734 0 0 0 123622 582 0 0 20 0 1 0 557679477 15888125952 3831592 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 3878937 3831592 851 493 0 3872242 0
Current children cumulated CPU time: 1242.04 s
Current children cumulated vsize: 15515748 KiB
Current children cumulated memory: 15326368 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1272.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23253
/proc/meminfo: memFree=15021104/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=15872940 memory=15700080 CPUtime=1272.43 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) R 23133 23136 17967 0 -1 4202496 3761172 0 0 0 126643 600 0 0 20 0 1 0 557679477 16253890560 3925020 33554432000 4194304 6211132 140730943124224 140730943106584 139955439729637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 3968235 3925020 851 493 0 3961540 0
Current children cumulated CPU time: 1272.43 s
Current children cumulated vsize: 15872940 KiB
Current children cumulated memory: 15700080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1275.52 s]
# the end of solver process 23136 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1266.67 s, system=6.88801 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1273.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23254
/proc/meminfo: memFree=14799872/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=15872940 memory=15700080 CPUtime=1272.56 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) S 23133 23136 17967 0 -1 512 3761175 0 0 0 126654 602 0 0 20 0 1 0 557679477 16253890560 3925020 33554432000 4194304 6211132 140730943124224 140730943106584 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 3968235 3925020 851 493 0 3961540 0
Current children cumulated CPU time: 1272.56 s
Current children cumulated vsize: 15872940 KiB
Current children cumulated memory: 15700080 KiB
[startup+1274.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23255
/proc/meminfo: memFree=14261216/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=15872940 memory=15700080 CPUtime=1272.67 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) S 23133 23136 17967 0 -1 512 3761175 0 0 0 126662 605 0 0 20 0 1 0 557679477 16253890560 3925020 33554432000 4194304 6211132 140730943124224 140730943106584 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 3968235 3925020 851 493 0 3961540 0
Current children cumulated CPU time: 1272.67 s
Current children cumulated vsize: 15872940 KiB
Current children cumulated memory: 15700080 KiB
[startup+1274.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23255
/proc/meminfo: memFree=14261216/32770624 swapFree=66975648/67108860
[pid=23136] ppid=23133 vsize=15872940 memory=15700080 CPUtime=1272.73 cores=0,2,4,6
/proc/23136/stat : 23136 (cosoco) S 23133 23136 17967 0 -1 512 3761175 0 0 0 126666 607 0 0 20 0 1 0 557679477 16253890560 3925020 33554432000 4194304 6211132 140730943124224 140730943106584 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 39313408 140730943132683 140730943132785 140730943132785 140730943135694 0
/proc/23136/statm: 3968235 3925020 851 493 0 3961540 0
Current children cumulated CPU time: 1272.73 s
Current children cumulated vsize: 15872940 KiB
Current children cumulated memory: 15700080 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1275.52
CPU time (s): 1273.56
CPU user time (s): 1266.67
CPU system time (s): 6.88801
CPU usage (%): 99.8462
Max. virtual memory (cumulated for all children) (KiB): 15872940
Max. memory (cumulated for all children) (KiB): 15700080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1266.67
system time used= 6.88801
maximum resident set size= 15700312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3761175
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= 130100
involuntary context switches= 1601
# summary of solver processes directly reported to runsolver:
# pid: 23136
# total CPU time (s): 1273.56
# total CPU user time (s): 1266.67
# total CPU system time (s): 6.88801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49742 second user time and 8.89837 second system time
The end