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 (15029 MiB free)
memory of node 1: 16384 MiB (14446 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397885-1568589769/watcher-4397885-1568589769 -o /tmp/evaluation-result-4397885-1568589769/solver-4397885-1568589769 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568572742-29188 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397885-1568589769.xml
running on 4 cores: 0,2,4,6
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=32485, runsolver pid=32482
Current StackSize limit: 8192 KiB
[startup+0.100206 s]*
/proc/loadavg: 2.01 2.03 2.05 3/200 32486
/proc/meminfo: memFree=30171332/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=39020 memory=15220 CPUtime=0.1 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 3990 0 0 0 10 0 0 0 20 0 1 0 434914779 39956480 3805 33554432000 4194304 6211092 140723043929888 140723043926424 140188864453605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 9755 3805 809 493 0 3060 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39020 KiB
Current children cumulated memory: 15220 KiB
[startup+0.21003 s]*
/proc/loadavg: 2.01 2.03 2.05 3/200 32486
/proc/meminfo: memFree=30169844/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=40728 memory=16868 CPUtime=0.21 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 4422 0 0 0 21 0 0 0 20 0 1 0 434914779 41705472 4217 33554432000 4194304 6211092 140723043929888 140723043926424 140188864453605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 10182 4217 819 493 0 3487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16868 KiB
[startup+0.309316 s]*
/proc/loadavg: 2.01 2.03 2.05 3/200 32486
/proc/meminfo: memFree=30168728/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=41712 memory=17924 CPUtime=0.31 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 4681 0 0 0 31 0 0 0 20 0 1 0 434914779 42713088 4481 33554432000 4194304 6211092 140723043929888 140723043903448 140188864453605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 10428 4481 819 493 0 3733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17924 KiB
[startup+0.700353 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 32486
/proc/meminfo: memFree=30166232/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=45708 memory=21988 CPUtime=0.69 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 5672 0 0 0 69 0 0 0 20 0 1 0 434914779 46804992 5497 33554432000 4194304 6211092 140723043929888 140723043903448 5446648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 11427 5497 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21988 KiB
[startup+1.50035 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 32488
/proc/meminfo: memFree=30161928/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=54076 memory=30312 CPUtime=1.49 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 7747 0 0 0 149 0 0 0 20 0 1 0 434914779 55373824 7578 33554432000 4194304 6211092 140723043929888 140723043903448 140188865374115 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 13519 7578 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30312 KiB
[startup+3.10973 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 32488
/proc/meminfo: memFree=30141080/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=71024 memory=46920 CPUtime=3.1 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 12092 0 0 0 309 1 0 0 20 0 1 0 434914779 72728576 11730 33554432000 4194304 6211092 140723043929888 140723043903448 140188864453605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 17756 11730 819 493 0 11061 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71024 KiB
Current children cumulated memory: 46920 KiB
[startup+6.30034 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 32488
/proc/meminfo: memFree=30109804/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=104700 memory=80108 CPUtime=6.29 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 20540 0 0 0 626 3 0 0 20 0 1 0 434914779 107212800 20027 33554432000 4194304 6211092 140723043929888 140723043903448 5443103 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 26175 20027 819 493 0 19480 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104700 KiB
Current children cumulated memory: 80108 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 32488
/proc/meminfo: memFree=30047316/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=170424 memory=146512 CPUtime=12.69 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 37313 0 0 0 1264 5 0 0 20 0 1 0 434914779 174514176 36628 33554432000 4194304 6211092 140723043929888 140723043903448 5013001 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 42606 36628 819 493 0 35911 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170424 KiB
Current children cumulated memory: 146512 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 32488
/proc/meminfo: memFree=29912652/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=304524 memory=279300 CPUtime=25.49 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 70862 0 0 0 2540 9 0 0 20 0 1 0 434914779 311832576 69825 33554432000 4194304 6211092 140723043929888 140723043903448 140188864453083 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 76131 69825 819 493 0 69436 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 279300 KiB
[startup+51.1097 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 32491
/proc/meminfo: memFree=29640288/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=574208 memory=546392 CPUtime=51.11 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 136287 0 0 0 5093 18 0 0 20 0 1 0 434914779 587988992 136598 33554432000 4194304 6211092 140723043929888 140723043903448 140188864453605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 143552 136598 819 493 0 136857 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 574208 KiB
Current children cumulated memory: 546392 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 32495
/proc/meminfo: memFree=29110936/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=1116348 memory=1076496 CPUtime=102.31 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 265741 0 0 0 10196 35 0 0 20 0 1 0 434914779 1143140352 269124 33554432000 4194304 6211092 140723043929888 140723043903448 5013078 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 279087 269124 819 493 0 272392 0
Current children cumulated CPU time: 102.31 s
Current children cumulated vsize: 1116348 KiB
Current children cumulated memory: 1076496 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 32499
/proc/meminfo: memFree=28487012/32770624 swapFree=66921336/67108860
[pid=32485] ppid=32482 vsize=1744324 memory=1699520 CPUtime=162.31 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 417398 0 0 0 16177 54 0 0 20 0 1 0 434914779 1786187776 424880 33554432000 4194304 6211092 140723043929888 140723043903448 5452146 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 436081 424880 819 493 0 429386 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 1744324 KiB
Current children cumulated memory: 1699520 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 32504
/proc/meminfo: memFree=27860784/32770624 swapFree=66921340/67108860
[pid=32485] ppid=32482 vsize=2347696 memory=2323200 CPUtime=222.31 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 568247 0 0 0 22158 73 0 0 20 0 1 0 434914779 2404040704 580800 33554432000 4194304 6211092 140723043929888 140723043903448 5479673 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 586924 580800 819 493 0 580229 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2347696 KiB
Current children cumulated memory: 2323200 KiB
[startup+282.3 s]
/proc/loadavg: 2.12 2.07 2.06 3/199 32510
/proc/meminfo: memFree=27237848/32770624 swapFree=66921340/67108860
[pid=32485] ppid=32482 vsize=2987848 memory=2945324 CPUtime=282.32 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 719642 0 0 0 28140 92 0 0 20 0 1 0 434914779 3059556352 736331 33554432000 4194304 6211092 140723043929888 140723043903448 5479626 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 746995 736331 819 493 0 740300 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2987848 KiB
Current children cumulated memory: 2945324 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/199 32514
/proc/meminfo: memFree=26614556/32770624 swapFree=66921340/67108860
[pid=32485] ppid=32482 vsize=3646716 memory=3567860 CPUtime=342.32 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 870855 0 0 0 34120 112 0 0 20 0 1 0 434914779 3734237184 891965 33554432000 4194304 6211092 140723043929888 140723043903448 5455650 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 911679 891965 819 493 0 904984 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 3646716 KiB
Current children cumulated memory: 3567860 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 32519
/proc/meminfo: memFree=25986736/32770624 swapFree=66921340/67108860
[pid=32485] ppid=32482 vsize=4252200 memory=4193136 CPUtime=402.32 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 1022739 0 0 0 40100 132 0 0 20 0 1 0 434914779 4354252800 1048284 33554432000 4194304 6211092 140723043929888 140723043903448 5455634 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 1063050 1048284 819 493 0 1056355 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 4252200 KiB
Current children cumulated memory: 4193136 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 32525
/proc/meminfo: memFree=25358896/32770624 swapFree=66921340/67108860
[pid=32485] ppid=32482 vsize=4858212 memory=4819648 CPUtime=462.31 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 1174393 0 0 0 46076 155 0 0 20 0 1 0 434914779 4974809088 1204912 33554432000 4194304 6211092 140723043929888 140723043903448 140188865377746 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 1214553 1204912 819 493 0 1207858 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 4858212 KiB
Current children cumulated memory: 4819648 KiB
################
# More data... #
################
Current children cumulated vsize: 9912600 KiB
Current children cumulated memory: 9823276 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/199 32639
/proc/meminfo: memFree=20563568/32770624 swapFree=66921344/67108860
[pid=32485] ppid=32482 vsize=10517952 memory=10447280 CPUtime=1002.26 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 2540052 0 0 0 99859 367 0 0 20 0 1 0 434914779 10770382848 2611820 33554432000 4194304 6211092 140723043929888 140723043903448 140188865379771 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 2629488 2611820 819 493 0 2622793 0
Current children cumulated CPU time: 1002.26 s
Current children cumulated vsize: 10517952 KiB
Current children cumulated memory: 10447280 KiB
[startup+1062.3 s]
/proc/loadavg: 1.94 2.04 2.06 3/199 32643
/proc/meminfo: memFree=19316724/32770624 swapFree=66921344/67108860
[pid=32485] ppid=32482 vsize=11123172 memory=11072864 CPUtime=1062.25 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 2691612 0 0 0 105831 394 0 0 20 0 1 0 434914779 11390128128 2768216 33554432000 4194304 6211092 140723043929888 140723043903448 140188864453605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 2780793 2768216 819 493 0 2774098 0
Current children cumulated CPU time: 1062.25 s
Current children cumulated vsize: 11123172 KiB
Current children cumulated memory: 11072864 KiB
[startup+1122.3 s]
/proc/loadavg: 1.98 2.03 2.05 3/200 32655
/proc/meminfo: memFree=18070196/32770624 swapFree=66921364/67108860
[pid=32485] ppid=32482 vsize=11727996 memory=11696140 CPUtime=1122.24 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 2843098 0 0 0 111805 419 0 0 20 0 1 0 434914779 12009467904 2924035 33554432000 4194304 6211092 140723043929888 140723043903448 140188865377536 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 2931999 2924035 819 493 0 2925304 0
Current children cumulated CPU time: 1122.24 s
Current children cumulated vsize: 11727996 KiB
Current children cumulated memory: 11696140 KiB
[startup+1182.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/200 32661
/proc/meminfo: memFree=16822864/32770624 swapFree=66921364/67108860
[pid=32485] ppid=32482 vsize=12519808 memory=12320900 CPUtime=1182.24 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 2995404 0 0 0 117774 450 0 0 20 0 1 0 434914779 12820283392 3080225 33554432000 4194304 6211092 140723043929888 140723043903448 140188865377490 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3129952 3080225 819 493 0 3123257 0
Current children cumulated CPU time: 1182.24 s
Current children cumulated vsize: 12519808 KiB
Current children cumulated memory: 12320900 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 32665
/proc/meminfo: memFree=15577368/32770624 swapFree=66921364/67108860
[pid=32485] ppid=32482 vsize=13124896 memory=12946484 CPUtime=1242.23 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 3146931 0 0 0 123744 479 0 0 20 0 1 0 434914779 13439893504 3236621 33554432000 4194304 6211092 140723043929888 140723043903448 5443096 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3281224 3236621 819 493 0 3274529 0
Current children cumulated CPU time: 1242.23 s
Current children cumulated vsize: 13124896 KiB
Current children cumulated memory: 12946484 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 32669
/proc/meminfo: memFree=14333688/32770624 swapFree=66921364/67108860
[pid=32485] ppid=32482 vsize=13729720 memory=13569760 CPUtime=1302.22 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 3298415 0 0 0 129714 508 0 0 20 0 1 0 434914779 14059233280 3392440 33554432000 4194304 6211092 140723043929888 140723043903448 5446279 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3432430 3392440 819 493 0 3425735 0
Current children cumulated CPU time: 1302.22 s
Current children cumulated vsize: 13729720 KiB
Current children cumulated memory: 13569760 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32675
/proc/meminfo: memFree=13085700/32770624 swapFree=66921364/67108860
[pid=32485] ppid=32482 vsize=14334544 memory=14195080 CPUtime=1362.22 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 3449858 0 0 0 135684 538 0 0 20 0 1 0 434914779 14678573056 3548770 33554432000 4194304 6211092 140723043929888 140723043903448 140188874398534 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3583636 3548770 819 493 0 3576941 0
Current children cumulated CPU time: 1362.22 s
Current children cumulated vsize: 14334544 KiB
Current children cumulated memory: 14195080 KiB
[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 32680
/proc/meminfo: memFree=11842328/32770624 swapFree=66921364/67108860
[pid=32485] ppid=32482 vsize=14939236 memory=14818356 CPUtime=1422.2 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 3601310 0 0 0 141648 572 0 0 20 0 1 0 434914779 15297777664 3704589 33554432000 4194304 6211092 140723043929888 140723043903448 140188864448368 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3734809 3704589 819 493 0 3728114 0
Current children cumulated CPU time: 1422.2 s
Current children cumulated vsize: 14939236 KiB
Current children cumulated memory: 14818356 KiB
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 32685
/proc/meminfo: memFree=10594236/32770624 swapFree=66921364/67108860
[pid=32485] ppid=32482 vsize=15543664 memory=15443148 CPUtime=1482.2 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 3752667 0 0 0 147614 606 0 0 20 0 1 0 434914779 15916711936 3860787 33554432000 4194304 6211092 140723043929888 140723043903448 5012966 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3885916 3860787 819 493 0 3879221 0
Current children cumulated CPU time: 1482.2 s
Current children cumulated vsize: 15543664 KiB
Current children cumulated memory: 15443148 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1515 s]*
/proc/loadavg: 2.02 2.02 2.05 3/200 32687
/proc/meminfo: memFree=9911904/32770624 swapFree=66921364/67108860
[pid=32485] ppid=32482 vsize=15872608 memory=15782232 CPUtime=1514.9 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) R 32482 32485 29157 0 -1 4202496 3835060 0 0 0 150864 626 0 0 20 0 1 0 434914779 16253550592 3945558 33554432000 4194304 6211092 140723043929888 140723043903448 140188864453605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3968152 3945558 819 493 0 3961457 0
Current children cumulated CPU time: 1514.9 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1517.79 s]
# the end of solver process 32485 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1508.89 s, system=7.07173 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1515.2 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 32687
/proc/meminfo: memFree=9911904/32770624 swapFree=66921364/67108860
[pid=32485] ppid=32482 vsize=15872608 memory=15782232 CPUtime=1514.92 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) S 32482 32485 29157 0 -1 512 3835066 0 0 0 150866 626 0 0 20 0 1 0 434914779 16253550592 3945558 33554432000 4194304 6211092 140723043929888 140723043903448 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3968152 3945558 819 493 0 3961457 0
Current children cumulated CPU time: 1514.92 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782232 KiB
[startup+1516 s]*
/proc/loadavg: 2.02 2.02 2.05 3/201 32688
/proc/meminfo: memFree=9408260/32770624 swapFree=66921368/67108860
[pid=32485] ppid=32482 vsize=15872608 memory=15782232 CPUtime=1515.04 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) S 32482 32485 29157 0 -1 512 3835066 0 0 0 150876 628 0 0 20 0 1 0 434914779 16253550592 3945558 33554432000 4194304 6211092 140723043929888 140723043903448 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3968152 3945558 819 493 0 3961457 0
Current children cumulated CPU time: 1515.04 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782232 KiB
[startup+1516.8 s]
/proc/loadavg: 2.02 2.02 2.05 3/201 32688
/proc/meminfo: memFree=9408260/32770624 swapFree=66921368/67108860
[pid=32485] ppid=32482 vsize=15872608 memory=15782232 CPUtime=1515.14 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) S 32482 32485 29157 0 -1 512 3835066 0 0 0 150886 628 0 0 20 0 1 0 434914779 16253550592 3945558 33554432000 4194304 6211092 140723043929888 140723043903448 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3968152 3945558 819 493 0 3961457 0
Current children cumulated CPU time: 1515.14 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782232 KiB
[startup+1517 s]*
/proc/loadavg: 2.02 2.02 2.05 3/201 32688
/proc/meminfo: memFree=8900664/32770624 swapFree=66921368/67108860
[pid=32485] ppid=32482 vsize=15872608 memory=15782232 CPUtime=1515.18 cores=0,2,4,6
/proc/32485/stat : 32485 (cosoco) S 32482 32485 29157 0 -1 512 3835066 0 0 0 150889 629 0 0 20 0 1 0 434914779 16253550592 3945558 33554432000 4194304 6211092 140723043929888 140723043903448 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 12673024 140723043931147 140723043931249 140723043931249 140723043934158 0
/proc/32485/statm: 3968152 3945558 819 493 0 3961457 0
Current children cumulated CPU time: 1515.18 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782232 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1517.79
CPU time (s): 1515.96
CPU user time (s): 1508.89
CPU system time (s): 7.07173
CPU usage (%): 99.8797
Max. virtual memory (cumulated for all children) (KiB): 15872608
Max. memory (cumulated for all children) (KiB): 15782232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1508.89
system time used= 7.07173
maximum resident set size= 15782440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3835066
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= 122604
involuntary context switches= 1895
# summary of solver processes directly reported to runsolver:
# pid: 32485
# total CPU time (s): 1515.96
# total CPU user time (s): 1508.89
# total CPU system time (s): 7.07173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.00549 second user time and 11.2576 second system time
The end