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 (15126 MiB free)
memory of node 1: 16384 MiB (15686 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409150-1569813796/watcher-4409150-1569813796 -o /tmp/evaluation-result-4409150-1569813796/solver-4409150-1569813796 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569813756-12500 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409150-1569813796.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=12525, runsolver pid=12520
Current StackSize limit: 8192 KiB
[startup+0.100295 s]*
/proc/loadavg: 1.00 1.03 1.35 3/200 12530
/proc/meminfo: memFree=31529512/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=38896 memory=15104 CPUtime=0.09 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 3979 0 0 0 9 0 0 0 20 0 1 0 557644353 39829504 3776 33554432000 4194304 6211132 140720473824176 140720473819336 139700025965541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 9724 3776 809 493 0 3029 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 15104 KiB
[startup+0.209818 s]*
/proc/loadavg: 1.00 1.03 1.35 3/200 12530
/proc/meminfo: memFree=31526580/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=40736 memory=17008 CPUtime=0.2 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 4419 0 0 0 20 0 0 0 20 0 1 0 557644353 41713664 4252 33554432000 4194304 6211132 140720473824176 140720473797736 139700025961278 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 10184 4252 819 493 0 3489 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 17008 KiB
[startup+0.30915 s]*
/proc/loadavg: 1.00 1.03 1.35 3/200 12530
/proc/meminfo: memFree=31524348/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=41720 memory=17800 CPUtime=0.3 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 4678 0 0 0 30 0 0 0 20 0 1 0 557644353 42721280 4450 33554432000 4194304 6211132 140720473824176 140720473797736 139700025965541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 10430 4450 819 493 0 3735 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 17800 KiB
[startup+0.700276 s]
/proc/loadavg: 1.00 1.03 1.35 3/200 12530
/proc/meminfo: memFree=31520380/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=45716 memory=21996 CPUtime=0.68 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 5669 0 0 0 68 0 0 0 20 0 1 0 557644353 46813184 5499 33554432000 4194304 6211132 140720473824176 140720473797736 5446936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 11429 5499 819 493 0 4734 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45716 KiB
Current children cumulated memory: 21996 KiB
[startup+1.50028 s]
/proc/loadavg: 1.00 1.03 1.35 3/200 12530
/proc/meminfo: memFree=31509968/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=54084 memory=30320 CPUtime=1.49 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 7743 0 0 0 148 1 0 0 20 0 1 0 557644353 55382016 7580 33554432000 4194304 6211132 140720473824176 140720473797736 5446638 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 13521 7580 819 493 0 6826 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54084 KiB
Current children cumulated memory: 30320 KiB
[startup+3.10953 s]
/proc/loadavg: 1.08 1.05 1.36 3/200 12530
/proc/meminfo: memFree=31468436/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=71032 memory=46808 CPUtime=3.1 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 12092 0 0 0 308 2 0 0 20 0 1 0 557644353 72736768 11702 33554432000 4194304 6211132 140720473824176 140720473797736 139700025965541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 17758 11702 819 493 0 11063 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71032 KiB
Current children cumulated memory: 46808 KiB
[startup+6.30024 s]
/proc/loadavg: 1.08 1.05 1.36 3/200 12530
/proc/meminfo: memFree=31406124/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=104708 memory=80000 CPUtime=6.29 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 20536 0 0 0 626 3 0 0 20 0 1 0 557644353 107220992 20000 33554432000 4194304 6211132 140720473824176 140720473797736 139700025965541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 26177 20000 819 493 0 19482 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104708 KiB
Current children cumulated memory: 80000 KiB
[startup+12.7002 s]
/proc/loadavg: 1.22 1.08 1.36 3/200 12530
/proc/meminfo: memFree=31282924/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=170432 memory=146260 CPUtime=12.68 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 37301 0 0 0 1264 4 0 0 20 0 1 0 557644353 174522368 36565 33554432000 4194304 6211132 140720473824176 140720473797736 5446638 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 42608 36565 819 493 0 35913 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 170432 KiB
Current children cumulated memory: 146260 KiB
[startup+25.5003 s]
/proc/loadavg: 1.34 1.11 1.37 3/201 12532
/proc/meminfo: memFree=31011304/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=304400 memory=279992 CPUtime=25.49 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 70532 0 0 0 2540 9 0 0 20 0 1 0 557644353 311705600 69998 33554432000 4194304 6211132 140720473824176 140720473797736 5443128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 76100 69998 819 493 0 69405 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304400 KiB
Current children cumulated memory: 279992 KiB
[startup+51.1095 s]
/proc/loadavg: 1.56 1.18 1.39 3/200 12532
/proc/meminfo: memFree=30468892/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=575008 memory=546064 CPUtime=51.08 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 136558 0 0 0 5092 16 0 0 20 0 1 0 557644353 588808192 136516 33554432000 4194304 6211132 140720473824176 140720473797736 5013001 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 143752 136516 819 493 0 137057 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 575008 KiB
Current children cumulated memory: 546064 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.32 1.42 3/200 12536
/proc/meminfo: memFree=29409164/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=1119392 memory=1081472 CPUtime=102.25 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 266936 0 0 0 10191 34 0 0 20 0 1 0 557644353 1146257408 270368 33554432000 4194304 6211132 140720473824176 140720473797736 5452255 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 279848 270368 819 493 0 273153 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1119392 KiB
Current children cumulated memory: 1081472 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.44 1.46 3/199 12543
/proc/meminfo: memFree=28161024/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=1750140 memory=1706080 CPUtime=162.23 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 418978 0 0 0 16169 54 0 0 20 0 1 0 557644353 1792143360 426520 33554432000 4194304 6211132 140720473824176 140720473797736 139700025965541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 437535 426520 819 493 0 430840 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 1750140 KiB
Current children cumulated memory: 1706080 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 1.57 1.50 3/199 12547
/proc/meminfo: memFree=26913028/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=2356152 memory=2330884 CPUtime=222.21 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 570586 0 0 0 22147 74 0 0 20 0 1 0 557644353 2412699648 582721 33554432000 4194304 6211132 140720473824176 140720473797736 5452258 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 589038 582721 819 493 0 582343 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 2356152 KiB
Current children cumulated memory: 2330884 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 1.65 1.53 3/199 12551
/proc/meminfo: memFree=25659712/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=2999076 memory=2957124 CPUtime=282.18 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 722574 0 0 0 28123 95 0 0 20 0 1 0 557644353 3071053824 739281 33554432000 4194304 6211132 140720473824176 140720473797736 5013005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 749769 739281 819 493 0 743074 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 2999076 KiB
Current children cumulated memory: 2957124 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 1.71 1.56 3/199 12558
/proc/meminfo: memFree=24409696/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=3660452 memory=3583672 CPUtime=342.16 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 874672 0 0 0 34104 112 0 0 20 0 1 0 557644353 3748302848 895918 33554432000 4194304 6211132 140720473824176 140720473797736 139700025965541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 915113 895918 819 493 0 908418 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 3660452 KiB
Current children cumulated memory: 3583672 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 1.78 1.60 3/199 12562
/proc/meminfo: memFree=23159640/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=4266464 memory=4208068 CPUtime=402.14 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 1026284 0 0 0 40081 133 0 0 20 0 1 0 557644353 4368859136 1052017 33554432000 4194304 6211132 140720473824176 140720473797736 139700026889226 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 1066616 1052017 819 493 0 1059921 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 4266464 KiB
Current children cumulated memory: 4208068 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 1.82 1.62 3/200 12574
/proc/meminfo: memFree=21908868/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=4872212 memory=4834464 CPUtime=462.11 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 1177864 0 0 0 46057 154 0 0 20 0 1 0 557644353 4989145088 1208616 33554432000 4194304 6211132 140720473824176 140720473797736 5456342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 1218053 1208616 819 493 0 1211358 0
Current children cumulated CPU time: 462.11 s
Current children cumulated vsize: 4872212 KiB
Current children cumulated memory: 4834464 KiB
################
# More data... #
################
Current children cumulated vsize: 10530896 KiB
Current children cumulated memory: 10460908 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/200 12630
/proc/meminfo: memFree=9410656/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=11135984 memory=11086512 CPUtime=1061.92 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 2695382 0 0 0 105796 396 0 0 20 0 1 0 557644353 11403247616 2771628 33554432000 4194304 6211132 140720473824176 140720473797736 5012992 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 2783996 2771628 819 493 0 2777301 0
Current children cumulated CPU time: 1061.92 s
Current children cumulated vsize: 11135984 KiB
Current children cumulated memory: 11086512 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.81 3/200 12634
/proc/meminfo: memFree=8162488/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=11741204 memory=11710036 CPUtime=1121.9 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 2846942 0 0 0 111768 422 0 0 20 0 1 0 557644353 12022992896 2927509 33554432000 4194304 6211132 140720473824176 140720473797736 139700026889222 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 2935301 2927509 819 493 0 2928606 0
Current children cumulated CPU time: 1121.9 s
Current children cumulated vsize: 11741204 KiB
Current children cumulated memory: 11710036 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/200 12638
/proc/meminfo: memFree=6912296/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=12533280 memory=12335144 CPUtime=1181.89 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 2998896 0 0 0 117742 447 0 0 20 0 1 0 557644353 12834078720 3083786 33554432000 4194304 6211132 140720473824176 140720473797736 5443093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3133320 3083786 819 493 0 3126625 0
Current children cumulated CPU time: 1181.89 s
Current children cumulated vsize: 12533280 KiB
Current children cumulated memory: 12335144 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/200 12644
/proc/meminfo: memFree=5665328/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=13138368 memory=12958664 CPUtime=1241.87 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 3150429 0 0 0 123713 474 0 0 20 0 1 0 557644353 13453688832 3239666 33554432000 4194304 6211132 140720473824176 140720473797736 139700026889702 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3284592 3239666 819 493 0 3277897 0
Current children cumulated CPU time: 1241.87 s
Current children cumulated vsize: 13138368 KiB
Current children cumulated memory: 12958664 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/200 12648
/proc/meminfo: memFree=4415928/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=13743456 memory=13584228 CPUtime=1301.86 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 3301944 0 0 0 129682 504 0 0 20 0 1 0 557644353 14073298944 3396057 33554432000 4194304 6211132 140720473824176 140720473797736 5454208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3435864 3396057 819 493 0 3429169 0
Current children cumulated CPU time: 1301.86 s
Current children cumulated vsize: 13743456 KiB
Current children cumulated memory: 13584228 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/199 12652
/proc/meminfo: memFree=3169568/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=14348412 memory=14207744 CPUtime=1361.84 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 3453457 0 0 0 135651 533 0 0 20 0 1 0 557644353 14692773888 3551936 33554432000 4194304 6211132 140720473824176 140720473797736 139700026889453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3587103 3551936 819 493 0 3580408 0
Current children cumulated CPU time: 1361.84 s
Current children cumulated vsize: 14348412 KiB
Current children cumulated memory: 14207744 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/199 12658
/proc/meminfo: memFree=1919008/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=14953368 memory=14833044 CPUtime=1421.83 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 3604947 0 0 0 141621 562 0 0 20 0 1 0 557644353 15312248832 3708261 33554432000 4194304 6211132 140720473824176 140720473797736 139700026886051 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3738342 3708261 819 493 0 3731647 0
Current children cumulated CPU time: 1421.83 s
Current children cumulated vsize: 14953368 KiB
Current children cumulated memory: 14833044 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/199 12662
/proc/meminfo: memFree=673968/32770624 swapFree=66999984/67108860
[pid=12525] ppid=12520 vsize=15558192 memory=15458404 CPUtime=1481.82 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 3756468 0 0 0 147588 594 0 0 20 0 1 0 557644353 15931588608 3864601 33554432000 4194304 6211132 140720473824176 140720473797736 139700025965541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3889548 3864601 819 493 0 3882853 0
Current children cumulated CPU time: 1481.82 s
Current children cumulated vsize: 15558192 KiB
Current children cumulated memory: 15458404 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1513.5 s]
/proc/loadavg: 2.00 1.99 1.88 3/199 12666
/proc/meminfo: memFree=192348/32770624 swapFree=66999764/67108860
[pid=12525] ppid=12520 vsize=15872484 memory=15780724 CPUtime=1513.01 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) R 12520 12525 12468 0 -1 4202496 3835703 0 0 0 150690 611 0 0 20 0 1 0 557644353 16253423616 3945181 33554432000 4194304 6211132 140720473824176 140720473797736 5451542 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3968121 3945181 819 493 0 3961426 0
Current children cumulated CPU time: 1513.01 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15780724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1516.23 s]
# the end of solver process 12525 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1506.97 s, system=6.85382 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1513.6 s]
/proc/loadavg: 2.00 1.99 1.88 3/199 12666
/proc/meminfo: memFree=192348/32770624 swapFree=66999764/67108860
[pid=12525] ppid=12520 vsize=15872484 memory=15780724 CPUtime=1513.01 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) S 12520 12525 12468 0 -1 512 3835708 0 0 0 150690 611 0 0 20 0 1 0 557644353 16253423616 3945181 33554432000 4194304 6211132 140720473824176 140720473797736 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3968121 3945181 819 493 0 3961426 0
Current children cumulated CPU time: 1513.01 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15780724 KiB
[startup+1514.4 s]
/proc/loadavg: 2.00 1.99 1.88 2/200 12667
/proc/meminfo: memFree=191904/32770624 swapFree=66999764/67108860
[pid=12525] ppid=12520 vsize=15872484 memory=15780724 CPUtime=1513.01 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) S 12520 12525 12468 0 -1 512 3835708 0 0 0 150690 611 0 0 20 0 1 0 557644353 16253423616 3945181 33554432000 4194304 6211132 140720473824176 140720473797736 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3968121 3945181 819 493 0 3961426 0
Current children cumulated CPU time: 1513.01 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15780724 KiB
[startup+1515.2 s]
/proc/loadavg: 2.00 1.99 1.88 2/200 12667
/proc/meminfo: memFree=168560/32770624 swapFree=66999764/67108860
[pid=12525] ppid=12520 vsize=15872484 memory=15780724 CPUtime=1513.09 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) S 12520 12525 12468 0 -1 512 3835708 0 0 0 150697 612 0 0 20 0 1 0 557644353 16253423616 3945181 33554432000 4194304 6211132 140720473824176 140720473797736 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3968121 3945181 819 493 0 3961426 0
Current children cumulated CPU time: 1513.09 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15780724 KiB
[startup+1515.4 s]
/proc/loadavg: 2.00 1.99 1.88 2/200 12667
/proc/meminfo: memFree=168560/32770624 swapFree=66999764/67108860
[pid=12525] ppid=12520 vsize=15872484 memory=15780724 CPUtime=1513.09 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) S 12520 12525 12468 0 -1 512 3835708 0 0 0 150697 612 0 0 20 0 1 0 557644353 16253423616 3945181 33554432000 4194304 6211132 140720473824176 140720473797736 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3968121 3945181 819 493 0 3961426 0
Current children cumulated CPU time: 1513.09 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15780724 KiB
[startup+1515.5 s]
/proc/loadavg: 2.00 1.99 1.88 2/200 12667
/proc/meminfo: memFree=168560/32770624 swapFree=66999764/67108860
[pid=12525] ppid=12520 vsize=15872484 memory=15780724 CPUtime=1513.09 cores=1,3,5,7
/proc/12525/stat : 12525 (cosoco) S 12520 12525 12468 0 -1 512 3835708 0 0 0 150697 612 0 0 20 0 1 0 557644353 16253423616 3945181 33554432000 4194304 6211132 140720473824176 140720473797736 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 15978496 140720473830411 140720473830513 140720473830513 140720473833422 0
/proc/12525/statm: 3968121 3945181 819 493 0 3961426 0
Current children cumulated CPU time: 1513.09 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15780724 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1516.23
CPU time (s): 1513.83
CPU user time (s): 1506.97
CPU system time (s): 6.85382
CPU usage (%): 99.8415
Max. virtual memory (cumulated for all children) (KiB): 15872484
Max. memory (cumulated for all children) (KiB): 15780724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1506.97
system time used= 6.85382
maximum resident set size= 15780916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3835708
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= 30883
involuntary context switches= 1787
# summary of solver processes directly reported to runsolver:
# pid: 12525
# total CPU time (s): 1513.83
# total CPU user time (s): 1506.97
# total CPU system time (s): 6.85382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.4282 second user time and 10.2793 second system time
The end