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 (9439 MiB free)
memory of node 1: 16384 MiB (15448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397894-1568589786/watcher-4397894-1568589786 -o /tmp/evaluation-result-4397894-1568589786/solver-4397894-1568589786 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568572740-702 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397894-1568589786.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
Current StackSize limit: 8192 KiB
solver pid=4508, runsolver pid=4505
[startup+0.100118 s]*
/proc/loadavg: 2.05 2.03 2.05 3/200 4509
/proc/meminfo: memFree=25473780/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=39152 memory=15352 CPUtime=0.1 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 4007 0 0 0 10 0 0 0 20 0 1 0 435227230 40091648 3838 33554432000 4194304 6211092 140727640244176 140727640240712 139661318412675 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 9788 3838 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15352 KiB
[startup+0.209695 s]*
/proc/loadavg: 2.05 2.03 2.05 3/200 4509
/proc/meminfo: memFree=25471920/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=40728 memory=16868 CPUtime=0.2 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 4430 0 0 0 20 0 0 0 20 0 1 0 435227230 41705472 4217 33554432000 4194304 6211092 140727640244176 140727640240712 139661317626170 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 10182 4217 819 493 0 3487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16868 KiB
[startup+0.309003 s]*
/proc/loadavg: 2.05 2.03 2.05 3/200 4509
/proc/meminfo: memFree=25471176/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=41712 memory=17924 CPUtime=0.3 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 4680 0 0 0 30 0 0 0 20 0 1 0 435227230 42713088 4481 33554432000 4194304 6211092 140727640244176 140727640240712 139661317557221 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 10428 4481 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17924 KiB
[startup+0.700241 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 4509
/proc/meminfo: memFree=25469008/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=45708 memory=21988 CPUtime=0.69 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 5665 0 0 0 69 0 0 0 20 0 1 0 435227230 46804992 5497 33554432000 4194304 6211092 140727640244176 140727640217736 5443103 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 11427 5497 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21988 KiB
[startup+1.50024 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 4509
/proc/meminfo: memFree=25463552/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=54076 memory=30048 CPUtime=1.49 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 7730 0 0 0 148 1 0 0 20 0 1 0 435227230 55373824 7512 33554432000 4194304 6211092 140727640244176 140727640217736 5440620 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 13519 7512 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30048 KiB
[startup+3.10953 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 4509
/proc/meminfo: memFree=25443092/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=70892 memory=46800 CPUtime=3.1 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 12055 0 0 0 309 1 0 0 20 0 1 0 435227230 72593408 11700 33554432000 4194304 6211092 140727640244176 140727640217736 5446606 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 17723 11700 819 493 0 11028 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 46800 KiB
[startup+6.30022 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 4509
/proc/meminfo: memFree=25411720/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=104304 memory=79724 CPUtime=6.29 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 20450 0 0 0 627 2 0 0 20 0 1 0 435227230 106807296 19931 33554432000 4194304 6211092 140727640244176 140727640217736 5454183 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 26076 19931 819 493 0 19381 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104304 KiB
Current children cumulated memory: 79724 KiB
[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 4509
/proc/meminfo: memFree=25349704/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=169764 memory=145724 CPUtime=12.69 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 37132 0 0 0 1265 4 0 0 20 0 1 0 435227230 173838336 36431 33554432000 4194304 6211092 140727640244176 140727640217736 5446912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 42441 36431 819 493 0 35746 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 145724 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 4509
/proc/meminfo: memFree=25215032/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=303204 memory=277960 CPUtime=25.48 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 70525 0 0 0 2539 9 0 0 20 0 1 0 435227230 310480896 69490 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 75801 69490 819 493 0 69106 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 303204 KiB
Current children cumulated memory: 277960 KiB
[startup+51.1099 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 4512
/proc/meminfo: memFree=24942496/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=574076 memory=546252 CPUtime=51.08 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 136133 0 0 0 5091 17 0 0 20 0 1 0 435227230 587853824 136563 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 143519 136563 819 493 0 136824 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 574076 KiB
Current children cumulated memory: 546252 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 4516
/proc/meminfo: memFree=24410268/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=1118592 memory=1078896 CPUtime=102.26 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 266237 0 0 0 10193 33 0 0 20 0 1 0 435227230 1145438208 269724 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 279648 269724 819 493 0 272953 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1118592 KiB
Current children cumulated memory: 1078896 KiB
[startup+162.3 s]
/proc/loadavg: 2.45 2.12 2.08 3/199 4521
/proc/meminfo: memFree=23783044/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=1749076 memory=1706340 CPUtime=162.26 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 418521 0 0 0 16175 51 0 0 20 0 1 0 435227230 1791053824 426585 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 437269 426585 819 493 0 430574 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1749076 KiB
Current children cumulated memory: 1706340 KiB
[startup+222.3 s]
/proc/loadavg: 2.23 2.13 2.08 3/199 4527
/proc/meminfo: memFree=23154164/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=2355220 memory=2330880 CPUtime=222.25 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 570048 0 0 0 22154 71 0 0 20 0 1 0 435227230 2411745280 582720 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 588805 582720 819 493 0 582110 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2355220 KiB
Current children cumulated memory: 2330880 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/199 4531
/proc/meminfo: memFree=22529132/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=2998144 memory=2957644 CPUtime=282.25 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 722140 0 0 0 28132 93 0 0 20 0 1 0 435227230 3070099456 739411 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 749536 739411 819 493 0 742841 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2998144 KiB
Current children cumulated memory: 2957644 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/199 4536
/proc/meminfo: memFree=21902572/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=3659652 memory=3581100 CPUtime=342.23 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 874053 0 0 0 34111 112 0 0 20 0 1 0 435227230 3747483648 895275 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 914913 895275 819 493 0 908218 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 3659652 KiB
Current children cumulated memory: 3581100 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 4542
/proc/meminfo: memFree=21272844/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=4265664 memory=4208604 CPUtime=402.22 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 1025889 0 0 0 40089 133 0 0 20 0 1 0 435227230 4368039936 1052151 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 1066416 1052151 819 493 0 1059721 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 4265664 KiB
Current children cumulated memory: 4208604 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/200 4615
/proc/meminfo: memFree=20258116/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=4871676 memory=4833072 CPUtime=462.21 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 1177560 0 0 0 46067 154 0 0 20 0 1 0 435227230 4988596224 1208268 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 1217919 1208268 819 493 0 1211224 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 4871676 KiB
Current children cumulated memory: 4833072 KiB
################
# More data... #
################
Current children cumulated vsize: 9923820 KiB
Current children cumulated memory: 9834472 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4657
/proc/meminfo: memFree=9008068/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=10528380 memory=10457484 CPUtime=1002.14 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 2542489 0 0 0 99831 383 0 0 20 0 1 0 435227230 10781061120 2614371 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 2632095 2614371 819 493 0 2625400 0
Current children cumulated CPU time: 1002.14 s
Current children cumulated vsize: 10528380 KiB
Current children cumulated memory: 10457484 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4669
/proc/meminfo: memFree=7761824/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=11132676 memory=11082168 CPUtime=1062.14 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 2693782 0 0 0 105795 419 0 0 20 0 1 0 435227230 11399860224 2770542 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 2783169 2770542 819 493 0 2776474 0
Current children cumulated CPU time: 1062.14 s
Current children cumulated vsize: 11132676 KiB
Current children cumulated memory: 11082168 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4676
/proc/meminfo: memFree=6512084/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=11736972 memory=11704960 CPUtime=1122.13 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 2845108 0 0 0 111757 456 0 0 20 0 1 0 435227230 12018659328 2926240 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 2934243 2926240 819 493 0 2927548 0
Current children cumulated CPU time: 1122.13 s
Current children cumulated vsize: 11736972 KiB
Current children cumulated memory: 11704960 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4680
/proc/meminfo: memFree=5264356/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=12527860 memory=12328820 CPUtime=1182.13 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 2996734 0 0 0 117722 491 0 0 20 0 1 0 435227230 12828528640 3082205 33554432000 4194304 6211092 140727640244176 140727640217736 139661317552958 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3131965 3082205 819 493 0 3125270 0
Current children cumulated CPU time: 1182.13 s
Current children cumulated vsize: 12527860 KiB
Current children cumulated memory: 12328820 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4684
/proc/meminfo: memFree=4013892/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=13131892 memory=12953348 CPUtime=1242.12 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 3148023 0 0 0 123681 531 0 0 20 0 1 0 435227230 13447057408 3238337 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3282973 3238337 819 493 0 3276278 0
Current children cumulated CPU time: 1242.12 s
Current children cumulated vsize: 13131892 KiB
Current children cumulated memory: 12953348 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4690
/proc/meminfo: memFree=2768488/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=13735924 memory=13575832 CPUtime=1302.1 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 3299283 0 0 0 129642 568 0 0 20 0 1 0 435227230 14065586176 3393958 33554432000 4194304 6211092 140727640244176 140727640217736 5454188 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3433981 3393958 819 493 0 3427286 0
Current children cumulated CPU time: 1302.1 s
Current children cumulated vsize: 13735924 KiB
Current children cumulated memory: 13575832 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4694
/proc/meminfo: memFree=1519456/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=14339692 memory=14200096 CPUtime=1362.1 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 3450499 0 0 0 135603 607 0 0 20 0 1 0 435227230 14683844608 3550024 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3584923 3550024 819 493 0 3578228 0
Current children cumulated CPU time: 1362.1 s
Current children cumulated vsize: 14339692 KiB
Current children cumulated memory: 14200096 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4698
/proc/meminfo: memFree=274304/32770624 swapFree=67002448/67108860
[pid=4508] ppid=4505 vsize=14943592 memory=14822316 CPUtime=1422.09 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 3601710 0 0 0 141561 648 0 0 20 0 1 0 435227230 15302238208 3705579 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3735898 3705579 819 493 0 3729203 0
Current children cumulated CPU time: 1422.09 s
Current children cumulated vsize: 14943592 KiB
Current children cumulated memory: 14822316 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4704
/proc/meminfo: memFree=215032/32770624 swapFree=66715204/67108860
[pid=4508] ppid=4505 vsize=15547624 memory=15446752 CPUtime=1482.09 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 3755487 0 0 0 147528 681 0 0 20 0 1 0 435227230 15920766976 3861688 33554432000 4194304 6211092 140727640244176 140727640217736 5452215 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3886906 3861688 793 493 0 3880211 0
Current children cumulated CPU time: 1482.09 s
Current children cumulated vsize: 15547624 KiB
Current children cumulated memory: 15446752 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1514.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4705
/proc/meminfo: memFree=209060/32770624 swapFree=66302748/67108860
[pid=4508] ppid=4505 vsize=15872740 memory=15782224 CPUtime=1514.39 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 4202496 3838371 0 0 0 150742 697 0 0 20 0 1 0 435227230 16253685760 3945556 33554432000 4194304 6211092 140727640244176 140727640217736 139661317557221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3968185 3945556 793 493 0 3961490 0
Current children cumulated CPU time: 1514.39 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1517.36 s]
# the end of solver process 4508 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1507.59 s, system=7.76103 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1515.2 s]
/proc/loadavg: 2.00 2.01 2.05 2/200 4706
/proc/meminfo: memFree=186124/32770624 swapFree=66302752/67108860
[pid=4508] ppid=4505 vsize=15872740 memory=15782224 CPUtime=1514.39 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) S 4505 4508 671 0 -1 512 3838375 0 0 0 150742 697 0 0 20 0 1 0 435227230 16253685760 3945556 33554432000 4194304 6211092 140727640244176 140727640217736 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3968185 3945556 793 493 0 3961490 0
Current children cumulated CPU time: 1514.39 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782224 KiB
[startup+1516 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 4706
/proc/meminfo: memFree=203608/32770624 swapFree=66302756/67108860
[pid=4508] ppid=4505 vsize=15872740 memory=15782224 CPUtime=1514.5 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) R 4505 4508 671 0 -1 512 3838375 0 0 0 150752 698 0 0 20 0 1 0 435227230 16253685760 3945556 33554432000 4194304 6211092 140727640244176 140727640217736 5189768 0 16384 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3968185 3945556 793 493 0 3961490 0
Current children cumulated CPU time: 1514.5 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782224 KiB
[startup+1516.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4706
/proc/meminfo: memFree=203608/32770624 swapFree=66302756/67108860
[pid=4508] ppid=4505 vsize=15872740 memory=15782224 CPUtime=1514.55 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) S 4505 4508 671 0 -1 512 3838375 0 0 0 150756 699 0 0 20 0 1 0 435227230 16253685760 3945556 33554432000 4194304 6211092 140727640244176 140727640217736 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3968185 3945556 793 493 0 3961490 0
Current children cumulated CPU time: 1514.55 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782224 KiB
[startup+1516.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4706
/proc/meminfo: memFree=203608/32770624 swapFree=66302756/67108860
[pid=4508] ppid=4505 vsize=15872740 memory=15782224 CPUtime=1514.58 cores=0,2,4,6
/proc/4508/stat : 4508 (cosoco) S 4505 4508 671 0 -1 512 3838375 0 0 0 150758 700 0 0 20 0 1 0 435227230 16253685760 3945556 33554432000 4194304 6211092 140727640244176 140727640217736 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 8794112 140727640245259 140727640245361 140727640245361 140727640248270 0
/proc/4508/statm: 3968185 3945556 793 493 0 3961490 0
Current children cumulated CPU time: 1514.58 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782224 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1517.36
CPU time (s): 1515.35
CPU user time (s): 1507.59
CPU system time (s): 7.76103
CPU usage (%): 99.8673
Max. virtual memory (cumulated for all children) (KiB): 15872740
Max. memory (cumulated for all children) (KiB): 15782224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1507.59
system time used= 7.76103
maximum resident set size= 15782432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3838375
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= 81545
involuntary context switches= 1404
# summary of solver processes directly reported to runsolver:
# pid: 4508
# total CPU time (s): 1515.35
# total CPU user time (s): 1507.59
# total CPU system time (s): 7.76103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.49956 second user time and 10.5115 second system time
The end