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 (14638 MiB free)
memory of node 1: 16384 MiB (15120 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390415-1568355016/watcher-4390415-1568355016 -o /tmp/evaluation-result-4390415-1568355016/solver-4390415-1568355016 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568352566-23677 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390415-1568355016.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=24050, runsolver pid=24045
Current StackSize limit: 8192 KiB
[startup+0.100187 s]*
/proc/loadavg: 2.06 2.03 2.07 3/205 24068
/proc/meminfo: memFree=30460324/32770624 swapFree=67009048/67108860
[pid=24050] ppid=24045 vsize=38888 memory=15088 CPUtime=0.1 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 3979 0 0 0 10 0 0 0 20 0 1 0 411424366 39821312 3772 33554432000 4194304 6210612 140721014802272 140721014798280 140085981996160 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 9722 3772 809 493 0 3027 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38888 KiB
Current children cumulated memory: 15088 KiB
[startup+0.210355 s]*
/proc/loadavg: 2.06 2.03 2.07 3/205 24068
/proc/meminfo: memFree=30448196/32770624 swapFree=67009048/67108860
[pid=24050] ppid=24045 vsize=40596 memory=16868 CPUtime=0.2 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 4416 0 0 0 20 0 0 0 20 0 1 0 411424366 41570304 4217 33554432000 4194304 6210612 140721014802272 140721014798280 140085966859694 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 10149 4217 819 493 0 3454 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 16868 KiB
[startup+0.309611 s]*
/proc/loadavg: 2.06 2.03 2.07 3/205 24068
/proc/meminfo: memFree=30445592/32770624 swapFree=67009048/67108860
[pid=24050] ppid=24045 vsize=41712 memory=17924 CPUtime=0.3 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 4672 0 0 0 30 0 0 0 20 0 1 0 411424366 42713088 4481 33554432000 4194304 6210612 140721014802272 140721014798280 5442951 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/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.700343 s]
/proc/loadavg: 2.06 2.03 2.07 3/205 24068
/proc/meminfo: memFree=30441252/32770624 swapFree=67009048/67108860
[pid=24050] ppid=24045 vsize=45708 memory=21992 CPUtime=0.69 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 5662 0 0 0 69 0 0 0 20 0 1 0 411424366 46804992 5498 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50035 s]
/proc/loadavg: 2.06 2.03 2.07 3/205 24068
/proc/meminfo: memFree=30430836/32770624 swapFree=67009048/67108860
[pid=24050] ppid=24045 vsize=54076 memory=30052 CPUtime=1.49 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 7736 0 0 0 148 1 0 0 20 0 1 0 411424366 55373824 7513 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 13519 7513 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30052 KiB
[startup+3.10979 s]
/proc/loadavg: 2.06 2.03 2.07 3/205 24068
/proc/meminfo: memFree=30389668/32770624 swapFree=67009048/67108860
[pid=24050] ppid=24045 vsize=70892 memory=46804 CPUtime=3.1 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 12076 0 0 0 309 1 0 0 20 0 1 0 411424366 72593408 11701 33554432000 4194304 6210612 140721014802272 140721014775832 5442920 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 17723 11701 819 493 0 11028 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 46804 KiB
[startup+6.30033 s]
/proc/loadavg: 2.06 2.03 2.07 3/205 24068
/proc/meminfo: memFree=30326484/32770624 swapFree=67009048/67108860
[pid=24050] ppid=24045 vsize=104568 memory=79992 CPUtime=6.29 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 20512 0 0 0 627 2 0 0 20 0 1 0 411424366 107077632 19998 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 26142 19998 819 493 0 19447 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104568 KiB
Current children cumulated memory: 79992 KiB
[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 2.07 3/205 24069
/proc/meminfo: memFree=30202344/32770624 swapFree=67009048/67108860
[pid=24050] ppid=24045 vsize=170292 memory=146256 CPUtime=12.68 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 37259 0 0 0 1264 4 0 0 20 0 1 0 411424366 174379008 36564 33554432000 4194304 6210612 140721014802272 140721014775832 140085965929278 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 42573 36564 819 493 0 35878 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 170292 KiB
Current children cumulated memory: 146256 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 2.03 2.07 3/205 24071
/proc/meminfo: memFree=29931444/32770624 swapFree=67009048/67108860
[pid=24050] ppid=24045 vsize=304128 memory=278736 CPUtime=25.49 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 70246 0 0 0 2540 9 0 0 20 0 1 0 411424366 311427072 69684 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 76032 69684 819 493 0 69337 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304128 KiB
Current children cumulated memory: 278736 KiB
[startup+51.11 s]
/proc/loadavg: 2.10 2.04 2.07 3/205 24076
/proc/meminfo: memFree=29388120/32770624 swapFree=67009052/67108860
[pid=24050] ppid=24045 vsize=573548 memory=545456 CPUtime=51.09 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 135556 0 0 0 5092 17 0 0 20 0 1 0 411424366 587313152 136364 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 143387 136364 819 493 0 136692 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 573548 KiB
Current children cumulated memory: 545456 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.07 3/205 24080
/proc/meminfo: memFree=28329488/32770624 swapFree=67009052/67108860
[pid=24050] ppid=24045 vsize=1117536 memory=1077844 CPUtime=102.26 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 265599 0 0 0 10193 33 0 0 20 0 1 0 411424366 1144356864 269461 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 279384 269461 819 493 0 272689 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1117536 KiB
Current children cumulated memory: 1077844 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.07 3/205 24086
/proc/meminfo: memFree=27078876/32770624 swapFree=67009052/67108860
[pid=24050] ppid=24045 vsize=1747756 memory=1704760 CPUtime=162.23 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 417725 0 0 0 16169 54 0 0 20 0 1 0 411424366 1789702144 426190 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 436939 426190 819 493 0 430244 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 1747756 KiB
Current children cumulated memory: 1704760 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/204 24090
/proc/meminfo: memFree=25830604/32770624 swapFree=67009052/67108860
[pid=24050] ppid=24045 vsize=2353372 memory=2328772 CPUtime=222.21 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 569134 0 0 0 22149 72 0 0 20 0 1 0 411424366 2409852928 582193 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 588343 582193 819 493 0 581648 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 2353372 KiB
Current children cumulated memory: 2328772 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/204 24094
/proc/meminfo: memFree=24582992/32770624 swapFree=67009052/67108860
[pid=24050] ppid=24045 vsize=2996032 memory=2955004 CPUtime=282.19 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 721139 0 0 0 28129 90 0 0 20 0 1 0 411424366 3067936768 738751 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 749008 738751 819 493 0 742313 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 2996032 KiB
Current children cumulated memory: 2955004 KiB
[startup+342.3 s]
/proc/loadavg: 2.54 2.19 2.11 3/204 24100
/proc/meminfo: memFree=23336896/32770624 swapFree=67009052/67108860
[pid=24050] ppid=24045 vsize=3657012 memory=3578448 CPUtime=342.17 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 873005 0 0 0 34110 107 0 0 20 0 1 0 411424366 3744780288 894612 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 914253 894612 819 493 0 907558 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 3657012 KiB
Current children cumulated memory: 3578448 KiB
[startup+402.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/205 24105
/proc/meminfo: memFree=22085564/32770624 swapFree=67009052/67108860
[pid=24050] ppid=24045 vsize=4262628 memory=4205408 CPUtime=402.15 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 1024693 0 0 0 40089 126 0 0 20 0 1 0 411424366 4364931072 1051352 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 1065657 1051352 819 493 0 1058962 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 4262628 KiB
Current children cumulated memory: 4205408 KiB
[startup+462.3 s]
/proc/loadavg: 2.07 2.13 2.10 3/205 24109
/proc/meminfo: memFree=20839212/32770624 swapFree=67009052/67108860
[pid=24050] ppid=24045 vsize=4868112 memory=4829060 CPUtime=462.13 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 1176213 0 0 0 46068 145 0 0 20 0 1 0 411424366 4984946688 1207265 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 1217028 1207265 819 493 0 1210333 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 4868112 KiB
Current children cumulated memory: 4829060 KiB
################
# More data... #
################
Current children cumulated vsize: 9916560 KiB
Current children cumulated memory: 9826864 KiB
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/205 24159
/proc/meminfo: memFree=9613900/32770624 swapFree=67009056/67108860
[pid=24050] ppid=24045 vsize=10521384 memory=10450100 CPUtime=1001.97 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 2540376 0 0 0 99834 363 0 0 20 0 1 0 411424366 10773897216 2612525 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 2630346 2612525 819 493 0 2623651 0
Current children cumulated CPU time: 1001.97 s
Current children cumulated vsize: 10521384 KiB
Current children cumulated memory: 10450100 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/204 24165
/proc/meminfo: memFree=8366948/32770624 swapFree=67009056/67108860
[pid=24050] ppid=24045 vsize=11126076 memory=11075536 CPUtime=1061.95 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 2691799 0 0 0 105803 392 0 0 20 0 1 0 411424366 11393101824 2768884 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 2781519 2768884 819 493 0 2774824 0
Current children cumulated CPU time: 1061.95 s
Current children cumulated vsize: 11126076 KiB
Current children cumulated memory: 11075536 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 24171
/proc/meminfo: memFree=7120320/32770624 swapFree=67009056/67108860
[pid=24050] ppid=24045 vsize=11730768 memory=11698608 CPUtime=1121.93 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 2843262 0 0 0 111772 421 0 0 20 0 1 0 411424366 12012306432 2924652 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 2932692 2924652 819 493 0 2925997 0
Current children cumulated CPU time: 1121.93 s
Current children cumulated vsize: 11730768 KiB
Current children cumulated memory: 11698608 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 24175
/proc/meminfo: memFree=5873292/32770624 swapFree=67009056/67108860
[pid=24050] ppid=24045 vsize=12522184 memory=12323056 CPUtime=1181.91 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 2995041 0 0 0 117743 448 0 0 20 0 1 0 411424366 12822716416 3080764 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3130546 3080764 819 493 0 3123851 0
Current children cumulated CPU time: 1181.91 s
Current children cumulated vsize: 12522184 KiB
Current children cumulated memory: 12323056 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 24186
/proc/meminfo: memFree=4626800/32770624 swapFree=67009056/67108860
[pid=24050] ppid=24045 vsize=13126744 memory=12948072 CPUtime=1241.89 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 3146463 0 0 0 123713 476 0 0 20 0 1 0 411424366 13441785856 3237018 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3281686 3237018 819 493 0 3274991 0
Current children cumulated CPU time: 1241.89 s
Current children cumulated vsize: 13126744 KiB
Current children cumulated memory: 12948072 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 24190
/proc/meminfo: memFree=3381624/32770624 swapFree=67009056/67108860
[pid=24050] ppid=24045 vsize=13731304 memory=13571204 CPUtime=1301.87 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 3297842 0 0 0 129681 506 0 0 20 0 1 0 411424366 14060855296 3392801 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3432826 3392801 819 493 0 3426131 0
Current children cumulated CPU time: 1301.87 s
Current children cumulated vsize: 13731304 KiB
Current children cumulated memory: 13571204 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 24195
/proc/meminfo: memFree=2135760/32770624 swapFree=67009056/67108860
[pid=24050] ppid=24045 vsize=14335732 memory=14195956 CPUtime=1361.85 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 3449208 0 0 0 135646 539 0 0 20 0 1 0 411424366 14679789568 3548989 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3583933 3548989 819 493 0 3577238 0
Current children cumulated CPU time: 1361.85 s
Current children cumulated vsize: 14335732 KiB
Current children cumulated memory: 14195956 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 24202
/proc/meminfo: memFree=891400/32770624 swapFree=67009056/67108860
[pid=24050] ppid=24045 vsize=14940028 memory=14818768 CPUtime=1421.84 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 3600589 0 0 0 141615 569 0 0 20 0 1 0 411424366 15298588672 3704692 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3735007 3704692 819 493 0 3728312 0
Current children cumulated CPU time: 1421.84 s
Current children cumulated vsize: 14940028 KiB
Current children cumulated memory: 14818768 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 24206
/proc/meminfo: memFree=203160/32770624 swapFree=67009056/67108860
[pid=24050] ppid=24045 vsize=15543400 memory=15442416 CPUtime=1481.81 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 3751716 0 0 0 147574 607 0 0 20 0 1 0 411424366 15916441600 3860604 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3885850 3860604 819 493 0 3879155 0
Current children cumulated CPU time: 1481.81 s
Current children cumulated vsize: 15543400 KiB
Current children cumulated memory: 15442416 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1515 s]*
/proc/loadavg: 2.00 2.01 2.05 3/205 24210
/proc/meminfo: memFree=190144/32770624 swapFree=66906100/67108860
[pid=24050] ppid=24045 vsize=15872608 memory=15780884 CPUtime=1514.52 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) R 24045 24050 22910 0 -1 4202496 3834127 0 0 0 150829 623 0 0 20 0 1 0 411424366 16253550592 3945221 33554432000 4194304 6210612 140721014802272 140721014775832 140085965933541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3968152 3945221 539 493 0 3961457 0
Current children cumulated CPU time: 1514.52 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15780884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1517.77 s]
# the end of solver process 24050 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1508.34 s, system=6.99517 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1515.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 24210
/proc/meminfo: memFree=190144/32770624 swapFree=66906100/67108860
[pid=24050] ppid=24045 vsize=15873136 memory=15781412 CPUtime=1514.56 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) S 24045 24050 22910 0 -1 512 3834247 0 2 0 150833 623 0 0 20 0 1 0 411424366 16254091264 3945353 33554432000 4194304 6210612 140721014802272 140721014775832 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 1 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3968284 3945353 539 493 0 3961589 0
Current children cumulated CPU time: 1514.56 s
Current children cumulated vsize: 15873136 KiB
Current children cumulated memory: 15781412 KiB
[startup+1516 s]*
/proc/loadavg: 2.00 2.01 2.05 2/206 24211
/proc/meminfo: memFree=181836/32770624 swapFree=66891900/67108860
[pid=24050] ppid=24045 vsize=15873136 memory=15781412 CPUtime=1514.56 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) S 24045 24050 22910 0 -1 512 3834247 0 2 0 150833 623 0 0 20 0 1 0 411424366 16254091264 3945353 33554432000 4194304 6210612 140721014802272 140721014775832 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 1 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3968284 3945353 539 493 0 3961589 0
Current children cumulated CPU time: 1514.56 s
Current children cumulated vsize: 15873136 KiB
Current children cumulated memory: 15781412 KiB
[startup+1516.8 s]
/proc/loadavg: 2.00 2.01 2.05 2/206 24211
/proc/meminfo: memFree=181836/32770624 swapFree=66891900/67108860
[pid=24050] ppid=24045 vsize=15873136 memory=15781412 CPUtime=1514.56 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) S 24045 24050 22910 0 -1 512 3834247 0 2 0 150833 623 0 0 20 0 1 0 411424366 16254091264 3945353 33554432000 4194304 6210612 140721014802272 140721014775832 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 1 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3968284 3945353 539 493 0 3961589 0
Current children cumulated CPU time: 1514.56 s
Current children cumulated vsize: 15873136 KiB
Current children cumulated memory: 15781412 KiB
[startup+1517 s]*
/proc/loadavg: 2.00 2.01 2.05 2/206 24211
/proc/meminfo: memFree=188440/32770624 swapFree=66891960/67108860
[pid=24050] ppid=24045 vsize=15873136 memory=15781412 CPUtime=1514.56 cores=0,2,4,6
/proc/24050/stat : 24050 (cosoco) S 24045 24050 22910 0 -1 512 3834247 0 2 0 150833 623 0 0 20 0 1 0 411424366 16254091264 3945353 33554432000 4194304 6210612 140721014802272 140721014775832 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 1 0 0 8308220 8313664 38608896 140721014805515 140721014805617 140721014805617 140721014808526 0
/proc/24050/statm: 3968284 3945353 539 493 0 3961589 0
Current children cumulated CPU time: 1514.56 s
Current children cumulated vsize: 15873136 KiB
Current children cumulated memory: 15781412 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1517.77
CPU time (s): 1515.33
CPU user time (s): 1508.34
CPU system time (s): 6.99517
CPU usage (%): 99.8392
Max. virtual memory (cumulated for all children) (KiB): 15873136
Max. memory (cumulated for all children) (KiB): 15781412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1508.34
system time used= 6.99517
maximum resident set size= 15781528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3834247
page faults= 2
swaps= 0
block input operations= 11024
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1225
involuntary context switches= 1214
# summary of solver processes directly reported to runsolver:
# pid: 24050
# total CPU time (s): 1515.33
# total CPU user time (s): 1508.34
# total CPU system time (s): 6.99517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96673 second user time and 10.5384 second system time
The end