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/201007051233/inescp-1.0/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/debian-dudf//e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/inescp-1.0/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.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: 0.80 0.96 0.98 2/33 17180 /proc/meminfo: memFree=925768/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) R 17179 17180 3447 769 3447 4194304 345 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 258 1283457024 134512640 135191968 4292518032 18446744073709551615 4159000992 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/17180/statm: 595 258 221 166 0 27 0 [pid=17181] ppid=17180 vsize=2380 CPUtime=0 /proc/17181/stat : 17181 (inescp-1.0) R 17180 17180 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 528812208 2437120 37 1283457024 134512640 135191968 4292518032 18446744073709551615 4159000992 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/17181/statm: 595 37 0 166 0 27 0 [startup+0.144604 s] /proc/loadavg: 0.80 0.96 0.98 2/33 17180 /proc/meminfo: memFree=925768/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=0.01 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 748 0 1 0 0 1 0 0 25 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.20459 s] /proc/loadavg: 0.80 0.96 0.98 2/33 17180 /proc/meminfo: memFree=925768/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=0.01 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 748 0 1 0 0 1 0 0 25 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.304594 s] /proc/loadavg: 0.80 0.96 0.98 2/33 17180 /proc/meminfo: memFree=925768/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=0.01 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 748 0 1 0 0 1 0 0 25 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.704639 s] /proc/loadavg: 0.80 0.96 0.98 2/33 17180 /proc/meminfo: memFree=925768/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=0.01 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 748 0 1 0 0 1 0 0 25 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+1.51402 s] /proc/loadavg: 0.80 0.96 0.98 1/44 17191 /proc/meminfo: memFree=902528/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=0.01 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 748 0 1 0 0 1 0 0 25 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 [pid=17183] ppid=17181 vsize=865856 CPUtime=0.25 /proc/17183/stat : 17183 (java) S 17181 17180 3447 769 3447 4202496 6697 0 228 0 24 1 0 0 23 0 9 0 528812209 886636544 5811 1283457024 134512640 134550932 4293517536 18446744073709551615 4160464018 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17183/statm: 216464 5811 2715 10 0 210802 0 [pid=17183/tid=17184] ppid=17181 vsize=865856 CPUtime=0.17 /proc/17183/task/17184/stat : 17184 (java) R 17181 17180 3447 769 3447 4202560 2713 0 156 0 16 1 0 0 20 0 9 0 528812237 886636544 5811 1283457024 134512640 134550932 4293517536 18446744073709551615 4160488135 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17183/tid=17185] ppid=17181 vsize=865856 CPUtime=0.04 /proc/17183/task/17185/stat : 17185 (java) S 17181 17180 3447 769 3447 4202560 2465 0 24 0 4 0 0 0 15 0 9 0 528812252 886636544 5811 1283457024 134512640 134550932 4293517536 18446744073709551615 4160477424 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17186] ppid=17181 vsize=865856 CPUtime=0 /proc/17183/task/17186/stat : 17186 (java) S 17181 17180 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 528812257 886636544 5811 1283457024 134512640 134550932 4293517536 18446744073709551615 4160477424 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17187] ppid=17181 vsize=865856 CPUtime=0 /proc/17183/task/17187/stat : 17187 (java) S 17181 17180 3447 769 3447 4202560 7 0 1 0 0 0 0 0 15 0 9 0 528812257 886636544 5811 1283457024 134512640 134550932 4293517536 18446744073709551615 4160477424 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17188] ppid=17181 vsize=865856 CPUtime=0 /proc/17183/task/17188/stat : 17188 (java) S 17181 17180 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 528812265 886636544 5811 1283457024 134512640 134550932 4293517536 18446744073709551615 4160485712 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17189] ppid=17181 vsize=865856 CPUtime=0.03 /proc/17183/task/17189/stat : 17189 (java) S 17181 17180 3447 769 3447 4202560 445 0 8 0 3 0 0 0 19 0 9 0 528812265 886636544 5811 1283457024 134512640 134550932 4293517536 18446744073709551615 4160477424 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17190] ppid=17181 vsize=865856 CPUtime=0 /proc/17183/task/17190/stat : 17190 (java) S 17181 17180 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 528812265 886636544 5811 1283457024 134512640 134550932 4293517536 18446744073709551615 4160477424 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17191] ppid=17181 vsize=865856 CPUtime=0 /proc/17183/task/17191/stat : 17191 (java) S 17181 17180 3447 769 3447 4202560 0 0 0 0 0 0 0 0 16 0 9 0 528812265 886636544 5811 1283457024 134512640 134550932 4293517536 18446744073709551615 4160478216 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 872240 [startup+3.11422 s] /proc/loadavg: 0.80 0.96 0.98 2/44 17191 /proc/meminfo: memFree=868252/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=0.01 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 748 0 1 0 0 1 0 0 25 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 [pid=17183] ppid=17181 vsize=866780 CPUtime=1.85 /proc/17183/stat : 17183 (java) S 17181 17180 3447 769 3447 4202496 22485 0 228 0 179 6 0 0 23 0 9 0 528812209 887582720 20649 1283457024 134512640 134550932 4293517536 18446744073709551615 4160464018 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17183/statm: 216695 20649 2715 10 0 211033 0 [pid=17183/tid=17184] ppid=17181 vsize=866780 CPUtime=1.06 /proc/17183/task/17184/stat : 17184 (java) R 17181 17180 3447 769 3447 4202560 3258 0 156 0 102 4 0 0 22 0 9 0 528812237 887582720 20649 1283457024 134512640 134550932 4293517536 18446744073709551615 4160488135 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17183/tid=17185] ppid=17181 vsize=866780 CPUtime=0.74 /proc/17183/task/17185/stat : 17185 (java) R 17181 17180 3447 769 3447 4202560 17695 0 24 0 72 2 0 0 16 0 9 0 528812252 887582720 20649 1283457024 134512640 134550932 4293517536 18446744073709551615 104189893 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=17183/tid=17186] ppid=17181 vsize=866780 CPUtime=0 /proc/17183/task/17186/stat : 17186 (java) S 17181 17180 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 528812257 887582720 20649 1283457024 134512640 134550932 4293517536 18446744073709551615 4160477424 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17187] ppid=17181 vsize=866780 CPUtime=0 /proc/17183/task/17187/stat : 17187 (java) S 17181 17180 3447 769 3447 4202560 7 0 1 0 0 0 0 0 15 0 9 0 528812257 887582720 20649 1283457024 134512640 134550932 4293517536 18446744073709551615 4160477424 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17188] ppid=17181 vsize=866780 CPUtime=0 /proc/17183/task/17188/stat : 17188 (java) S 17181 17180 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 528812265 887582720 20649 1283457024 134512640 134550932 4293517536 18446744073709551615 4160485712 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17189] ppid=17181 vsize=866780 CPUtime=0.04 /proc/17183/task/17189/stat : 17189 (java) S 17181 17180 3447 769 3447 4202560 458 0 8 0 4 0 0 0 15 0 9 0 528812265 887582720 20649 1283457024 134512640 134550932 4293517536 18446744073709551615 4160477424 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17190] ppid=17181 vsize=866780 CPUtime=0 /proc/17183/task/17190/stat : 17190 (java) S 17181 17180 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 528812265 887582720 20649 1283457024 134512640 134550932 4293517536 18446744073709551615 4160477424 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=17183/tid=17191] ppid=17181 vsize=866780 CPUtime=0 /proc/17183/task/17191/stat : 17191 (java) S 17181 17180 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 9 0 528812265 887582720 20649 1283457024 134512640 134550932 4293517536 18446744073709551615 4160478216 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.86 Current children cumulated vsize (KiB) 873164 heavy processes: [startup+6.30521 s] /proc/loadavg: 0.82 0.96 0.98 2/37 17192 /proc/meminfo: memFree=782672/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=4.05 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 777 42186 1 239 0 1 386 18 18 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 4.05 Current children cumulated vsize (KiB) 6384 heavy processes: [startup+12.7075 s] /proc/loadavg: 0.83 0.96 0.98 2/37 17196 /proc/meminfo: memFree=842448/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=6.63 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 806 44103 1 252 0 1 592 70 18 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 [pid=17195] ppid=17181 vsize=2896 CPUtime=0 /proc/17195/stat : 17195 (sh) S 17181 17180 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528813024 2965504 325 1283457024 134512640 135191968 4294914928 18446744073709551615 4159584670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 724 325 221 166 0 156 0 [pid=17196] ppid=17195 vsize=47028 CPUtime=4.45 /proc/17196/stat : 17196 (msuncore) R 17195 17180 3447 769 3447 4202496 53957 0 14 0 417 28 0 0 25 0 1 0 528813024 48156672 11438 1283457024 134512640 135858300 4292721072 18446744073709551615 134671193 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/17196/statm: 11757 11438 134 329 0 11426 0 Current children cumulated CPU time (s) 11.08 Current children cumulated vsize (KiB) 56308 Solver just ended. Dumping a history of the last processes samples [startup+12.8075 s] /proc/loadavg: 0.83 0.96 0.98 2/37 17196 /proc/meminfo: memFree=842448/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=6.63 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 806 44103 1 252 0 1 592 70 18 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 [pid=17195] ppid=17181 vsize=2896 CPUtime=0 /proc/17195/stat : 17195 (sh) S 17181 17180 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528813024 2965504 325 1283457024 134512640 135191968 4294914928 18446744073709551615 4159584670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 724 325 221 166 0 156 0 [pid=17196] ppid=17195 vsize=47028 CPUtime=4.55 /proc/17196/stat : 17196 (msuncore) R 17195 17180 3447 769 3447 4202496 53957 0 14 0 427 28 0 0 25 0 1 0 528813024 48156672 11438 1283457024 134512640 135858300 4292721072 18446744073709551615 134671193 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/17196/statm: 11757 11438 134 329 0 11426 0 Current children cumulated CPU time (s) 11.18 Current children cumulated vsize (KiB) 56308 [startup+16.0085 s] /proc/loadavg: 0.84 0.96 0.98 2/37 17196 /proc/meminfo: memFree=842200/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=6.63 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 806 44103 1 252 0 1 592 70 18 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 [pid=17195] ppid=17181 vsize=2896 CPUtime=0 /proc/17195/stat : 17195 (sh) S 17181 17180 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528813024 2965504 325 1283457024 134512640 135191968 4294914928 18446744073709551615 4159584670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 724 325 221 166 0 156 0 [pid=17196] ppid=17195 vsize=106524 CPUtime=7.73 /proc/17196/stat : 17196 (msuncore) R 17195 17180 3447 769 3447 4202496 68840 0 14 0 742 31 0 0 25 0 1 0 528813024 109080576 26321 1283457024 134512640 135858300 4292721072 18446744073709551615 134614700 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/17196/statm: 26631 26321 137 329 0 26300 0 Current children cumulated CPU time (s) 14.36 Current children cumulated vsize (KiB) 115804 [startup+19.2097 s] /proc/loadavg: 0.86 0.96 0.98 2/37 17196 /proc/meminfo: memFree=841208/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=6.63 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 806 44103 1 252 0 1 592 70 18 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 [pid=17195] ppid=17181 vsize=2896 CPUtime=0 /proc/17195/stat : 17195 (sh) S 17181 17180 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528813024 2965504 325 1283457024 134512640 135191968 4294914928 18446744073709551615 4159584670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 724 325 221 166 0 156 0 [pid=17196] ppid=17195 vsize=47636 CPUtime=10.93 /proc/17196/stat : 17196 (msuncore) R 17195 17180 3447 769 3447 4202496 70044 0 14 0 1060 33 0 0 25 0 1 0 528813024 48779264 11630 1283457024 134512640 135858300 4292721072 18446744073709551615 135343652 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/17196/statm: 11909 11630 137 329 0 11578 0 Current children cumulated CPU time (s) 17.56 Current children cumulated vsize (KiB) 56916 [startup+20.01 s] /proc/loadavg: 0.86 0.96 0.98 2/37 17196 /proc/meminfo: memFree=841208/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=6.63 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 806 44103 1 252 0 1 592 70 18 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 [pid=17195] ppid=17181 vsize=2896 CPUtime=0 /proc/17195/stat : 17195 (sh) S 17181 17180 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528813024 2965504 325 1283457024 134512640 135191968 4294914928 18446744073709551615 4159584670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 724 325 221 166 0 156 0 [pid=17196] ppid=17195 vsize=47636 CPUtime=11.73 /proc/17196/stat : 17196 (msuncore) R 17195 17180 3447 769 3447 4202496 70044 0 14 0 1140 33 0 0 25 0 1 0 528813024 48779264 11630 1283457024 134512640 135858300 4292721072 18446744073709551615 134657429 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/17196/statm: 11909 11630 137 329 0 11578 0 Current children cumulated CPU time (s) 18.36 Current children cumulated vsize (KiB) 56916 [startup+20.4102 s] /proc/loadavg: 0.86 0.96 0.98 2/37 17196 /proc/meminfo: memFree=841208/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=4004 CPUtime=6.63 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 806 44103 1 252 0 1 592 70 18 0 1 0 528812208 4100096 644 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 1001 644 348 251 0 302 0 [pid=17195] ppid=17181 vsize=2896 CPUtime=0 /proc/17195/stat : 17195 (sh) S 17181 17180 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528813024 2965504 325 1283457024 134512640 135191968 4294914928 18446744073709551615 4159584670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 724 325 221 166 0 156 0 [pid=17196] ppid=17195 vsize=47636 CPUtime=12.13 /proc/17196/stat : 17196 (msuncore) R 17195 17180 3447 769 3447 4202496 70044 0 14 0 1180 33 0 0 25 0 1 0 528813024 48779264 11630 1283457024 134512640 135858300 4292721072 18446744073709551615 134673690 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/17196/statm: 11909 11630 137 329 0 11578 0 Current children cumulated CPU time (s) 18.76 Current children cumulated vsize (KiB) 56916 [startup+20.8059 s] /proc/loadavg: 0.86 0.96 0.98 2/37 17196 /proc/meminfo: memFree=841208/1048576 swapFree=2094592/2097144 [pid=17180] ppid=17179 vsize=2380 CPUtime=0 /proc/17180/stat : 17180 (inescp-1.0) S 17179 17180 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 528812207 2437120 259 1283457024 134512640 135191968 4292518032 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17180/statm: 595 259 222 166 0 27 0 [pid=17181] ppid=17180 vsize=14136 CPUtime=19.13 /proc/17181/stat : 17181 (cudf-solver.py) S 17180 17180 3447 769 3447 4202496 3596 114531 1 267 22 2 1783 106 18 0 1 0 528812208 14475264 3174 1283457024 134512640 135539072 4287007584 18446744073709551615 4158609822 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17181/statm: 3534 3174 348 251 0 2835 0 Current children cumulated CPU time (s) 19.13 Current children cumulated vsize (KiB) 16516 Child status: 0 Real time (s): 20.8343 CPU time (s): 19.1812 CPU user time (s): 18.0651 CPU system time (s): 1.11607 CPU usage (%): 92.0654 Max. virtual memory (cumulated for all children) (KiB): 873184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.0651 system time used= 1.11607 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120832 page faults= 270 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2242 involuntary context switches= 1963 runsolver used 0 second user time and 0.004 second system time The end