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 (10772 MiB free)
memory of node 1: 16384 MiB (13223 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397371-1568577892/watcher-4397371-1568577892 -o /tmp/evaluation-result-4397371-1568577892/solver-4397371-1568577892 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568572743-24739 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397371-1568577892.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=25660, runsolver pid=25657
[startup+0.100166 s]*
/proc/loadavg: 2.00 2.01 2.02 3/200 25661
/proc/meminfo: memFree=24414360/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=200016 memory=176080 CPUtime=0.1 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 44188 0 0 0 4 6 0 0 20 0 1 0 433726570 204816384 44020 33554432000 4194304 6211092 140725488011344 140725488007880 5231317 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 50004 44020 751 493 0 43309 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 200016 KiB
Current children cumulated memory: 176080 KiB
[startup+0.210167 s]*
/proc/loadavg: 2.00 2.01 2.02 3/200 25661
/proc/meminfo: memFree=24227636/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=386136 memory=361672 CPUtime=0.21 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 90568 0 0 0 10 11 0 0 20 0 1 0 433726570 395403264 90352 33554432000 4194304 6211092 140725488011344 140725488007880 5231237 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 96534 90352 751 493 0 89839 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 386136 KiB
Current children cumulated memory: 361672 KiB
[startup+0.309888 s]*
/proc/loadavg: 2.00 2.01 2.02 3/200 25661
/proc/meminfo: memFree=24057632/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=555624 memory=531424 CPUtime=0.31 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 133018 0 0 0 16 15 0 0 20 0 1 0 433726570 568958976 132856 33554432000 4194304 6211092 140725488011344 140725488007880 5231237 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 138906 132856 751 493 0 132211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 555624 KiB
Current children cumulated memory: 531424 KiB
[startup+0.700403 s]
/proc/loadavg: 2.00 2.01 2.02 4/200 25661
/proc/meminfo: memFree=23715764/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=1210872 memory=1186408 CPUtime=0.68 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 296745 0 0 0 36 32 0 0 20 0 1 0 433726570 1239932928 296536 33554432000 4194304 6211092 140725488011344 140725488007880 5231317 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 302718 296602 751 493 0 296023 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1210872 KiB
Current children cumulated memory: 1186408 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 25661
/proc/meminfo: memFree=23133420/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=1475020 memory=1450864 CPUtime=1.49 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 363060 0 0 0 108 41 0 0 20 0 1 0 433726570 1510420480 362716 33554432000 4194304 6211092 140725488011344 140725488002984 140049102636160 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 368755 362716 822 493 0 362060 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1475020 KiB
Current children cumulated memory: 1450864 KiB
[startup+3.10969 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 25661
/proc/meminfo: memFree=23093528/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=1506208 memory=1481676 CPUtime=3.1 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 371237 0 0 0 267 43 0 0 20 0 1 0 433726570 1542356992 370419 33554432000 4194304 6211092 140725488011344 140725488008616 140049096514564 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 376552 370419 822 493 0 369857 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1506208 KiB
Current children cumulated memory: 1481676 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 25663
/proc/meminfo: memFree=22986840/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=1619728 memory=1595076 CPUtime=6.29 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 400156 0 0 0 580 49 0 0 20 0 1 0 433726570 1658601472 398769 33554432000 4194304 6211092 140725488011344 140725488004232 140049086573541 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 404932 398769 822 493 0 398237 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1619728 KiB
Current children cumulated memory: 1595076 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 25664
/proc/meminfo: memFree=22772272/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=1848260 memory=1823616 CPUtime=12.68 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 457899 0 0 0 1208 60 0 0 20 0 1 0 433726570 1892618240 455904 33554432000 4194304 6211092 140725488011344 140725488002568 140049086573541 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 462065 455904 822 493 0 455370 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 1848260 KiB
Current children cumulated memory: 1823616 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 25664
/proc/meminfo: memFree=22307352/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=2305388 memory=2280680 CPUtime=25.48 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 572417 0 0 0 2467 81 0 0 20 0 1 0 433726570 2360717312 570170 33554432000 4194304 6211092 140725488011344 140725488005864 140049086573541 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 576347 570170 822 493 0 569652 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2305388 KiB
Current children cumulated memory: 2280680 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 25666
/proc/meminfo: memFree=21376480/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3220956 memory=3196136 CPUtime=51.08 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 801384 0 0 0 4982 126 0 0 20 0 1 0 433726570 3298258944 799034 33554432000 4194304 6211092 140725488011344 140725488002680 140049086573541 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 805239 799034 822 493 0 798544 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 3220956 KiB
Current children cumulated memory: 3196136 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 25670
/proc/meminfo: memFree=21372924/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195696 CPUtime=102.27 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 1206493 0 0 0 10084 143 0 0 20 0 1 0 433726570 3296493568 798924 33554432000 4194304 6211092 140725488011344 140725488009608 5397368 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798924 859 493 0 798113 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195696 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 25674
/proc/meminfo: memFree=21373352/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195696 CPUtime=162.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 1310757 0 0 0 16078 148 0 0 20 0 1 0 433726570 3296493568 798924 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798924 859 493 0 798113 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195696 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 25678
/proc/meminfo: memFree=21372832/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195696 CPUtime=222.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 1644599 0 0 0 22063 162 0 0 20 0 1 0 433726570 3296493568 798924 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798924 859 493 0 798113 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195696 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 25684
/proc/meminfo: memFree=21372292/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195696 CPUtime=282.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 1825955 0 0 0 28057 169 0 0 20 0 1 0 433726570 3296493568 798924 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798924 859 493 0 798113 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195696 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 25688
/proc/meminfo: memFree=21372980/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195696 CPUtime=342.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 2007308 0 0 0 34050 175 0 0 20 0 1 0 433726570 3296493568 798924 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798924 859 493 0 798113 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195696 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 25701
/proc/meminfo: memFree=21372200/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195696 CPUtime=402.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 2188648 0 0 0 40043 183 0 0 20 0 1 0 433726570 3296493568 798924 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798924 859 493 0 798113 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195696 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 25707
/proc/meminfo: memFree=21372736/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195696 CPUtime=462.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 2369979 0 0 0 46037 189 0 0 20 0 1 0 433726570 3296493568 798924 33554432000 4194304 6211092 140725488011344 140725488009608 5393063 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798924 859 493 0 798113 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195696 KiB
################
# More data... #
################
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 25823
/proc/meminfo: memFree=21371680/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=1722.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5392290 0 0 0 171920 306 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5392343 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 25827
/proc/meminfo: memFree=21371352/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=1782.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5461947 0 0 0 177917 308 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 25831
/proc/meminfo: memFree=21371788/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=1842.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5468729 0 0 0 183917 308 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5172464 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 25837
/proc/meminfo: memFree=21371852/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=1902.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5492917 0 0 0 189916 310 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 25841
/proc/meminfo: memFree=21371364/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=1962.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5504857 0 0 0 195915 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 25845
/proc/meminfo: memFree=21371540/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=2022.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5506388 0 0 0 201915 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 25851
/proc/meminfo: memFree=21371100/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=2082.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5507846 0 0 0 207915 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+2142.3 s]
/proc/loadavg: 2.20 2.06 2.04 3/199 25918
/proc/meminfo: memFree=21377376/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=2142.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5509450 0 0 0 213914 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+2202.3 s]
/proc/loadavg: 2.53 2.20 2.08 3/200 25930
/proc/meminfo: memFree=21375632/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=2202.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5510981 0 0 0 219914 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5393063 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+2262.3 s]
/proc/loadavg: 2.19 2.16 2.08 3/200 25936
/proc/meminfo: memFree=21374824/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=2262.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5512512 0 0 0 225914 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5392320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+2322.3 s]
/proc/loadavg: 2.07 2.13 2.07 3/200 25940
/proc/meminfo: memFree=21374648/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=2322.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5514043 0 0 0 231914 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5392320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.11 2.07 3/200 25944
/proc/meminfo: memFree=21375208/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=2382.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5515574 0 0 0 237914 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5393063 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.02 2.10 2.06 3/200 25947
/proc/meminfo: memFree=21375104/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=2400.06 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5515922 0 0 0 239695 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5193733 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.12 s]
# the end of solver process 25660 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.95 s, system=3.13 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.02 2.10 2.06 3/200 25947
/proc/meminfo: memFree=21375104/32770624 swapFree=67108848/67108860
[pid=25660] ppid=25657 vsize=3219232 memory=3195852 CPUtime=2400.06 cores=1,3,5,7
/proc/25660/stat : 25660 (cosoco) R 25657 25660 24707 0 -1 4202496 5515922 0 0 0 239695 311 0 0 20 0 1 0 433726570 3296493568 798963 33554432000 4194304 6211092 140725488011344 140725488009608 5193733 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20779008 140725488018443 140725488018545 140725488018545 140725488021454 0
/proc/25660/statm: 804808 798963 859 493 0 798113 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 3219232 KiB
Current children cumulated memory: 3195852 KiB
Child status: 1
Real time (s): 2400.12
CPU time (s): 2400.08
CPU user time (s): 2396.95
CPU system time (s): 3.13
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 3220956
Max. memory (cumulated for all children) (KiB): 3196268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.95
system time used= 3.13
maximum resident set size= 3196436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5515975
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= 89
involuntary context switches= 630
# summary of solver processes directly reported to runsolver:
# pid: 25660
# total CPU time (s): 2400.08
# total CPU user time (s): 2396.95
# total CPU system time (s): 3.13
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0404 second user time and 17.7428 second system time
The end