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 (11353 MiB free)
memory of node 1: 16384 MiB (14335 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390425-1568354367/watcher-4390425-1568354367 -o /tmp/evaluation-result-4390425-1568354367/solver-4390425-1568354367 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568351921-31483 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390425-1568354367.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=31927, runsolver pid=31923
Current StackSize limit: 8192 KiB
[startup+0.100254 s]*
/proc/loadavg: 2.00 2.00 1.94 5/213 31948
/proc/meminfo: memFree=26278372/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=38888 memory=15224 CPUtime=0.09 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 3971 0 0 0 9 0 0 0 20 0 1 0 411378602 39821312 3806 33554432000 4194304 6210612 140728206570896 140728206568168 140057045855205 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 9722 3806 809 493 0 3027 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38888 KiB
Current children cumulated memory: 15224 KiB
[startup+0.210102 s]*
/proc/loadavg: 2.00 2.00 1.94 6/213 31948
/proc/meminfo: memFree=26265828/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=40596 memory=16868 CPUtime=0.2 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 4412 0 0 0 20 0 0 0 20 0 1 0 411378602 41570304 4217 33554432000 4194304 6210612 140728206570896 140728206568168 140057045855205 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 10149 4217 819 493 0 3454 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 16868 KiB
[startup+0.309572 s]*
/proc/loadavg: 2.00 2.00 1.94 2/197 31948
/proc/meminfo: memFree=26291616/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=41712 memory=17924 CPUtime=0.3 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 4661 0 0 0 30 0 0 0 20 0 1 0 411378602 42713088 4481 33554432000 4194304 6210612 140728206570896 140728206568168 140057045855205 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 10428 4481 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17924 KiB
[startup+0.700252 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26286124/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=45444 memory=21732 CPUtime=0.68 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 5598 0 0 0 68 0 0 0 20 0 1 0 411378602 46534656 5433 33554432000 4194304 6210612 140728206570896 140728206544456 140057046781389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 11361 5433 819 493 0 4666 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45444 KiB
Current children cumulated memory: 21732 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26267576/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=53680 memory=29788 CPUtime=1.49 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 7647 0 0 0 148 1 0 0 20 0 1 0 411378602 54968320 7447 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 13420 7447 819 493 0 6725 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53680 KiB
Current children cumulated memory: 29788 KiB
[startup+3.10927 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26225912/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=70496 memory=46284 CPUtime=3.1 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 11962 0 0 0 308 2 0 0 20 0 1 0 411378602 72187904 11571 33554432000 4194304 6210612 140728206570896 140728206544456 5012715 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 17624 11571 819 493 0 10929 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70496 KiB
Current children cumulated memory: 46284 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26163912/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=103908 memory=79204 CPUtime=6.29 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 20355 0 0 0 626 3 0 0 20 0 1 0 411378602 106401792 19801 33554432000 4194304 6210612 140728206570896 140728206544456 5451322 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 25977 19801 819 493 0 19282 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 103908 KiB
Current children cumulated memory: 79204 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26038368/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=169500 memory=145488 CPUtime=12.68 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 36951 0 0 0 1263 5 0 0 20 0 1 0 411378602 173568000 36372 33554432000 4194304 6210612 140728206570896 140728206544456 140057055800128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 42375 36372 819 493 0 35680 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 169500 KiB
Current children cumulated memory: 145488 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=25767420/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=303204 memory=277916 CPUtime=25.46 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 70175 0 0 0 2537 9 0 0 20 0 1 0 411378602 310480896 69479 33554432000 4194304 6210612 140728206570896 140728206544456 140057055800207 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 75801 69479 819 493 0 69106 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 303204 KiB
Current children cumulated memory: 277916 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31983
/proc/meminfo: memFree=25221828/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=572096 memory=544408 CPUtime=51.06 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 135308 0 0 0 5089 17 0 0 20 0 1 0 411378602 585826304 136102 33554432000 4194304 6210612 140728206570896 140728206544456 140057055800199 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 143024 136102 819 493 0 136329 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 572096 KiB
Current children cumulated memory: 544408 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 31993
/proc/meminfo: memFree=24159528/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=1114368 memory=1074412 CPUtime=102.23 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 264803 0 0 0 10189 34 0 0 20 0 1 0 411378602 1141112832 268603 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 278592 268603 819 493 0 271897 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 1114368 KiB
Current children cumulated memory: 1074412 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.99 1.95 3/201 32022
/proc/meminfo: memFree=22908368/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=1743004 memory=1698228 CPUtime=162.21 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 416658 0 0 0 16169 52 0 0 20 0 1 0 411378602 1784836096 424557 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 435751 424557 819 493 0 429056 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 1743004 KiB
Current children cumulated memory: 1698228 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/200 32026
/proc/meminfo: memFree=21654292/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=2347168 memory=2322964 CPUtime=222.18 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 567724 0 0 0 22143 75 0 0 20 0 1 0 411378602 2403500032 580741 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 586792 580741 819 493 0 580097 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 2347168 KiB
Current children cumulated memory: 2322964 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 32030
/proc/meminfo: memFree=20405632/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=2988244 memory=2945672 CPUtime=282.17 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 719374 0 0 0 28124 93 0 0 20 0 1 0 411378602 3059961856 736418 33554432000 4194304 6210612 140728206570896 140728206544456 5446488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 747061 736418 819 493 0 740366 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 2988244 KiB
Current children cumulated memory: 2945672 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 32036
/proc/meminfo: memFree=19153464/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=3647640 memory=3568896 CPUtime=342.14 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 870618 0 0 0 34100 114 0 0 20 0 1 0 411378602 3735183360 892224 33554432000 4194304 6210612 140728206570896 140728206544456 140057046775715 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 911910 892224 819 493 0 905215 0
Current children cumulated CPU time: 342.14 s
Current children cumulated vsize: 3647640 KiB
Current children cumulated memory: 3568896 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 32040
/proc/meminfo: memFree=17903972/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=4251540 memory=4192492 CPUtime=402.12 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 1022039 0 0 0 40077 135 0 0 20 0 1 0 411378602 4353576960 1048123 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 1062885 1048123 819 493 0 1056190 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 4251540 KiB
Current children cumulated memory: 4192492 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 32044
/proc/meminfo: memFree=16652428/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=4855308 memory=4816648 CPUtime=462.09 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 1173148 0 0 0 46055 154 0 0 20 0 1 0 411378602 4971835392 1204162 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 1213827 1204162 819 493 0 1207132 0
Current children cumulated CPU time: 462.09 s
Current children cumulated vsize: 4855308 KiB
Current children cumulated memory: 4816648 KiB
################
# More data... #
################
Current children cumulated vsize: 9288768 KiB
Current children cumulated memory: 9178936 KiB
[startup+942.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/200 32090
/proc/meminfo: memFree=6652944/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=9892140 memory=9800852 CPUtime=941.96 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 2382971 0 0 0 93857 339 0 0 20 0 1 0 411378602 10129551360 2450213 33554432000 4194304 6210612 140728206570896 140728206544456 5451993 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 2473035 2450213 819 493 0 2466340 0
Current children cumulated CPU time: 941.96 s
Current children cumulated vsize: 9892140 KiB
Current children cumulated memory: 9800852 KiB
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/200 32094
/proc/meminfo: memFree=5402028/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=10495380 memory=10424548 CPUtime=1001.94 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 2534044 0 0 0 99827 367 0 0 20 0 1 0 411378602 10747269120 2606137 33554432000 4194304 6210612 140728206570896 140728206544456 140057045850942 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 2623845 2606137 819 493 0 2617150 0
Current children cumulated CPU time: 1001.94 s
Current children cumulated vsize: 10495380 KiB
Current children cumulated memory: 10424548 KiB
[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/201 32100
/proc/meminfo: memFree=4155600/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=11098488 memory=11046200 CPUtime=1061.93 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 2685092 0 0 0 105801 392 0 0 20 0 1 0 411378602 11364851712 2761550 33554432000 4194304 6210612 140728206570896 140728206544456 140057055800142 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 2774622 2761550 819 493 0 2767927 0
Current children cumulated CPU time: 1061.93 s
Current children cumulated vsize: 11098488 KiB
Current children cumulated memory: 11046200 KiB
[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 1.98 3/200 32104
/proc/meminfo: memFree=2904288/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=11701332 memory=11669528 CPUtime=1121.91 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 2836033 0 0 0 111770 421 0 0 20 0 1 0 411378602 11982163968 2917382 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 2925333 2917382 819 493 0 2918638 0
Current children cumulated CPU time: 1121.91 s
Current children cumulated vsize: 11701332 KiB
Current children cumulated memory: 11669528 KiB
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/200 32108
/proc/meminfo: memFree=1655084/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=12490240 memory=12291584 CPUtime=1181.9 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 2987709 0 0 0 117732 458 0 0 20 0 1 0 411378602 12790005760 3072896 33554432000 4194304 6210612 140728206570896 140728206544456 5452074 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3122560 3072896 819 493 0 3115865 0
Current children cumulated CPU time: 1181.9 s
Current children cumulated vsize: 12490240 KiB
Current children cumulated memory: 12291584 KiB
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/200 32114
/proc/meminfo: memFree=410412/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=13092424 memory=12912132 CPUtime=1241.88 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 3138521 0 0 0 123697 491 0 0 20 0 1 0 411378602 13406642176 3228033 33554432000 4194304 6210612 140728206570896 140728206544456 5454023 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3273106 3228033 819 493 0 3266411 0
Current children cumulated CPU time: 1241.88 s
Current children cumulated vsize: 13092424 KiB
Current children cumulated memory: 12912132 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 32126
/proc/meminfo: memFree=215008/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=13694872 memory=13534820 CPUtime=1301.86 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 3289383 0 0 0 129662 524 0 0 20 0 1 0 411378602 14023548928 3383705 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3423718 3383705 819 493 0 3417023 0
Current children cumulated CPU time: 1301.86 s
Current children cumulated vsize: 13694872 KiB
Current children cumulated memory: 13534820 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 32130
/proc/meminfo: memFree=207240/32770624 swapFree=66952812/67108860
[pid=31927] ppid=31923 vsize=14297716 memory=14155368 CPUtime=1361.86 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 3442128 0 0 0 135632 554 0 0 20 0 1 0 411378602 14640861184 3538842 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3574429 3538842 819 493 0 3567734 0
Current children cumulated CPU time: 1361.86 s
Current children cumulated vsize: 14297716 KiB
Current children cumulated memory: 14155368 KiB
[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/201 32136
/proc/meminfo: memFree=211540/32770624 swapFree=66633320/67108860
[pid=31927] ppid=31923 vsize=14900032 memory=14778900 CPUtime=1421.86 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 3594707 0 0 0 141599 587 0 0 20 0 1 0 411378602 15257632768 3694725 33554432000 4194304 6210612 140728206570896 140728206544456 140057045855205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3725008 3694725 819 493 0 3718313 0
Current children cumulated CPU time: 1421.86 s
Current children cumulated vsize: 14900032 KiB
Current children cumulated memory: 14778900 KiB
[startup+1482.3 s]
/proc/loadavg: 2.17 2.06 1.99 3/200 32140
/proc/meminfo: memFree=201092/32770624 swapFree=66016564/67108860
[pid=31927] ppid=31923 vsize=15502216 memory=15399544 CPUtime=1481.84 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 3745500 0 0 0 147562 622 0 0 20 0 1 0 411378602 15874269184 3849886 33554432000 4194304 6210612 140728206570896 140728206544456 5012705 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3875554 3849886 819 493 0 3868859 0
Current children cumulated CPU time: 1481.84 s
Current children cumulated vsize: 15502216 KiB
Current children cumulated memory: 15399544 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1519.2 s]
/proc/loadavg: 2.09 2.05 1.99 3/200 32145
/proc/meminfo: memFree=13070756/32770624 swapFree=66901864/67108860
[pid=31927] ppid=31923 vsize=15872212 memory=15781840 CPUtime=1518.73 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 4202496 3838155 0 0 0 151232 641 0 0 20 0 1 0 411378602 16253145088 3945460 33554432000 4194304 6210612 140728206570896 140728206544456 5446080 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3968053 3945460 819 493 0 3961358 0
Current children cumulated CPU time: 1518.73 s
Current children cumulated vsize: 15872212 KiB
Current children cumulated memory: 15781840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1522.16 s]
# the end of solver process 31927 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1512.49 s, system=7.4051 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1520 s]*
/proc/loadavg: 2.09 2.05 1.99 2/196 32146
/proc/meminfo: memFree=14606484/32770624 swapFree=66941560/67108860
[pid=31927] ppid=31923 vsize=15872212 memory=15781840 CPUtime=1518.82 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) R 31923 31927 31452 0 -1 512 3838159 0 0 0 151239 643 0 0 20 0 1 0 411378602 16253145088 3945460 33554432000 4194304 6210612 140728206570896 140728206544456 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3968053 3945460 819 493 0 3961358 0
Current children cumulated CPU time: 1518.82 s
Current children cumulated vsize: 15872212 KiB
Current children cumulated memory: 15781840 KiB
[startup+1520.8 s]
/proc/loadavg: 2.09 2.05 1.99 2/196 32146
/proc/meminfo: memFree=14606484/32770624 swapFree=66941560/67108860
[pid=31927] ppid=31923 vsize=15872212 memory=15781840 CPUtime=1518.89 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) S 31923 31927 31452 0 -1 512 3838159 0 0 0 151245 644 0 0 20 0 1 0 411378602 16253145088 3945460 33554432000 4194304 6210612 140728206570896 140728206544456 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3968053 3945460 819 493 0 3961358 0
Current children cumulated CPU time: 1518.89 s
Current children cumulated vsize: 15872212 KiB
Current children cumulated memory: 15781840 KiB
[startup+1521.2 s]
/proc/loadavg: 2.09 2.05 1.99 3/199 32149
/proc/meminfo: memFree=14338768/32770624 swapFree=66941584/67108860
[pid=31927] ppid=31923 vsize=15872212 memory=15781840 CPUtime=1518.93 cores=0,2,4,6
/proc/31927/stat : 31927 (cosoco) S 31923 31927 31452 0 -1 512 3838159 0 0 0 151249 644 0 0 20 0 1 0 411378602 16253145088 3945460 33554432000 4194304 6210612 140728206570896 140728206544456 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8308220 8313664 23638016 140728206578699 140728206578801 140728206578801 140728206581710 0
/proc/31927/statm: 3968053 3945460 819 493 0 3961358 0
Current children cumulated CPU time: 1518.93 s
Current children cumulated vsize: 15872212 KiB
Current children cumulated memory: 15781840 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1522.16
CPU time (s): 1519.9
CPU user time (s): 1512.49
CPU system time (s): 7.4051
CPU usage (%): 99.8515
Max. virtual memory (cumulated for all children) (KiB): 15872212
Max. memory (cumulated for all children) (KiB): 15781840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1512.49
system time used= 7.4051
maximum resident set size= 15782004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3838159
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= 77447
involuntary context switches= 1061
# summary of solver processes directly reported to runsolver:
# pid: 31927
# total CPU time (s): 1519.9
# total CPU user time (s): 1512.49
# total CPU system time (s): 7.4051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.34218 second user time and 10.5576 second system time
The end