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 (15004 MiB free)
memory of node 1: 16384 MiB (15532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397410-1568583775/watcher-4397410-1568583775 -o /tmp/evaluation-result-4397410-1568583775/solver-4397410-1568583775 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568572726-19029 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397410-1568583775.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=21435, runsolver pid=21432
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 2.02 3/201 21436
/proc/meminfo: memFree=31258736/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=39268 memory=15496 CPUtime=0.1 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 4063 0 0 0 10 0 0 0 20 0 1 0 434630521 40210432 3874 33554432000 4194304 6211092 140726933406352 140726933402888 140152819092453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 9817 3874 809 493 0 3122 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 15496 KiB
[startup+0.209722 s]*
/proc/loadavg: 2.00 2.01 2.02 3/200 21436
/proc/meminfo: memFree=31241780/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=56856 memory=33184 CPUtime=0.21 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 8478 0 0 0 20 1 0 0 20 0 1 0 434630521 58220544 8296 33554432000 4194304 6211092 140726933406352 140726933402888 5812177 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 14214 8296 837 493 0 7519 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56856 KiB
Current children cumulated memory: 33184 KiB
[startup+0.309715 s]*
/proc/loadavg: 2.00 2.01 2.02 3/200 21436
/proc/meminfo: memFree=31205200/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=98744 memory=74968 CPUtime=0.31 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 18948 0 0 0 28 3 0 0 20 0 1 0 434630521 101113856 18742 33554432000 4194304 6211092 140726933406352 140726933402888 140152819140512 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 24686 18742 837 493 0 17991 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 98744 KiB
Current children cumulated memory: 74968 KiB
[startup+0.700418 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 21436
/proc/meminfo: memFree=31107832/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=282608 memory=258940 CPUtime=0.69 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 64901 0 0 0 60 9 0 0 20 0 1 0 434630521 289390592 64735 33554432000 4194304 6211092 140726933406352 140726933403624 140152819140512 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 70652 64735 837 493 0 63957 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 282608 KiB
Current children cumulated memory: 258940 KiB
[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 21436
/proc/meminfo: memFree=30794188/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=801952 memory=778240 CPUtime=1.49 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 194755 0 0 0 121 28 0 0 20 0 1 0 434630521 821198848 194494 33554432000 4194304 6211092 140726933406352 140726933398680 140152819092453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 200488 194560 837 493 0 193793 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 801952 KiB
Current children cumulated memory: 778240 KiB
[startup+3.10989 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 21436
/proc/meminfo: memFree=30170700/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1131568 memory=1107976 CPUtime=3.09 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 288459 0 0 0 270 39 0 0 20 0 1 0 434630521 1158725632 276994 33554432000 4194304 6211092 140726933406352 140726933403944 5185143 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 282892 276994 873 493 0 276197 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1131568 KiB
Current children cumulated memory: 1107976 KiB
[startup+6.30044 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 21436
/proc/meminfo: memFree=29784056/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1525168 memory=1496956 CPUtime=6.29 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 430815 0 0 0 571 58 0 0 20 0 1 0 434630521 1561772032 374239 33554432000 4194304 6211092 140726933406352 140726933403944 5155800 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 381292 374239 873 493 0 374597 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1525168 KiB
Current children cumulated memory: 1496956 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 21436
/proc/meminfo: memFree=29474648/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1853616 memory=1796776 CPUtime=12.69 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 617760 0 0 0 1196 73 0 0 20 0 1 0 434630521 1898102784 449194 33554432000 4194304 6211092 140726933406352 140726933403944 5157540 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 463404 449194 874 493 0 456709 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1853616 KiB
Current children cumulated memory: 1796776 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 21436
/proc/meminfo: memFree=29467992/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1803808 CPUtime=25.49 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 721443 0 0 0 2469 80 0 0 20 0 1 0 434630521 1908178944 450952 33554432000 4194304 6211092 140726933406352 140726933404312 5409424 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 450952 874 493 0 459169 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1803808 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 21439
/proc/meminfo: memFree=29467876/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1803832 CPUtime=51.09 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 791400 0 0 0 5024 85 0 0 20 0 1 0 434630521 1908178944 450958 33554432000 4194304 6211092 140726933406352 140726933404312 5193754 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 450958 874 493 0 459169 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1803832 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.03 3/200 21442
/proc/meminfo: memFree=29467408/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1803832 CPUtime=102.25 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 854043 0 0 0 10136 89 0 0 20 0 1 0 434630521 1908178944 450958 33554432000 4194304 6211092 140726933406352 140726933404312 5156460 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 450958 874 493 0 459169 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1803832 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.03 3/200 21446
/proc/meminfo: memFree=29466824/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1803836 CPUtime=162.24 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 905853 0 0 0 16131 93 0 0 20 0 1 0 434630521 1908178944 450959 33554432000 4194304 6211092 140726933406352 140726933404312 5193754 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 450959 874 493 0 459169 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1803836 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/199 21452
/proc/meminfo: memFree=29466368/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1803836 CPUtime=222.22 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 935942 0 0 0 22127 95 0 0 20 0 1 0 434630521 1908178944 450959 33554432000 4194304 6211092 140726933406352 140726933404312 5193754 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 450959 874 493 0 459169 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1803836 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 21456
/proc/meminfo: memFree=29466400/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1803836 CPUtime=282.2 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 971577 0 0 0 28123 97 0 0 20 0 1 0 434630521 1908178944 450959 33554432000 4194304 6211092 140726933406352 140726933404312 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 450959 874 493 0 459169 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1803836 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 21460
/proc/meminfo: memFree=29465976/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1803836 CPUtime=342.19 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1003293 0 0 0 34120 99 0 0 20 0 1 0 434630521 1908178944 450959 33554432000 4194304 6211092 140726933406352 140726933404312 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 450959 874 493 0 459169 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1803836 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 21466
/proc/meminfo: memFree=29465700/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1803836 CPUtime=402.18 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1024863 0 0 0 40117 101 0 0 20 0 1 0 434630521 1908178944 450959 33554432000 4194304 6211092 140726933406352 140726933404312 5250450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 450959 874 493 0 459169 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1803836 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 21470
/proc/meminfo: memFree=29465508/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1803836 CPUtime=462.16 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1048598 0 0 0 46113 103 0 0 20 0 1 0 434630521 1908178944 450959 33554432000 4194304 6211092 140726933406352 140726933404312 5250450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 450959 874 493 0 459169 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1803836 KiB
################
# More data... #
################
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 1662.1 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21696
/proc/meminfo: memFree=29386396/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=1722.1 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1199815 0 0 0 172097 113 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5250272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21700
/proc/meminfo: memFree=29386828/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=1782.09 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1200852 0 0 0 178096 113 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5155341 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21706
/proc/meminfo: memFree=29386952/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=1842.09 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1202379 0 0 0 184096 113 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5155804 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21710
/proc/meminfo: memFree=29387352/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=1902.09 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1203337 0 0 0 190096 113 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5156497 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21714
/proc/meminfo: memFree=29387408/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=1962.08 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1204983 0 0 0 196095 113 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5155487 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21720
/proc/meminfo: memFree=29387056/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=2022.09 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1205946 0 0 0 202095 114 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5155345 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21724
/proc/meminfo: memFree=29387392/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=2082.09 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1206883 0 0 0 208095 114 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5156256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21728
/proc/meminfo: memFree=29387352/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=2142.08 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1208493 0 0 0 214094 114 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21734
/proc/meminfo: memFree=29387320/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=2202.08 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1209373 0 0 0 220094 114 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5409449 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21738
/proc/meminfo: memFree=29386988/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=2262.08 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1210300 0 0 0 226094 114 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21750
/proc/meminfo: memFree=29385980/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=2322.08 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1211794 0 0 0 232094 114 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5409444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21756
/proc/meminfo: memFree=29386128/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=2382.07 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1212642 0 0 0 238093 114 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5155671 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21757
/proc/meminfo: memFree=29386636/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=2400.07 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1212869 0 0 0 239893 114 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5155348 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.31 s]
# the end of solver process 21435 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.94 s, system=1.15592 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21757
/proc/meminfo: memFree=29386636/32770624 swapFree=66997024/67108860
[pid=21435] ppid=21432 vsize=1863456 memory=1839076 CPUtime=2400.07 cores=0,2,4,6
/proc/21435/stat : 21435 (cosoco) R 21432 21435 18998 0 -1 4202496 1212869 0 0 0 239893 114 0 0 20 0 1 0 434630521 1908178944 459769 33554432000 4194304 6211092 140726933406352 140726933404312 5155348 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30240768 140726933414923 140726933415025 140726933415025 140726933417934 0
/proc/21435/statm: 465864 459769 874 493 0 459169 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 1863456 KiB
Current children cumulated memory: 1839076 KiB
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2398.94
CPU system time (s): 1.15592
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 1863456
Max. memory (cumulated for all children) (KiB): 1839076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.94
system time used= 1.15592
maximum resident set size= 1839144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1212921
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= 117
involuntary context switches= 1328
# summary of solver processes directly reported to runsolver:
# pid: 21435
# total CPU time (s): 2400.09
# total CPU user time (s): 2398.94
# total CPU system time (s): 1.15592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99735 second user time and 18.2714 second system time
The end