runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) 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. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103031013/apt-pbo-trendy-1.0.8/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian.log.runsolver ./apt-pbo-trendy-1.0.8 /home/misc2010/data/misc4/debian//9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf /home/misc2010/tmp/201103031013/apt-pbo-trendy-1.0.8/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.04 1.08 1.04 5/34 21088 /proc/meminfo: memFree=714680/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) R 21086 21087 29493 34817 29493 4202496 205 0 0 0 0 0 0 0 25 0 1 0 75497671 1708032 126 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0 /proc/21087/statm: 417 126 110 20 0 44 0 [pid=21088] ppid=21087 vsize=1668 CPUtime=0 /proc/21088/stat : 21088 (sh) R 21087 21087 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75497671 1708032 16 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0 /proc/21088/statm: 417 16 0 20 0 44 0 [startup+0.135867 s] /proc/loadavg: 1.04 1.08 1.04 5/34 21088 /proc/meminfo: memFree=714680/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1668 [startup+0.215882 s] /proc/loadavg: 1.04 1.08 1.04 5/34 21088 /proc/meminfo: memFree=714680/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1668 [startup+0.315913 s] /proc/loadavg: 1.04 1.08 1.04 5/34 21088 /proc/meminfo: memFree=714680/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1668 [startup+0.716008 s] /proc/loadavg: 1.04 1.08 1.04 5/34 21088 /proc/meminfo: memFree=714680/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1668 [startup+1.50619 s] /proc/loadavg: 1.04 1.07 1.04 2/36 21093 /proc/meminfo: memFree=692076/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=8232 CPUtime=0.06 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 1589 409 0 0 6 0 0 0 25 0 1 0 75497671 8429568 1401 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/21090/statm: 2058 1401 648 302 0 791 0 [pid=21093] ppid=21090 vsize=29680 CPUtime=1.43 /proc/21093/stat : 21093 (cudftodeb.nativ) R 21090 21087 29493 34817 29493 4202496 7056 0 0 0 142 1 0 0 25 0 1 0 75497676 30392320 6977 1283457024 134512640 135029684 4294242544 18446744073709551615 134743029 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/21093/statm: 7420 6977 246 127 0 6801 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39580 [startup+3.10643 s] /proc/loadavg: 1.04 1.07 1.04 2/36 21093 /proc/meminfo: memFree=671740/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=8232 CPUtime=0.06 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 1589 409 0 0 6 0 0 0 25 0 1 0 75497671 8429568 1401 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/21090/statm: 2058 1401 648 302 0 791 0 [pid=21093] ppid=21090 vsize=59172 CPUtime=3.04 /proc/21093/stat : 21093 (cudftodeb.nativ) R 21090 21087 29493 34817 29493 4202496 14336 0 0 0 298 6 0 0 25 0 1 0 75497676 60592128 14257 1283457024 134512640 135029684 4294242544 18446744073709551615 135004156 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/21093/statm: 14793 14257 246 127 0 14174 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 69072 [startup+6.30721 s] /proc/loadavg: 1.04 1.07 1.04 2/36 21093 /proc/meminfo: memFree=610244/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=8232 CPUtime=0.06 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 1589 409 0 0 6 0 0 0 25 0 1 0 75497671 8429568 1401 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/21090/statm: 2058 1401 648 302 0 791 0 [pid=21093] ppid=21090 vsize=112596 CPUtime=6.23 /proc/21093/stat : 21093 (cudftodeb.nativ) R 21090 21087 29493 34817 29493 4202496 27649 0 0 0 597 26 0 0 25 0 1 0 75497676 115298304 27570 1283457024 134512640 135029684 4294242544 18446744073709551615 134975892 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/21093/statm: 28149 27570 258 127 0 27530 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 122496 [startup+12.7046 s] /proc/loadavg: 1.03 1.07 1.04 2/37 21101 /proc/meminfo: memFree=659968/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=8232 CPUtime=10.64 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 1762 31837 0 0 6 0 912 146 18 0 1 0 75497671 8429568 1428 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/21090/statm: 2058 1428 653 302 0 791 0 [pid=21094] ppid=21090 vsize=2568 CPUtime=0.01 /proc/21094/stat : 21094 (apt-get.sh) S 21090 21087 29493 34817 29493 4202496 402 492 0 0 0 1 0 0 20 0 1 0 75498749 2629632 272 1283457024 134512640 135304128 4291202608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21094/statm: 642 272 232 194 0 29 0 [pid=21097] ppid=21094 vsize=52744 CPUtime=1.4 /proc/21097/stat : 21097 (apt-get) D 21094 21087 29493 34817 29493 4202496 6609 1743 348 0 98 10 26 6 20 0 1 0 75498750 54009856 6826 1283457024 134512640 134650667 4290500032 18446744073709551615 4294960130 0 0 4096 134217728 18446744071564332537 0 0 17 0 0 0 0 /proc/21097/statm: 13186 6826 6771 34 0 69 0 Current children cumulated CPU time (s) 12.05 Current children cumulated vsize (KiB) 65212 [startup+25.509 s] /proc/loadavg: 1.34 1.13 1.06 4/37 23913 /proc/meminfo: memFree=617464/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=38132 CPUtime=23.58 /proc/21090/stat : 21090 (apt-pbo) R 21087 21087 29493 34817 29493 4202496 181214 1592379 0 365 59 135 1441 723 25 0 1 0 75497671 39047168 8588 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 0 0 0 17 0 0 0 0 /proc/21090/statm: 9533 8588 7015 302 0 1595 0 [pid=21102] ppid=21090 vsize=0 CPUtime=0.04 /proc/21102/stat : 21102 (dpkg-query) Z 21090 21087 29493 34817 29493 4202508 1493 0 0 0 2 2 0 0 19 0 1 0 75499095 0 0 1283457024 0 0 0 0 0 0 0 0 0 18446744071564254338 0 0 17 0 0 0 0 /proc/21102/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 23.62 Current children cumulated vsize (KiB) 39800 [startup+51.1062 s] /proc/loadavg: 1.26 1.14 1.06 2/36 24049 /proc/meminfo: memFree=511564/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=58024 CPUtime=27.71 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 191570 1645476 0 365 106 146 1745 774 18 0 1 0 75497671 59416576 13550 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/21090/statm: 14506 13550 7020 302 0 6568 0 [pid=24049] ppid=21090 vsize=75904 CPUtime=21.44 /proc/24049/stat : 24049 (wbo) R 21090 21087 29493 34817 29493 4202496 30718 0 0 0 2136 8 0 0 25 0 1 0 75500635 77725696 18489 1283457024 134512640 135755527 4287877888 18446744073709551615 135206601 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24049/statm: 18976 18489 146 304 0 18670 0 Current children cumulated CPU time (s) 49.15 Current children cumulated vsize (KiB) 135596 [startup+102.304 s] /proc/loadavg: 1.11 1.11 1.06 2/36 24049 /proc/meminfo: memFree=367848/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=58024 CPUtime=27.71 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 191570 1645476 0 365 106 146 1745 774 18 0 1 0 75497671 59416576 13550 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/21090/statm: 14506 13550 7020 302 0 6568 0 [pid=24049] ppid=21090 vsize=217812 CPUtime=72.55 /proc/24049/stat : 24049 (wbo) R 21090 21087 29493 34817 29493 4202496 84068 0 0 0 7228 27 0 0 25 0 1 0 75500635 223039488 53959 1283457024 134512640 135755527 4287877888 18446744073709551615 135203085 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24049/statm: 54453 53959 146 304 0 54147 0 Current children cumulated CPU time (s) 100.26 Current children cumulated vsize (KiB) 277504 [startup+162.312 s] /proc/loadavg: 1.04 1.09 1.05 2/36 24049 /proc/meminfo: memFree=219668/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=58024 CPUtime=27.71 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 191570 1645476 0 365 106 146 1745 774 18 0 1 0 75497671 59416576 13550 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/21090/statm: 14506 13550 7020 302 0 6568 0 [pid=24049] ppid=21090 vsize=366512 CPUtime=132.47 /proc/24049/stat : 24049 (wbo) R 21090 21087 29493 34817 29493 4202496 138149 0 0 0 13198 49 0 0 25 0 1 0 75500635 375308288 91168 1283457024 134512640 135755527 4287877888 18446744073709551615 134625786 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24049/statm: 91628 91168 146 304 0 91322 0 Current children cumulated CPU time (s) 160.18 Current children cumulated vsize (KiB) 426204 [startup+222.31 s] /proc/loadavg: 1.01 1.07 1.04 2/36 24049 /proc/meminfo: memFree=61320/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=58024 CPUtime=27.72 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 191570 1645476 0 365 107 146 1745 774 18 0 1 0 75497671 59416576 13550 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/21090/statm: 14506 13550 7020 302 0 6568 0 [pid=24049] ppid=21090 vsize=522872 CPUtime=192.37 /proc/24049/stat : 24049 (wbo) R 21090 21087 29493 34817 29493 4202496 201503 0 0 0 19158 79 0 0 25 0 1 0 75500635 535420928 130277 1283457024 134512640 135755527 4287877888 18446744073709551615 135206929 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24049/statm: 130718 130277 146 304 0 130412 0 Current children cumulated CPU time (s) 220.09 Current children cumulated vsize (KiB) 582564 [startup+282.306 s] /proc/loadavg: 1.00 1.05 1.04 2/38 24055 /proc/meminfo: memFree=5208/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=58024 CPUtime=27.8 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 191570 1645476 0 365 111 150 1745 774 18 0 1 0 75497671 59416576 13550 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/21090/statm: 14506 13550 7020 302 0 6568 0 [pid=24049] ppid=21090 vsize=612648 CPUtime=252.23 /proc/24049/stat : 24049 (wbo) R 21090 21087 29493 34817 29493 4202496 269871 0 0 0 25056 167 0 0 25 0 1 0 75500635 627351552 152612 1283457024 134512640 135755527 4287877888 18446744073709551615 134589280 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24049/statm: 153162 152612 147 304 0 152856 0 Current children cumulated CPU time (s) 280.03 Current children cumulated vsize (KiB) 672340 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+292.309 s] /proc/loadavg: 1.00 1.05 1.04 2/38 24056 /proc/meminfo: memFree=5804/1048576 swapFree=0/0 [pid=21087] ppid=21086 vsize=1668 CPUtime=0 /proc/21087/stat : 21087 (sh) S 21086 21087 29493 34817 29493 4202496 220 175 0 0 0 0 0 0 25 0 1 0 75497671 1708032 128 1283457024 134512640 134593992 4292812784 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21087/statm: 417 128 112 20 0 44 0 [pid=21090] ppid=21087 vsize=58024 CPUtime=27.8 /proc/21090/stat : 21090 (apt-pbo) S 21087 21087 29493 34817 29493 4202496 191570 1645476 0 365 111 150 1745 774 18 0 1 0 75497671 59416576 13550 1283457024 134512640 135745756 4289098640 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/21090/statm: 14506 13550 7020 302 0 6568 0 [pid=24049] ppid=21090 vsize=614480 CPUtime=262.2 /proc/24049/stat : 24049 (wbo) R 21090 21087 29493 34817 29493 4202496 270334 0 0 0 26050 170 0 0 25 0 1 0 75500635 629227520 153075 1283457024 134512640 135755527 4287877888 18446744073709551615 134589458 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24049/statm: 153620 153075 147 304 0 153314 0 Current children cumulated CPU time (s) 290 Current children cumulated vsize (KiB) 674172 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21087 and gives # childrusage.ru_utime.tv_sec=18 # childrusage.ru_utime.tv_usec=569160 # childrusage.ru_stime.tv_sec=9 # childrusage.ru_stime.tv_usec=244577 # CPU time returned by wait4() is 27.8137 # while last known CPU time is 290 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 292.338 CPU time (s): 290 CPU user time (s): 279.06 CPU system time (s): 10.94 CPU usage (%): 99.2001 Max. virtual memory (cumulated for all children) (KiB): 674172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.5692 system time used= 9.24458 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1837450 page faults= 365 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16718 involuntary context switches= 11155 runsolver used 0 second user time and 0 second system time The end