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 (14486 MiB free)
memory of node 1: 16384 MiB (13221 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409158-1569792617/watcher-4409158-1569792617 -o /tmp/evaluation-result-4409158-1569792617/solver-4409158-1569792617 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1569787351-8455 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409158-1569792617.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=9473, runsolver pid=9470
Current StackSize limit: 8192 KiB
[startup+0.100196 s]*
/proc/loadavg: 2.01 2.01 2.01 3/199 9474
/proc/meminfo: memFree=28368724/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=30536 memory=6824 CPUtime=0.1 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 1934 0 0 0 10 0 0 0 20 0 1 0 555201677 31268864 1706 33554432000 4194304 6211132 140726846759536 140726846756072 139626465536997 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 7634 1706 846 493 0 939 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30536 KiB
Current children cumulated memory: 6824 KiB
[startup+0.209691 s]*
/proc/loadavg: 2.01 2.01 2.01 3/199 9474
/proc/meminfo: memFree=28367236/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=31328 memory=7880 CPUtime=0.21 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 2138 0 0 0 21 0 0 0 20 0 1 0 555201677 32079872 1970 33554432000 4194304 6211132 140726846759536 140726846618824 5446311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 7832 1970 846 493 0 1137 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31328 KiB
Current children cumulated memory: 7880 KiB
[startup+0.308981 s]*
/proc/loadavg: 2.01 2.01 2.01 3/199 9474
/proc/meminfo: memFree=28365748/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=31988 memory=8408 CPUtime=0.31 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 2325 0 0 0 31 0 0 0 20 0 1 0 555201677 32755712 2102 33554432000 4194304 6211132 140726846759536 140726846618824 139626465536997 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 7997 2102 846 493 0 1302 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31988 KiB
Current children cumulated memory: 8408 KiB
[startup+0.70034 s]
/proc/loadavg: 2.01 2.01 2.01 3/199 9474
/proc/meminfo: memFree=28362772/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=34892 memory=11312 CPUtime=0.69 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3044 0 0 0 69 0 0 0 20 0 1 0 555201677 35729408 2828 33554432000 4194304 6211132 140726846759536 140726846618824 139626475481944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 8723 2828 846 493 0 2028 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34892 KiB
Current children cumulated memory: 11312 KiB
[startup+1.50034 s]
/proc/loadavg: 2.01 2.01 2.01 3/200 9476
/proc/meminfo: memFree=28355200/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=40964 memory=17384 CPUtime=1.49 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 4544 0 0 0 149 0 0 0 20 0 1 0 555201677 41947136 4346 33554432000 4194304 6211132 140726846759536 140726846618824 5443128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 10241 4346 846 493 0 3546 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 17384 KiB
[startup+3.10952 s]
/proc/loadavg: 2.01 2.01 2.01 4/200 9476
/proc/meminfo: memFree=28326436/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=52996 memory=29296 CPUtime=3.09 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 7734 0 0 0 309 0 0 0 20 0 1 0 555201677 54267904 7324 33554432000 4194304 6211132 140726846759536 140726846618824 5013005 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 13249 7324 846 493 0 6554 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52996 KiB
Current children cumulated memory: 29296 KiB
[startup+6.30023 s]
/proc/loadavg: 2.01 2.01 2.01 3/199 9476
/proc/meminfo: memFree=28280728/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=76748 memory=53040 CPUtime=6.29 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 13852 0 0 0 627 2 0 0 20 0 1 0 555201677 78589952 13260 33554432000 4194304 6211132 140726846759536 140726846618824 5452278 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 19187 13260 846 493 0 12492 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 76748 KiB
Current children cumulated memory: 53040 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.01 3/199 9476
/proc/meminfo: memFree=28190828/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=124452 memory=100812 CPUtime=12.68 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 25940 0 0 0 1264 4 0 0 20 0 1 0 555201677 127438848 25203 33554432000 4194304 6211132 140726846759536 140726846618824 5012962 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 31113 25203 846 493 0 24418 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 124452 KiB
Current children cumulated memory: 100812 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.01 4/199 9476
/proc/meminfo: memFree=27993208/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=219644 memory=196024 CPUtime=25.48 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 50109 0 0 0 2541 7 0 0 20 0 1 0 555201677 224915456 49006 33554432000 4194304 6211132 140726846759536 140726846618824 139626466460674 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 54911 49006 846 493 0 48216 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 219644 KiB
Current children cumulated memory: 196024 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.01 4/200 9486
/proc/meminfo: memFree=27603744/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=410528 memory=386760 CPUtime=51.09 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 97930 0 0 0 5094 15 0 0 20 0 1 0 555201677 420380672 96690 33554432000 4194304 6211132 140726846759536 140726846618824 5443128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 102632 96690 846 493 0 95937 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 410528 KiB
Current children cumulated memory: 386760 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.01 4/200 9490
/proc/meminfo: memFree=26839792/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=792428 memory=767860 CPUtime=102.27 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 193370 0 0 0 10196 31 0 0 20 0 1 0 555201677 811446272 191965 33554432000 4194304 6211132 140726846759536 140726846618824 5443124 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 198107 191965 846 493 0 191412 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 792428 KiB
Current children cumulated memory: 767860 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.01 4/201 9495
/proc/meminfo: memFree=25936792/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=1239296 memory=1214284 CPUtime=162.25 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 305033 0 0 0 16179 46 0 0 20 0 1 0 555201677 1269039104 303571 33554432000 4194304 6211132 140726846759536 140726846618824 139626466460502 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 309824 303571 846 493 0 303129 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1239296 KiB
Current children cumulated memory: 1214284 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.01 4/201 9499
/proc/meminfo: memFree=25038564/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=1687376 memory=1661180 CPUtime=222.24 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 416711 0 0 0 22159 65 0 0 20 0 1 0 555201677 1727873024 415295 33554432000 4194304 6211132 140726846759536 140726846618824 139626466463150 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 421844 415295 846 493 0 415149 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 1687376 KiB
Current children cumulated memory: 1661180 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.01 4/201 9505
/proc/meminfo: memFree=24138276/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=2132348 memory=2107868 CPUtime=282.23 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 528428 0 0 0 28143 80 0 0 20 0 1 0 555201677 2183524352 526967 33554432000 4194304 6211132 140726846759536 140726846618824 5441138 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 533087 526967 846 493 0 526392 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2132348 KiB
Current children cumulated memory: 2107868 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.01 4/200 9509
/proc/meminfo: memFree=23234720/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=2582180 memory=2555760 CPUtime=342.21 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 639908 0 0 0 34125 96 0 0 20 0 1 0 555201677 2644152320 638940 33554432000 4194304 6211132 140726846759536 140726846618824 139626466463123 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 645545 638940 846 493 0 638850 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 2582180 KiB
Current children cumulated memory: 2555760 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.01 4/200 9513
/proc/meminfo: memFree=22333128/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=3027020 memory=3002820 CPUtime=402.19 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 751466 0 0 0 40104 115 0 0 20 0 1 0 555201677 3099668480 750705 33554432000 4194304 6211132 140726846759536 140726846618824 5446654 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 756755 750705 846 493 0 750060 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 3027020 KiB
Current children cumulated memory: 3002820 KiB
[startup+462.3 s]
/proc/loadavg: 1.97 2.00 2.01 3/199 9519
/proc/meminfo: memFree=21435308/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=3473708 memory=3450076 CPUtime=462.2 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 863809 0 0 0 46085 135 0 0 20 0 1 0 555201677 3557076992 862519 33554432000 4194304 6211132 140726846759536 140726846618824 5451539 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 868427 862519 846 493 0 861732 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 3473708 KiB
Current children cumulated memory: 3450076 KiB
################
# More data... #
################
Current children cumulated vsize: 11541596 KiB
Current children cumulated memory: 11517280 KiB
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.01 3/200 9636
/proc/meminfo: memFree=4304192/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=12009720 memory=11964600 CPUtime=1602.15 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3000607 0 0 0 159613 602 0 0 20 0 1 0 555201677 12297953280 2991150 33554432000 4194304 6211132 140726846759536 140726846618824 5443128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3002430 2991150 846 493 0 2995735 0
Current children cumulated CPU time: 1602.15 s
Current children cumulated vsize: 12009720 KiB
Current children cumulated memory: 11964600 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/200 9640
/proc/meminfo: memFree=3407932/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=12453636 memory=12408384 CPUtime=1662.13 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3112633 0 0 0 165582 631 0 0 20 0 1 0 555201677 12752523264 3102096 33554432000 4194304 6211132 140726846759536 140726846618824 5452274 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3113409 3102096 846 493 0 3106714 0
Current children cumulated CPU time: 1662.13 s
Current children cumulated vsize: 12453636 KiB
Current children cumulated memory: 12408384 KiB
[startup+1722.3 s]
/proc/loadavg: 1.90 1.97 2.00 3/200 9647
/proc/meminfo: memFree=2510628/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=12898212 memory=12855132 CPUtime=1722.12 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3224679 0 0 0 171550 662 0 0 20 0 1 0 555201677 13207769088 3213783 33554432000 4194304 6211132 140726846759536 140726846618824 139626466463181 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3224553 3213783 846 493 0 3217858 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 12898212 KiB
Current children cumulated memory: 12855132 KiB
[startup+1782.3 s]
/proc/loadavg: 1.96 1.98 2.00 3/199 9651
/proc/meminfo: memFree=1608388/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=13344240 memory=13303120 CPUtime=1782.12 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3337233 0 0 0 177519 693 0 0 20 0 1 0 555201677 13664501760 3325780 33554432000 4194304 6211132 140726846759536 140726846618824 139626466463143 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3336060 3325780 846 493 0 3329365 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 13344240 KiB
Current children cumulated memory: 13303120 KiB
[startup+1842.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/200 9663
/proc/meminfo: memFree=707240/32770624 swapFree=66976804/67108860
[pid=9473] ppid=9470 vsize=13790004 memory=13750972 CPUtime=1842.12 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3449573 0 0 0 183490 722 0 0 20 0 1 0 555201677 14120964096 3437743 33554432000 4194304 6211132 140726846759536 140726846618824 5455682 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3447501 3437743 846 493 0 3440806 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 13790004 KiB
Current children cumulated memory: 13750972 KiB
[startup+1902.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/200 9694
/proc/meminfo: memFree=199524/32770624 swapFree=66976588/67108860
[pid=9473] ppid=9470 vsize=14235504 memory=14198648 CPUtime=1902.13 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3561996 0 0 0 189456 757 0 0 20 0 1 0 555201677 14577156096 3549662 33554432000 4194304 6211132 140726846759536 140726846618824 139626465536997 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3558876 3549662 846 493 0 3552181 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 14235504 KiB
Current children cumulated memory: 14198648 KiB
[startup+1962.3 s]
/proc/loadavg: 2.16 2.04 2.02 3/201 9764
/proc/meminfo: memFree=15898104/32770624 swapFree=66976580/67108860
[pid=9473] ppid=9470 vsize=14681268 memory=14646320 CPUtime=1962.11 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3674018 0 0 0 195418 793 0 0 20 0 1 0 555201677 15033618432 3661580 33554432000 4194304 6211132 140726846759536 140726846618824 5451564 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3670317 3661580 846 493 0 3663622 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 14681268 KiB
Current children cumulated memory: 14646320 KiB
[startup+2022.3 s]
/proc/loadavg: 2.06 2.04 2.02 3/201 9768
/proc/meminfo: memFree=14775968/32770624 swapFree=66976580/67108860
[pid=9473] ppid=9470 vsize=15127692 memory=15094812 CPUtime=2022.09 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3785769 0 0 0 201383 826 0 0 20 0 1 0 555201677 15490756608 3773703 33554432000 4194304 6211132 140726846759536 140726846618824 5451553 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3781923 3773703 846 493 0 3775228 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 15127692 KiB
Current children cumulated memory: 15094812 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/201 9774
/proc/meminfo: memFree=13653140/32770624 swapFree=66976580/67108860
[pid=9473] ppid=9470 vsize=15573852 memory=15543124 CPUtime=2082.06 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3897410 0 0 0 207345 861 0 0 20 0 1 0 555201677 15947624448 3885781 33554432000 4194304 6211132 140726846759536 140726846618824 139626466460502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3893463 3885781 846 493 0 3886768 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 15573852 KiB
Current children cumulated memory: 15543124 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2122.5 s]
/proc/loadavg: 2.01 2.03 2.02 3/201 9778
/proc/meminfo: memFree=12905852/32770624 swapFree=66976580/67108860
[pid=9473] ppid=9470 vsize=15872700 memory=15843944 CPUtime=2122.24 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) R 9470 9473 8424 0 -1 4202496 3972197 0 0 0 211338 886 0 0 20 0 1 0 555201677 16253644800 3960986 33554432000 4194304 6211132 140726846759536 140726846618824 139626466457488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3968175 3960986 846 493 0 3961480 0
Current children cumulated CPU time: 2122.24 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15843944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2125.4 s]
# the end of solver process 9473 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2113.68 s, system=9.80639 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2123.2 s]
/proc/loadavg: 2.01 2.03 2.02 4/202 9779
/proc/meminfo: memFree=12636568/32770624 swapFree=66976580/67108860
[pid=9473] ppid=9470 vsize=15872700 memory=15843944 CPUtime=2122.35 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) S 9470 9473 8424 0 -1 512 3972201 0 0 0 211347 888 0 0 20 0 1 0 555201677 16253644800 3960986 33554432000 4194304 6211132 140726846759536 140726846618824 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3968175 3960986 846 493 0 3961480 0
Current children cumulated CPU time: 2122.35 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15843944 KiB
[startup+2124 s]*
/proc/loadavg: 2.01 2.03 2.02 3/202 9779
/proc/meminfo: memFree=12090596/32770624 swapFree=66976580/67108860
[pid=9473] ppid=9470 vsize=15872700 memory=15843944 CPUtime=2122.5 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) S 9470 9473 8424 0 -1 512 3972201 0 0 0 211361 889 0 0 20 0 1 0 555201677 16253644800 3960986 33554432000 4194304 6211132 140726846759536 140726846618824 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3968175 3960986 846 493 0 3961480 0
Current children cumulated CPU time: 2122.5 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15843944 KiB
[startup+2124.4 s]
/proc/loadavg: 2.01 2.03 2.02 3/202 9779
/proc/meminfo: memFree=12090596/32770624 swapFree=66976580/67108860
[pid=9473] ppid=9470 vsize=15872700 memory=15843944 CPUtime=2122.56 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) S 9470 9473 8424 0 -1 512 3972201 0 0 0 211366 890 0 0 20 0 1 0 555201677 16253644800 3960986 33554432000 4194304 6211132 140726846759536 140726846618824 5189800 0 16384 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3968175 3960986 846 493 0 3961480 0
Current children cumulated CPU time: 2122.56 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15843944 KiB
[startup+2124.5 s]
/proc/loadavg: 2.01 2.03 2.02 3/202 9779
/proc/meminfo: memFree=12090596/32770624 swapFree=66976580/67108860
[pid=9473] ppid=9470 vsize=15872700 memory=15843944 CPUtime=2122.59 cores=0,2,4,6
/proc/9473/stat : 9473 (cosoco) S 9470 9473 8424 0 -1 512 3972201 0 0 0 211368 891 0 0 20 0 1 0 555201677 16253644800 3960986 33554432000 4194304 6211132 140726846759536 140726846618824 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 12316672 140726846764043 140726846764145 140726846764145 140726846767054 0
/proc/9473/statm: 3968175 3960986 846 493 0 3961480 0
Current children cumulated CPU time: 2122.59 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15843944 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2125.4
CPU time (s): 2123.49
CPU user time (s): 2113.68
CPU system time (s): 9.80639
CPU usage (%): 99.9103
Max. virtual memory (cumulated for all children) (KiB): 15872700
Max. memory (cumulated for all children) (KiB): 15843944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2113.68
system time used= 9.80639
maximum resident set size= 15844040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3972201
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= 128631
involuntary context switches= 4988
# summary of solver processes directly reported to runsolver:
# pid: 9473
# total CPU time (s): 2123.49
# total CPU user time (s): 2113.68
# total CPU system time (s): 9.80639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59497 second user time and 15.8231 second system time
The end