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 (15327 MiB free)
memory of node 1: 16384 MiB (15433 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389468-1568357754/watcher-4389468-1568357754 -o /tmp/evaluation-result-4389468-1568357754/solver-4389468-1568357754 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568357660-23541 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389468-1568357754.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
Current StackSize limit: 8192 KiB
solver pid=23896, runsolver pid=23893
[startup+0.10017 s]*
/proc/loadavg: 1.51 1.32 1.65 3/199 23897
/proc/meminfo: memFree=31497692/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=28840 memory=4928 CPUtime=0.1 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 1448 0 0 0 10 0 0 0 20 0 1 0 411713282 29532160 1232 33554432000 4194304 6210612 140726514378800 140726514375336 139840864754661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 7210 1232 796 493 0 515 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28840 KiB
Current children cumulated memory: 4928 KiB
[startup+0.209587 s]*
/proc/loadavg: 1.51 1.32 1.65 3/199 23897
/proc/meminfo: memFree=31493228/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=34232 memory=10512 CPUtime=0.21 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 2808 0 0 0 21 0 0 0 20 0 1 0 411713282 35053568 2628 33554432000 4194304 6210612 140726514378800 140726514375336 139840864754661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 8558 2628 815 493 0 1863 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34232 KiB
Current children cumulated memory: 10512 KiB
[startup+0.309479 s]*
/proc/loadavg: 1.51 1.32 1.65 3/199 23897
/proc/meminfo: memFree=31488020/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=39656 memory=15788 CPUtime=0.31 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 4167 0 0 0 30 1 0 0 20 0 1 0 411713282 40607744 3947 33554432000 4194304 6210612 140726514378800 140726514375336 139840864754661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 9914 3947 815 493 0 3219 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39656 KiB
Current children cumulated memory: 15788 KiB
[startup+0.70036 s]
/proc/loadavg: 1.55 1.33 1.65 3/199 23897
/proc/meminfo: memFree=31477232/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=60348 memory=36492 CPUtime=0.69 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 9344 0 0 0 67 2 0 0 20 0 1 0 411713282 61796352 9123 33554432000 4194304 6210612 140726514378800 140726514375336 139840864754661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 15087 9123 815 493 0 8392 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60348 KiB
Current children cumulated memory: 36492 KiB
[startup+1.50036 s]
/proc/loadavg: 1.55 1.33 1.65 3/199 23897
/proc/meminfo: memFree=31449900/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=103764 memory=80040 CPUtime=1.49 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 20186 0 0 0 145 4 0 0 20 0 1 0 411713282 106254336 20010 33554432000 4194304 6210612 140726514378800 140726514372104 139840864754661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 25941 20010 815 493 0 19246 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 103764 KiB
Current children cumulated memory: 80040 KiB
[startup+3.10925 s]
/proc/loadavg: 1.55 1.33 1.65 3/199 23897
/proc/meminfo: memFree=31396664/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=129332 memory=105804 CPUtime=3.1 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 29221 0 0 0 305 5 0 0 20 0 1 0 411713282 132435968 26451 33554432000 4194304 6210612 140726514378800 140726514372104 139840874699584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 32333 26451 856 493 0 25638 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 129332 KiB
Current children cumulated memory: 105804 KiB
[startup+6.30036 s]
/proc/loadavg: 1.58 1.34 1.65 3/199 23897
/proc/meminfo: memFree=31386992/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=138836 memory=115284 CPUtime=6.29 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 46323 0 0 0 622 7 0 0 20 0 1 0 411713282 142168064 28821 33554432000 4194304 6210612 140726514378800 140726514376456 5442807 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 34709 28821 859 493 0 28014 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 138836 KiB
Current children cumulated memory: 115284 KiB
[startup+12.7003 s]
/proc/loadavg: 1.62 1.35 1.65 3/199 23898
/proc/meminfo: memFree=31382936/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=141608 memory=118124 CPUtime=12.7 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 55768 0 0 0 1262 8 0 0 20 0 1 0 411713282 145006592 29531 33554432000 4194304 6210612 140726514378800 140726514376456 5164344 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 35402 29531 859 493 0 28707 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 141608 KiB
Current children cumulated memory: 118124 KiB
[startup+25.5003 s]
/proc/loadavg: 1.68 1.37 1.66 3/200 23900
/proc/meminfo: memFree=31380696/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=142928 memory=119464 CPUtime=25.49 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 69974 0 0 0 2541 8 0 0 20 0 1 0 411713282 146358272 29866 33554432000 4194304 6210612 140726514378800 140726514376456 5452071 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 35732 29866 859 493 0 29037 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 142928 KiB
Current children cumulated memory: 119464 KiB
[startup+51.1095 s]
/proc/loadavg: 1.80 1.43 1.67 3/199 23900
/proc/meminfo: memFree=31363416/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=151112 memory=127652 CPUtime=51.11 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 98992 0 0 0 5101 10 0 0 20 0 1 0 411713282 154738688 31913 33554432000 4194304 6210612 140726514378800 140726514376456 5478158 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 37778 31913 859 493 0 31083 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 151112 KiB
Current children cumulated memory: 127652 KiB
[startup+102.3 s]
/proc/loadavg: 1.91 1.52 1.69 3/199 23904
/proc/meminfo: memFree=31352488/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=156788 memory=133212 CPUtime=102.3 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 109695 0 0 0 10220 10 0 0 20 0 1 0 411713282 160550912 33303 33554432000 4194304 6210612 140726514378800 140726514376456 5451426 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39197 33303 859 493 0 32502 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 156788 KiB
Current children cumulated memory: 133212 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.61 1.71 3/199 23910
/proc/meminfo: memFree=31349808/32770624 swapFree=66918080/67108860
[pid=23896] ppid=23893 vsize=157448 memory=133944 CPUtime=162.3 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 116041 0 0 0 16220 10 0 0 20 0 1 0 411713282 161226752 33486 33554432000 4194304 6210612 140726514378800 140726514376760 5453766 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39362 33486 859 493 0 32667 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 157448 KiB
Current children cumulated memory: 133944 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.68 1.72 3/199 23915
/proc/meminfo: memFree=31348560/32770624 swapFree=66918084/67108860
[pid=23896] ppid=23893 vsize=157976 memory=134452 CPUtime=222.31 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 116552 0 0 0 22221 10 0 0 20 0 1 0 411713282 161767424 33613 33554432000 4194304 6210612 140726514378800 140726514376456 139840865680825 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39494 33613 859 493 0 32799 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 157976 KiB
Current children cumulated memory: 134452 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.74 1.74 3/199 23919
/proc/meminfo: memFree=31347444/32770624 swapFree=66918084/67108860
[pid=23896] ppid=23893 vsize=158504 memory=134936 CPUtime=282.32 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 116675 0 0 0 28222 10 0 0 20 0 1 0 411713282 162308096 33734 33554432000 4194304 6210612 140726514378800 140726514376456 139840874699663 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39626 33734 859 493 0 32931 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 158504 KiB
Current children cumulated memory: 134936 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.79 1.76 3/201 23934
/proc/meminfo: memFree=31346564/32770624 swapFree=66918096/67108860
[pid=23896] ppid=23893 vsize=158636 memory=135132 CPUtime=342.32 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 117292 0 0 0 34222 10 0 0 20 0 1 0 411713282 162443264 33783 33554432000 4194304 6210612 140726514378800 140726514376456 5442912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39659 33783 859 493 0 32964 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 158636 KiB
Current children cumulated memory: 135132 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.82 1.77 3/202 23961
/proc/meminfo: memFree=31346964/32770624 swapFree=66918104/67108860
[pid=23896] ppid=23893 vsize=158768 memory=135236 CPUtime=402.33 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 117353 0 0 0 40223 10 0 0 20 0 1 0 411713282 162578432 33809 33554432000 4194304 6210612 140726514378800 140726514376760 5480039 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39692 33809 859 493 0 32997 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 158768 KiB
Current children cumulated memory: 135236 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.86 1.79 3/202 23965
/proc/meminfo: memFree=31345560/32770624 swapFree=66918104/67108860
[pid=23896] ppid=23893 vsize=158900 memory=135388 CPUtime=462.34 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 117834 0 0 0 46224 10 0 0 20 0 1 0 411713282 162713600 33847 33554432000 4194304 6210612 140726514378800 140726514376456 5446767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39725 33847 859 493 0 33030 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 158900 KiB
Current children cumulated memory: 135388 KiB
################
# More data... #
################
/proc/23896/statm: 39890 34032 859 493 0 33195 0
Current children cumulated CPU time: 1782.53 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 136128 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 1.97 3/199 24090
/proc/meminfo: memFree=31342876/32770624 swapFree=66918132/67108860
[pid=23896] ppid=23893 vsize=159560 memory=136128 CPUtime=1842.54 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 120937 0 0 0 184243 11 0 0 20 0 1 0 411713282 163389440 34032 33554432000 4194304 6210612 140726514378800 140726514376760 5446066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39890 34032 859 493 0 33195 0
Current children cumulated CPU time: 1842.54 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 136128 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/200 24095
/proc/meminfo: memFree=31338592/32770624 swapFree=66918132/67108860
[pid=23896] ppid=23893 vsize=159560 memory=136128 CPUtime=1902.55 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 121153 0 0 0 190244 11 0 0 20 0 1 0 411713282 163389440 34032 33554432000 4194304 6210612 140726514378800 140726514376760 5068903 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39890 34032 859 493 0 33195 0
Current children cumulated CPU time: 1902.55 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 136128 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/200 24101
/proc/meminfo: memFree=31338160/32770624 swapFree=66918132/67108860
[pid=23896] ppid=23893 vsize=159560 memory=136128 CPUtime=1962.55 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 121203 0 0 0 196244 11 0 0 20 0 1 0 411713282 163389440 34032 33554432000 4194304 6210612 140726514378800 140726514376760 5451292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39890 34032 859 493 0 33195 0
Current children cumulated CPU time: 1962.55 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 136128 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/200 24106
/proc/meminfo: memFree=31338640/32770624 swapFree=66918132/67108860
[pid=23896] ppid=23893 vsize=159560 memory=136156 CPUtime=2022.56 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 121428 0 0 0 202245 11 0 0 20 0 1 0 411713282 163389440 34039 33554432000 4194304 6210612 140726514378800 140726514376760 5446446 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39890 34039 859 493 0 33195 0
Current children cumulated CPU time: 2022.56 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 136156 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 24110
/proc/meminfo: memFree=31337740/32770624 swapFree=66918132/67108860
[pid=23896] ppid=23893 vsize=159560 memory=136156 CPUtime=2082.57 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 121482 0 0 0 208246 11 0 0 20 0 1 0 411713282 163389440 34039 33554432000 4194304 6210612 140726514378800 140726514376760 5446470 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39890 34039 859 493 0 33195 0
Current children cumulated CPU time: 2082.57 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 136156 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/201 24124
/proc/meminfo: memFree=31335656/32770624 swapFree=66918148/67108860
[pid=23896] ppid=23893 vsize=159560 memory=136160 CPUtime=2142.58 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 121754 0 0 0 214247 11 0 0 20 0 1 0 411713282 163389440 34040 33554432000 4194304 6210612 140726514378800 140726514376760 5440914 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39890 34040 859 493 0 33195 0
Current children cumulated CPU time: 2142.58 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 136160 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 24128
/proc/meminfo: memFree=31335436/32770624 swapFree=66918148/67108860
[pid=23896] ppid=23893 vsize=159560 memory=136160 CPUtime=2202.59 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 121766 0 0 0 220248 11 0 0 20 0 1 0 411713282 163389440 34040 33554432000 4194304 6210612 140726514378800 140726514376760 5442814 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39890 34040 859 493 0 33195 0
Current children cumulated CPU time: 2202.59 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 136160 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24132
/proc/meminfo: memFree=31335900/32770624 swapFree=66918148/67108860
[pid=23896] ppid=23893 vsize=159692 memory=136204 CPUtime=2262.59 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 122091 0 0 0 226248 11 0 0 20 0 1 0 411713282 163524608 34051 33554432000 4194304 6210612 140726514378800 140726514376760 139840865675188 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39923 34051 859 493 0 33228 0
Current children cumulated CPU time: 2262.59 s
Current children cumulated vsize: 159692 KiB
Current children cumulated memory: 136204 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 24139
/proc/meminfo: memFree=31333476/32770624 swapFree=66918148/67108860
[pid=23896] ppid=23893 vsize=159692 memory=136204 CPUtime=2322.6 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 122099 0 0 0 232249 11 0 0 20 0 1 0 411713282 163524608 34051 33554432000 4194304 6210612 140726514378800 140726514376760 5442932 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39923 34051 859 493 0 33228 0
Current children cumulated CPU time: 2322.6 s
Current children cumulated vsize: 159692 KiB
Current children cumulated memory: 136204 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 24143
/proc/meminfo: memFree=31333916/32770624 swapFree=66918148/67108860
[pid=23896] ppid=23893 vsize=159692 memory=136216 CPUtime=2382.61 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 122362 0 0 0 238250 11 0 0 20 0 1 0 411713282 163524608 34054 33554432000 4194304 6210612 140726514378800 140726514376760 5442840 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39923 34054 859 493 0 33228 0
Current children cumulated CPU time: 2382.61 s
Current children cumulated vsize: 159692 KiB
Current children cumulated memory: 136216 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24147
/proc/meminfo: memFree=31332972/32770624 swapFree=66918148/67108860
[pid=23896] ppid=23893 vsize=159692 memory=136216 CPUtime=2442.62 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 122380 0 0 0 244251 11 0 0 20 0 1 0 411713282 163524608 34054 33554432000 4194304 6210612 140726514378800 140726514376760 5446050 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39923 34054 859 493 0 33228 0
Current children cumulated CPU time: 2442.62 s
Current children cumulated vsize: 159692 KiB
Current children cumulated memory: 136216 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24153
/proc/meminfo: memFree=31329272/32770624 swapFree=66918148/67108860
[pid=23896] ppid=23893 vsize=159692 memory=136220 CPUtime=2502.63 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 122583 0 0 0 250252 11 0 0 20 0 1 0 411713282 163524608 34055 33554432000 4194304 6210612 140726514378800 140726514376760 5478208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39923 34055 859 493 0 33228 0
Current children cumulated CPU time: 2502.63 s
Current children cumulated vsize: 159692 KiB
Current children cumulated memory: 136220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.7 s]
/proc/loadavg: 2.08 2.03 1.98 3/199 24214
/proc/meminfo: memFree=31252032/32770624 swapFree=66918148/67108860
[pid=23896] ppid=23893 vsize=159692 memory=136220 CPUtime=2520.03 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 122583 0 0 0 251992 11 0 0 20 0 1 0 411713282 163524608 34055 33554432000 4194304 6210612 140726514378800 140726514376760 5451322 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39923 34055 859 493 0 33228 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 159692 KiB
Current children cumulated memory: 136220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.7 s]
# the end of solver process 23896 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.92 s, system=0.117016 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.7 s]
/proc/loadavg: 2.08 2.03 1.98 3/199 24214
/proc/meminfo: memFree=31252032/32770624 swapFree=66918148/67108860
[pid=23896] ppid=23893 vsize=159692 memory=136220 CPUtime=2520.03 cores=0,2,4,6
/proc/23896/stat : 23896 (cosoco) R 23893 23896 21964 0 -1 4202496 122583 0 0 0 251992 11 0 0 20 0 1 0 411713282 163524608 34055 33554432000 4194304 6210612 140726514378800 140726514376760 5451322 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12054528 140726514381835 140726514381937 140726514381937 140726514384846 0
/proc/23896/statm: 39923 34055 859 493 0 33228 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 159692 KiB
Current children cumulated memory: 136220 KiB
Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.04
CPU user time (s): 2519.92
CPU system time (s): 0.117016
CPU usage (%): 100.014
Max. virtual memory (cumulated for all children) (KiB): 159692
Max. memory (cumulated for all children) (KiB): 136220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.117016
maximum resident set size= 136292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122631
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= 19
involuntary context switches= 817
# summary of solver processes directly reported to runsolver:
# pid: 23896
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.92
# total CPU system time (s): 0.117016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34115 second user time and 16.9696 second system time
The end