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/201007051419/inescp-1.0/randec88d5.cudf.impossible.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/impossible//randec88d5.cudf /home/misc2010/tmp/201007051419/inescp-1.0/randec88d5.cudf.impossible.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.97 1.00 1.00 1/94 25818 /proc/meminfo: memFree=1015076/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=3724 CPUtime=0 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 631 0 0 0 0 0 0 0 19 0 1 0 418426498 3813376 528 1283457024 134512640 135539072 4291943872 18446744073709551615 4159567950 0 2147483391 16781312 2 18446744071697298955 0 0 17 0 0 0 0 /proc/25819/statm: 931 528 322 251 0 232 0 [startup+0.133416 s] /proc/loadavg: 0.97 1.00 1.00 1/94 25818 /proc/meminfo: memFree=1015076/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=0 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.20338 s] /proc/loadavg: 0.97 1.00 1.00 1/94 25818 /proc/meminfo: memFree=1015076/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=0 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.362172 s] /proc/loadavg: 0.97 1.00 1.00 1/94 25818 /proc/meminfo: memFree=1015076/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=0 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+1.04236 s] /proc/loadavg: 0.97 1.00 1.00 1/94 25818 /proc/meminfo: memFree=1015076/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=0 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+1.50705 s] /proc/loadavg: 0.97 1.00 1.00 2/108 25833 /proc/meminfo: memFree=919120/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=0 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25821] ppid=25819 vsize=878204 CPUtime=2.22 /proc/25821/stat : 25821 (java) S 25819 25818 13759 34823 13904 4202496 29556 0 0 0 211 11 0 0 17 0 12 0 418426500 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160173202 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25821/statm: 219551 25379 1744 10 0 216638 0 [pid=25821/tid=25822] ppid=25819 vsize=878204 CPUtime=1.05 /proc/25821/task/25822/stat : 25822 (java) R 25819 25818 13759 34823 13904 4202560 9293 0 0 0 102 3 0 0 16 0 12 0 418426502 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160198001 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25821/tid=25823] ppid=25819 vsize=878204 CPUtime=0.15 /proc/25821/task/25823/stat : 25823 (java) S 25819 25818 13759 34823 13904 4202560 5989 0 0 0 12 3 0 0 16 0 12 0 418426503 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25824] ppid=25819 vsize=878204 CPUtime=0.14 /proc/25821/task/25824/stat : 25824 (java) S 25819 25818 13759 34823 13904 4202560 5262 0 0 0 12 2 0 0 16 0 12 0 418426503 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25825] ppid=25819 vsize=878204 CPUtime=0.08 /proc/25821/task/25825/stat : 25825 (java) S 25819 25818 13759 34823 13904 4202560 104 0 0 0 8 0 0 0 16 0 12 0 418426504 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160187400 0 0 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=25821/tid=25826] ppid=25819 vsize=878204 CPUtime=0 /proc/25821/task/25826/stat : 25826 (java) S 25819 25818 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 19 0 12 0 418426504 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=25821/tid=25827] ppid=25819 vsize=878204 CPUtime=0.01 /proc/25821/task/25827/stat : 25827 (java) S 25819 25818 13759 34823 13904 4202560 6 0 0 0 1 0 0 0 20 0 12 0 418426504 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=25821/tid=25828] ppid=25819 vsize=878204 CPUtime=0 /proc/25821/task/25828/stat : 25828 (java) S 25819 25818 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 418426508 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160194896 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25829] ppid=25819 vsize=878204 CPUtime=0.18 /proc/25821/task/25829/stat : 25829 (java) S 25819 25818 13759 34823 13904 4202560 1722 0 0 0 16 2 0 0 17 0 12 0 418426508 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25830] ppid=25819 vsize=878204 CPUtime=0.57 /proc/25821/task/25830/stat : 25830 (java) S 25819 25818 13759 34823 13904 4202560 5779 0 0 0 57 0 0 0 15 0 12 0 418426508 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25831] ppid=25819 vsize=878204 CPUtime=0 /proc/25821/task/25831/stat : 25831 (java) S 25819 25818 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418426508 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25832] ppid=25819 vsize=878204 CPUtime=0 /proc/25821/task/25832/stat : 25832 (java) S 25819 25818 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418426508 899280896 25379 1283457024 134512640 134550932 4291980560 18446744073709551615 4160187400 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 884580 [startup+3.10725 s] /proc/loadavg: 0.97 1.00 1.00 2/108 25833 /proc/meminfo: memFree=836288/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=0 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25821] ppid=25819 vsize=878204 CPUtime=4.07 /proc/25821/stat : 25821 (java) S 25819 25818 13759 34823 13904 4202496 66521 0 0 0 384 23 0 0 17 0 12 0 418426500 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160173202 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25821/statm: 219551 60851 1745 10 0 216638 0 [pid=25821/tid=25822] ppid=25819 vsize=878204 CPUtime=1.95 /proc/25821/task/25822/stat : 25822 (java) S 25819 25818 13759 34823 13904 4202560 18098 0 0 0 189 6 0 0 16 0 12 0 418426502 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=25821/tid=25823] ppid=25819 vsize=878204 CPUtime=0.47 /proc/25821/task/25823/stat : 25823 (java) S 25819 25818 13759 34823 13904 4202560 19528 0 0 0 40 7 0 0 15 0 12 0 418426503 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=25821/tid=25824] ppid=25819 vsize=878204 CPUtime=0.48 /proc/25821/task/25824/stat : 25824 (java) R 25819 25818 13759 34823 13904 4202560 17931 0 0 0 42 6 0 0 16 0 12 0 418426503 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25821/tid=25825] ppid=25819 vsize=878204 CPUtime=0.36 /proc/25821/task/25825/stat : 25825 (java) R 25819 25818 13759 34823 13904 4202560 2056 0 0 0 36 0 0 0 16 0 12 0 418426504 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4148022532 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=25821/tid=25826] ppid=25819 vsize=878204 CPUtime=0 /proc/25821/task/25826/stat : 25826 (java) S 25819 25818 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 19 0 12 0 418426504 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=25821/tid=25827] ppid=25819 vsize=878204 CPUtime=0.01 /proc/25821/task/25827/stat : 25827 (java) S 25819 25818 13759 34823 13904 4202560 6 0 0 0 1 0 0 0 20 0 12 0 418426504 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=25821/tid=25828] ppid=25819 vsize=878204 CPUtime=0 /proc/25821/task/25828/stat : 25828 (java) S 25819 25818 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 418426508 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160194896 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25829] ppid=25819 vsize=878204 CPUtime=0.18 /proc/25821/task/25829/stat : 25829 (java) S 25819 25818 13759 34823 13904 4202560 1722 0 0 0 16 2 0 0 15 0 12 0 418426508 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25830] ppid=25819 vsize=878204 CPUtime=0.58 /proc/25821/task/25830/stat : 25830 (java) S 25819 25818 13759 34823 13904 4202560 5779 0 0 0 58 0 0 0 15 0 12 0 418426508 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25831] ppid=25819 vsize=878204 CPUtime=0 /proc/25821/task/25831/stat : 25831 (java) S 25819 25818 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418426508 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25832] ppid=25819 vsize=878204 CPUtime=0 /proc/25821/task/25832/stat : 25832 (java) S 25819 25818 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418426508 899280896 60851 1283457024 134512640 134550932 4291980560 18446744073709551615 4160187400 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.07 Current children cumulated vsize (KiB) 884580 [startup+6.30652 s] /proc/loadavg: 0.98 1.00 1.00 2/108 25833 /proc/meminfo: memFree=689852/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=0 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25821] ppid=25819 vsize=877888 CPUtime=9.1 /proc/25821/stat : 25821 (java) S 25819 25818 13759 34823 13904 4202496 91954 0 0 0 880 30 0 0 17 0 13 0 418426500 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160173202 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25821/statm: 219472 82463 1784 10 0 216559 0 [pid=25821/tid=25822] ppid=25819 vsize=877888 CPUtime=3.74 /proc/25821/task/25822/stat : 25822 (java) S 25819 25818 13759 34823 13904 4202560 18260 0 0 0 368 6 0 0 17 0 13 0 418426502 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=25821/tid=25823] ppid=25819 vsize=877888 CPUtime=0.83 /proc/25821/task/25823/stat : 25823 (java) S 25819 25818 13759 34823 13904 4202560 30293 0 0 0 73 10 0 0 16 0 13 0 418426503 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25824] ppid=25819 vsize=877888 CPUtime=0.84 /proc/25821/task/25824/stat : 25824 (java) S 25819 25818 13759 34823 13904 4202560 27749 0 0 0 76 8 0 0 16 0 13 0 418426503 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25825] ppid=25819 vsize=877888 CPUtime=1.04 /proc/25821/task/25825/stat : 25825 (java) S 25819 25818 13759 34823 13904 4202560 3536 0 0 0 102 2 0 0 15 0 13 0 418426504 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160187400 0 0 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25826] ppid=25819 vsize=877888 CPUtime=0 /proc/25821/task/25826/stat : 25826 (java) S 25819 25818 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 13 0 418426504 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25827] ppid=25819 vsize=877888 CPUtime=0.01 /proc/25821/task/25827/stat : 25827 (java) S 25819 25818 13759 34823 13904 4202560 6 0 0 0 1 0 0 0 18 0 13 0 418426504 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25828] ppid=25819 vsize=877888 CPUtime=0 /proc/25821/task/25828/stat : 25828 (java) S 25819 25818 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 13 0 418426508 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160194896 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25829] ppid=25819 vsize=877888 CPUtime=1.16 /proc/25821/task/25829/stat : 25829 (java) R 25819 25818 13759 34823 13904 4202560 4520 0 0 0 114 2 0 0 15 0 13 0 418426508 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4152292628 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25821/tid=25830] ppid=25819 vsize=877888 CPUtime=1.38 /proc/25821/task/25830/stat : 25830 (java) S 25819 25818 13759 34823 13904 4202560 6178 0 0 0 138 0 0 0 15 0 13 0 418426508 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25831] ppid=25819 vsize=877888 CPUtime=0 /proc/25821/task/25831/stat : 25831 (java) S 25819 25818 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 13 0 418426508 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160186608 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=25821/tid=25832] ppid=25819 vsize=877888 CPUtime=0 /proc/25821/task/25832/stat : 25832 (java) S 25819 25818 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 13 0 418426508 898957312 82463 1283457024 134512640 134550932 4291980560 18446744073709551615 4160187400 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.1 Current children cumulated vsize (KiB) 884264 [startup+12.7076 s] /proc/loadavg: 0.98 1.00 1.00 2/98 25838 /proc/meminfo: memFree=955408/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=11.78 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 813 94923 0 0 0 0 1118 60 18 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25837] ppid=25819 vsize=2888 CPUtime=0 /proc/25837/stat : 25837 (sh) S 25819 25818 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 418427381 2957312 320 1283457024 134512640 135191968 4292984608 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25837/statm: 722 320 219 166 0 154 0 [pid=25838] ppid=25837 vsize=44724 CPUtime=3.85 /proc/25838/stat : 25838 (msuncore) R 25837 25818 13759 34823 13904 4202496 52178 0 0 0 364 21 0 0 25 0 1 0 418427381 45797376 10896 1283457024 134512640 135858300 4288236208 18446744073709551615 134663411 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/25838/statm: 11181 10896 133 329 0 10850 0 Current children cumulated CPU time (s) 15.63 Current children cumulated vsize (KiB) 53988 [startup+25.5041 s] /proc/loadavg: 0.98 1.00 1.00 2/98 25839 /proc/meminfo: memFree=895672/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=11.78 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 813 94923 0 0 0 0 1118 60 18 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25837] ppid=25819 vsize=2888 CPUtime=0 /proc/25837/stat : 25837 (sh) S 25819 25818 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 418427381 2957312 320 1283457024 134512640 135191968 4292984608 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25837/statm: 722 320 219 166 0 154 0 [pid=25838] ppid=25837 vsize=103832 CPUtime=16.64 /proc/25838/stat : 25838 (msuncore) R 25837 25818 13759 34823 13904 4202496 77934 0 0 0 1631 33 0 0 25 0 1 0 418427381 106323968 25669 1283457024 134512640 135858300 4288236208 18446744073709551615 135358863 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/25838/statm: 25958 25669 137 329 0 25627 0 Current children cumulated CPU time (s) 28.42 Current children cumulated vsize (KiB) 113096 Solver just ended. Dumping a history of the last processes samples [startup+26.0041 s] /proc/loadavg: 0.98 1.00 1.00 2/98 25839 /proc/meminfo: memFree=895796/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=11.78 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 813 94923 0 0 0 0 1118 60 18 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25837] ppid=25819 vsize=2888 CPUtime=0 /proc/25837/stat : 25837 (sh) S 25819 25818 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 418427381 2957312 320 1283457024 134512640 135191968 4292984608 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25837/statm: 722 320 219 166 0 154 0 [pid=25838] ppid=25837 vsize=103832 CPUtime=17.14 /proc/25838/stat : 25838 (msuncore) R 25837 25818 13759 34823 13904 4202496 77934 0 0 0 1681 33 0 0 25 0 1 0 418427381 106323968 25669 1283457024 134512640 135858300 4288236208 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/25838/statm: 25958 25669 137 329 0 25627 0 Current children cumulated CPU time (s) 28.92 Current children cumulated vsize (KiB) 113096 [startup+38.8047 s] /proc/loadavg: 0.98 1.00 1.00 2/98 25840 /proc/meminfo: memFree=895788/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=11.78 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 813 94923 0 0 0 0 1118 60 18 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25837] ppid=25819 vsize=2888 CPUtime=0 /proc/25837/stat : 25837 (sh) S 25819 25818 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 418427381 2957312 320 1283457024 134512640 135191968 4292984608 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25837/statm: 722 320 219 166 0 154 0 [pid=25838] ppid=25837 vsize=103832 CPUtime=29.94 /proc/25838/stat : 25838 (msuncore) R 25837 25818 13759 34823 13904 4202496 77934 0 0 0 2961 33 0 0 25 0 1 0 418427381 106323968 25669 1283457024 134512640 135858300 4288236208 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/25838/statm: 25958 25669 137 329 0 25627 0 Current children cumulated CPU time (s) 41.72 Current children cumulated vsize (KiB) 113096 [startup+45.205 s] /proc/loadavg: 0.99 1.00 1.00 2/98 25840 /proc/meminfo: memFree=895672/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=11.78 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 813 94923 0 0 0 0 1118 60 18 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25837] ppid=25819 vsize=2888 CPUtime=0 /proc/25837/stat : 25837 (sh) S 25819 25818 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 418427381 2957312 320 1283457024 134512640 135191968 4292984608 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25837/statm: 722 320 219 166 0 154 0 [pid=25838] ppid=25837 vsize=103832 CPUtime=36.34 /proc/25838/stat : 25838 (msuncore) R 25837 25818 13759 34823 13904 4202496 77934 0 0 0 3601 33 0 0 25 0 1 0 418427381 106323968 25669 1283457024 134512640 135858300 4288236208 18446744073709551615 134626593 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/25838/statm: 25958 25669 137 329 0 25627 0 Current children cumulated CPU time (s) 48.12 Current children cumulated vsize (KiB) 113096 [startup+46.805 s] /proc/loadavg: 0.99 1.00 1.00 2/98 25841 /proc/meminfo: memFree=895672/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=11.78 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 813 94923 0 0 0 0 1118 60 18 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25837] ppid=25819 vsize=2888 CPUtime=0 /proc/25837/stat : 25837 (sh) S 25819 25818 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 418427381 2957312 320 1283457024 134512640 135191968 4292984608 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25837/statm: 722 320 219 166 0 154 0 [pid=25838] ppid=25837 vsize=103832 CPUtime=37.94 /proc/25838/stat : 25838 (msuncore) R 25837 25818 13759 34823 13904 4202496 77934 0 0 0 3761 33 0 0 25 0 1 0 418427381 106323968 25669 1283457024 134512640 135858300 4288236208 18446744073709551615 134625488 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/25838/statm: 25958 25669 137 329 0 25627 0 Current children cumulated CPU time (s) 49.72 Current children cumulated vsize (KiB) 113096 [startup+48.4051 s] /proc/loadavg: 0.99 1.00 1.00 2/98 25841 /proc/meminfo: memFree=895672/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=11.78 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 813 94923 0 0 0 0 1118 60 18 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25837] ppid=25819 vsize=2888 CPUtime=0 /proc/25837/stat : 25837 (sh) S 25819 25818 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 418427381 2957312 320 1283457024 134512640 135191968 4292984608 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25837/statm: 722 320 219 166 0 154 0 [pid=25838] ppid=25837 vsize=103832 CPUtime=39.54 /proc/25838/stat : 25838 (msuncore) R 25837 25818 13759 34823 13904 4202496 77934 0 0 0 3921 33 0 0 25 0 1 0 418427381 106323968 25669 1283457024 134512640 135858300 4288236208 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/25838/statm: 25958 25669 137 329 0 25627 0 Current children cumulated CPU time (s) 51.32 Current children cumulated vsize (KiB) 113096 [startup+49.2051 s] /proc/loadavg: 0.99 1.00 1.00 2/98 25841 /proc/meminfo: memFree=895672/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=4000 CPUtime=11.78 /proc/25819/stat : 25819 (cudf-solver.py) S 25818 25818 13759 34823 13904 4202496 813 94923 0 0 0 0 1118 60 18 0 1 0 418426498 4096000 642 1283457024 134512640 135539072 4291943872 18446744073709551615 4159408782 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/25819/statm: 1000 642 346 251 0 301 0 [pid=25837] ppid=25819 vsize=2888 CPUtime=0 /proc/25837/stat : 25837 (sh) S 25819 25818 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 418427381 2957312 320 1283457024 134512640 135191968 4292984608 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25837/statm: 722 320 219 166 0 154 0 [pid=25838] ppid=25837 vsize=103832 CPUtime=40.34 /proc/25838/stat : 25838 (msuncore) R 25837 25818 13759 34823 13904 4202496 77934 0 0 0 4001 33 0 0 25 0 1 0 418427381 106323968 25669 1283457024 134512640 135858300 4288236208 18446744073709551615 134671495 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/25838/statm: 25958 25669 137 329 0 25627 0 Current children cumulated CPU time (s) 52.12 Current children cumulated vsize (KiB) 113096 [startup+49.6052 s] /proc/loadavg: 0.99 1.00 1.00 2/98 25841 /proc/meminfo: memFree=895672/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=11472 CPUtime=52.49 /proc/25819/stat : 25819 (cudf-solver.py) R 25818 25818 13759 34823 13904 4202496 2933 173235 0 0 8 2 5145 94 18 0 1 0 418426498 11747328 2507 1283457024 134512640 135539072 4291943872 18446744073709551615 4159569806 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/25819/statm: 2868 2507 346 251 0 2169 0 Current children cumulated CPU time (s) 52.49 Current children cumulated vsize (KiB) 13848 [startup+49.7052 s] /proc/loadavg: 0.99 1.00 1.00 2/98 25841 /proc/meminfo: memFree=895672/2097152 swapFree=2055620/2097144 [pid=25818] ppid=25817 vsize=2376 CPUtime=0 /proc/25818/stat : 25818 (inescp-1.0) S 25817 25818 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418426498 2433024 257 1283457024 134512640 135191968 4294762592 18446744073709551615 4159298190 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25818/statm: 594 257 221 166 0 26 0 [pid=25819] ppid=25818 vsize=13012 CPUtime=52.59 /proc/25819/stat : 25819 (cudf-solver.py) R 25818 25818 13759 34823 13904 4202496 3820 173703 0 0 17 3 5145 94 19 0 1 0 418426498 13324288 2892 1283457024 134512640 135539072 4291943872 18446744073709551615 135235747 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25819/statm: 3253 2892 346 251 0 2554 0 Current children cumulated CPU time (s) 52.59 Current children cumulated vsize (KiB) 15388 Child status: 0 Real time (s): 49.7272 CPU time (s): 52.6193 CPU user time (s): 51.6392 CPU system time (s): 0.980061 CPU usage (%): 105.816 Max. virtual memory (cumulated for all children) (KiB): 886648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 51.6392 system time used= 0.980061 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178965 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= 800 involuntary context switches= 379 runsolver used 0.028001 second user time and 0.056003 second system time The end