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 (15183 MiB free)
memory of node 1: 16384 MiB (15596 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408293-1569790239/watcher-4408293-1569790239 -o /tmp/evaluation-result-4408293-1569790239/solver-4408293-1569790239 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1569783667-9930 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408293-1569790239.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=10646, runsolver pid=10643
[startup+0.100532 s]*
/proc/loadavg: 2.00 2.00 1.90 3/198 10647
/proc/meminfo: memFree=31516632/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=28680 memory=5008 CPUtime=0.09 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 1453 0 0 0 9 0 0 0 20 0 1 0 555278909 29368320 1252 33554432000 4194304 6211132 140730560457472 140730560437720 5452274 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 7170 1252 845 493 0 475 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28680 KiB
Current children cumulated memory: 5008 KiB
[startup+0.20953 s]*
/proc/loadavg: 2.00 2.00 1.90 3/198 10647
/proc/meminfo: memFree=31516368/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=29768 memory=6064 CPUtime=0.2 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 1730 0 0 0 20 0 0 0 20 0 1 0 555278909 30482432 1516 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 7442 1516 846 493 0 747 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6064 KiB
[startup+0.308851 s]*
/proc/loadavg: 2.00 2.00 1.90 3/198 10647
/proc/meminfo: memFree=31515252/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=30864 memory=7120 CPUtime=0.3 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 1984 0 0 0 30 0 0 0 20 0 1 0 555278909 31604736 1780 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 7716 1780 846 493 0 1021 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30864 KiB
Current children cumulated memory: 7120 KiB
[startup+0.700248 s]
/proc/loadavg: 2.00 2.00 1.90 3/198 10647
/proc/meminfo: memFree=31513392/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=34768 memory=11072 CPUtime=0.68 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 2961 0 0 0 68 0 0 0 20 0 1 0 555278909 35602432 2768 33554432000 4194304 6211132 140730560457472 140730560437720 140485518224787 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 8692 2768 846 493 0 1997 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34768 KiB
Current children cumulated memory: 11072 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.90 3/198 10647
/proc/meminfo: memFree=31507772/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=43032 memory=19400 CPUtime=1.48 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 5012 0 0 0 148 0 0 0 20 0 1 0 555278909 44064768 4850 33554432000 4194304 6211132 140730560457472 140730560437720 5478738 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 10758 4850 846 493 0 4063 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43032 KiB
Current children cumulated memory: 19400 KiB
[startup+3.10966 s]
/proc/loadavg: 2.00 2.00 1.90 3/198 10647
/proc/meminfo: memFree=31487188/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=59808 memory=35804 CPUtime=3.09 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 9183 0 0 0 308 1 0 0 20 0 1 0 555278909 61243392 8951 33554432000 4194304 6211132 140730560457472 140730560437720 5446280 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 14952 8951 846 493 0 8257 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59808 KiB
Current children cumulated memory: 35804 KiB
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.90 3/198 10647
/proc/meminfo: memFree=31455880/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=93360 memory=68420 CPUtime=6.29 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 17388 0 0 0 626 3 0 0 20 0 1 0 555278909 95600640 17105 33554432000 4194304 6211132 140730560457472 140730560437720 140485518224832 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 23340 17105 846 493 0 16645 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 93360 KiB
Current children cumulated memory: 68420 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.90 3/198 10648
/proc/meminfo: memFree=31394752/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=158088 memory=133920 CPUtime=12.68 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 33828 0 0 0 1264 4 0 0 20 0 1 0 555278909 161882112 33480 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 39522 33480 846 493 0 32827 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 158088 KiB
Current children cumulated memory: 133920 KiB
[startup+25.5003 s]
/proc/loadavg: 1.92 1.98 1.90 3/198 10648
/proc/meminfo: memFree=31260884/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=291860 memory=265968 CPUtime=25.48 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 66439 0 0 0 2539 9 0 0 20 0 1 0 555278909 298864640 66492 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 72965 66492 846 493 0 66270 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 291860 KiB
Current children cumulated memory: 265968 KiB
[startup+51.1096 s]
/proc/loadavg: 1.95 1.98 1.90 3/198 10650
/proc/meminfo: memFree=30994044/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=561284 memory=528744 CPUtime=51.08 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 130140 0 0 0 5090 18 0 0 20 0 1 0 555278909 574754816 132186 33554432000 4194304 6211132 140730560457472 140730560437720 5440648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 140321 132186 846 493 0 133626 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 561284 KiB
Current children cumulated memory: 528744 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.91 3/198 10661
/proc/meminfo: memFree=30467168/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=1079444 memory=1055172 CPUtime=102.25 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 256218 0 0 0 10192 33 0 0 20 0 1 0 555278909 1105350656 263793 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 269861 263793 846 493 0 263166 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1079444 KiB
Current children cumulated memory: 1055172 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/198 10665
/proc/meminfo: memFree=29851620/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=1728880 memory=1671856 CPUtime=162.23 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 404267 0 0 0 16174 49 0 0 20 0 1 0 555278909 1770373120 417964 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 432220 417964 846 493 0 425525 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 1728880 KiB
Current children cumulated memory: 1671856 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/198 10671
/proc/meminfo: memFree=29233008/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=2317264 memory=2286856 CPUtime=222.2 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 551381 0 0 0 22154 66 0 0 20 0 1 0 555278909 2372878336 571714 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 579316 571714 846 493 0 572621 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 2317264 KiB
Current children cumulated memory: 2286856 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/198 10675
/proc/meminfo: memFree=28616564/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=2958992 memory=2901884 CPUtime=282.17 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 698501 0 0 0 28134 83 0 0 20 0 1 0 555278909 3030007808 725471 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 739748 725471 846 493 0 733053 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 2958992 KiB
Current children cumulated memory: 2901884 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/198 10679
/proc/meminfo: memFree=28001776/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=3547744 memory=3516988 CPUtime=342.15 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 845701 0 0 0 34117 98 0 0 20 0 1 0 555278909 3632889856 879247 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 886936 879247 846 493 0 880241 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 3547744 KiB
Current children cumulated memory: 3516988 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/198 10686
/proc/meminfo: memFree=27384428/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=4218848 memory=4133036 CPUtime=402.12 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 993164 0 0 0 40096 116 0 0 20 0 1 0 555278909 4320100352 1033259 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 1054712 1033259 846 493 0 1048017 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 4218848 KiB
Current children cumulated memory: 4133036 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/198 10690
/proc/meminfo: memFree=26765136/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=4807172 memory=4750184 CPUtime=462.11 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 1140401 0 0 0 46075 136 0 0 20 0 1 0 555278909 4922544128 1187546 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 1201793 1187546 846 493 0 1195098 0
Current children cumulated CPU time: 462.11 s
Current children cumulated vsize: 4807172 KiB
Current children cumulated memory: 4750184 KiB
################
# More data... #
################
Current children cumulated vsize: 9823476 KiB
Current children cumulated memory: 9674660 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 10763
/proc/meminfo: memFree=21212644/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=10410876 memory=10291056 CPUtime=1001.91 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 2465916 0 0 0 99873 318 0 0 20 0 1 0 555278909 10660737024 2572764 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 2602719 2572764 846 493 0 2596024 0
Current children cumulated CPU time: 1001.91 s
Current children cumulated vsize: 10410876 KiB
Current children cumulated memory: 10291056 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/198 10767
/proc/meminfo: memFree=20599548/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=10996428 memory=10903520 CPUtime=1061.88 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 2612640 0 0 0 105846 342 0 0 20 0 1 0 555278909 11260342272 2725880 33554432000 4194304 6211132 140730560457472 140730560437720 5443143 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 2749107 2725880 846 493 0 2742412 0
Current children cumulated CPU time: 1061.88 s
Current children cumulated vsize: 10996428 KiB
Current children cumulated memory: 10903520 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/198 10773
/proc/meminfo: memFree=19983112/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=11585724 memory=11520112 CPUtime=1121.86 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 2759867 0 0 0 111822 364 0 0 20 0 1 0 555278909 11863781376 2880028 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 2896431 2880028 846 493 0 2889736 0
Current children cumulated CPU time: 1121.86 s
Current children cumulated vsize: 11585724 KiB
Current children cumulated memory: 11520112 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/198 10777
/proc/meminfo: memFree=19367748/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=12172860 memory=12134676 CPUtime=1181.84 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 2907101 0 0 0 117796 388 0 0 20 0 1 0 555278909 12465008640 3033669 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3043215 3033669 846 493 0 3036520 0
Current children cumulated CPU time: 1181.84 s
Current children cumulated vsize: 12172860 KiB
Current children cumulated memory: 12134676 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/198 10781
/proc/meminfo: memFree=18751504/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=13040144 memory=12750552 CPUtime=1241.81 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 3054671 0 0 0 123767 414 0 0 20 0 1 0 555278909 13353107456 3187638 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3260036 3187638 846 493 0 3253341 0
Current children cumulated CPU time: 1241.81 s
Current children cumulated vsize: 13040144 KiB
Current children cumulated memory: 12750552 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 10795
/proc/meminfo: memFree=18132964/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=13627280 memory=13364324 CPUtime=1301.79 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 3201718 0 0 0 129737 442 0 0 20 0 1 0 555278909 13954334720 3341081 33554432000 4194304 6211132 140730560457472 140730560437720 140485517294398 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3406820 3341081 846 493 0 3400125 0
Current children cumulated CPU time: 1301.79 s
Current children cumulated vsize: 13627280 KiB
Current children cumulated memory: 13364324 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 10799
/proc/meminfo: memFree=17517088/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=14214416 memory=13980136 CPUtime=1361.76 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 3348793 0 0 0 135709 467 0 0 20 0 1 0 555278909 14555561984 3495034 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3553604 3495034 846 493 0 3546909 0
Current children cumulated CPU time: 1361.76 s
Current children cumulated vsize: 14214416 KiB
Current children cumulated memory: 13980136 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 10803
/proc/meminfo: memFree=16902080/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=14801288 memory=14593908 CPUtime=1421.74 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 3495846 0 0 0 141677 497 0 0 20 0 1 0 555278909 15156518912 3648477 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3700322 3648477 846 493 0 3693627 0
Current children cumulated CPU time: 1421.74 s
Current children cumulated vsize: 14801288 KiB
Current children cumulated memory: 14593908 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 10809
/proc/meminfo: memFree=16284176/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=15389084 memory=15210808 CPUtime=1481.71 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 3643205 0 0 0 147646 525 0 0 20 0 1 0 555278909 15758422016 3802702 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3847271 3802702 846 493 0 3840576 0
Current children cumulated CPU time: 1481.71 s
Current children cumulated vsize: 15389084 KiB
Current children cumulated memory: 15210808 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1531.7 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 10813
/proc/meminfo: memFree=15779836/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=15872600 memory=15716976 CPUtime=1531.09 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 4202496 3764316 0 0 0 152559 550 0 0 20 0 1 0 555278909 16253542400 3929244 33554432000 4194304 6211132 140730560457472 140730560437720 140485517298661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3968150 3929244 846 493 0 3961455 0
Current children cumulated CPU time: 1531.09 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1534.45 s]
# the end of solver process 10646 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1525.8 s, system=6.26962 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1532.8 s]
/proc/loadavg: 2.00 1.99 1.95 2/200 10814
/proc/meminfo: memFree=15768568/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=15872600 memory=15716976 CPUtime=1531.17 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) S 10643 10646 9899 0 -1 512 3764320 0 0 0 152567 550 0 0 20 0 1 0 555278909 16253542400 3929244 33554432000 4194304 6211132 140730560457472 140730560437720 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3968150 3929244 846 493 0 3961455 0
Current children cumulated CPU time: 1531.17 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716976 KiB
[startup+1533.2 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 10814
/proc/meminfo: memFree=15368280/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=15872600 memory=15716976 CPUtime=1531.24 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) R 10643 10646 9899 0 -1 512 3764320 0 0 0 152573 551 0 0 20 0 1 0 555278909 16253542400 3929244 33554432000 4194304 6211132 140730560457472 140730560437720 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3968150 3929244 846 493 0 3961455 0
Current children cumulated CPU time: 1531.24 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716976 KiB
[startup+1533.6 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 10814
/proc/meminfo: memFree=15368280/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=15872600 memory=15716976 CPUtime=1531.3 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) S 10643 10646 9899 0 -1 512 3764320 0 0 0 152578 552 0 0 20 0 1 0 555278909 16253542400 3929244 33554432000 4194304 6211132 140730560457472 140730560437720 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3968150 3929244 846 493 0 3961455 0
Current children cumulated CPU time: 1531.3 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716976 KiB
[startup+1533.7 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 10814
/proc/meminfo: memFree=15368280/32770624 swapFree=66954412/67108860
[pid=10646] ppid=10643 vsize=15872600 memory=15716976 CPUtime=1531.31 cores=0,2,4,6
/proc/10646/stat : 10646 (cosoco) S 10643 10646 9899 0 -1 512 3764320 0 0 0 152579 552 0 0 20 0 1 0 555278909 16253542400 3929244 33554432000 4194304 6211132 140730560457472 140730560437720 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 27729920 140730560463883 140730560463985 140730560463985 140730560466894 0
/proc/10646/statm: 3968150 3929244 846 493 0 3961455 0
Current children cumulated CPU time: 1531.31 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716976 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1534.45
CPU time (s): 1532.06
CPU user time (s): 1525.8
CPU system time (s): 6.26962
CPU usage (%): 99.8445
Max. virtual memory (cumulated for all children) (KiB): 15872600
Max. memory (cumulated for all children) (KiB): 15716976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1525.8
system time used= 6.26962
maximum resident set size= 15717080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3764320
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= 93850
involuntary context switches= 1804
# summary of solver processes directly reported to runsolver:
# pid: 10646
# total CPU time (s): 1532.06
# total CPU user time (s): 1525.8
# total CPU system time (s): 6.26962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59551 second user time and 10.6757 second system time
The end