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 (4857 MiB free)
memory of node 1: 16384 MiB (15323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397890-1568590767/watcher-4397890-1568590767 -o /tmp/evaluation-result-4397890-1568590767/solver-4397890-1568590767 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568572742-29189 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397890-1568590767.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
Current StackSize limit: 8192 KiB
solver pid=32638, runsolver pid=32635
[startup+0.100165 s]*
/proc/loadavg: 2.01 2.08 2.08 3/199 32639
/proc/meminfo: memFree=20652796/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=39160 memory=15372 CPUtime=0.1 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 4009 0 0 0 10 0 0 0 20 0 1 0 435014543 40099840 3843 33554432000 4194304 6211092 140733275050240 140733275046776 140626340136096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 9790 3843 809 493 0 3095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39160 KiB
Current children cumulated memory: 15372 KiB
[startup+0.20969 s]*
/proc/loadavg: 2.01 2.08 2.08 3/199 32639
/proc/meminfo: memFree=20649944/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=40736 memory=17012 CPUtime=0.2 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 4431 0 0 0 20 0 0 0 20 0 1 0 435014543 41713664 4253 33554432000 4194304 6211092 140733275050240 140733275046776 5451482 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 10184 4253 819 493 0 3489 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 17012 KiB
[startup+0.30903 s]*
/proc/loadavg: 2.01 2.08 2.08 3/199 32639
/proc/meminfo: memFree=20648140/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=41720 memory=18068 CPUtime=0.3 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 4683 0 0 0 30 0 0 0 20 0 1 0 435014543 42721280 4517 33554432000 4194304 6211092 140733275050240 140733275046776 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 10430 4517 819 493 0 3735 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 18068 KiB
[startup+0.700276 s]
/proc/loadavg: 2.01 2.08 2.08 3/199 32639
/proc/meminfo: memFree=20644048/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=45716 memory=22000 CPUtime=0.69 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 5671 0 0 0 69 0 0 0 20 0 1 0 435014543 46813184 5500 33554432000 4194304 6211092 140733275050240 140733275046776 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 11429 5500 819 493 0 4734 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45716 KiB
Current children cumulated memory: 22000 KiB
[startup+1.50029 s]
/proc/loadavg: 2.01 2.08 2.08 3/199 32639
/proc/meminfo: memFree=20631744/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=54084 memory=30060 CPUtime=1.48 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 7735 0 0 0 148 0 0 0 20 0 1 0 435014543 55382016 7515 33554432000 4194304 6211092 140733275050240 140733275023800 5013078 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 13521 7515 819 493 0 6826 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54084 KiB
Current children cumulated memory: 30060 KiB
[startup+3.10951 s]
/proc/loadavg: 2.01 2.08 2.08 3/199 32639
/proc/meminfo: memFree=20591344/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=70900 memory=46660 CPUtime=3.1 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 12058 0 0 0 309 1 0 0 20 0 1 0 435014543 72601600 11665 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 17725 11665 819 493 0 11030 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70900 KiB
Current children cumulated memory: 46660 KiB
[startup+6.30028 s]
/proc/loadavg: 1.85 2.04 2.06 3/199 32639
/proc/meminfo: memFree=20529816/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=104312 memory=79580 CPUtime=6.29 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 20464 0 0 0 628 1 0 0 20 0 1 0 435014543 106815488 19895 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 26078 19895 819 493 0 19383 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104312 KiB
Current children cumulated memory: 79580 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 2.04 2.06 3/199 32639
/proc/meminfo: memFree=20404320/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=169772 memory=145736 CPUtime=12.69 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 37131 0 0 0 1266 3 0 0 20 0 1 0 435014543 173846528 36434 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 42443 36434 819 493 0 35748 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 169772 KiB
Current children cumulated memory: 145736 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 2.04 2.06 3/199 32639
/proc/meminfo: memFree=20135096/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=302816 memory=277420 CPUtime=25.49 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 70432 0 0 0 2541 8 0 0 20 0 1 0 435014543 310083584 69355 33554432000 4194304 6211092 140733275050240 140733275023800 5446260 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 75704 69355 819 493 0 69009 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 302816 KiB
Current children cumulated memory: 277420 KiB
[startup+51.1095 s]
/proc/loadavg: 1.93 2.04 2.06 3/199 32641
/proc/meminfo: memFree=19592048/32770624 swapFree=66921344/67108860
[pid=32638] ppid=32635 vsize=570652 memory=543072 CPUtime=51.11 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 135962 0 0 0 5096 15 0 0 20 0 1 0 435014543 584347648 135768 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 142663 135768 819 493 0 135968 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 570652 KiB
Current children cumulated memory: 543072 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.03 2.06 3/200 32653
/proc/meminfo: memFree=18533960/32770624 swapFree=66921364/67108860
[pid=32638] ppid=32635 vsize=1109360 memory=1069376 CPUtime=102.3 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 264617 0 0 0 10201 29 0 0 20 0 1 0 435014543 1135984640 267344 33554432000 4194304 6211092 140733275050240 140733275023800 5452223 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 277340 267344 819 493 0 270645 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1109360 KiB
Current children cumulated memory: 1069376 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/200 32657
/proc/meminfo: memFree=17288760/32770624 swapFree=66921364/67108860
[pid=32638] ppid=32635 vsize=1733376 memory=1688704 CPUtime=162.31 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 415396 0 0 0 16182 49 0 0 20 0 1 0 435014543 1774977024 422176 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 433344 422176 819 493 0 426649 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 1733376 KiB
Current children cumulated memory: 1688704 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 32663
/proc/meminfo: memFree=16041372/32770624 swapFree=66921364/67108860
[pid=32638] ppid=32635 vsize=2332788 memory=2308688 CPUtime=222.32 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 565257 0 0 0 22164 68 0 0 20 0 1 0 435014543 2388774912 577172 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 583197 577172 819 493 0 576502 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 2332788 KiB
Current children cumulated memory: 2308688 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 32667
/proc/meminfo: memFree=14797648/32770624 swapFree=66921364/67108860
[pid=32638] ppid=32635 vsize=2969112 memory=2926592 CPUtime=282.32 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 715681 0 0 0 28146 86 0 0 20 0 1 0 435014543 3040370688 731648 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 742278 731648 819 493 0 735583 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2969112 KiB
Current children cumulated memory: 2926592 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32671
/proc/meminfo: memFree=13552544/32770624 swapFree=66921364/67108860
[pid=32638] ppid=32635 vsize=3568524 memory=3544532 CPUtime=342.32 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 865543 0 0 0 34126 106 0 0 20 0 1 0 435014543 3654168576 886133 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 892131 886133 819 493 0 885436 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 3568524 KiB
Current children cumulated memory: 3544532 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32678
/proc/meminfo: memFree=12304228/32770624 swapFree=66921364/67108860
[pid=32638] ppid=32635 vsize=4223300 memory=4164320 CPUtime=402.33 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 1015906 0 0 0 40106 127 0 0 20 0 1 0 435014543 4324659200 1041080 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 1055825 1041080 819 493 0 1049130 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 4223300 KiB
Current children cumulated memory: 4164320 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 32682
/proc/meminfo: memFree=11060412/32770624 swapFree=66921364/67108860
[pid=32638] ppid=32635 vsize=4822712 memory=4782260 CPUtime=462.34 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 1165783 0 0 0 46089 145 0 0 20 0 1 0 435014543 4938457088 1195565 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 1205678 1195565 819 493 0 1198983 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 4822712 KiB
Current children cumulated memory: 4782260 KiB
################
# More data... #
################
Current children cumulated vsize: 9841328 KiB
Current children cumulated memory: 9748204 KiB
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 336
/proc/meminfo: memFree=20671464/32770624 swapFree=66921368/67108860
[pid=32638] ppid=32635 vsize=10442588 memory=10369996 CPUtime=1002.23 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 2521136 0 0 0 99866 357 0 0 20 0 1 0 435014543 10693210112 2592499 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 2610647 2592499 819 493 0 2603952 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 10442588 KiB
Current children cumulated memory: 10369996 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 340
/proc/meminfo: memFree=20051080/32770624 swapFree=66921368/67108860
[pid=32638] ppid=32635 vsize=11043980 memory=10989800 CPUtime=1062.22 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 2671753 0 0 0 105839 383 0 0 20 0 1 0 435014543 11309035520 2747450 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 2760995 2747450 819 493 0 2754300 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 11043980 KiB
Current children cumulated memory: 10989800 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 348
/proc/meminfo: memFree=19427936/32770624 swapFree=66921368/67108860
[pid=32638] ppid=32635 vsize=11645240 memory=11611544 CPUtime=1122.2 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 2822277 0 0 0 111809 411 0 0 20 0 1 0 435014543 11924725760 2902886 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 2911310 2902886 819 493 0 2904615 0
Current children cumulated CPU time: 1122.2 s
Current children cumulated vsize: 11645240 KiB
Current children cumulated memory: 11611544 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 353
/proc/meminfo: memFree=18805320/32770624 swapFree=66921372/67108860
[pid=32638] ppid=32635 vsize=12433092 memory=12232520 CPUtime=1182.19 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 2973685 0 0 0 117778 441 0 0 20 0 1 0 435014543 12731486208 3058130 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3108273 3058130 819 493 0 3101578 0
Current children cumulated CPU time: 1182.19 s
Current children cumulated vsize: 12433092 KiB
Current children cumulated memory: 12232520 KiB
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 358
/proc/meminfo: memFree=18184036/32770624 swapFree=66921372/67108860
[pid=32638] ppid=32635 vsize=13034352 memory=12852060 CPUtime=1242.18 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 3124260 0 0 0 123750 468 0 0 20 0 1 0 435014543 13347176448 3213015 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3258588 3213015 819 493 0 3251893 0
Current children cumulated CPU time: 1242.18 s
Current children cumulated vsize: 13034352 KiB
Current children cumulated memory: 12852060 KiB
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/201 372
/proc/meminfo: memFree=17563764/32770624 swapFree=66921376/67108860
[pid=32638] ppid=32635 vsize=13635348 memory=13473540 CPUtime=1302.16 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 3274745 0 0 0 129718 498 0 0 20 0 1 0 435014543 13962596352 3368385 33554432000 4194304 6211092 140733275050240 140733275023800 5451566 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3408837 3368385 819 493 0 3402142 0
Current children cumulated CPU time: 1302.16 s
Current children cumulated vsize: 13635348 KiB
Current children cumulated memory: 13473540 KiB
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 401
/proc/meminfo: memFree=16939968/32770624 swapFree=66921388/67108860
[pid=32638] ppid=32635 vsize=14236344 memory=14093128 CPUtime=1362.15 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 3425252 0 0 0 135686 529 0 0 20 0 1 0 435014543 14578016256 3523282 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3559086 3523282 819 493 0 3552391 0
Current children cumulated CPU time: 1362.15 s
Current children cumulated vsize: 14236344 KiB
Current children cumulated memory: 14093128 KiB
[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 405
/proc/meminfo: memFree=16320396/32770624 swapFree=66921388/67108860
[pid=32638] ppid=32635 vsize=14837208 memory=14712196 CPUtime=1422.13 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 3575783 0 0 0 141652 561 0 0 20 0 1 0 435014543 15193300992 3678049 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3709302 3678049 819 493 0 3702607 0
Current children cumulated CPU time: 1422.13 s
Current children cumulated vsize: 14837208 KiB
Current children cumulated memory: 14712196 KiB
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/201 411
/proc/meminfo: memFree=15697364/32770624 swapFree=66921388/67108860
[pid=32638] ppid=32635 vsize=15438072 memory=15333516 CPUtime=1482.12 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 3726273 0 0 0 147618 594 0 0 20 0 1 0 435014543 15808585728 3833379 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3859518 3833379 819 493 0 3852823 0
Current children cumulated CPU time: 1482.12 s
Current children cumulated vsize: 15438072 KiB
Current children cumulated memory: 15333516 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1525.7 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 415
/proc/meminfo: memFree=15251900/32770624 swapFree=66921388/67108860
[pid=32638] ppid=32635 vsize=15872352 memory=15782328 CPUtime=1525.51 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 4202496 3835047 0 0 0 151933 618 0 0 20 0 1 0 435014543 16253288448 3945582 33554432000 4194304 6211092 140733275050240 140733275023800 140626330196965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3968088 3945582 819 493 0 3961393 0
Current children cumulated CPU time: 1525.51 s
Current children cumulated vsize: 15872352 KiB
Current children cumulated memory: 15782328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1528.46 s]
# the end of solver process 32638 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1519.63 s, system=6.97574 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1526.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/202 416
/proc/meminfo: memFree=15081284/32770624 swapFree=66921388/67108860
[pid=32638] ppid=32635 vsize=15872352 memory=15782328 CPUtime=1525.63 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 512 3835052 0 0 0 151944 619 0 0 20 0 1 0 435014543 16253288448 3945582 33554432000 4194304 6211092 140733275050240 140733275023800 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3968088 3945582 819 493 0 3961393 0
Current children cumulated CPU time: 1525.63 s
Current children cumulated vsize: 15872352 KiB
Current children cumulated memory: 15782328 KiB
[startup+1527.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 416
/proc/meminfo: memFree=14509088/32770624 swapFree=66921388/67108860
[pid=32638] ppid=32635 vsize=15872352 memory=15782328 CPUtime=1525.76 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) R 32635 32638 29157 0 -1 512 3835052 0 0 0 151955 621 0 0 20 0 1 0 435014543 16253288448 3945582 33554432000 4194304 6211092 140733275050240 140733275023800 5189768 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3968088 3945582 819 493 0 3961393 0
Current children cumulated CPU time: 1525.76 s
Current children cumulated vsize: 15872352 KiB
Current children cumulated memory: 15782328 KiB
[startup+1527.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 416
/proc/meminfo: memFree=14509088/32770624 swapFree=66921388/67108860
[pid=32638] ppid=32635 vsize=15872352 memory=15782328 CPUtime=1525.83 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) S 32635 32638 29157 0 -1 512 3835052 0 0 0 151962 621 0 0 20 0 1 0 435014543 16253288448 3945582 33554432000 4194304 6211092 140733275050240 140733275023800 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3968088 3945582 819 493 0 3961393 0
Current children cumulated CPU time: 1525.83 s
Current children cumulated vsize: 15872352 KiB
Current children cumulated memory: 15782328 KiB
[startup+1527.7 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 416
/proc/meminfo: memFree=14509088/32770624 swapFree=66921388/67108860
[pid=32638] ppid=32635 vsize=15872352 memory=15782328 CPUtime=1525.84 cores=1,3,5,7
/proc/32638/stat : 32638 (cosoco) S 32635 32638 29157 0 -1 512 3835052 0 0 0 151963 621 0 0 20 0 1 0 435014543 16253288448 3945582 33554432000 4194304 6211092 140733275050240 140733275023800 5189768 0 16384 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25681920 140733275055115 140733275055217 140733275055217 140733275058126 0
/proc/32638/statm: 3968088 3945582 819 493 0 3961393 0
Current children cumulated CPU time: 1525.84 s
Current children cumulated vsize: 15872352 KiB
Current children cumulated memory: 15782328 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1528.46
CPU time (s): 1526.61
CPU user time (s): 1519.63
CPU system time (s): 6.97574
CPU usage (%): 99.8788
Max. virtual memory (cumulated for all children) (KiB): 15872352
Max. memory (cumulated for all children) (KiB): 15782328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1519.63
system time used= 6.97574
maximum resident set size= 15782352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3835052
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= 139013
involuntary context switches= 1908
# summary of solver processes directly reported to runsolver:
# pid: 32638
# total CPU time (s): 1526.61
# total CPU user time (s): 1519.63
# total CPU system time (s): 6.97574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49839 second user time and 11.3421 second system time
The end