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/aspcud-trendy-1.2/rand359ca0.cudf.easy.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/easy//rand359ca0.cudf /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/rand359ca0.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.26 1.13 0.64 5/38 25988 /proc/meminfo: memFree=437596/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4588 CPUtime=0.02 /proc/25987/stat : 25987 (aspcud-trendy-1) R 25986 25987 24102 769 24102 4202496 974 0 0 0 2 0 0 0 25 0 1 0 524993077 4698112 837 1283457024 134512640 135539072 4288736528 18446744073709551615 4159537568 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/25987/statm: 1147 837 399 251 0 405 0 [pid=25988] ppid=25987 vsize=4588 CPUtime=0 /proc/25988/stat : 25988 (aspcud-trendy-1) R 25987 25987 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 1 0 524993079 4698112 446 1283457024 134512640 135539072 4288736528 18446744073709551615 4159537568 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/25988/statm: 1147 446 8 251 0 405 0 [startup+0.192771 s] /proc/loadavg: 1.26 1.13 0.64 5/38 25988 /proc/meminfo: memFree=437596/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4588 CPUtime=0.02 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524993077 4698112 839 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1147 839 401 251 0 405 0 [pid=25988] ppid=25987 vsize=3744 CPUtime=0.16 /proc/25988/stat : 25988 (cudf2lp) R 25987 25987 24102 769 24102 4202496 793 0 0 0 16 0 0 0 25 0 1 0 524993079 3833856 588 1283457024 134512640 135993029 4294226576 18446744073709551615 134538076 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25988/statm: 936 588 110 362 0 518 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 8332 [startup+0.212785 s] /proc/loadavg: 1.26 1.13 0.64 5/38 25988 /proc/meminfo: memFree=437596/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4588 CPUtime=0.02 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524993077 4698112 839 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1147 839 401 251 0 405 0 [pid=25988] ppid=25987 vsize=3744 CPUtime=0.18 /proc/25988/stat : 25988 (cudf2lp) R 25987 25987 24102 769 24102 4202496 843 0 0 0 18 0 0 0 25 0 1 0 524993079 3833856 638 1283457024 134512640 135993029 4294226576 18446744073709551615 134567241 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25988/statm: 936 638 110 362 0 518 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 8332 [startup+0.312807 s] /proc/loadavg: 1.26 1.13 0.64 5/38 25988 /proc/meminfo: memFree=437596/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4588 CPUtime=0.02 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524993077 4698112 839 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1147 839 401 251 0 405 0 [pid=25988] ppid=25987 vsize=4488 CPUtime=0.28 /proc/25988/stat : 25988 (cudf2lp) R 25987 25987 24102 769 24102 4202496 1032 0 0 0 28 0 0 0 25 0 1 0 524993079 4595712 827 1283457024 134512640 135993029 4294226576 18446744073709551615 134570519 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25988/statm: 1122 827 110 362 0 704 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9076 [startup+0.712904 s] /proc/loadavg: 1.26 1.13 0.64 5/38 25988 /proc/meminfo: memFree=437596/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4588 CPUtime=0.02 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524993077 4698112 839 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1147 839 401 251 0 405 0 [pid=25988] ppid=25987 vsize=7712 CPUtime=0.68 /proc/25988/stat : 25988 (cudf2lp) R 25987 25987 24102 769 24102 4202496 1805 0 0 0 68 0 0 0 25 0 1 0 524993079 7897088 1600 1283457024 134512640 135993029 4294226576 18446744073709551615 134570492 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25988/statm: 1928 1600 110 362 0 1510 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 12300 [startup+1.51303 s] /proc/loadavg: 1.26 1.13 0.64 2/39 25989 /proc/meminfo: memFree=423740/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4588 CPUtime=0.02 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524993077 4698112 839 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1147 839 401 251 0 405 0 [pid=25988] ppid=25987 vsize=14408 CPUtime=1.45 /proc/25988/stat : 25988 (cudf2lp) R 25987 25987 24102 769 24102 4202496 3480 0 0 0 143 2 0 0 25 0 1 0 524993079 14753792 3275 1283457024 134512640 135993029 4294226576 18446744073709551615 134569072 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25988/statm: 3602 3275 110 362 0 3184 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 18996 [startup+3.11337 s] /proc/loadavg: 1.26 1.13 0.64 2/39 25989 /proc/meminfo: memFree=410348/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4588 CPUtime=0.02 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1032 0 0 0 2 0 0 0 25 0 1 0 524993077 4698112 839 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1147 839 401 251 0 405 0 [pid=25988] ppid=25987 vsize=27932 CPUtime=3.03 /proc/25988/stat : 25988 (cudf2lp) R 25987 25987 24102 769 24102 4202496 6788 0 0 0 300 3 0 0 25 0 1 0 524993079 28602368 6583 1283457024 134512640 135993029 4294226576 18446744073709551615 134566521 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25988/statm: 6983 6583 110 362 0 6565 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 32520 [startup+6.31417 s] /proc/loadavg: 1.24 1.13 0.64 2/39 25989 /proc/meminfo: memFree=345744/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4588 CPUtime=5.6 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1217 17983 0 0 2 0 466 92 18 0 1 0 524993077 4698112 842 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1147 842 404 251 0 405 0 Current children cumulated CPU time (s) 5.6 Current children cumulated vsize (KiB) 4588 [startup+12.706 s] /proc/loadavg: 1.22 1.12 0.64 2/40 25991 /proc/meminfo: memFree=11672/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4588 CPUtime=5.6 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1217 17983 0 0 2 0 466 92 18 0 1 0 524993077 4698112 842 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1147 842 404 251 0 405 0 [pid=25990] ppid=25987 vsize=470868 CPUtime=6.05 /proc/25990/stat : 25990 (bingo) R 25987 25987 24102 769 24102 4202496 111868 0 0 0 566 39 0 0 25 0 1 0 524993645 482168832 89105 1283457024 134512640 136195415 4294068880 18446744073709551615 135584528 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25990/statm: 117717 89105 221 411 0 117304 0 [pid=25991] ppid=25987 vsize=100044 CPUtime=0.93 /proc/25991/stat : 25991 (clasp) S 25987 25987 24102 769 24102 4202496 27678 0 0 0 83 10 0 0 18 0 1 0 524993648 102445056 24362 1283457024 134512640 136080129 4290959232 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/25991/statm: 25011 24362 144 383 0 24626 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 575500 [startup+25.5107 s] /proc/loadavg: 1.25 1.13 0.65 2/40 25996 /proc/meminfo: memFree=363476/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4716 CPUtime=16.97 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1422 175820 0 0 2 0 1530 165 18 0 1 0 524993077 4829184 858 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1179 858 404 251 0 437 0 [pid=25992] ppid=25987 vsize=0 CPUtime=6.58 /proc/25992/stat : 25992 (bingo) Z 25987 25987 24102 769 24102 4202508 112413 0 0 0 612 46 0 0 25 0 1 0 524994796 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/25992/statm: 0 0 0 0 0 0 0 [pid=25993] ppid=25987 vsize=107744 CPUtime=1.62 /proc/25993/stat : 25993 (clasp) R 25987 25987 24102 769 24102 4202496 30401 0 0 0 144 18 0 0 18 0 1 0 524994798 110329856 26103 1283457024 134512640 136080129 4286589760 18446744073709551615 134906466 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/25993/statm: 26936 26103 163 383 0 26551 0 Current children cumulated CPU time (s) 25.17 Current children cumulated vsize (KiB) 112460 [startup+51.109 s] /proc/loadavg: 1.22 1.14 0.67 2/40 26000 /proc/meminfo: memFree=341656/1048576 swapFree=2095456/2097144 [pid=25987] ppid=25986 vsize=4716 CPUtime=39.48 /proc/25987/stat : 25987 (aspcud-trendy-1) S 25986 25987 24102 769 24102 4202496 1823 493617 0 0 2 0 3647 299 18 0 1 0 524993077 4829184 859 1283457024 134512640 135539072 4288736528 18446744073709551615 4160476078 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/25987/statm: 1179 859 404 251 0 437 0 [pid=25999] ppid=25987 vsize=0 CPUtime=6.94 /proc/25999/stat : 25999 (bingo) Z 25987 25987 24102 769 24102 4202508 113734 0 0 0 648 46 0 0 25 0 1 0 524997068 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/25999/statm: 0 0 0 0 0 0 0 [pid=26000] ppid=25987 vsize=94084 CPUtime=4.1 /proc/26000/stat : 26000 (clasp) R 25987 25987 24102 769 24102 4202496 46242 0 0 0 390 20 0 0 25 0 1 0 524997071 96342016 19224 1283457024 134512640 136080129 4286835584 18446744073709551615 135703614 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/26000/statm: 23521 19224 203 383 0 23136 0 Current children cumulated CPU time (s) 50.52 Current children cumulated vsize (KiB) 98800 Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 51.1811 CPU time (s): 50.6032 CPU user time (s): 46.8909 CPU system time (s): 3.71223 CPU usage (%): 98.8708 Max. virtual memory (cumulated for all children) (KiB): 587420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.8909 system time used= 3.71223 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 656757 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= 14504 involuntary context switches= 17456 runsolver used 0 second user time and 0.012 second system time The end