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 (15115 MiB free)
memory of node 1: 16384 MiB (15293 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397014-1568575828/watcher-4397014-1568575828 -o /tmp/evaluation-result-4397014-1568575828/solver-4397014-1568575828 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568569089-22860 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397014-1568575828.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=23527, runsolver pid=23524
[startup+0.100152 s]*
/proc/loadavg: 2.00 2.01 1.95 3/198 23528
/proc/meminfo: memFree=31137808/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=28720 memory=5012 CPUtime=0.1 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 1462 0 0 0 10 0 0 0 20 0 1 0 433841095 29409280 1253 33554432000 4194304 6211092 140725573414464 140725573411000 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 7180 1253 846 493 0 485 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28720 KiB
Current children cumulated memory: 5012 KiB
[startup+0.209324 s]*
/proc/loadavg: 2.00 2.01 1.95 3/198 23528
/proc/meminfo: memFree=31136692/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=30248 memory=6616 CPUtime=0.21 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 1819 0 0 0 21 0 0 0 20 0 1 0 433841095 30973952 1654 33554432000 4194304 6211092 140725573414464 140725573411000 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 7562 1654 846 493 0 867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6616 KiB
[startup+0.308817 s]*
/proc/loadavg: 2.00 2.01 1.95 3/198 23528
/proc/meminfo: memFree=31135204/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=31628 memory=7684 CPUtime=0.31 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 2147 0 0 0 31 0 0 0 20 0 1 0 433841095 32387072 1921 33554432000 4194304 6211092 140725573414464 140725573411000 5454168 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 7907 1921 846 493 0 1212 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31628 KiB
Current children cumulated memory: 7684 KiB
[startup+0.700273 s]
/proc/loadavg: 2.00 2.01 1.95 3/198 23528
/proc/meminfo: memFree=31132600/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=36828 memory=12776 CPUtime=0.69 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 3407 0 0 0 69 0 0 0 20 0 1 0 433841095 37711872 3194 33554432000 4194304 6211092 140725573414464 140725573411000 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 9207 3194 846 493 0 2512 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36828 KiB
Current children cumulated memory: 12776 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 1.95 3/198 23528
/proc/meminfo: memFree=31125944/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=48064 memory=23432 CPUtime=1.49 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 6064 0 0 0 149 0 0 0 20 0 1 0 433841095 49217536 5858 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 12016 5858 846 493 0 5321 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48064 KiB
Current children cumulated memory: 23432 KiB
[startup+3.10927 s]
/proc/loadavg: 2.00 2.01 1.95 3/198 23528
/proc/meminfo: memFree=31099668/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=68752 memory=44716 CPUtime=3.1 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 11452 0 0 0 309 1 0 0 20 0 1 0 433841095 70402048 11179 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 17188 11179 846 493 0 10493 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 68752 KiB
Current children cumulated memory: 44716 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 1.95 3/198 23528
/proc/meminfo: memFree=31058812/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=112424 memory=87960 CPUtime=6.29 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 21779 0 0 0 627 2 0 0 20 0 1 0 433841095 115122176 21990 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 28106 21990 846 493 0 21411 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 112424 KiB
Current children cumulated memory: 87960 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.95 3/198 23528
/proc/meminfo: memFree=30980104/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=201584 memory=172224 CPUtime=12.69 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 42389 0 0 0 1265 4 0 0 20 0 1 0 433841095 206422016 43056 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 50396 43056 846 493 0 43701 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 201584 KiB
Current children cumulated memory: 172224 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23530
/proc/meminfo: memFree=30805940/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=382756 memory=342564 CPUtime=25.49 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 81910 0 0 0 2539 10 0 0 20 0 1 0 433841095 391942144 85641 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 95689 85641 846 493 0 88994 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 382756 KiB
Current children cumulated memory: 342564 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 1.95 3/198 23530
/proc/meminfo: memFree=30459576/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=715068 memory=683360 CPUtime=51.1 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 159466 0 0 0 5088 22 0 0 20 0 1 0 433841095 732229632 170840 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 178767 170840 846 493 0 172072 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 715068 KiB
Current children cumulated memory: 683360 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/199 23602
/proc/meminfo: memFree=29827924/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=1423424 memory=1364360 CPUtime=102.28 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 314398 0 0 0 10186 42 0 0 20 0 1 0 433841095 1457586176 341090 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 355856 341090 846 493 0 349161 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1423424 KiB
Current children cumulated memory: 1364360 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 1.97 3/200 23608
/proc/meminfo: memFree=29028236/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=2232516 memory=2164688 CPUtime=162.27 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 495566 0 0 0 16161 66 0 0 20 0 1 0 433841095 2286096384 541172 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 558129 541172 846 493 0 551434 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2232516 KiB
Current children cumulated memory: 2164688 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/199 23612
/proc/meminfo: memFree=28229212/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=3082456 memory=2959104 CPUtime=222.26 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 676371 0 0 0 22135 91 0 0 20 0 1 0 433841095 3156434944 739776 33554432000 4194304 6211092 140725573414464 140725573402392 5446648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 770614 739776 846 493 0 763919 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 3082456 KiB
Current children cumulated memory: 2959104 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/199 23616
/proc/meminfo: memFree=27428396/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=3800668 memory=3760040 CPUtime=282.24 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 856167 0 0 0 28108 116 0 0 20 0 1 0 433841095 3891884032 940010 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 950167 940010 846 493 0 943472 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 3800668 KiB
Current children cumulated memory: 3760040 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/200 23622
/proc/meminfo: memFree=26627648/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=4716540 memory=4557292 CPUtime=342.24 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 1036667 0 0 0 34080 144 0 0 20 0 1 0 433841095 4829736960 1139323 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 1179135 1139323 846 493 0 1172440 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 4716540 KiB
Current children cumulated memory: 4557292 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/198 23626
/proc/meminfo: memFree=25828228/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=5434620 memory=5355332 CPUtime=402.22 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 1216286 0 0 0 40056 166 0 0 20 0 1 0 433841095 5565050880 1338833 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 1358655 1338833 846 493 0 1351960 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 5434620 KiB
Current children cumulated memory: 5355332 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/198 23630
/proc/meminfo: memFree=25031348/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=6432716 memory=6150652 CPUtime=462.22 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 1396843 0 0 0 46029 193 0 0 20 0 1 0 433841095 6587101184 1537663 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 1608179 1537663 846 493 0 1601484 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 6432716 KiB
Current children cumulated memory: 6150652 KiB
################
# More data... #
################
Current children cumulated vsize: 7167068 KiB
Current children cumulated memory: 6950868 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/198 23640
/proc/meminfo: memFree=23432984/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=7884752 memory=7746216 CPUtime=582.19 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 1756067 0 0 0 57973 246 0 0 20 0 1 0 433841095 8073986048 1936554 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 1971188 1936554 846 493 0 1964493 0
Current children cumulated CPU time: 582.19 s
Current children cumulated vsize: 7884752 KiB
Current children cumulated memory: 7746216 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/198 23644
/proc/meminfo: memFree=22634596/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=8626776 memory=8543664 CPUtime=642.18 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 1936084 0 0 0 63942 276 0 0 20 0 1 0 433841095 8833818624 2135916 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 2156694 2135916 846 493 0 2149999 0
Current children cumulated CPU time: 642.18 s
Current children cumulated vsize: 8626776 KiB
Current children cumulated memory: 8543664 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 23657
/proc/meminfo: memFree=21834820/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=9764488 memory=9340500 CPUtime=702.17 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 2116001 0 0 0 69913 304 0 0 20 0 1 0 433841095 9998835712 2335125 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 2441122 2335125 846 493 0 2434427 0
Current children cumulated CPU time: 702.17 s
Current children cumulated vsize: 9764488 KiB
Current children cumulated memory: 9340500 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/198 23661
/proc/meminfo: memFree=21036852/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=10481776 memory=10137564 CPUtime=762.16 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 2295482 0 0 0 75881 335 0 0 20 0 1 0 433841095 10733338624 2534391 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 2620444 2534391 846 493 0 2613749 0
Current children cumulated CPU time: 762.16 s
Current children cumulated vsize: 10481776 KiB
Current children cumulated memory: 10137564 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/198 23665
/proc/meminfo: memFree=20239316/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=11199196 memory=10933860 CPUtime=822.15 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 2475228 0 0 0 81847 368 0 0 20 0 1 0 433841095 11467976704 2733465 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 2799799 2733465 846 493 0 2793104 0
Current children cumulated CPU time: 822.15 s
Current children cumulated vsize: 11199196 KiB
Current children cumulated memory: 10933860 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 23671
/proc/meminfo: memFree=19439416/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=11953396 memory=11732300 CPUtime=882.14 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 2655045 0 0 0 87820 394 0 0 20 0 1 0 433841095 12240277504 2933075 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 2988349 2933075 846 493 0 2981654 0
Current children cumulated CPU time: 882.14 s
Current children cumulated vsize: 11953396 KiB
Current children cumulated memory: 11732300 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/198 23675
/proc/meminfo: memFree=18641012/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=12670288 memory=12529096 CPUtime=942.13 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 2834411 0 0 0 93787 426 0 0 20 0 1 0 433841095 12974374912 3132274 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 3167572 3132274 846 493 0 3160877 0
Current children cumulated CPU time: 942.13 s
Current children cumulated vsize: 12670288 KiB
Current children cumulated memory: 12529096 KiB
[startup+1002.3 s]
/proc/loadavg: 2.10 2.04 1.98 3/198 23679
/proc/meminfo: memFree=17842220/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=13387312 memory=13325936 CPUtime=1002.12 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 3013887 0 0 0 99749 463 0 0 20 0 1 0 433841095 13708607488 3331484 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 3346828 3331484 846 493 0 3340133 0
Current children cumulated CPU time: 1002.12 s
Current children cumulated vsize: 13387312 KiB
Current children cumulated memory: 13325936 KiB
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/199 23685
/proc/meminfo: memFree=17046296/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=14734704 memory=14120644 CPUtime=1062.11 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 3193775 0 0 0 105713 498 0 0 20 0 1 0 433841095 15088336896 3530161 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 3683676 3530161 846 493 0 3676981 0
Current children cumulated CPU time: 1062.11 s
Current children cumulated vsize: 14734704 KiB
Current children cumulated memory: 14120644 KiB
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 1.98 3/198 23689
/proc/meminfo: memFree=16247776/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=15451464 memory=14917068 CPUtime=1122.09 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 3373150 0 0 0 111675 534 0 0 20 0 1 0 433841095 15822299136 3729267 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 3862866 3729267 846 493 0 3856171 0
Current children cumulated CPU time: 1122.09 s
Current children cumulated vsize: 15451464 KiB
Current children cumulated memory: 14917068 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1157.6 s]
/proc/loadavg: 2.05 2.04 1.98 3/198 23693
/proc/meminfo: memFree=15781600/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=15873072 memory=15385868 CPUtime=1157.39 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) R 23524 23527 22828 0 -1 4202496 3478673 0 0 0 115183 556 0 0 20 0 1 0 433841095 16254025728 3846467 33554432000 4194304 6211092 140725573414464 140725573402392 140381267082213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 3968268 3846467 846 493 0 3961573 0
Current children cumulated CPU time: 1157.39 s
Current children cumulated vsize: 15873072 KiB
Current children cumulated memory: 15385868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1160.31 s]
# the end of solver process 23527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1152.11 s, system=6.30002 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1158.4 s]
/proc/loadavg: 2.05 2.04 1.98 3/199 23694
/proc/meminfo: memFree=15551728/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=15873072 memory=15385868 CPUtime=1157.51 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) S 23524 23527 22828 0 -1 512 3478677 0 0 0 115193 558 0 0 20 0 1 0 433841095 16254025728 3846467 33554432000 4194304 6211092 140725573414464 140725573402392 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 3968268 3846467 846 493 0 3961573 0
Current children cumulated CPU time: 1157.51 s
Current children cumulated vsize: 15873072 KiB
Current children cumulated memory: 15385868 KiB
[startup+1159.2 s]
/proc/loadavg: 2.05 2.04 1.98 3/199 23694
/proc/meminfo: memFree=15006376/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=15873072 memory=15385868 CPUtime=1157.63 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) S 23524 23527 22828 0 -1 512 3478677 0 0 0 115205 558 0 0 20 0 1 0 433841095 16254025728 3846467 33554432000 4194304 6211092 140725573414464 140725573402392 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 3968268 3846467 846 493 0 3961573 0
Current children cumulated CPU time: 1157.63 s
Current children cumulated vsize: 15873072 KiB
Current children cumulated memory: 15385868 KiB
[startup+1159.6 s]
/proc/loadavg: 2.05 2.04 1.98 3/199 23694
/proc/meminfo: memFree=15006376/32770624 swapFree=66938708/67108860
[pid=23527] ppid=23524 vsize=15873072 memory=15385868 CPUtime=1157.7 cores=1,3,5,7
/proc/23527/stat : 23527 (cosoco) S 23524 23527 22828 0 -1 512 3478677 0 0 0 115211 559 0 0 20 0 1 0 433841095 16254025728 3846467 33554432000 4194304 6211092 140725573414464 140725573402392 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 33722368 140725573420043 140725573420145 140725573420145 140725573423054 0
/proc/23527/statm: 3968268 3846467 846 493 0 3961573 0
Current children cumulated CPU time: 1157.7 s
Current children cumulated vsize: 15873072 KiB
Current children cumulated memory: 15385868 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1160.31
CPU time (s): 1158.41
CPU user time (s): 1152.11
CPU system time (s): 6.30002
CPU usage (%): 99.8365
Max. virtual memory (cumulated for all children) (KiB): 15873072
Max. memory (cumulated for all children) (KiB): 15385868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1152.11
system time used= 6.30002
maximum resident set size= 15386044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3478677
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= 134954
involuntary context switches= 1448
# summary of solver processes directly reported to runsolver:
# pid: 23527
# total CPU time (s): 1158.41
# total CPU user time (s): 1152.11
# total CPU system time (s): 6.30002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.15722 second user time and 7.71684 second system time
The end