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/201007050905/inescp-1.0/rand7fec8c.cudf.easy.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/easy//rand7fec8c.cudf /home/misc2010/tmp/201007050905/inescp-1.0/rand7fec8c.cudf.easy.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.45 1.24 0.96 3/37 27669 /proc/meminfo: memFree=459040/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) R 27667 27668 24102 769 24102 4194304 344 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 258 1283457024 134512640 135191968 4294189680 18446744073709551615 4158951840 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/27668/statm: 595 258 221 166 0 27 0 [pid=27669] ppid=27668 vsize=2380 CPUtime=0 /proc/27669/stat : 27669 (inescp-1.0) R 27668 27668 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525081673 2437120 37 1283457024 134512640 135191968 4294189680 18446744073709551615 4158951840 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/27669/statm: 595 37 0 166 0 27 0 [startup+0.170059 s] /proc/loadavg: 1.45 1.24 0.96 3/37 27669 /proc/meminfo: memFree=459040/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=4004 CPUtime=0.01 /proc/27669/stat : 27669 (cudf-solver.py) S 27668 27668 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525081673 4100096 644 1283457024 134512640 135539072 4292413632 18446744073709551615 4159183262 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27669/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.210058 s] /proc/loadavg: 1.45 1.24 0.96 3/37 27669 /proc/meminfo: memFree=459040/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=4004 CPUtime=0.01 /proc/27669/stat : 27669 (cudf-solver.py) S 27668 27668 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525081673 4100096 644 1283457024 134512640 135539072 4292413632 18446744073709551615 4159183262 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27669/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.31007 s] /proc/loadavg: 1.45 1.24 0.96 3/37 27669 /proc/meminfo: memFree=459040/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=4004 CPUtime=0.01 /proc/27669/stat : 27669 (cudf-solver.py) S 27668 27668 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525081673 4100096 644 1283457024 134512640 135539072 4292413632 18446744073709551615 4159183262 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27669/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.710203 s] /proc/loadavg: 1.45 1.24 0.96 3/37 27669 /proc/meminfo: memFree=459040/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=4004 CPUtime=0.01 /proc/27669/stat : 27669 (cudf-solver.py) S 27668 27668 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525081673 4100096 644 1283457024 134512640 135539072 4292413632 18446744073709551615 4159183262 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27669/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+1.51044 s] /proc/loadavg: 1.45 1.24 0.96 3/47 27679 /proc/meminfo: memFree=421848/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=4004 CPUtime=0.01 /proc/27669/stat : 27669 (cudf-solver.py) S 27668 27668 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525081673 4100096 644 1283457024 134512640 135539072 4292413632 18446744073709551615 4159183262 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27669/statm: 1001 644 348 251 0 302 0 [pid=27671] ppid=27669 vsize=865492 CPUtime=1.49 /proc/27671/stat : 27671 (java) S 27669 27668 24102 769 24102 4202496 16202 0 1 0 144 5 0 0 25 0 9 0 525081674 886263808 14791 1283457024 134512640 134550932 4288660576 18446744073709551615 4160402578 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27671/statm: 216373 14791 2716 10 0 210711 0 [pid=27671/tid=27672] ppid=27669 vsize=865492 CPUtime=0.97 /proc/27671/task/27672/stat : 27672 (java) R 27669 27668 24102 769 24102 4202560 3510 0 1 0 92 5 0 0 25 0 9 0 525081674 886263808 14791 1283457024 134512640 134550932 4288660576 18446744073709551615 4160426695 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27671/tid=27673] ppid=27669 vsize=865492 CPUtime=0.45 /proc/27671/task/27673/stat : 27673 (java) S 27669 27668 24102 769 24102 4202560 11167 0 0 0 45 0 0 0 17 0 9 0 525081675 886263808 14791 1283457024 134512640 134550932 4288660576 18446744073709551615 4160416776 0 0 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27671/tid=27674] ppid=27669 vsize=865492 CPUtime=0 /proc/27671/task/27674/stat : 27674 (java) S 27669 27668 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 525081675 886263808 14791 1283457024 134512640 134550932 4288660576 18446744073709551615 4160415984 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27671/tid=27675] ppid=27669 vsize=865492 CPUtime=0 /proc/27671/task/27675/stat : 27675 (java) S 27669 27668 24102 769 24102 4202560 8 0 0 0 0 0 0 0 16 0 9 0 525081675 886263808 14791 1283457024 134512640 134550932 4288660576 18446744073709551615 4160415984 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27671/tid=27676] ppid=27669 vsize=865492 CPUtime=0 /proc/27671/task/27676/stat : 27676 (java) S 27669 27668 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525081676 886263808 14791 1283457024 134512640 134550932 4288660576 18446744073709551615 4160424272 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27671/tid=27677] ppid=27669 vsize=865492 CPUtime=0.06 /proc/27671/task/27677/stat : 27677 (java) R 27669 27668 24102 769 24102 4202560 409 0 0 0 6 0 0 0 16 0 9 0 525081676 886263808 14791 1283457024 134512640 134550932 4288660576 18446744073709551615 101712977 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27671/tid=27678] ppid=27669 vsize=865492 CPUtime=0 /proc/27671/task/27678/stat : 27678 (java) S 27669 27668 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525081676 886263808 14791 1283457024 134512640 134550932 4288660576 18446744073709551615 4160415984 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=27671/tid=27679] ppid=27669 vsize=865492 CPUtime=0 /proc/27671/task/27679/stat : 27679 (java) S 27669 27668 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 9 0 525081676 886263808 14791 1283457024 134512640 134550932 4288660576 18446744073709551615 4160416776 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 871876 [startup+3.11446 s] /proc/loadavg: 1.49 1.26 0.97 4/40 27684 /proc/meminfo: memFree=452028/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=4004 CPUtime=2.12 /proc/27669/stat : 27669 (cudf-solver.py) S 27668 27668 24102 769 24102 4202496 807 18862 0 1 1 0 191 20 17 0 1 0 525081673 4100096 644 1283457024 134512640 135539072 4292413632 18446744073709551615 4159183262 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27669/statm: 1001 644 348 251 0 302 0 [pid=27683] ppid=27669 vsize=2900 CPUtime=0.01 /proc/27683/stat : 27683 (sh) S 27669 27668 24102 769 24102 4194304 362 0 0 0 0 1 0 0 17 0 1 0 525081892 2969600 325 1283457024 134512640 135191968 4287898816 18446744073709551615 4158732702 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27683/statm: 725 325 221 166 0 157 0 [pid=27684] ppid=27683 vsize=25816 CPUtime=0.91 /proc/27684/stat : 27684 (msuncore) R 27683 27668 24102 769 24102 4202496 17662 0 0 0 84 7 0 0 21 0 1 0 525081892 26435584 6255 1283457024 134512640 135858300 4292090096 18446744073709551615 135341696 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27684/statm: 6454 6255 137 329 0 6123 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 35100 Solver just ended. Dumping a history of the last processes samples [startup+3.21452 s] /proc/loadavg: 1.49 1.26 0.97 4/40 27684 /proc/meminfo: memFree=452028/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=4004 CPUtime=2.12 /proc/27669/stat : 27669 (cudf-solver.py) S 27668 27668 24102 769 24102 4202496 807 18862 0 1 1 0 191 20 17 0 1 0 525081673 4100096 644 1283457024 134512640 135539072 4292413632 18446744073709551615 4159183262 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27669/statm: 1001 644 348 251 0 302 0 [pid=27683] ppid=27669 vsize=2900 CPUtime=0.01 /proc/27683/stat : 27683 (sh) S 27669 27668 24102 769 24102 4194304 362 0 0 0 0 1 0 0 17 0 1 0 525081892 2969600 325 1283457024 134512640 135191968 4287898816 18446744073709551615 4158732702 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27683/statm: 725 325 221 166 0 157 0 [pid=27684] ppid=27683 vsize=25816 CPUtime=1.01 /proc/27684/stat : 27684 (msuncore) R 27683 27668 24102 769 24102 4202496 17662 0 0 0 94 7 0 0 21 0 1 0 525081892 26435584 6255 1283457024 134512640 135858300 4292090096 18446744073709551615 135344235 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27684/statm: 6454 6255 137 329 0 6123 0 Current children cumulated CPU time (s) 3.14 Current children cumulated vsize (KiB) 35100 [startup+3.61466 s] /proc/loadavg: 1.49 1.26 0.97 2/40 27684 /proc/meminfo: memFree=426980/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=4004 CPUtime=2.12 /proc/27669/stat : 27669 (cudf-solver.py) S 27668 27668 24102 769 24102 4202496 807 18862 0 1 1 0 191 20 17 0 1 0 525081673 4100096 644 1283457024 134512640 135539072 4292413632 18446744073709551615 4159183262 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27669/statm: 1001 644 348 251 0 302 0 [pid=27683] ppid=27669 vsize=2900 CPUtime=0.01 /proc/27683/stat : 27683 (sh) S 27669 27668 24102 769 24102 4194304 362 0 0 0 0 1 0 0 17 0 1 0 525081892 2969600 325 1283457024 134512640 135191968 4287898816 18446744073709551615 4158732702 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27683/statm: 725 325 221 166 0 157 0 [pid=27684] ppid=27683 vsize=25816 CPUtime=1.41 /proc/27684/stat : 27684 (msuncore) R 27683 27668 24102 769 24102 4202496 17662 0 0 0 134 7 0 0 23 0 1 0 525081892 26435584 6255 1283457024 134512640 135858300 4292090096 18446744073709551615 134664362 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27684/statm: 6454 6255 137 329 0 6123 0 Current children cumulated CPU time (s) 3.54 Current children cumulated vsize (KiB) 35100 [startup+4.01479 s] /proc/loadavg: 1.49 1.26 0.97 2/40 27684 /proc/meminfo: memFree=426980/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=4004 CPUtime=2.12 /proc/27669/stat : 27669 (cudf-solver.py) S 27668 27668 24102 769 24102 4202496 807 18862 0 1 1 0 191 20 17 0 1 0 525081673 4100096 644 1283457024 134512640 135539072 4292413632 18446744073709551615 4159183262 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27669/statm: 1001 644 348 251 0 302 0 [pid=27683] ppid=27669 vsize=2900 CPUtime=0.01 /proc/27683/stat : 27683 (sh) S 27669 27668 24102 769 24102 4194304 362 0 0 0 0 1 0 0 17 0 1 0 525081892 2969600 325 1283457024 134512640 135191968 4287898816 18446744073709551615 4158732702 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27683/statm: 725 325 221 166 0 157 0 [pid=27684] ppid=27683 vsize=25816 CPUtime=1.81 /proc/27684/stat : 27684 (msuncore) R 27683 27668 24102 769 24102 4202496 17662 0 0 0 174 7 0 0 25 0 1 0 525081892 26435584 6255 1283457024 134512640 135858300 4292090096 18446744073709551615 134620504 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27684/statm: 6454 6255 137 329 0 6123 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 35100 [startup+4.1348 s] /proc/loadavg: 1.49 1.26 0.97 2/40 27684 /proc/meminfo: memFree=426980/1048576 swapFree=2095456/2097144 [pid=27668] ppid=27667 vsize=2380 CPUtime=0 /proc/27668/stat : 27668 (inescp-1.0) S 27667 27668 24102 769 24102 4194304 360 0 0 0 0 0 0 0 25 0 1 0 525081672 2437120 259 1283457024 134512640 135191968 4294189680 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27668/statm: 595 259 222 166 0 27 0 [pid=27669] ppid=27668 vsize=6376 CPUtime=4.08 /proc/27669/stat : 27669 (cudf-solver.py) R 27668 27668 24102 769 24102 4202496 1528 36909 0 1 4 0 374 30 15 0 1 0 525081673 6529024 1210 1283457024 134512640 135539072 4292413632 18446744073709551615 135056131 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/27669/statm: 1594 1210 348 251 0 895 0 Current children cumulated CPU time (s) 4.08 Current children cumulated vsize (KiB) 8756 Child status: 0 Real time (s): 4.19164 CPU time (s): 4.13626 CPU user time (s): 3.83224 CPU system time (s): 0.304019 CPU usage (%): 98.6787 Max. virtual memory (cumulated for all children) (KiB): 872196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.83224 system time used= 0.304019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40133 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1177 involuntary context switches= 1294 runsolver used 0 second user time and 0.008 second system time The end