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 (14489 MiB free)
memory of node 1: 16384 MiB (14632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409171-1569787393/watcher-4409171-1569787393 -o /tmp/evaluation-result-4409171-1569787393/solver-4409171-1569787393 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1569787351-8455 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409171-1569787393.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=8484, runsolver pid=8478
Current StackSize limit: 8192 KiB
[startup+0.100148 s]*
/proc/loadavg: 0.00 0.01 0.05 2/199 8486
/proc/meminfo: memFree=29820772/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=2272 memory=4 CPUtime=0 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) D 8478 8484 8424 0 -1 1077936128 159 0 0 0 0 0 0 0 20 0 1 0 554679351 2326528 1 33554432000 4194304 6211132 140728667796288 140728667793512 139864303740615 0 0 4096 0 18446744072101572132 0 0 17 0 0 0 0 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 568 1 0 493 0 39 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 2272 KiB
Current children cumulated memory: 4 KiB
[startup+0.209485 s]*
/proc/loadavg: 0.00 0.01 0.05 2/199 8486
/proc/meminfo: memFree=29821592/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=4560 memory=188 CPUtime=0 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) D 8478 8484 8424 0 -1 1077936128 175 0 0 0 0 0 0 0 20 0 1 0 554679351 4669440 47 33554432000 4194304 6211132 140728667796288 140728667793464 139864303740615 0 0 4096 0 18446744072101572132 0 0 17 0 0 0 0 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 1140 47 37 493 0 43 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4560 KiB
Current children cumulated memory: 188 KiB
[startup+0.309212 s]*
/proc/loadavg: 0.00 0.01 0.05 2/199 8486
/proc/meminfo: memFree=29817252/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=8040 memory=204 CPUtime=0 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) D 8478 8484 8424 0 -1 4194304 176 0 0 0 0 0 0 0 20 0 1 0 554679351 8232960 51 33554432000 4194304 6211132 140728667796288 140728667793336 139864303745530 0 0 4096 0 18446744071580431491 0 0 17 0 0 0 1 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 2010 51 39 493 0 44 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8040 KiB
Current children cumulated memory: 204 KiB
[startup+0.700391 s]
/proc/loadavg: 0.00 0.01 0.05 2/199 8486
/proc/meminfo: memFree=29817252/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=123096 memory=99492 CPUtime=0.07 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 25047 0 1 0 4 3 0 0 20 0 1 0 554679351 126050304 24873 33554432000 4194304 6211132 140728667796288 140728667792776 139864285424613 0 0 4096 8405026 0 0 0 17 4 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 30823 24873 824 493 0 24128 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 123096 KiB
Current children cumulated memory: 99492 KiB
[startup+1.50034 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 8486
/proc/meminfo: memFree=29662004/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=705296 memory=681720 CPUtime=0.88 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 170559 0 1 0 66 22 0 0 20 0 1 0 554679351 722223104 170364 33554432000 4194304 6211132 140728667796288 140728667790808 139864285424613 0 0 4096 8405026 0 0 0 17 0 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 176357 170364 838 493 0 169662 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 705296 KiB
Current children cumulated memory: 681720 KiB
[startup+3.10962 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 8486
/proc/meminfo: memFree=28788032/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1025528 memory=1002056 CPUtime=2.48 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 281331 0 1 0 216 32 0 0 20 0 1 0 554679351 1050140672 250514 33554432000 4194304 6211132 140728667796288 140728667794552 5046873 0 0 4096 8405026 0 0 0 17 0 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 256382 250514 879 493 0 249687 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 1025528 KiB
Current children cumulated memory: 1002056 KiB
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 0.31 0.08 0.07 4/200 8488
/proc/meminfo: memFree=28786808/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1026388 memory=1002852 CPUtime=5.67 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 518140 0 1 0 523 44 0 0 20 0 1 0 554679351 1051021312 250713 33554432000 4194304 6211132 140728667796288 140728667793544 5186297 0 0 4096 8405026 0 0 0 17 0 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 256597 250713 881 493 0 249902 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 1026388 KiB
Current children cumulated memory: 1002852 KiB
[startup+12.7003 s]
/proc/loadavg: 0.45 0.11 0.08 4/200 8488
/proc/meminfo: memFree=28785180/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1028260 memory=1004732 CPUtime=12.07 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 711337 0 1 0 1152 55 0 0 20 0 1 0 554679351 1052938240 251183 33554432000 4194304 6211132 140728667796288 140728667793544 5167561 0 0 4096 8405026 0 0 0 17 0 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 257065 251183 881 493 0 250370 0
Current children cumulated CPU time: 12.07 s
Current children cumulated vsize: 1028260 KiB
Current children cumulated memory: 1004732 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 4/199 8488
/proc/meminfo: memFree=28781884/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1032312 memory=1008696 CPUtime=24.86 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 873505 0 1 0 2422 64 0 0 20 0 1 0 554679351 1057087488 252174 33554432000 4194304 6211132 140728667796288 140728667793544 5168248 0 0 4096 8405026 0 0 0 17 0 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 258078 252174 881 493 0 251383 0
Current children cumulated CPU time: 24.86 s
Current children cumulated vsize: 1032312 KiB
Current children cumulated memory: 1008696 KiB
[startup+51.1099 s]
/proc/loadavg: 1.20 0.35 0.16 4/199 8491
/proc/meminfo: memFree=28778548/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1034160 memory=1010672 CPUtime=50.47 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1076010 0 1 0 4972 75 0 0 20 0 1 0 554679351 1058979840 252668 33554432000 4194304 6211132 140728667796288 140728667793528 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 258540 252668 881 493 0 251845 0
Current children cumulated CPU time: 50.47 s
Current children cumulated vsize: 1034160 KiB
Current children cumulated memory: 1010672 KiB
[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 4/199 8494
/proc/meminfo: memFree=28776112/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1036204 memory=1012336 CPUtime=101.64 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1238221 0 1 0 10080 84 0 0 20 0 1 0 554679351 1061072896 253084 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259051 253084 881 493 0 252356 0
Current children cumulated CPU time: 101.64 s
Current children cumulated vsize: 1036204 KiB
Current children cumulated memory: 1012336 KiB
[startup+162.301 s]
/proc/loadavg: 1.87 0.86 0.36 4/199 8498
/proc/meminfo: memFree=28774940/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1036604 memory=1012784 CPUtime=161.64 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1353372 0 1 0 16074 90 0 0 20 0 1 0 554679351 1061482496 253196 33554432000 4194304 6211132 140728667796288 140728667793592 5167920 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259151 253196 881 493 0 252456 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1036604 KiB
Current children cumulated memory: 1012784 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 4/199 8502
/proc/meminfo: memFree=28773796/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1037540 memory=1013780 CPUtime=221.63 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1455350 0 1 0 22068 95 0 0 20 0 1 0 554679351 1062440960 253445 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259385 253445 881 493 0 252690 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1037540 KiB
Current children cumulated memory: 1013780 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 4/199 8508
/proc/meminfo: memFree=28773656/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1037808 memory=1014084 CPUtime=281.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1541303 0 1 0 28063 99 0 0 20 0 1 0 554679351 1062715392 253521 33554432000 4194304 6211132 140728667796288 140728667793544 5172472 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259452 253521 881 493 0 252757 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 1037808 KiB
Current children cumulated memory: 1014084 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 4/199 8512
/proc/meminfo: memFree=28773532/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1037940 memory=1014176 CPUtime=341.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1614233 0 1 0 34059 103 0 0 20 0 1 0 554679351 1062850560 253544 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259485 253544 881 493 0 252790 0
Current children cumulated CPU time: 341.62 s
Current children cumulated vsize: 1037940 KiB
Current children cumulated memory: 1014176 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 4/199 8516
/proc/meminfo: memFree=28773812/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1037940 memory=1014176 CPUtime=401.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1673783 0 1 0 40056 106 0 0 20 0 1 0 554679351 1062850560 253544 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259485 253544 881 493 0 252790 0
Current children cumulated CPU time: 401.62 s
Current children cumulated vsize: 1037940 KiB
Current children cumulated memory: 1014176 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.82 4/199 8529
/proc/meminfo: memFree=28772448/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1037940 memory=1014176 CPUtime=461.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1707138 0 1 0 46054 108 0 0 20 0 1 0 554679351 1062850560 253544 33554432000 4194304 6211132 140728667796288 140728667793544 5193765 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259485 253544 881 493 0 252790 0
Current children cumulated CPU time: 461.62 s
Current children cumulated vsize: 1037940 KiB
Current children cumulated memory: 1014176 KiB
################
# More data... #
################
/proc/8484/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1661.62 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.69 4/201 8645
/proc/meminfo: memFree=28771212/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015148 CPUtime=1721.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1807957 0 1 0 172049 113 0 0 20 0 1 0 554679351 1063813120 253787 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1721.62 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.71 4/200 8649
/proc/meminfo: memFree=28772796/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015148 CPUtime=1781.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1808461 0 1 0 178049 113 0 0 20 0 1 0 554679351 1063813120 253787 33554432000 4194304 6211132 140728667796288 140728667793544 5167936 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1781.62 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.73 4/201 8654
/proc/meminfo: memFree=28771464/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015148 CPUtime=1841.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1808967 0 1 0 184049 113 0 0 20 0 1 0 554679351 1063813120 253787 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1841.62 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+1902.3 s]
/proc/loadavg: 2.16 2.02 1.76 4/201 8660
/proc/meminfo: memFree=28771624/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015148 CPUtime=1901.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1809472 0 1 0 190049 113 0 0 20 0 1 0 554679351 1063813120 253787 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1901.62 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+1962.3 s]
/proc/loadavg: 2.82 2.27 1.86 4/199 8664
/proc/meminfo: memFree=28772036/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015148 CPUtime=1961.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1809915 0 1 0 196049 113 0 0 20 0 1 0 554679351 1063813120 253787 33554432000 4194304 6211132 140728667796288 140728667793544 5167284 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253787 881 493 0 253025 0
Current children cumulated CPU time: 1961.62 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015148 KiB
[startup+2022.3 s]
/proc/loadavg: 2.30 2.22 1.87 4/199 8668
/proc/meminfo: memFree=28772228/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015152 CPUtime=2021.62 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1810427 0 1 0 202049 113 0 0 20 0 1 0 554679351 1063813120 253788 33554432000 4194304 6211132 140728667796288 140728667793544 5168392 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253788 881 493 0 253025 0
Current children cumulated CPU time: 2021.62 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015152 KiB
[startup+2082.3 s]
/proc/loadavg: 2.11 2.18 1.87 4/199 8674
/proc/meminfo: memFree=28772620/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015156 CPUtime=2081.63 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1810996 0 1 0 208049 114 0 0 20 0 1 0 554679351 1063813120 253789 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2081.63 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.15 1.88 4/199 8678
/proc/meminfo: memFree=28772856/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015156 CPUtime=2141.63 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1811495 0 1 0 214049 114 0 0 20 0 1 0 554679351 1063813120 253789 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2141.63 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.12 1.89 4/199 8682
/proc/meminfo: memFree=28772488/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015156 CPUtime=2201.63 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1811992 0 1 0 220049 114 0 0 20 0 1 0 554679351 1063813120 253789 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2201.63 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.10 1.89 4/200 8696
/proc/meminfo: memFree=28772068/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015156 CPUtime=2261.63 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1812477 0 1 0 226049 114 0 0 20 0 1 0 554679351 1063813120 253789 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2261.63 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.08 1.90 4/200 8700
/proc/meminfo: memFree=28772340/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015156 CPUtime=2321.63 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1813038 0 1 0 232049 114 0 0 20 0 1 0 554679351 1063813120 253789 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2321.63 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.07 1.90 4/200 8704
/proc/meminfo: memFree=28772684/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015156 CPUtime=2381.63 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1813543 0 1 0 238049 114 0 0 20 0 1 0 554679351 1063813120 253789 33554432000 4194304 6211132 140728667796288 140728667793544 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2381.63 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.00 2.06 1.91 4/200 8707
/proc/meminfo: memFree=28771720/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015156 CPUtime=2400.03 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1813791 0 1 0 239889 114 0 0 20 0 1 0 554679351 1063813120 253789 33554432000 4194304 6211132 140728667796288 140728667793544 5193765 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.7 s]
# the end of solver process 8484 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.89 s, system=1.15001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.00 2.06 1.91 4/200 8707
/proc/meminfo: memFree=28771720/32770624 swapFree=66976804/67108860
[pid=8484] ppid=8478 vsize=1038880 memory=1015156 CPUtime=2400.03 cores=0,2,4,6
/proc/8484/stat : 8484 (cosoco) R 8478 8484 8424 0 -1 4202496 1813791 0 1 0 239889 114 0 0 20 0 1 0 554679351 1063813120 253789 33554432000 4194304 6211132 140728667796288 140728667793544 5193765 0 0 4096 8405026 0 0 0 17 2 0 0 11 0 0 8312316 8317760 41738240 140728667804683 140728667804785 140728667804785 140728667807694 0
/proc/8484/statm: 259720 253789 881 493 0 253025 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 1038880 KiB
Current children cumulated memory: 1015156 KiB
Child status: 1
Real time (s): 2400.7
CPU time (s): 2400.04
CPU user time (s): 2398.89
CPU system time (s): 1.15001
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1038880
Max. memory (cumulated for all children) (KiB): 1015156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.89
system time used= 1.15001
maximum resident set size= 1015224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1813843
page faults= 1
swaps= 0
block input operations= 10784
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121
involuntary context switches= 1963
# summary of solver processes directly reported to runsolver:
# pid: 8484
# total CPU time (s): 2400.04
# total CPU user time (s): 2398.89
# total CPU system time (s): 1.15001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.86313 second user time and 18.1469 second system time
The end