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 (14283 MiB free)
memory of node 1: 16384 MiB (15107 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397146-1568576989/watcher-4397146-1568576989 -o /tmp/evaluation-result-4397146-1568576989/solver-4397146-1568576989 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568569089-22860 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397146-1568576989.xml
running on 4 cores: 1,3,5,7
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=23754, runsolver pid=23751
[startup+0.100862 s]*
/proc/loadavg: 2.12 2.06 1.99 3/199 23755
/proc/meminfo: memFree=30095404/32770624 swapFree=66938708/67108860
[pid=23754] ppid=23751 vsize=28724 memory=5008 CPUtime=0.1 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 1455 0 0 0 10 0 0 0 20 0 1 0 433957287 29413376 1252 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 7181 1252 845 493 0 486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28724 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209756 s]*
/proc/loadavg: 2.12 2.06 1.99 3/199 23755
/proc/meminfo: memFree=30093940/32770624 swapFree=66938708/67108860
[pid=23754] ppid=23751 vsize=30140 memory=6328 CPUtime=0.2 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 1810 0 0 0 20 0 0 0 20 0 1 0 433957287 30863360 1582 33554432000 4194304 6211092 140729025487648 140729025469816 5452223 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 7535 1582 846 493 0 840 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30140 KiB
Current children cumulated memory: 6328 KiB
[startup+0.309691 s]*
/proc/loadavg: 2.12 2.06 1.99 3/199 23755
/proc/meminfo: memFree=30092824/32770624 swapFree=66938708/67108860
[pid=23754] ppid=23751 vsize=31280 memory=7716 CPUtime=0.3 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 2092 0 0 0 30 0 0 0 20 0 1 0 433957287 32030720 1929 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 7820 1929 846 493 0 1125 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7716 KiB
[startup+0.700365 s]
/proc/loadavg: 2.12 2.06 1.99 3/199 23755
/proc/meminfo: memFree=30090220/32770624 swapFree=66938708/67108860
[pid=23754] ppid=23751 vsize=35892 memory=12200 CPUtime=0.69 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 3253 0 0 0 69 0 0 0 20 0 1 0 433957287 36753408 3050 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 8973 3050 846 493 0 2278 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35892 KiB
Current children cumulated memory: 12200 KiB
[startup+1.50036 s]
/proc/loadavg: 2.12 2.06 1.99 3/199 23755
/proc/meminfo: memFree=30083928/32770624 swapFree=66938708/67108860
[pid=23754] ppid=23751 vsize=45608 memory=22128 CPUtime=1.48 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 5695 0 0 0 148 0 0 0 20 0 1 0 433957287 46702592 5532 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 11402 5532 846 493 0 4707 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45608 KiB
Current children cumulated memory: 22128 KiB
[startup+11.1253 s]
/proc/loadavg: 2.12 2.06 1.99 3/199 23755
/proc/meminfo: memFree=30083928/32770624 swapFree=66938708/67108860
[pid=23754] ppid=23751 vsize=163436 memory=139356 CPUtime=11.11 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 35197 0 0 0 1107 4 0 0 20 0 1 0 433957287 167358464 34839 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 40859 34839 846 493 0 34164 0
Current children cumulated CPU time: 11.11 s
Current children cumulated vsize: 163436 KiB
Current children cumulated memory: 139356 KiB
[startup+11.2004 s]
/proc/loadavg: 2.12 2.06 1.99 3/199 23755
/proc/meminfo: memFree=30083928/32770624 swapFree=66938708/67108860
[pid=23754] ppid=23751 vsize=164264 memory=140412 CPUtime=11.18 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 35426 0 0 0 1114 4 0 0 20 0 1 0 433957287 168206336 35103 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 41066 35103 846 493 0 34371 0
Current children cumulated CPU time: 11.18 s
Current children cumulated vsize: 164264 KiB
Current children cumulated memory: 140412 KiB
[startup+12.7003 s]
/proc/loadavg: 2.72 2.19 2.03 4/199 23755
/proc/meminfo: memFree=29917528/32770624 swapFree=66938708/67108860
[pid=23754] ppid=23751 vsize=184928 memory=158644 CPUtime=12.68 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 39982 0 0 0 1264 4 0 0 20 0 1 0 433957287 189366272 39661 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 46232 39661 846 493 0 39537 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 184928 KiB
Current children cumulated memory: 158644 KiB
[startup+25.5003 s]*
/proc/loadavg: 2.77 2.23 2.05 4/198 23758
/proc/meminfo: memFree=30872988/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=338944 memory=314940 CPUtime=25.49 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 78132 0 0 0 2541 8 0 0 20 0 1 0 433957287 347078656 78735 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 84736 78735 846 493 0 78041 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 338944 KiB
Current children cumulated memory: 314940 KiB
[startup+51.1003 s]
/proc/loadavg: 2.64 2.24 2.05 4/198 23761
/proc/meminfo: memFree=30567608/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=655628 memory=629048 CPUtime=51.07 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 153636 0 0 0 5090 17 0 0 20 0 1 0 433957287 671363072 157262 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 163907 157262 846 493 0 157212 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 655628 KiB
Current children cumulated memory: 629048 KiB
[startup+102.3 s]
/proc/loadavg: 2.28 2.20 2.05 4/198 23765
/proc/meminfo: memFree=29942416/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=1293824 memory=1253056 CPUtime=102.27 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 304035 0 0 0 10191 36 0 0 20 0 1 0 433957287 1324875776 313264 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 323456 313264 846 493 0 316761 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1293824 KiB
Current children cumulated memory: 1253056 KiB
[startup+162.3 s]
/proc/loadavg: 2.10 2.17 2.05 4/198 23776
/proc/meminfo: memFree=29207668/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=2031536 memory=1986340 CPUtime=162.26 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 479695 0 0 0 16170 56 0 0 20 0 1 0 433957287 2080292864 496585 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 507884 496585 846 493 0 501189 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2031536 KiB
Current children cumulated memory: 1986340 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.14 2.05 4/198 23782
/proc/meminfo: memFree=28474400/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=2787064 memory=2719376 CPUtime=222.25 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 655321 0 0 0 22147 78 0 0 20 0 1 0 433957287 2853953536 679844 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 696766 679844 846 493 0 690071 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2787064 KiB
Current children cumulated memory: 2719376 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.11 2.05 4/198 23786
/proc/meminfo: memFree=27739888/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=3487840 memory=3452032 CPUtime=282.24 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 830385 0 0 0 28125 99 0 0 20 0 1 0 433957287 3571548160 863008 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 871960 863008 846 493 0 865265 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 3487840 KiB
Current children cumulated memory: 3452032 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.09 2.05 4/198 23790
/proc/meminfo: memFree=27007744/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=4269824 memory=4183416 CPUtime=342.22 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 1005708 0 0 0 34101 121 0 0 20 0 1 0 433957287 4372299776 1045854 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 1067456 1045854 846 493 0 1060761 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 4269824 KiB
Current children cumulated memory: 4183416 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.07 2.05 4/198 23796
/proc/meminfo: memFree=26273548/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=4970660 memory=4915624 CPUtime=402.21 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 1180678 0 0 0 40078 143 0 0 20 0 1 0 433957287 5089955840 1228906 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 1242665 1228906 846 493 0 1235970 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 4970660 KiB
Current children cumulated memory: 4915624 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.05 4/198 23801
/proc/meminfo: memFree=25539432/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=5793904 memory=5647992 CPUtime=462.2 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 1356232 0 0 0 46053 167 0 0 20 0 1 0 433957287 5932957696 1411998 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 1448476 1411998 846 493 0 1441781 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 5793904 KiB
Current children cumulated memory: 5647992 KiB
################
# More data... #
################
Current children cumulated vsize: 7892512 KiB
Current children cumulated memory: 7842116 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/198 23819
/proc/meminfo: memFree=22608012/32770624 swapFree=66938712/67108860
[pid=23754] ppid=23751 vsize=8777516 memory=8573740 CPUtime=702.16 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 2056556 0 0 0 69945 271 0 0 20 0 1 0 433957287 8988176384 2143435 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 2194379 2143435 846 493 0 2187684 0
Current children cumulated CPU time: 702.16 s
Current children cumulated vsize: 8777516 KiB
Current children cumulated memory: 8573740 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/199 23833
/proc/meminfo: memFree=21871772/32770624 swapFree=66938720/67108860
[pid=23754] ppid=23751 vsize=9481052 memory=9308172 CPUtime=762.15 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 2231694 0 0 0 75916 299 0 0 20 0 1 0 433957287 9708597248 2327043 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 2370263 2327043 846 493 0 2363568 0
Current children cumulated CPU time: 762.15 s
Current children cumulated vsize: 9481052 KiB
Current children cumulated memory: 9308172 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/199 23859
/proc/meminfo: memFree=21141360/32770624 swapFree=66938732/67108860
[pid=23754] ppid=23751 vsize=10179332 memory=10037200 CPUtime=822.14 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 2406462 0 0 0 81885 329 0 0 20 0 1 0 433957287 10423635968 2509300 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 2544833 2509300 846 493 0 2538138 0
Current children cumulated CPU time: 822.14 s
Current children cumulated vsize: 10179332 KiB
Current children cumulated memory: 10037200 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 23863
/proc/meminfo: memFree=20407120/32770624 swapFree=66938732/67108860
[pid=23754] ppid=23751 vsize=10877744 memory=10770400 CPUtime=882.13 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 2581296 0 0 0 87855 358 0 0 20 0 1 0 433957287 11138809856 2692600 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 2719436 2692600 846 493 0 2712741 0
Current children cumulated CPU time: 882.13 s
Current children cumulated vsize: 10877744 KiB
Current children cumulated memory: 10770400 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 23869
/proc/meminfo: memFree=19674064/32770624 swapFree=66938732/67108860
[pid=23754] ppid=23751 vsize=11575892 memory=11501296 CPUtime=942.12 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 2756065 0 0 0 93823 389 0 0 20 0 1 0 433957287 11853713408 2875324 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 2893973 2875324 846 493 0 2887278 0
Current children cumulated CPU time: 942.12 s
Current children cumulated vsize: 11575892 KiB
Current children cumulated memory: 11501296 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 23873
/proc/meminfo: memFree=18942260/32770624 swapFree=66938732/67108860
[pid=23754] ppid=23751 vsize=12273644 memory=12231928 CPUtime=1002.11 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 2930778 0 0 0 99788 423 0 0 20 0 1 0 433957287 12568211456 3057982 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 3068411 3057982 846 493 0 3061716 0
Current children cumulated CPU time: 1002.11 s
Current children cumulated vsize: 12273644 KiB
Current children cumulated memory: 12231928 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 23877
/proc/meminfo: memFree=18211052/32770624 swapFree=66938732/67108860
[pid=23754] ppid=23751 vsize=13258836 memory=12963480 CPUtime=1062.09 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 3106195 0 0 0 105755 454 0 0 20 0 1 0 433957287 13577048064 3240870 33554432000 4194304 6211092 140729025487648 140729025469816 140418811185982 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 3314709 3240870 846 493 0 3308014 0
Current children cumulated CPU time: 1062.09 s
Current children cumulated vsize: 13258836 KiB
Current children cumulated memory: 12963480 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 23883
/proc/meminfo: memFree=17477176/32770624 swapFree=66938732/67108860
[pid=23754] ppid=23751 vsize=13956192 memory=13693892 CPUtime=1122.09 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 3280831 0 0 0 111723 486 0 0 20 0 1 0 433957287 14291140608 3423473 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 3489048 3423473 846 493 0 3482353 0
Current children cumulated CPU time: 1122.09 s
Current children cumulated vsize: 13956192 KiB
Current children cumulated memory: 13693892 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 23887
/proc/meminfo: memFree=16744904/32770624 swapFree=66938732/67108860
[pid=23754] ppid=23751 vsize=14654340 memory=14424796 CPUtime=1182.08 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 3455596 0 0 0 117689 519 0 0 20 0 1 0 433957287 15006044160 3606199 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 3663585 3606199 846 493 0 3656890 0
Current children cumulated CPU time: 1182.08 s
Current children cumulated vsize: 14654340 KiB
Current children cumulated memory: 14424796 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 23891
/proc/meminfo: memFree=16013024/32770624 swapFree=66938732/67108860
[pid=23754] ppid=23751 vsize=15351960 memory=15155164 CPUtime=1242.06 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 3630245 0 0 0 123656 550 0 0 20 0 1 0 433957287 15720407040 3788791 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 3837990 3788791 846 493 0 3831295 0
Current children cumulated CPU time: 1242.06 s
Current children cumulated vsize: 15351960 KiB
Current children cumulated memory: 15155164 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1287.1 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 23895
/proc/meminfo: memFree=15461500/32770624 swapFree=66938732/67108860
[pid=23754] ppid=23751 vsize=15872700 memory=15702432 CPUtime=1286.86 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 4202496 3760603 0 0 0 128109 577 0 0 20 0 1 0 433957287 16253644800 3925608 33554432000 4194304 6211092 140729025487648 140729025469816 140418811190245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 3968175 3925608 846 493 0 3961480 0
Current children cumulated CPU time: 1286.86 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15702432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1289.84 s]
# the end of solver process 23754 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1281.38 s, system=6.53291 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1287.9 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 23896
/proc/meminfo: memFree=15232828/32770624 swapFree=66938736/67108860
[pid=23754] ppid=23751 vsize=15872700 memory=15702432 CPUtime=1286.98 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) R 23751 23754 22828 0 -1 512 3760607 0 0 0 128120 578 0 0 20 0 1 0 433957287 16253644800 3925608 33554432000 4194304 6211092 140729025487648 140729025469816 5189768 0 16384 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 3968175 3925608 846 493 0 3961480 0
Current children cumulated CPU time: 1286.98 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15702432 KiB
[startup+1288.7 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 23896
/proc/meminfo: memFree=14707812/32770624 swapFree=66938736/67108860
[pid=23754] ppid=23751 vsize=15872700 memory=15702432 CPUtime=1287.11 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) S 23751 23754 22828 0 -1 512 3760607 0 0 0 128132 579 0 0 20 0 1 0 433957287 16253644800 3925608 33554432000 4194304 6211092 140729025487648 140729025469816 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 3968175 3925608 846 493 0 3961480 0
Current children cumulated CPU time: 1287.11 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15702432 KiB
[startup+1289.1 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 23896
/proc/meminfo: memFree=14707812/32770624 swapFree=66938736/67108860
[pid=23754] ppid=23751 vsize=15872700 memory=15702432 CPUtime=1287.17 cores=1,3,5,7
/proc/23754/stat : 23754 (cosoco) S 23751 23754 22828 0 -1 512 3760607 0 0 0 128138 579 0 0 20 0 1 0 433957287 16253644800 3925608 33554432000 4194304 6211092 140729025487648 140729025469816 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 25567232 140729025491979 140729025492081 140729025492081 140729025494990 0
/proc/23754/statm: 3968175 3925608 846 493 0 3961480 0
Current children cumulated CPU time: 1287.17 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15702432 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1289.84
CPU time (s): 1287.92
CPU user time (s): 1281.38
CPU system time (s): 6.53291
CPU usage (%): 99.8511
Max. virtual memory (cumulated for all children) (KiB): 15872700
Max. memory (cumulated for all children) (KiB): 15702432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1281.38
system time used= 6.5329
maximum resident set size= 15702572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3760607
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= 136370
involuntary context switches= 1621
# summary of solver processes directly reported to runsolver:
# pid: 23754
# total CPU time (s): 1287.92
# total CPU user time (s): 1281.38
# total CPU system time (s): 6.53291
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53441 second user time and 8.84109 second system time
The end