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 (15440 MiB free)
memory of node 1: 16384 MiB (15600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267069-1502610066/watcher-4267069-1502610066 -o /tmp/evaluation-result-4267069-1502610066/solver-4267069-1502610066 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9625 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267069-1502610066.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=12026, runsolver pid=12023
[startup+0.100152 s]*
/proc/loadavg: 4.97 3.92 2.89 3/186 12027
/proc/meminfo: memFree=31785712/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3300 CPUtime=0.04 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1016 0 0 0 4 0 0 0 20 0 1 0 108513021 27418624 825 18446744073709551615 4194304 5748600 140725486462784 140725486459432 4948016 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+0.209273 s]*
/proc/loadavg: 4.97 3.92 2.89 3/186 12027
/proc/meminfo: memFree=31785712/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3300 CPUtime=0.15 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1016 0 0 0 15 0 0 0 20 0 1 0 108513021 27418624 825 18446744073709551615 4194304 5748600 140725486462784 140725486459432 4947720 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+0.308794 s]*
/proc/loadavg: 4.97 3.92 2.89 4/186 12027
/proc/meminfo: memFree=31785712/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3300 CPUtime=0.25 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1016 0 0 0 25 0 0 0 20 0 1 0 108513021 27418624 825 18446744073709551615 4194304 5748600 140725486462784 140725486459432 4948247 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+0.700266 s]
/proc/loadavg: 4.97 3.92 2.89 4/186 12027
/proc/meminfo: memFree=31785652/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3300 CPUtime=0.63 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1016 0 0 0 63 0 0 0 20 0 1 0 108513021 27418624 825 18446744073709551615 4194304 5748600 140725486462784 140725486460312 5025701 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+1.50027 s]
/proc/loadavg: 4.97 3.92 2.89 3/186 12027
/proc/meminfo: memFree=31785212/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3300 CPUtime=1.43 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1016 0 0 0 143 0 0 0 20 0 1 0 108513021 27418624 825 18446744073709551615 4194304 5748600 140725486462784 140725486460312 4949296 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+3.10887 s]
/proc/loadavg: 4.73 3.89 2.89 3/186 12027
/proc/meminfo: memFree=31785040/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=3.04 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1054 0 0 0 304 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 5025706 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+6.30026 s]
/proc/loadavg: 4.73 3.89 2.89 3/186 12027
/proc/meminfo: memFree=31784752/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=6.23 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1092 0 0 0 623 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 4948469 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+12.7003 s]
/proc/loadavg: 4.31 3.83 2.88 3/186 12027
/proc/meminfo: memFree=31784764/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=12.63 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1113 0 0 0 1263 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486460312 4947134 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+25.5003 s]
/proc/loadavg: 3.96 3.77 2.87 3/186 12027
/proc/meminfo: memFree=31784764/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=25.42 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1155 0 0 0 2542 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486460312 4948719 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+51.1089 s]
/proc/loadavg: 3.29 3.63 2.85 3/186 12029
/proc/meminfo: memFree=31784012/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=51.03 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1210 0 0 0 5103 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486460312 5025692 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+102.3 s]
/proc/loadavg: 2.51 3.35 2.80 3/186 12030
/proc/meminfo: memFree=31784452/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=102.21 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1231 0 0 0 10221 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486460312 4947744 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+162.3 s]
/proc/loadavg: 2.13 3.09 2.74 3/185 12032
/proc/meminfo: memFree=31783856/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=162.2 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1269 0 0 0 16220 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 4948000 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.89 2.70 3/190 12050
/proc/meminfo: memFree=31778688/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=222.2 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1305 0 0 0 22220 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 4948000 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.73 2.65 3/186 12052
/proc/meminfo: memFree=31781808/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=282.2 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1307 0 0 0 28220 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486460312 4947920 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.60 2.61 3/186 12054
/proc/meminfo: memFree=31782360/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=342.21 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1345 0 0 0 34221 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 5025683 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.49 2.57 3/186 12056
/proc/meminfo: memFree=31782364/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=402.21 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1366 0 0 0 40221 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486460312 4948409 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.40 2.54 3/186 12058
/proc/meminfo: memFree=31782304/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=462.21 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1366 0 0 0 46221 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486460312 4948460 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+522.3 s]
/proc/loadavg: 2.04 2.34 2.51 3/186 12062
/proc/meminfo: memFree=31782804/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=522.21 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1419 0 0 0 52221 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486460312 4948684 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 522.21 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+561.367 s]
# the end of solver process 12026 was just reported to runsolver
# cumulated CPU time of all completed processes: user=561.286 s, system=0.004999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 2.03 2.32 2.50 3/186 12063
/proc/meminfo: memFree=31782928/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=537.51 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1421 0 0 0 53751 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 4947444 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 537.51 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+550.4 s]
/proc/loadavg: 2.03 2.31 2.50 3/186 12064
/proc/meminfo: memFree=31783052/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=550.31 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1421 0 0 0 55031 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 4947315 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 550.31 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+556.8 s]
/proc/loadavg: 2.03 2.31 2.49 3/186 12064
/proc/meminfo: memFree=31783052/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=556.71 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1421 0 0 0 55671 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 4949316 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 556.71 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+558.4 s]
/proc/loadavg: 2.02 2.30 2.49 3/186 12064
/proc/meminfo: memFree=31783052/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=558.31 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1421 0 0 0 55831 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 4947736 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 558.31 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+560 s]*
/proc/loadavg: 2.02 2.30 2.49 3/186 12064
/proc/meminfo: memFree=31783120/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=559.92 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1421 0 0 0 55992 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 4949782 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 559.92 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+560.8 s]
/proc/loadavg: 2.02 2.30 2.49 3/186 12064
/proc/meminfo: memFree=31783120/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=560.72 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1421 0 0 0 56072 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 5127936 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 560.72 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+561.2 s]
/proc/loadavg: 2.02 2.30 2.49 3/186 12064
/proc/meminfo: memFree=31783120/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=561.12 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1421 0 0 0 56112 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 4947733 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 561.12 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+561.3 s]
/proc/loadavg: 2.02 2.30 2.49 3/186 12064
/proc/meminfo: memFree=31783120/32770624 swapFree=67108764/67108860
[pid=12026] ppid=12023 vsize=26776 memory=3416 CPUtime=561.22 cores=1,3,5,7
/proc/12026/stat : 12026 (cosoco) R 12023 12026 4674 0 -1 4202496 1421 0 0 0 56122 0 0 0 20 0 1 0 108513021 27418624 854 18446744073709551615 4194304 5748600 140725486462784 140725486450056 5025875 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7849824 7854664 25206784 140725486469577 140725486469672 140725486469672 140725486473166 0
/proc/12026/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 561.22 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
Child status: 0
Real time (s): 561.367
CPU time (s): 561.291
CPU user time (s): 561.286
CPU system time (s): 0.004999
CPU usage (%): 99.9865
Max. virtual memory (cumulated for all children) (KiB): 26776
Max. memory (cumulated for all children) (KiB): 3416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 561.286
system time used= 0.004999
maximum resident set size= 3496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1461
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= 6
involuntary context switches= 423
# summary of solver processes directly reported to runsolver:
# pid: 12026
# total CPU time (s): 561.291
# total CPU user time (s): 561.286
# total CPU system time (s): 0.004999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.77622 second user time and 3.74684 second system time
The end