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 (15254 MiB free)
memory of node 1: 16384 MiB (15684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389410-1568357772/watcher-4389410-1568357772 -o /tmp/evaluation-result-4389410-1568357772/solver-4389410-1568357772 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568352647-26641 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389410-1568357772.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=27964, runsolver pid=27961
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 1.96 2.02 2.05 3/199 27965
/proc/meminfo: memFree=31680304/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=28992 memory=5080 CPUtime=0.1 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 1481 0 0 0 10 0 0 0 20 0 1 0 412039887 29687808 1270 33554432000 4194304 6210612 140736093272864 140736093269400 139686941785061 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 7248 1270 796 493 0 553 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28992 KiB
Current children cumulated memory: 5080 KiB
[startup+0.209404 s]*
/proc/loadavg: 1.96 2.02 2.05 3/199 27965
/proc/meminfo: memFree=31675096/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=34784 memory=11064 CPUtime=0.21 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 2945 0 0 0 21 0 0 0 20 0 1 0 412039887 35618816 2766 33554432000 4194304 6210612 140736093272864 140736093269400 139686941785061 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 8696 2766 815 493 0 2001 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34784 KiB
Current children cumulated memory: 11064 KiB
[startup+0.309361 s]*
/proc/loadavg: 1.96 2.02 2.05 3/199 27965
/proc/meminfo: memFree=31669144/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=40740 memory=17012 CPUtime=0.31 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 4416 0 0 0 31 0 0 0 20 0 1 0 412039887 41717760 4253 33554432000 4194304 6210612 140736093272864 140736093269400 139686941785061 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 10185 4253 815 493 0 3490 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40740 KiB
Current children cumulated memory: 17012 KiB
[startup+0.700298 s]
/proc/loadavg: 1.96 2.02 2.05 3/199 27965
/proc/meminfo: memFree=31657612/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=63156 memory=39436 CPUtime=0.69 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 10041 0 0 0 68 1 0 0 20 0 1 0 412039887 64671744 9859 33554432000 4194304 6210612 140736093272864 140736093269400 139686941785061 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 15789 9859 815 493 0 9094 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63156 KiB
Current children cumulated memory: 39436 KiB
[startup+1.5003 s]
/proc/loadavg: 1.96 2.02 2.05 3/199 27965
/proc/meminfo: memFree=31627720/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=110580 memory=86724 CPUtime=1.49 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 21880 0 0 0 147 2 0 0 20 0 1 0 412039887 113233920 21681 33554432000 4194304 6210612 140736093272864 140736093267960 139686941785061 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 27645 21681 815 493 0 20950 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 110580 KiB
Current children cumulated memory: 86724 KiB
[startup+3.10931 s]
/proc/loadavg: 1.96 2.02 2.05 3/199 27965
/proc/meminfo: memFree=31565968/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=142392 memory=118888 CPUtime=3.09 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 38072 0 0 0 305 4 0 0 20 0 1 0 412039887 145809408 29722 33554432000 4194304 6210612 140736093272864 140736093267960 139686941785061 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 35598 29722 856 493 0 28903 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 142392 KiB
Current children cumulated memory: 118888 KiB
[startup+6.30027 s]
/proc/loadavg: 1.96 2.02 2.05 3/199 27965
/proc/meminfo: memFree=31563144/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=144768 memory=121264 CPUtime=6.28 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 45961 0 0 0 624 4 0 0 20 0 1 0 412039887 148242432 30316 33554432000 4194304 6210612 140736093272864 140736093270520 5453754 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 36192 30316 859 493 0 29497 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 144768 KiB
Current children cumulated memory: 121264 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 2.02 2.05 3/199 27965
/proc/meminfo: memFree=31562336/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=145692 memory=122312 CPUtime=12.69 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 53016 0 0 0 1264 5 0 0 20 0 1 0 412039887 149188608 30578 33554432000 4194304 6210612 140736093272864 140736093270520 5446462 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 36423 30578 859 493 0 29728 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 145692 KiB
Current children cumulated memory: 122312 KiB
[startup+25.5003 s]
/proc/loadavg: 1.97 2.02 2.05 3/199 27967
/proc/meminfo: memFree=31561092/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=146880 memory=123492 CPUtime=25.49 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 66135 0 0 0 2544 5 0 0 20 0 1 0 412039887 150405120 30873 33554432000 4194304 6210612 140736093272864 140736093270520 5068610 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 36720 30873 859 493 0 30025 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 146880 KiB
Current children cumulated memory: 123492 KiB
[startup+51.1092 s]
/proc/loadavg: 1.98 2.02 2.05 3/199 27968
/proc/meminfo: memFree=31553544/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=154008 memory=130584 CPUtime=51.1 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 86093 0 0 0 5103 7 0 0 20 0 1 0 412039887 157704192 32646 33554432000 4194304 6210612 140736093272864 140736093270520 5478158 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 38502 32646 859 493 0 31807 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 154008 KiB
Current children cumulated memory: 130584 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/199 27971
/proc/meminfo: memFree=31550256/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=157176 memory=133588 CPUtime=102.28 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 96626 0 0 0 10221 7 0 0 20 0 1 0 412039887 160948224 33397 33554432000 4194304 6210612 140736093272864 140736093270520 5480065 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 39294 33397 859 493 0 32599 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 157176 KiB
Current children cumulated memory: 133588 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27978
/proc/meminfo: memFree=31549232/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=157836 memory=134324 CPUtime=162.29 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 101952 0 0 0 16221 8 0 0 20 0 1 0 412039887 161624064 33581 33554432000 4194304 6210612 140736093272864 140736093270520 5451322 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 39459 33581 859 493 0 32764 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 157836 KiB
Current children cumulated memory: 134324 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27982
/proc/meminfo: memFree=31548240/32770624 swapFree=66980384/67108860
[pid=27964] ppid=27961 vsize=158232 memory=134632 CPUtime=222.28 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 102497 0 0 0 22220 8 0 0 20 0 1 0 412039887 162029568 33658 33554432000 4194304 6210612 140736093272864 140736093270824 5456150 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 39558 33658 859 493 0 32863 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 158232 KiB
Current children cumulated memory: 134632 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27994
/proc/meminfo: memFree=31548188/32770624 swapFree=66980396/67108860
[pid=27964] ppid=27961 vsize=158760 memory=135236 CPUtime=282.28 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 103136 0 0 0 28220 8 0 0 20 0 1 0 412039887 162570240 33809 33554432000 4194304 6210612 140736093272864 140736093270520 5440523 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 39690 33809 859 493 0 32995 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 158760 KiB
Current children cumulated memory: 135236 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 28023
/proc/meminfo: memFree=31547612/32770624 swapFree=66980416/67108860
[pid=27964] ppid=27961 vsize=159288 memory=135616 CPUtime=342.27 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 103884 0 0 0 34219 8 0 0 20 0 1 0 412039887 163110912 33904 33554432000 4194304 6210612 140736093272864 140736093270520 5442936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 39822 33904 859 493 0 33127 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 159288 KiB
Current children cumulated memory: 135616 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 28027
/proc/meminfo: memFree=31546444/32770624 swapFree=66980416/67108860
[pid=27964] ppid=27961 vsize=159948 memory=136432 CPUtime=402.27 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 104579 0 0 0 40219 8 0 0 20 0 1 0 412039887 163786752 34108 33554432000 4194304 6210612 140736093272864 140736093270520 5389659 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 39987 34108 859 493 0 33292 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 159948 KiB
Current children cumulated memory: 136432 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 28031
/proc/meminfo: memFree=31547104/32770624 swapFree=66980416/67108860
[pid=27964] ppid=27961 vsize=160212 memory=136712 CPUtime=462.27 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 104962 0 0 0 46219 8 0 0 20 0 1 0 412039887 164057088 34178 33554432000 4194304 6210612 140736093272864 140736093270824 139686942705571 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 40053 34178 859 493 0 33358 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 160212 KiB
Current children cumulated memory: 136712 KiB
################
# More data... #
################
/proc/27964/statm: 42924 37043 859 493 0 36229 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 148172 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28212
/proc/meminfo: memFree=28047264/32770624 swapFree=66980432/67108860
[pid=27964] ppid=27961 vsize=171696 memory=148296 CPUtime=1782.22 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 118143 0 0 0 178213 9 0 0 20 0 1 0 412039887 175816704 37074 33554432000 4194304 6210612 140736093272864 140736093270520 5476700 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42924 37074 859 493 0 36229 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 148296 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28216
/proc/meminfo: memFree=27423188/32770624 swapFree=66980432/67108860
[pid=27964] ppid=27961 vsize=171696 memory=148300 CPUtime=1842.22 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 118561 0 0 0 184213 9 0 0 20 0 1 0 412039887 175816704 37075 33554432000 4194304 6210612 140736093272864 140736093270824 5440922 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42924 37075 859 493 0 36229 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 148300 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28220
/proc/meminfo: memFree=26801964/32770624 swapFree=66980432/67108860
[pid=27964] ppid=27961 vsize=171696 memory=148304 CPUtime=1902.21 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 118829 0 0 0 190212 9 0 0 20 0 1 0 412039887 175816704 37076 33554432000 4194304 6210612 140736093272864 140736093270824 139686951730028 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42924 37076 859 493 0 36229 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 148304 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28227
/proc/meminfo: memFree=26180208/32770624 swapFree=66980432/67108860
[pid=27964] ppid=27961 vsize=171828 memory=148304 CPUtime=1962.21 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 119135 0 0 0 196212 9 0 0 20 0 1 0 412039887 175951872 37076 33554432000 4194304 6210612 140736093272864 140736093270520 5446115 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42957 37076 859 493 0 36262 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148304 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28231
/proc/meminfo: memFree=25558096/32770624 swapFree=66980432/67108860
[pid=27964] ppid=27961 vsize=171828 memory=148392 CPUtime=2022.21 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 119487 0 0 0 202212 9 0 0 20 0 1 0 412039887 175951872 37098 33554432000 4194304 6210612 140736093272864 140736093270824 5446115 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42957 37098 859 493 0 36262 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148392 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28242
/proc/meminfo: memFree=24934292/32770624 swapFree=66980436/67108860
[pid=27964] ppid=27961 vsize=171828 memory=148404 CPUtime=2082.21 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 119765 0 0 0 208212 9 0 0 20 0 1 0 412039887 175951872 37101 33554432000 4194304 6210612 140736093272864 140736093270824 5446066 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42957 37101 859 493 0 36262 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148404 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28248
/proc/meminfo: memFree=24312636/32770624 swapFree=66980436/67108860
[pid=27964] ppid=27961 vsize=171828 memory=148408 CPUtime=2142.2 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 120041 0 0 0 214211 9 0 0 20 0 1 0 412039887 175951872 37102 33554432000 4194304 6210612 140736093272864 140736093270824 5442840 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42957 37102 859 493 0 36262 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148408 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28252
/proc/meminfo: memFree=23690036/32770624 swapFree=66980436/67108860
[pid=27964] ppid=27961 vsize=171828 memory=148412 CPUtime=2202.2 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 120415 0 0 0 220211 9 0 0 20 0 1 0 412039887 175951872 37103 33554432000 4194304 6210612 140736093272864 140736093270824 5446050 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42957 37103 859 493 0 36262 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148412 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28256
/proc/meminfo: memFree=23069156/32770624 swapFree=66980436/67108860
[pid=27964] ppid=27961 vsize=171960 memory=148476 CPUtime=2262.2 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 120721 0 0 0 226211 9 0 0 20 0 1 0 412039887 176087040 37119 33554432000 4194304 6210612 140736093272864 140736093270520 139686951730028 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42990 37119 859 493 0 36295 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 171960 KiB
Current children cumulated memory: 148476 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28262
/proc/meminfo: memFree=22444644/32770624 swapFree=66980436/67108860
[pid=27964] ppid=27961 vsize=171960 memory=148484 CPUtime=2322.2 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 121046 0 0 0 232211 9 0 0 20 0 1 0 412039887 176087040 37121 33554432000 4194304 6210612 140736093272864 140736093270520 5440940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42990 37121 859 493 0 36295 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 171960 KiB
Current children cumulated memory: 148484 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28266
/proc/meminfo: memFree=21824440/32770624 swapFree=66980436/67108860
[pid=27964] ppid=27961 vsize=171960 memory=148512 CPUtime=2382.2 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 121387 0 0 0 238211 9 0 0 20 0 1 0 412039887 176087040 37128 33554432000 4194304 6210612 140736093272864 140736093270824 139686951730013 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 42990 37128 859 493 0 36295 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 171960 KiB
Current children cumulated memory: 148512 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28270
/proc/meminfo: memFree=21198476/32770624 swapFree=66980436/67108860
[pid=27964] ppid=27961 vsize=174600 memory=151104 CPUtime=2442.19 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 124570 0 0 0 244210 9 0 0 20 0 1 0 412039887 178790400 37776 33554432000 4194304 6210612 140736093272864 140736093270520 5446080 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 43650 37776 859 493 0 36955 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 174600 KiB
Current children cumulated memory: 151104 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28276
/proc/meminfo: memFree=20577780/32770624 swapFree=66980436/67108860
[pid=27964] ppid=27961 vsize=174864 memory=151468 CPUtime=2502.19 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 126326 0 0 0 250210 9 0 0 20 0 1 0 412039887 179060736 37867 33554432000 4194304 6210612 140736093272864 140736093270520 139686942709348 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 43716 37867 859 493 0 37021 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 174864 KiB
Current children cumulated memory: 151468 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28277
/proc/meminfo: memFree=20390904/32770624 swapFree=66980436/67108860
[pid=27964] ppid=27961 vsize=174864 memory=151476 CPUtime=2519.9 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 25389 0 -1 4202496 127545 0 0 0 251981 9 0 0 20 0 1 0 412039887 179060736 37869 33554432000 4194304 6210612 140736093272864 140736093270520 5440930 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 18075648 140736093275147 140736093275249 140736093275249 140736093278158 0
/proc/27964/statm: 43716 37869 859 493 0 37021 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 174864 KiB
Current children cumulated memory: 151476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27964 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.81 s, system=0.099996 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.91
CPU user time (s): 2519.81
CPU system time (s): 0.099996
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 174864
Max. memory (cumulated for all children) (KiB): 151476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.81
system time used= 0.099996
maximum resident set size= 151548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127596
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= 22
involuntary context switches= 1274
# summary of solver processes directly reported to runsolver:
# pid: 27964
# total CPU time (s): 2519.91
# total CPU user time (s): 2519.81
# total CPU system time (s): 0.099996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79476 second user time and 16.2978 second system time
The end