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 (14485 MiB free)
memory of node 1: 16384 MiB (14629 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409031-1569792426/watcher-4409031-1569792426 -o /tmp/evaluation-result-4409031-1569792426/solver-4409031-1569792426 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1569787351-8456 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409031-1569792426.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=9393, runsolver pid=9390
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 2.16 2.03 2.01 3/199 9394
/proc/meminfo: memFree=29811916/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=29216 memory=5636 CPUtime=0.1 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 1608 0 0 0 10 0 0 0 20 0 1 0 555182607 29917184 1409 33554432000 4194304 6211132 140724100389136 140724100385672 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 7304 1409 846 493 0 609 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29216 KiB
Current children cumulated memory: 5636 KiB
[startup+0.209539 s]*
/proc/loadavg: 2.16 2.03 2.01 3/199 9394
/proc/meminfo: memFree=29811172/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=30008 memory=6428 CPUtime=0.21 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 1814 0 0 0 21 0 0 0 20 0 1 0 555182607 30728192 1607 33554432000 4194304 6211132 140724100389136 140724100385672 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 7502 1607 846 493 0 807 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30008 KiB
Current children cumulated memory: 6428 KiB
[startup+0.308915 s]*
/proc/loadavg: 2.16 2.03 2.01 3/199 9394
/proc/meminfo: memFree=29810428/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=30800 memory=7220 CPUtime=0.31 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 2002 0 0 0 31 0 0 0 20 0 1 0 555182607 31539200 1805 33554432000 4194304 6211132 140724100389136 140724100385672 140406862334824 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 7700 1805 846 493 0 1005 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30800 KiB
Current children cumulated memory: 7220 KiB
[startup+0.700269 s]
/proc/loadavg: 2.16 2.03 2.01 3/199 9394
/proc/meminfo: memFree=29808940/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=33704 memory=10124 CPUtime=0.69 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 2726 0 0 0 69 0 0 0 20 0 1 0 555182607 34512896 2531 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 8426 2531 846 493 0 1731 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33704 KiB
Current children cumulated memory: 10124 KiB
[startup+1.50027 s]
/proc/loadavg: 2.16 2.03 2.01 3/199 9394
/proc/meminfo: memFree=29805280/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=39644 memory=16196 CPUtime=1.49 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 4235 0 0 0 149 0 0 0 20 0 1 0 555182607 40595456 4049 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 9911 4049 846 493 0 3216 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39644 KiB
Current children cumulated memory: 16196 KiB
[startup+3.10934 s]
/proc/loadavg: 2.16 2.03 2.01 3/199 9394
/proc/meminfo: memFree=29789904/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=51852 memory=28376 CPUtime=3.1 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 7456 0 0 0 309 1 0 0 20 0 1 0 555182607 53096448 7094 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 12963 7094 846 493 0 6268 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51852 KiB
Current children cumulated memory: 28376 KiB
[startup+6.30027 s]
/proc/loadavg: 2.14 2.03 2.01 3/199 9394
/proc/meminfo: memFree=29767648/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=75868 memory=52420 CPUtime=6.29 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 13640 0 0 0 627 2 0 0 20 0 1 0 555182607 77688832 13105 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 18967 13105 846 493 0 12272 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75868 KiB
Current children cumulated memory: 52420 KiB
[startup+12.7003 s]
/proc/loadavg: 2.13 2.03 2.01 3/200 9397
/proc/meminfo: memFree=29721876/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=124232 memory=100456 CPUtime=12.69 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 25866 0 0 0 1266 3 0 0 20 0 1 0 555182607 127213568 25114 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 31058 25114 846 493 0 24363 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 124232 KiB
Current children cumulated memory: 100456 KiB
[startup+25.5003 s]
/proc/loadavg: 2.10 2.03 2.01 3/199 9397
/proc/meminfo: memFree=29624464/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=220480 memory=197004 CPUtime=25.49 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 50318 0 0 0 2542 7 0 0 20 0 1 0 555182607 225771520 49251 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 55120 49251 846 493 0 48425 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 220480 KiB
Current children cumulated memory: 197004 KiB
[startup+51.1094 s]
/proc/loadavg: 2.07 2.03 2.01 3/199 9397
/proc/meminfo: memFree=29427984/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=413740 memory=389840 CPUtime=51.1 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 98724 0 0 0 5096 14 0 0 20 0 1 0 555182607 423669760 97460 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 103435 97460 846 493 0 96740 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 413740 KiB
Current children cumulated memory: 389840 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.01 3/200 9404
/proc/meminfo: memFree=29042428/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=800260 memory=775696 CPUtime=102.27 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 195278 0 0 0 10198 29 0 0 20 0 1 0 555182607 819466240 193924 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 200065 193924 846 493 0 193370 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 800260 KiB
Current children cumulated memory: 775696 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/199 9408
/proc/meminfo: memFree=28589012/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=1252540 memory=1227664 CPUtime=162.27 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 308300 0 0 0 16181 46 0 0 20 0 1 0 555182607 1282600960 306916 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 313135 306916 846 493 0 306440 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1252540 KiB
Current children cumulated memory: 1227664 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/200 9484
/proc/meminfo: memFree=27899392/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=1705900 memory=1681360 CPUtime=222.26 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 421220 0 0 0 22165 61 0 0 20 0 1 0 555182607 1746841600 420340 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 426475 420340 846 493 0 419780 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1705900 KiB
Current children cumulated memory: 1681360 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/201 9490
/proc/meminfo: memFree=27000532/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=2155888 memory=2131744 CPUtime=282.24 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 533763 0 0 0 28147 77 0 0 20 0 1 0 555182607 2207629312 532936 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 538972 532936 846 493 0 532277 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2155888 KiB
Current children cumulated memory: 2131744 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/201 9495
/proc/meminfo: memFree=26099560/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=2610868 memory=2583668 CPUtime=342.24 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 646767 0 0 0 34128 96 0 0 20 0 1 0 555182607 2673528832 645917 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 652717 645917 846 493 0 646022 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2610868 KiB
Current children cumulated memory: 2583668 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/201 9499
/proc/meminfo: memFree=25198888/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=3060988 memory=3035932 CPUtime=402.23 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 759426 0 0 0 40109 114 0 0 20 0 1 0 555182607 3134451712 758983 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 765247 758983 846 493 0 758552 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 3060988 KiB
Current children cumulated memory: 3035932 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/202 9505
/proc/meminfo: memFree=24298824/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=3518268 memory=3487456 CPUtime=462.22 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 872583 0 0 0 46089 133 0 0 20 0 1 0 555182607 3602706432 871864 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 879567 871864 846 493 0 872872 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 3518268 KiB
Current children cumulated memory: 3487456 KiB
################
# More data... #
################
Current children cumulated vsize: 11192764 KiB
Current children cumulated memory: 11167172 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/200 9604
/proc/meminfo: memFree=8065228/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=11642488 memory=11618628 CPUtime=1542.06 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 2907408 0 0 0 153644 562 0 0 20 0 1 0 555182607 11921907712 2904657 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 2910622 2904657 846 493 0 2903927 0
Current children cumulated CPU time: 1542.06 s
Current children cumulated vsize: 11642488 KiB
Current children cumulated memory: 11618628 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/199 9620
/proc/meminfo: memFree=7162744/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=12116420 memory=12070276 CPUtime=1602.04 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3020420 0 0 0 159620 584 0 0 20 0 1 0 555182607 12407214080 3017569 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3029105 3017569 846 493 0 3022410 0
Current children cumulated CPU time: 1602.04 s
Current children cumulated vsize: 12116420 KiB
Current children cumulated memory: 12070276 KiB
[startup+1662.3 s]
/proc/loadavg: 1.95 1.98 2.00 3/200 9625
/proc/meminfo: memFree=6262712/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=12565484 memory=12521400 CPUtime=1662.03 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3133289 0 0 0 165593 610 0 0 20 0 1 0 555182607 12867055616 3130350 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3141371 3130350 846 493 0 3134676 0
Current children cumulated CPU time: 1662.03 s
Current children cumulated vsize: 12565484 KiB
Current children cumulated memory: 12521400 KiB
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 2.01 3/201 9632
/proc/meminfo: memFree=5365200/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=13014944 memory=12973052 CPUtime=1722.03 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3246229 0 0 0 171565 638 0 0 20 0 1 0 555182607 13327302656 3243263 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3253736 3243263 846 493 0 3247041 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 13014944 KiB
Current children cumulated memory: 12973052 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.01 3/200 9636
/proc/meminfo: memFree=4465876/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=13464404 memory=13424440 CPUtime=1782.02 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3359202 0 0 0 177536 666 0 0 20 0 1 0 555182607 13787549696 3356110 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3366101 3356110 846 493 0 3359406 0
Current children cumulated CPU time: 1782.02 s
Current children cumulated vsize: 13464404 KiB
Current children cumulated memory: 13424440 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/200 9640
/proc/meminfo: memFree=3567628/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=13913468 memory=13875564 CPUtime=1842.01 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3472059 0 0 0 183507 694 0 0 20 0 1 0 555182607 14247391232 3468891 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3478367 3468891 846 493 0 3471672 0
Current children cumulated CPU time: 1842.01 s
Current children cumulated vsize: 13913468 KiB
Current children cumulated memory: 13875564 KiB
[startup+1902.3 s]
/proc/loadavg: 1.88 1.97 2.00 3/201 9647
/proc/meminfo: memFree=2670504/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=14362268 memory=14326424 CPUtime=1902.01 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3584853 0 0 0 189479 722 0 0 20 0 1 0 555182607 14706962432 3581606 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3590567 3581606 846 493 0 3583872 0
Current children cumulated CPU time: 1902.01 s
Current children cumulated vsize: 14362268 KiB
Current children cumulated memory: 14326424 KiB
[startup+1962.3 s]
/proc/loadavg: 1.95 1.98 2.00 3/199 9651
/proc/meminfo: memFree=1768836/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=14811332 memory=14777604 CPUtime=1962 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3697817 0 0 0 195450 750 0 0 20 0 1 0 555182607 15166803968 3694401 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3702833 3694401 846 493 0 3696138 0
Current children cumulated CPU time: 1962 s
Current children cumulated vsize: 14811332 KiB
Current children cumulated memory: 14777604 KiB
[startup+2022.3 s]
/proc/loadavg: 1.98 1.98 2.00 3/200 9663
/proc/meminfo: memFree=867216/32770624 swapFree=66976804/67108860
[pid=9393] ppid=9390 vsize=15260264 memory=15228464 CPUtime=2021.98 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3810627 0 0 0 201416 782 0 0 20 0 1 0 555182607 15626510336 3807116 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3815066 3807116 846 493 0 3808371 0
Current children cumulated CPU time: 2021.98 s
Current children cumulated vsize: 15260264 KiB
Current children cumulated memory: 15228464 KiB
[startup+2082.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/201 9694
/proc/meminfo: memFree=193688/32770624 swapFree=66976664/67108860
[pid=9393] ppid=9390 vsize=15708800 memory=15679016 CPUtime=2081.97 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3923383 0 0 0 207380 817 0 0 20 0 1 0 555182607 16085811200 3919754 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3927200 3919754 846 493 0 3920505 0
Current children cumulated CPU time: 2081.97 s
Current children cumulated vsize: 15708800 KiB
Current children cumulated memory: 15679016 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2104.2 s]
/proc/loadavg: 2.00 1.99 2.00 3/200 9694
/proc/meminfo: memFree=195412/32770624 swapFree=66976580/67108860
[pid=9393] ppid=9390 vsize=15872612 memory=15842908 CPUtime=2103.88 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) R 9390 9393 8424 0 -1 4202496 3964680 0 0 0 209559 829 0 0 20 0 1 0 555182607 16253554688 3960727 33554432000 4194304 6211132 140724100389136 140724100248424 140406852389861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3968153 3960727 846 493 0 3961458 0
Current children cumulated CPU time: 2103.88 s
Current children cumulated vsize: 15872612 KiB
Current children cumulated memory: 15842908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2106.9 s]
# the end of solver process 9393 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2095.77 s, system=9.00132 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2105.6 s]
/proc/loadavg: 2.08 2.00 2.00 3/201 9695
/proc/meminfo: memFree=190300/32770624 swapFree=66976580/67108860
[pid=9393] ppid=9390 vsize=15872616 memory=15842908 CPUtime=2103.99 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) S 9390 9393 8424 0 -1 512 3964685 0 0 0 209570 829 0 0 20 0 1 0 555182607 16253558784 3960727 33554432000 4194304 6211132 140724100389136 140724100248424 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3968154 3960727 846 493 0 3961459 0
Current children cumulated CPU time: 2103.99 s
Current children cumulated vsize: 15872616 KiB
Current children cumulated memory: 15842908 KiB
[startup+2106 s]*
/proc/loadavg: 2.08 2.00 2.00 3/201 9695
/proc/meminfo: memFree=202996/32770624 swapFree=66976580/67108860
[pid=9393] ppid=9390 vsize=15872616 memory=15842908 CPUtime=2104.03 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) S 9390 9393 8424 0 -1 512 3964685 0 0 0 209574 829 0 0 20 0 1 0 555182607 16253558784 3960727 33554432000 4194304 6211132 140724100389136 140724100248424 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3968154 3960727 846 493 0 3961459 0
Current children cumulated CPU time: 2104.03 s
Current children cumulated vsize: 15872616 KiB
Current children cumulated memory: 15842908 KiB
[startup+2106.2 s]
/proc/loadavg: 2.08 2.00 2.00 3/201 9695
/proc/meminfo: memFree=202996/32770624 swapFree=66976580/67108860
[pid=9393] ppid=9390 vsize=15872616 memory=15842908 CPUtime=2104.06 cores=1,3,5,7
/proc/9393/stat : 9393 (cosoco) S 9390 9393 8424 0 -1 512 3964685 0 0 0 209576 830 0 0 20 0 1 0 555182607 16253558784 3960727 33554432000 4194304 6211132 140724100389136 140724100248424 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 19775488 140724100391947 140724100392049 140724100392049 140724100394958 0
/proc/9393/statm: 3968154 3960727 846 493 0 3961459 0
Current children cumulated CPU time: 2104.06 s
Current children cumulated vsize: 15872616 KiB
Current children cumulated memory: 15842908 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2106.9
CPU time (s): 2104.77
CPU user time (s): 2095.77
CPU system time (s): 9.00132
CPU usage (%): 99.8986
Max. virtual memory (cumulated for all children) (KiB): 15872616
Max. memory (cumulated for all children) (KiB): 15842908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2095.77
system time used= 9.00132
maximum resident set size= 15843100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3964685
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= 78772
involuntary context switches= 1740
# summary of solver processes directly reported to runsolver:
# pid: 9393
# total CPU time (s): 2104.77
# total CPU user time (s): 2095.77
# total CPU system time (s): 9.00132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35293 second user time and 14.1457 second system time
The end