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 (11338 MiB free)
memory of node 1: 16384 MiB (14334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390434-1568354367/watcher-4390434-1568354367 -o /tmp/evaluation-result-4390434-1568354367/solver-4390434-1568354367 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568351921-31484 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390434-1568354367.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=31979, runsolver pid=31976
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26277256/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=39152 memory=15356 CPUtime=0.1 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 4011 0 0 0 10 0 0 0 20 0 1 0 411378650 40091648 3839 33554432000 4194304 6210612 140726838010400 140726838006936 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 9788 3839 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15356 KiB
[startup+0.209877 s]*
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26274340/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=40728 memory=16872 CPUtime=0.21 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 4437 0 0 0 21 0 0 0 20 0 1 0 411378650 41705472 4218 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.309248 s]*
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26272140/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=41844 memory=17928 CPUtime=0.31 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 4695 0 0 0 31 0 0 0 20 0 1 0 411378650 42848256 4482 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 10461 4482 819 493 0 3766 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41844 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26267576/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=45840 memory=21992 CPUtime=0.69 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 5692 0 0 0 69 0 0 0 20 0 1 0 411378650 46940160 5498 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 11460 5498 819 493 0 4765 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45840 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26257780/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=54208 memory=30316 CPUtime=1.49 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 7776 0 0 0 149 0 0 0 20 0 1 0 411378650 55508992 7579 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 13552 7579 819 493 0 6857 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54208 KiB
Current children cumulated memory: 30316 KiB
[startup+3.10951 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26216116/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=71156 memory=47068 CPUtime=3.1 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 12138 0 0 0 309 1 0 0 20 0 1 0 411378650 72863744 11767 33554432000 4194304 6210612 140726838010400 140726837983960 5442848 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 17789 11767 819 493 0 11094 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71156 KiB
Current children cumulated memory: 47068 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26153744/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=104964 memory=80256 CPUtime=6.29 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 20622 0 0 0 627 2 0 0 20 0 1 0 411378650 107483136 20064 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 26241 20064 819 493 0 19546 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104964 KiB
Current children cumulated memory: 80256 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=26028696/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=170952 memory=147048 CPUtime=12.69 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 37456 0 0 0 1265 4 0 0 20 0 1 0 411378650 175054848 36762 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 42738 36762 819 493 0 36043 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170952 KiB
Current children cumulated memory: 147048 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31980
/proc/meminfo: memFree=25757376/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=305580 memory=280784 CPUtime=25.49 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 70767 0 0 0 2541 8 0 0 20 0 1 0 411378650 312913920 70196 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 76395 70196 819 493 0 69700 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 305580 KiB
Current children cumulated memory: 280784 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31983
/proc/meminfo: memFree=25212528/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=576188 memory=548872 CPUtime=51.09 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 136915 0 0 0 5091 18 0 0 20 0 1 0 411378650 590016512 137218 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 144047 137218 819 493 0 137352 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 576188 KiB
Current children cumulated memory: 548872 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 31993
/proc/meminfo: memFree=24149856/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=1120044 memory=1081976 CPUtime=102.28 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 266767 0 0 0 10193 35 0 0 20 0 1 0 411378650 1146925056 270494 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 280011 270494 819 493 0 273316 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1120044 KiB
Current children cumulated memory: 1081976 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.99 1.95 3/201 32022
/proc/meminfo: memFree=22898572/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=1750264 memory=1706056 CPUtime=162.29 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 418681 0 0 0 16174 55 0 0 20 0 1 0 411378650 1792270336 426514 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 437566 426514 819 493 0 430871 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1750264 KiB
Current children cumulated memory: 1706056 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/200 32026
/proc/meminfo: memFree=21644868/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=2355880 memory=2332112 CPUtime=222.29 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 570101 0 0 0 22153 76 0 0 20 0 1 0 411378650 2412421120 583028 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 588970 583028 819 493 0 582275 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2355880 KiB
Current children cumulated memory: 2332112 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 32030
/proc/meminfo: memFree=20395960/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=2998540 memory=2956304 CPUtime=282.28 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 721577 0 0 0 28134 94 0 0 20 0 1 0 411378650 3070504960 739076 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 749635 739076 819 493 0 742940 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2998540 KiB
Current children cumulated memory: 2956304 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 32036
/proc/meminfo: memFree=19143544/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=3659256 memory=3582164 CPUtime=342.27 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 873765 0 0 0 34114 113 0 0 20 0 1 0 411378650 3747078144 895541 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 914814 895541 819 493 0 908119 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 3659256 KiB
Current children cumulated memory: 3582164 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 32040
/proc/meminfo: memFree=17894424/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=4264608 memory=4205984 CPUtime=402.27 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 1025616 0 0 0 40091 136 0 0 20 0 1 0 411378650 4366958592 1051496 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 1066152 1051496 819 493 0 1059457 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 4264608 KiB
Current children cumulated memory: 4205984 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 32044
/proc/meminfo: memFree=16642756/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=4869828 memory=4831840 CPUtime=462.27 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 1177456 0 0 0 46067 160 0 0 20 0 1 0 411378650 4986703872 1207960 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 1217457 1207960 819 493 0 1210762 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 4869828 KiB
Current children cumulated memory: 4831840 KiB
################
# More data... #
################
Current children cumulated vsize: 9312264 KiB
Current children cumulated memory: 9203136 KiB
[startup+942.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/200 32090
/proc/meminfo: memFree=6643272/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=9917088 memory=9826384 CPUtime=942.26 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 2394072 0 0 0 93863 363 0 0 20 0 1 0 411378650 10155098112 2456596 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 2479272 2456596 819 493 0 2472577 0
Current children cumulated CPU time: 942.26 s
Current children cumulated vsize: 9917088 KiB
Current children cumulated memory: 9826384 KiB
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/200 32094
/proc/meminfo: memFree=5392356/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=10521780 memory=10451416 CPUtime=1002.25 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 2546091 0 0 0 99833 392 0 0 20 0 1 0 411378650 10774302720 2612854 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 2630445 2612854 819 493 0 2623750 0
Current children cumulated CPU time: 1002.25 s
Current children cumulated vsize: 10521780 KiB
Current children cumulated memory: 10451416 KiB
[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/201 32100
/proc/meminfo: memFree=4146300/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=11126208 memory=11074404 CPUtime=1062.25 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 2698085 0 0 0 105803 422 0 0 20 0 1 0 411378650 11393236992 2768601 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 2781585 2768601 819 493 0 2774890 0
Current children cumulated CPU time: 1062.25 s
Current children cumulated vsize: 11126208 KiB
Current children cumulated memory: 11074404 KiB
[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 1.98 3/200 32104
/proc/meminfo: memFree=2894988/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=11730768 memory=11699436 CPUtime=1122.25 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 2850067 0 0 0 111773 452 0 0 20 0 1 0 411378650 12012306432 2924859 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 2932692 2924859 819 493 0 2925997 0
Current children cumulated CPU time: 1122.25 s
Current children cumulated vsize: 11730768 KiB
Current children cumulated memory: 11699436 KiB
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/200 32108
/proc/meminfo: memFree=1645412/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=12521920 memory=12323572 CPUtime=1182.25 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 3002722 0 0 0 117743 482 0 0 20 0 1 0 411378650 12822446080 3080893 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3130480 3080893 819 493 0 3123785 0
Current children cumulated CPU time: 1182.25 s
Current children cumulated vsize: 12521920 KiB
Current children cumulated memory: 12323572 KiB
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/200 32114
/proc/meminfo: memFree=400740/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=13126216 memory=12946188 CPUtime=1242.25 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 3154800 0 0 0 123712 513 0 0 20 0 1 0 411378650 13441245184 3236547 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3281554 3236547 819 493 0 3274859 0
Current children cumulated CPU time: 1242.25 s
Current children cumulated vsize: 13126216 KiB
Current children cumulated memory: 12946188 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 32126
/proc/meminfo: memFree=203288/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=13730116 memory=13570692 CPUtime=1302.24 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 3306658 0 0 0 129680 544 0 0 20 0 1 0 411378650 14059638784 3392673 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3432529 3392673 819 493 0 3425834 0
Current children cumulated CPU time: 1302.24 s
Current children cumulated vsize: 13730116 KiB
Current children cumulated memory: 13570692 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 32130
/proc/meminfo: memFree=197692/32770624 swapFree=66952812/67108860
[pid=31979] ppid=31976 vsize=14333752 memory=14192624 CPUtime=1362.24 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 3458415 0 0 0 135643 581 0 0 20 0 1 0 411378650 14677762048 3548156 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3583438 3548156 819 493 0 3576743 0
Current children cumulated CPU time: 1362.24 s
Current children cumulated vsize: 14333752 KiB
Current children cumulated memory: 14192624 KiB
[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/201 32136
/proc/meminfo: memFree=200316/32770624 swapFree=66633320/67108860
[pid=31979] ppid=31976 vsize=14935408 memory=14813796 CPUtime=1422.23 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 3609701 0 0 0 141605 618 0 0 20 0 1 0 411378650 15293857792 3626502 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3733852 3626502 514 493 0 3727157 0
Current children cumulated CPU time: 1422.23 s
Current children cumulated vsize: 14935408 KiB
Current children cumulated memory: 14813796 KiB
[startup+1482.3 s]
/proc/loadavg: 2.17 2.06 1.99 3/200 32140
/proc/meminfo: memFree=191668/32770624 swapFree=66016564/67108860
[pid=31979] ppid=31976 vsize=15536272 memory=15432824 CPUtime=1482.23 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 3760763 0 0 0 147570 653 0 0 20 0 1 0 411378650 15909142528 3627070 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3884068 3627070 514 493 0 3877373 0
Current children cumulated CPU time: 1482.23 s
Current children cumulated vsize: 15536272 KiB
Current children cumulated memory: 15432824 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1515.8 s]
/proc/loadavg: 2.10 2.05 1.99 3/201 32144
/proc/meminfo: memFree=377040/32770624 swapFree=65729176/67108860
[pid=31979] ppid=31976 vsize=15872344 memory=15781376 CPUtime=1515.73 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 4202496 3845140 0 0 0 150900 673 0 0 20 0 1 0 411378650 16253280256 3642361 33554432000 4194304 6210612 140726838010400 140726837983960 140654198893541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3968086 3642361 514 493 0 3961391 0
Current children cumulated CPU time: 1515.73 s
Current children cumulated vsize: 15872344 KiB
Current children cumulated memory: 15781376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1518.63 s]
# the end of solver process 31979 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1509.03 s, system=7.76159 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1516.8 s]
/proc/loadavg: 2.10 2.05 1.99 2/202 32145
/proc/meminfo: memFree=354036/32770624 swapFree=65729184/67108860
[pid=31979] ppid=31976 vsize=15872608 memory=15781640 CPUtime=1515.75 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) S 31976 31979 31452 0 -1 512 3845200 0 3 0 150902 673 0 0 20 0 1 0 411378650 16253550592 3642427 33554432000 4194304 6210612 140726838010400 140726837983960 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 18 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3968152 3642427 514 493 0 3961457 0
Current children cumulated CPU time: 1515.75 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15781640 KiB
[startup+1517.6 s]
/proc/loadavg: 2.09 2.05 1.99 2/201 32145
/proc/meminfo: memFree=333868/32770624 swapFree=65729216/67108860
[pid=31979] ppid=31976 vsize=15872608 memory=15781712 CPUtime=1515.89 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 512 3854008 0 1293 0 150903 686 0 0 20 0 1 0 411378650 16253550592 3652522 33554432000 4194304 6210612 140726838010400 140726837983960 5188952 0 16384 4096 8405026 0 0 0 17 3 0 0 50 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3968152 3652522 518 493 0 3961457 0
Current children cumulated CPU time: 1515.89 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15781712 KiB
[startup+1517.8 s]
/proc/loadavg: 2.09 2.05 1.99 2/201 32145
/proc/meminfo: memFree=333868/32770624 swapFree=65729216/67108860
[pid=31979] ppid=31976 vsize=15872608 memory=15781712 CPUtime=1515.96 cores=1,3,5,7
/proc/31979/stat : 31979 (cosoco) R 31976 31979 31452 0 -1 512 3858692 0 1987 0 150903 693 0 0 20 0 1 0 411378650 16253550592 3657868 33554432000 4194304 6210612 140726838010400 140726837983960 5188952 0 16384 4096 8405026 0 0 0 17 3 0 0 65 0 0 8308220 8313664 36175872 140726838019083 140726838019185 140726838019185 140726838022094 0
/proc/31979/statm: 3968152 3657868 518 493 0 3961457 0
Current children cumulated CPU time: 1515.96 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15781712 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1518.63
CPU time (s): 1516.79
CPU user time (s): 1509.03
CPU system time (s): 7.76159
CPU usage (%): 99.879
Max. virtual memory (cumulated for all children) (KiB): 15872608
Max. memory (cumulated for all children) (KiB): 15781712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1509.03
system time used= 7.76159
maximum resident set size= 14631704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3858692
page faults= 1988
swaps= 0
block input operations= 132496
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2147
involuntary context switches= 513
# summary of solver processes directly reported to runsolver:
# pid: 31979
# total CPU time (s): 1516.79
# total CPU user time (s): 1509.03
# total CPU system time (s): 7.76159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.0995 second user time and 10.8413 second system time
The end