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 (15088 MiB free)
memory of node 1: 16384 MiB (14854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397207-1568594308/watcher-4397207-1568594308 -o /tmp/evaluation-result-4397207-1568594308/solver-4397207-1568594308 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568594267-9933 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397207-1568594308.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=9958, runsolver pid=9954
[startup+0.100109 s]*
/proc/loadavg: 1.01 1.08 1.43 3/202 9964
/proc/meminfo: memFree=30638624/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=38892 memory=15232 CPUtime=0.1 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 3979 0 0 0 10 0 0 0 20 0 1 0 435680316 39825408 3808 33554432000 4194304 6211092 140728028747264 140728028743800 140618425187301 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 9723 3808 809 493 0 3028 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38892 KiB
Current children cumulated memory: 15232 KiB
[startup+0.20998 s]*
/proc/loadavg: 1.01 1.08 1.43 3/202 9964
/proc/meminfo: memFree=30635276/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=40600 memory=17004 CPUtime=0.2 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 4413 0 0 0 20 0 0 0 20 0 1 0 435680316 41574400 4251 33554432000 4194304 6211092 140728028747264 140728028743800 140618425187301 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 10150 4251 819 493 0 3455 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17004 KiB
[startup+0.309319 s]*
/proc/loadavg: 1.01 1.08 1.43 3/202 9964
/proc/meminfo: memFree=30633044/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=41716 memory=17796 CPUtime=0.3 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 4667 0 0 0 30 0 0 0 20 0 1 0 435680316 42717184 4449 33554432000 4194304 6211092 140728028747264 140728028743800 140618425187301 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 10429 4449 819 493 0 3734 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 17796 KiB
[startup+0.700227 s]
/proc/loadavg: 1.01 1.08 1.43 3/202 9964
/proc/meminfo: memFree=30628952/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=45712 memory=21736 CPUtime=0.68 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 5649 0 0 0 68 0 0 0 20 0 1 0 435680316 46809088 5434 33554432000 4194304 6211092 140728028747264 140728028720824 5442972 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 11428 5434 819 493 0 4733 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45712 KiB
Current children cumulated memory: 21736 KiB
[startup+1.50023 s]
/proc/loadavg: 1.01 1.08 1.43 3/202 9964
/proc/meminfo: memFree=30619032/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=53948 memory=30056 CPUtime=1.49 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 7706 0 0 0 148 1 0 0 20 0 1 0 435680316 55242752 7514 33554432000 4194304 6211092 140728028747264 140728028720824 140618426111186 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 13487 7514 819 493 0 6792 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53948 KiB
Current children cumulated memory: 30056 KiB
[startup+3.10966 s]
/proc/loadavg: 1.01 1.08 1.43 3/202 9964
/proc/meminfo: memFree=30577872/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=70632 memory=46548 CPUtime=3.1 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 12011 0 0 0 309 1 0 0 20 0 1 0 435680316 72327168 11637 33554432000 4194304 6211092 140728028747264 140728028720824 4982624 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 17658 11637 819 493 0 10963 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70632 KiB
Current children cumulated memory: 46548 KiB
[startup+6.30022 s]
/proc/loadavg: 1.01 1.08 1.43 3/202 9964
/proc/meminfo: memFree=30516336/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=104044 memory=79472 CPUtime=6.29 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 20381 0 0 0 627 2 0 0 20 0 1 0 435680316 106541056 19868 33554432000 4194304 6211092 140728028747264 140728028720824 5013001 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 26011 19868 819 493 0 19316 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104044 KiB
Current children cumulated memory: 79472 KiB
[startup+12.7002 s]
/proc/loadavg: 1.09 1.10 1.43 3/203 9966
/proc/meminfo: memFree=30393080/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=169240 memory=145204 CPUtime=12.68 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 36988 0 0 0 1265 3 0 0 20 0 1 0 435680316 173301760 36301 33554432000 4194304 6211092 140728028747264 140728028720824 5446260 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 42310 36301 819 493 0 35615 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 169240 KiB
Current children cumulated memory: 145204 KiB
[startup+25.5002 s]
/proc/loadavg: 1.29 1.14 1.44 3/202 9967
/proc/meminfo: memFree=30123932/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=302020 memory=277888 CPUtime=25.48 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 70003 0 0 0 2540 8 0 0 20 0 1 0 435680316 309268480 69472 33554432000 4194304 6211092 140728028747264 140728028720824 5451521 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 75505 69472 819 493 0 68810 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 277888 KiB
[startup+51.1098 s]
/proc/loadavg: 1.53 1.21 1.46 3/202 9967
/proc/meminfo: memFree=29586460/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=569196 memory=540428 CPUtime=51.09 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 134772 0 0 0 5094 15 0 0 20 0 1 0 435680316 582856704 135107 33554432000 4194304 6211092 140728028747264 140728028720824 5451484 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 142299 135107 819 493 0 135604 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 569196 KiB
Current children cumulated memory: 540428 KiB
[startup+102.3 s]
/proc/loadavg: 1.80 1.33 1.48 3/202 9973
/proc/meminfo: memFree=28530612/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=1106980 memory=1067024 CPUtime=102.27 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 263379 0 0 0 10196 31 0 0 20 0 1 0 435680316 1133547520 266756 33554432000 4194304 6211092 140728028747264 140728028720824 140618426111442 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 276745 266756 819 493 0 270050 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1106980 KiB
Current children cumulated memory: 1067024 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.45 1.52 3/203 9985
/proc/meminfo: memFree=27286568/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=1732316 memory=1688660 CPUtime=162.25 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 414203 0 0 0 16175 50 0 0 20 0 1 0 435680316 1773891584 422165 33554432000 4194304 6211092 140728028747264 140728028720824 5013062 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 433079 422165 819 493 0 426384 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1732316 KiB
Current children cumulated memory: 1688660 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 1.57 1.55 3/205 9991
/proc/meminfo: memFree=26045508/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=2333312 memory=2307920 CPUtime=222.22 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 564454 0 0 0 22152 70 0 0 20 0 1 0 435680316 2389311488 576980 33554432000 4194304 6211092 140728028747264 140728028720824 5455642 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 583328 576980 819 493 0 576633 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 2333312 KiB
Current children cumulated memory: 2307920 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.65 1.58 3/205 9997
/proc/meminfo: memFree=24798580/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=2971088 memory=2929508 CPUtime=282.2 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 715264 0 0 0 28131 89 0 0 20 0 1 0 435680316 3042394112 732377 33554432000 4194304 6211092 140728028747264 140728028720824 5452234 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 742772 732377 819 493 0 736077 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 2971088 KiB
Current children cumulated memory: 2929508 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.71 1.61 3/205 10001
/proc/meminfo: memFree=23558748/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=3571688 memory=3547528 CPUtime=342.17 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 865786 0 0 0 34107 110 0 0 20 0 1 0 435680316 3657408512 886882 33554432000 4194304 6211092 140728028747264 140728028720824 5479594 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 892922 886882 819 493 0 886227 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 3571688 KiB
Current children cumulated memory: 3547528 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.76 1.63 3/205 10005
/proc/meminfo: memFree=22314652/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=4227784 memory=4169848 CPUtime=402.15 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 1016351 0 0 0 40084 131 0 0 20 0 1 0 435680316 4329250816 1042462 33554432000 4194304 6211092 140728028747264 140728028720824 5452161 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 1056946 1042462 819 493 0 1050251 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 4227784 KiB
Current children cumulated memory: 4169848 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.65 3/204 10011
/proc/meminfo: memFree=21070840/32770624 swapFree=66970244/67108860
[pid=9958] ppid=9954 vsize=4828516 memory=4788964 CPUtime=462.12 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 1166631 0 0 0 46063 149 0 0 20 0 1 0 435680316 4944400384 1197241 33554432000 4194304 6211092 140728028747264 140728028720824 140618426110982 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 1207129 1197241 819 493 0 1200434 0
Current children cumulated CPU time: 462.12 s
Current children cumulated vsize: 4828516 KiB
Current children cumulated memory: 4788964 KiB
################
# More data... #
################
Current children cumulated vsize: 9860992 KiB
Current children cumulated memory: 9768664 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/204 10062
/proc/meminfo: memFree=9864384/32770624 swapFree=66970252/67108860
[pid=9958] ppid=9954 vsize=10464496 memory=10392644 CPUtime=1001.97 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 2526965 0 0 0 99835 362 0 0 20 0 1 0 435680316 10715643904 2598161 33554432000 4194304 6211092 140728028747264 140728028720824 5452215 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 2616124 2598161 819 493 0 2609429 0
Current children cumulated CPU time: 1001.97 s
Current children cumulated vsize: 10464496 KiB
Current children cumulated memory: 10392644 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.82 3/202 10067
/proc/meminfo: memFree=8621496/32770624 swapFree=66970252/67108860
[pid=9958] ppid=9954 vsize=11068132 memory=11014580 CPUtime=1061.94 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 2678110 0 0 0 105805 389 0 0 20 0 1 0 435680316 11333767168 2753645 33554432000 4194304 6211092 140728028747264 140728028720824 140618425187301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 2767033 2753645 819 493 0 2760338 0
Current children cumulated CPU time: 1061.94 s
Current children cumulated vsize: 11068132 KiB
Current children cumulated memory: 11014580 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.83 3/202 10071
/proc/meminfo: memFree=7374492/32770624 swapFree=66970252/67108860
[pid=9958] ppid=9954 vsize=11671372 memory=11638496 CPUtime=1121.93 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 2829143 0 0 0 111774 419 0 0 20 0 1 0 435680316 11951484928 2909624 33554432000 4194304 6211092 140728028747264 140728028720824 140618425187301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 2917843 2909624 819 493 0 2911148 0
Current children cumulated CPU time: 1121.93 s
Current children cumulated vsize: 11671372 KiB
Current children cumulated memory: 11638496 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/202 10077
/proc/meminfo: memFree=6129484/32770624 swapFree=66970252/67108860
[pid=9958] ppid=9954 vsize=12461468 memory=12261500 CPUtime=1181.91 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 2980596 0 0 0 117744 447 0 0 20 0 1 0 435680316 12760543232 3065375 33554432000 4194304 6211092 140728028747264 140728028720824 140618425187301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3115367 3065375 819 493 0 3108672 0
Current children cumulated CPU time: 1181.91 s
Current children cumulated vsize: 12461468 KiB
Current children cumulated memory: 12261500 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/203 10083
/proc/meminfo: memFree=4886064/32770624 swapFree=66970252/67108860
[pid=9958] ppid=9954 vsize=13064708 memory=12883172 CPUtime=1241.89 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 3131652 0 0 0 123712 477 0 0 20 0 1 0 435680316 13378260992 3220793 33554432000 4194304 6211092 140728028747264 140728028720824 140618425187301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3266177 3220793 819 493 0 3259482 0
Current children cumulated CPU time: 1241.89 s
Current children cumulated vsize: 13064708 KiB
Current children cumulated memory: 12883172 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/203 10087
/proc/meminfo: memFree=3641360/32770624 swapFree=66970252/67108860
[pid=9958] ppid=9954 vsize=13667816 memory=13506888 CPUtime=1301.88 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 3282702 0 0 0 129682 506 0 0 20 0 1 0 435680316 13995843584 3376722 33554432000 4194304 6211092 140728028747264 140728028720824 140618425187301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3416954 3376722 819 493 0 3410259 0
Current children cumulated CPU time: 1301.88 s
Current children cumulated vsize: 13667816 KiB
Current children cumulated memory: 13506888 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/204 10101
/proc/meminfo: memFree=2397452/32770624 swapFree=66970252/67108860
[pid=9958] ppid=9954 vsize=14270924 memory=14128296 CPUtime=1361.85 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 3433744 0 0 0 135649 536 0 0 20 0 1 0 435680316 14613426176 3532074 33554432000 4194304 6211092 140728028747264 140728028720824 140618425187301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3567731 3532074 819 493 0 3561036 0
Current children cumulated CPU time: 1361.85 s
Current children cumulated vsize: 14270924 KiB
Current children cumulated memory: 14128296 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/205 10127
/proc/meminfo: memFree=1152896/32770624 swapFree=66970264/67108860
[pid=9958] ppid=9954 vsize=14873900 memory=14751736 CPUtime=1421.84 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 3584754 0 0 0 141619 565 0 0 20 0 1 0 435680316 15230873600 3687934 33554432000 4194304 6211092 140728028747264 140728028720824 140618425187301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3718475 3687934 819 493 0 3711780 0
Current children cumulated CPU time: 1421.84 s
Current children cumulated vsize: 14873900 KiB
Current children cumulated memory: 14751736 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/205 10131
/proc/meminfo: memFree=194168/32770624 swapFree=66970264/67108860
[pid=9958] ppid=9954 vsize=15476744 memory=15372948 CPUtime=1481.82 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 3735775 0 0 0 147588 594 0 0 20 0 1 0 435680316 15848185856 3843237 33554432000 4194304 6211092 140728028747264 140728028720824 140618425187301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3869186 3843237 819 493 0 3862491 0
Current children cumulated CPU time: 1481.82 s
Current children cumulated vsize: 15476744 KiB
Current children cumulated memory: 15372948 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1521.7 s]
/proc/loadavg: 2.00 1.99 1.88 3/205 10135
/proc/meminfo: memFree=212852/32770624 swapFree=66970308/67108860
[pid=9958] ppid=9954 vsize=15872480 memory=15781128 CPUtime=1521.21 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) R 9954 9958 9902 0 -1 4202496 3834862 0 0 0 151507 614 0 0 20 0 1 0 435680316 16253419520 3945282 33554432000 4194304 6211092 140728028747264 140728028720824 140618425187301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3968120 3945282 819 493 0 3961425 0
Current children cumulated CPU time: 1521.21 s
Current children cumulated vsize: 15872480 KiB
Current children cumulated memory: 15781128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1525.46 s]
# the end of solver process 9958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1515.16 s, system=6.92541 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1522.4 s]
/proc/loadavg: 2.00 1.99 1.88 2/206 10136
/proc/meminfo: memFree=191408/32770624 swapFree=66970308/67108860
[pid=9958] ppid=9954 vsize=15872480 memory=15781128 CPUtime=1521.21 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) S 9954 9958 9902 0 -1 512 3834867 0 0 0 151507 614 0 0 20 0 1 0 435680316 16253419520 3945282 33554432000 4194304 6211092 140728028747264 140728028720824 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3968120 3945282 819 493 0 3961425 0
Current children cumulated CPU time: 1521.21 s
Current children cumulated vsize: 15872480 KiB
Current children cumulated memory: 15781128 KiB
[startup+1523.2 s]
/proc/loadavg: 2.00 1.99 1.88 4/206 10136
/proc/meminfo: memFree=177556/32770624 swapFree=66970308/67108860
[pid=9958] ppid=9954 vsize=15872480 memory=15781128 CPUtime=1521.29 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) S 9954 9958 9902 0 -1 512 3834867 0 0 0 151512 617 0 0 20 0 1 0 435680316 16253419520 3945282 33554432000 4194304 6211092 140728028747264 140728028720824 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3968120 3945282 819 493 0 3961425 0
Current children cumulated CPU time: 1521.29 s
Current children cumulated vsize: 15872480 KiB
Current children cumulated memory: 15781128 KiB
[startup+1524.6 s]
/proc/loadavg: 2.00 1.99 1.88 4/206 10136
/proc/meminfo: memFree=177556/32770624 swapFree=66970308/67108860
[pid=9958] ppid=9954 vsize=15872480 memory=15781128 CPUtime=1521.31 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) S 9954 9958 9902 0 -1 512 3834867 0 0 0 151514 617 0 0 20 0 1 0 435680316 16253419520 3945282 33554432000 4194304 6211092 140728028747264 140728028720824 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3968120 3945282 819 493 0 3961425 0
Current children cumulated CPU time: 1521.31 s
Current children cumulated vsize: 15872480 KiB
Current children cumulated memory: 15781128 KiB
[startup+1524.7 s]
/proc/loadavg: 2.00 1.99 1.88 4/206 10136
/proc/meminfo: memFree=177556/32770624 swapFree=66970308/67108860
[pid=9958] ppid=9954 vsize=15872480 memory=15781128 CPUtime=1521.32 cores=0,2,4,6
/proc/9958/stat : 9958 (cosoco) S 9954 9958 9902 0 -1 512 3834867 0 0 0 151515 617 0 0 20 0 1 0 435680316 16253419520 3945282 33554432000 4194304 6211092 140728028747264 140728028720824 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 24498176 140728028754955 140728028755057 140728028755057 140728028757966 0
/proc/9958/statm: 3968120 3945282 819 493 0 3961425 0
Current children cumulated CPU time: 1521.32 s
Current children cumulated vsize: 15872480 KiB
Current children cumulated memory: 15781128 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1525.46
CPU time (s): 1522.08
CPU user time (s): 1515.16
CPU system time (s): 6.92541
CPU usage (%): 99.7787
Max. virtual memory (cumulated for all children) (KiB): 15872480
Max. memory (cumulated for all children) (KiB): 15781128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1515.16
system time used= 6.92541
maximum resident set size= 15781208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3834867
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= 42147
involuntary context switches= 1918
# summary of solver processes directly reported to runsolver:
# pid: 9958
# total CPU time (s): 1522.08
# total CPU user time (s): 1515.16
# total CPU system time (s): 6.92541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94928 second user time and 10.5054 second system time
The end