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/rand8cc693.cudf.impossible.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/impossible//rand8cc693.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand8cc693.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: 1.00 1.07 1.04 2/94 9593 /proc/meminfo: memFree=1028100/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2876 CPUtime=0 /proc/9593/stat : 9593 (runsolver) R 9592 9593 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 19 0 1 0 417702674 2945024 92 1283457024 134512640 134586868 4293387856 18446744073709551615 4158571802 0 2147483391 0 24578 0 0 0 17 1 0 0 0 /proc/9593/statm: 719 92 62 19 0 51 0 [startup+0.136705 s] /proc/loadavg: 1.00 1.07 1.04 2/94 9593 /proc/meminfo: memFree=1028100/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.204709 s] /proc/loadavg: 1.00 1.07 1.04 2/94 9593 /proc/meminfo: memFree=1028100/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.304706 s] /proc/loadavg: 1.00 1.07 1.04 2/94 9593 /proc/meminfo: memFree=1028100/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.704727 s] /proc/loadavg: 1.00 1.07 1.04 2/94 9593 /proc/meminfo: memFree=1028100/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50475 s] /proc/loadavg: 1.08 1.08 1.04 2/108 9607 /proc/meminfo: memFree=963260/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=0 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9596] ppid=9595 vsize=874440 CPUtime=2.24 /proc/9596/stat : 9596 (java) S 9595 9593 13759 34823 13904 4202496 28437 0 0 0 211 13 0 0 17 0 12 0 417702677 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159751314 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9596/statm: 218610 24479 1745 10 0 215697 0 [pid=9596/tid=9597] ppid=9595 vsize=874440 CPUtime=0.95 /proc/9596/task/9597/stat : 9597 (java) R 9595 9593 13759 34823 13904 4202560 9253 0 0 0 91 4 0 0 15 0 12 0 417702678 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159776113 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9596/tid=9598] ppid=9595 vsize=874440 CPUtime=0.17 /proc/9596/task/9598/stat : 9598 (java) S 9595 9593 13759 34823 13904 4202560 6641 0 0 0 17 0 0 0 16 0 12 0 417702679 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9599] ppid=9595 vsize=874440 CPUtime=0.12 /proc/9596/task/9599/stat : 9599 (java) S 9595 9593 13759 34823 13904 4202560 4677 0 0 0 10 2 0 0 15 0 12 0 417702679 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9600] ppid=9595 vsize=874440 CPUtime=0.17 /proc/9596/task/9600/stat : 9600 (java) S 9595 9593 13759 34823 13904 4202560 93 0 0 0 15 2 0 0 15 0 12 0 417702680 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159765512 0 0 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9601] ppid=9595 vsize=874440 CPUtime=0 /proc/9596/task/9601/stat : 9601 (java) S 9595 9593 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 417702681 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9602] ppid=9595 vsize=874440 CPUtime=0 /proc/9596/task/9602/stat : 9602 (java) S 9595 9593 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 417702681 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9603] ppid=9595 vsize=874440 CPUtime=0 /proc/9596/task/9603/stat : 9603 (java) S 9595 9593 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 417702684 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159773008 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9604] ppid=9595 vsize=874440 CPUtime=0.17 /proc/9596/task/9604/stat : 9604 (java) S 9595 9593 13759 34823 13904 4202560 1414 0 0 0 17 0 0 0 15 0 12 0 417702684 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9605] ppid=9595 vsize=874440 CPUtime=0.61 /proc/9596/task/9605/stat : 9605 (java) S 9595 9593 13759 34823 13904 4202560 4949 0 0 0 59 2 0 0 15 0 12 0 417702684 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9606] ppid=9595 vsize=874440 CPUtime=0 /proc/9596/task/9606/stat : 9606 (java) S 9595 9593 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417702684 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9607] ppid=9595 vsize=874440 CPUtime=0 /proc/9596/task/9607/stat : 9607 (java) S 9595 9593 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 12 0 417702684 895426560 24479 1283457024 134512640 134550932 4292576672 18446744073709551615 4159765512 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 880824 [startup+3.11016 s] /proc/loadavg: 1.08 1.08 1.04 2/108 9607 /proc/meminfo: memFree=880304/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=0 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9596] ppid=9595 vsize=875496 CPUtime=4.19 /proc/9596/stat : 9596 (java) S 9595 9593 13759 34823 13904 4202496 66132 0 0 0 387 32 0 0 17 0 12 0 417702677 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159751314 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9596/statm: 218874 59776 1745 10 0 215961 0 [pid=9596/tid=9597] ppid=9595 vsize=875496 CPUtime=1.84 /proc/9596/task/9597/stat : 9597 (java) S 9595 9593 13759 34823 13904 4202560 17683 0 0 0 173 11 0 0 16 0 12 0 417702678 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9598] ppid=9595 vsize=875496 CPUtime=0.52 /proc/9596/task/9598/stat : 9598 (java) S 9595 9593 13759 34823 13904 4202560 19654 0 0 0 46 6 0 0 15 0 12 0 417702679 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9599] ppid=9595 vsize=875496 CPUtime=0.46 /proc/9596/task/9599/stat : 9599 (java) S 9595 9593 13759 34823 13904 4202560 18724 0 0 0 40 6 0 0 16 0 12 0 417702679 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9600] ppid=9595 vsize=875496 CPUtime=0.54 /proc/9596/task/9600/stat : 9600 (java) R 9595 9593 13759 34823 13904 4202560 2298 0 0 0 50 4 0 0 16 0 12 0 417702680 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4152201705 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=9596/tid=9601] ppid=9595 vsize=875496 CPUtime=0 /proc/9596/task/9601/stat : 9601 (java) S 9595 9593 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 417702681 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9602] ppid=9595 vsize=875496 CPUtime=0 /proc/9596/task/9602/stat : 9602 (java) S 9595 9593 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 417702681 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9603] ppid=9595 vsize=875496 CPUtime=0 /proc/9596/task/9603/stat : 9603 (java) S 9595 9593 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 417702684 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159773008 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9604] ppid=9595 vsize=875496 CPUtime=0.17 /proc/9596/task/9604/stat : 9604 (java) S 9595 9593 13759 34823 13904 4202560 1414 0 0 0 17 0 0 0 15 0 12 0 417702684 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9605] ppid=9595 vsize=875496 CPUtime=0.61 /proc/9596/task/9605/stat : 9605 (java) S 9595 9593 13759 34823 13904 4202560 4949 0 0 0 59 2 0 0 15 0 12 0 417702684 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9606] ppid=9595 vsize=875496 CPUtime=0 /proc/9596/task/9606/stat : 9606 (java) S 9595 9593 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417702684 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9607] ppid=9595 vsize=875496 CPUtime=0 /proc/9596/task/9607/stat : 9607 (java) S 9595 9593 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 12 0 417702684 896507904 59776 1283457024 134512640 134550932 4292576672 18446744073709551615 4159765512 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.19 Current children cumulated vsize (KiB) 881880 [startup+6.30097 s] /proc/loadavg: 1.08 1.08 1.04 2/108 9607 /proc/meminfo: memFree=681904/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=0 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9596] ppid=9595 vsize=878812 CPUtime=9.26 /proc/9596/stat : 9596 (java) S 9595 9593 13759 34823 13904 4202496 97923 0 0 0 878 48 0 0 17 0 12 0 417702677 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159751314 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9596/statm: 219703 88155 1777 10 0 216790 0 [pid=9596/tid=9597] ppid=9595 vsize=878812 CPUtime=3.73 /proc/9596/task/9597/stat : 9597 (java) R 9595 9593 13759 34823 13904 4202560 17859 0 0 0 362 11 0 0 16 0 12 0 417702678 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4158808132 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9596/tid=9598] ppid=9595 vsize=878812 CPUtime=0.91 /proc/9596/task/9598/stat : 9598 (java) S 9595 9593 13759 34823 13904 4202560 29762 0 0 0 78 13 0 0 16 0 12 0 417702679 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9599] ppid=9595 vsize=878812 CPUtime=0.93 /proc/9596/task/9599/stat : 9599 (java) S 9595 9593 13759 34823 13904 4202560 34822 0 0 0 80 13 0 0 16 0 12 0 417702679 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9600] ppid=9595 vsize=878812 CPUtime=1.17 /proc/9596/task/9600/stat : 9600 (java) S 9595 9593 13759 34823 13904 4202560 4278 0 0 0 111 6 0 0 16 0 12 0 417702680 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159765512 0 0 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9601] ppid=9595 vsize=878812 CPUtime=0 /proc/9596/task/9601/stat : 9601 (java) S 9595 9593 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 417702681 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=9596/tid=9602] ppid=9595 vsize=878812 CPUtime=0 /proc/9596/task/9602/stat : 9602 (java) S 9595 9593 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 417702681 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9603] ppid=9595 vsize=878812 CPUtime=0 /proc/9596/task/9603/stat : 9603 (java) S 9595 9593 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 417702684 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159773008 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9604] ppid=9595 vsize=878812 CPUtime=1.03 /proc/9596/task/9604/stat : 9604 (java) S 9595 9593 13759 34823 13904 4202560 4743 0 0 0 102 1 0 0 15 0 12 0 417702684 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9605] ppid=9595 vsize=878812 CPUtime=1.44 /proc/9596/task/9605/stat : 9605 (java) R 9595 9593 13759 34823 13904 4202560 5049 0 0 0 142 2 0 0 15 0 12 0 417702684 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4151424535 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9596/tid=9606] ppid=9595 vsize=878812 CPUtime=0 /proc/9596/task/9606/stat : 9606 (java) S 9595 9593 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417702684 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159764720 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=9596/tid=9607] ppid=9595 vsize=878812 CPUtime=0 /proc/9596/task/9607/stat : 9607 (java) S 9595 9593 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 12 0 417702684 899903488 88155 1283457024 134512640 134550932 4292576672 18446744073709551615 4159765512 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.26 Current children cumulated vsize (KiB) 885196 [startup+12.7065 s] /proc/loadavg: 1.29 1.13 1.06 2/98 9613 /proc/meminfo: memFree=967300/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=12.15 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 813 100094 0 0 0 0 1127 88 18 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9612] ppid=9595 vsize=2888 CPUtime=0 /proc/9612/stat : 9612 (sh) S 9595 9593 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 18 0 1 0 417703590 2957312 320 1283457024 134512640 135191968 4290202752 18446744073709551615 4159195790 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9612/statm: 722 320 219 166 0 154 0 [pid=9613] ppid=9612 vsize=45396 CPUtime=3.53 /proc/9613/stat : 9613 (msuncore) R 9612 9593 13759 34823 13904 4202496 51796 0 0 0 327 26 0 0 25 0 1 0 417703590 46485504 10960 1283457024 134512640 135858300 4293363600 18446744073709551615 134657016 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/9613/statm: 11349 10960 133 329 0 11018 0 Current children cumulated CPU time (s) 15.68 Current children cumulated vsize (KiB) 54668 [startup+25.5059 s] /proc/loadavg: 1.25 1.12 1.06 2/98 9614 /proc/meminfo: memFree=913640/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=12.15 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 813 100094 0 0 0 0 1127 88 18 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9612] ppid=9595 vsize=2888 CPUtime=0 /proc/9612/stat : 9612 (sh) S 9595 9593 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 18 0 1 0 417703590 2957312 320 1283457024 134512640 135191968 4290202752 18446744073709551615 4159195790 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9612/statm: 722 320 219 166 0 154 0 [pid=9613] ppid=9612 vsize=98520 CPUtime=16.31 /proc/9613/stat : 9613 (msuncore) R 9612 9593 13759 34823 13904 4202496 73664 0 0 0 1595 36 0 0 25 0 1 0 417703590 100884480 24351 1283457024 134512640 135858300 4293363600 18446744073709551615 134657600 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/9613/statm: 24630 24351 137 329 0 24299 0 Current children cumulated CPU time (s) 28.46 Current children cumulated vsize (KiB) 107792 [startup+51.1069 s] /proc/loadavg: 1.16 1.11 1.05 2/98 9615 /proc/meminfo: memFree=914012/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=12.15 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 813 100094 0 0 0 0 1127 88 18 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9612] ppid=9595 vsize=2888 CPUtime=0 /proc/9612/stat : 9612 (sh) S 9595 9593 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 18 0 1 0 417703590 2957312 320 1283457024 134512640 135191968 4290202752 18446744073709551615 4159195790 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9612/statm: 722 320 219 166 0 154 0 [pid=9613] ppid=9612 vsize=98520 CPUtime=41.91 /proc/9613/stat : 9613 (msuncore) R 9612 9593 13759 34823 13904 4202496 73664 0 0 0 4155 36 0 0 25 0 1 0 417703590 100884480 24351 1283457024 134512640 135858300 4293363600 18446744073709551615 134620143 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/9613/statm: 24630 24351 137 329 0 24299 0 Current children cumulated CPU time (s) 54.06 Current children cumulated vsize (KiB) 107792 [startup+102.314 s] /proc/loadavg: 1.06 1.09 1.05 2/98 9619 /proc/meminfo: memFree=915500/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=12.15 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 813 100094 0 0 0 0 1127 88 18 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9612] ppid=9595 vsize=2888 CPUtime=0 /proc/9612/stat : 9612 (sh) S 9595 9593 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 18 0 1 0 417703590 2957312 320 1283457024 134512640 135191968 4290202752 18446744073709551615 4159195790 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9612/statm: 722 320 219 166 0 154 0 [pid=9613] ppid=9612 vsize=96204 CPUtime=92.98 /proc/9613/stat : 9613 (msuncore) R 9612 9593 13759 34823 13904 4202496 73664 0 0 0 9260 38 0 0 25 0 1 0 417703590 98512896 23772 1283457024 134512640 135858300 4293363600 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/9613/statm: 24051 23772 137 329 0 23720 0 Current children cumulated CPU time (s) 105.13 Current children cumulated vsize (KiB) 105476 [startup+162.308 s] /proc/loadavg: 1.02 1.07 1.04 2/98 9623 /proc/meminfo: memFree=915376/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=12.15 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 813 100094 0 0 0 0 1127 88 18 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9612] ppid=9595 vsize=2888 CPUtime=0 /proc/9612/stat : 9612 (sh) S 9595 9593 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 18 0 1 0 417703590 2957312 320 1283457024 134512640 135191968 4290202752 18446744073709551615 4159195790 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9612/statm: 722 320 219 166 0 154 0 [pid=9613] ppid=9612 vsize=96204 CPUtime=152.9 /proc/9613/stat : 9613 (msuncore) R 9612 9593 13759 34823 13904 4202496 74920 0 0 0 15252 38 0 0 25 0 1 0 417703590 98512896 23772 1283457024 134512640 135858300 4293363600 18446744073709551615 134666327 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/9613/statm: 24051 23772 137 329 0 23720 0 Current children cumulated CPU time (s) 165.05 Current children cumulated vsize (KiB) 105476 [startup+222.307 s] /proc/loadavg: 1.07 1.07 1.04 2/99 10109 /proc/meminfo: memFree=868760/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=12.15 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 813 100094 0 0 0 0 1127 88 18 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9612] ppid=9595 vsize=2888 CPUtime=0 /proc/9612/stat : 9612 (sh) S 9595 9593 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 18 0 1 0 417703590 2957312 320 1283457024 134512640 135191968 4290202752 18446744073709551615 4159195790 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9612/statm: 722 320 219 166 0 154 0 [pid=9613] ppid=9612 vsize=144152 CPUtime=212.56 /proc/9613/stat : 9613 (msuncore) R 9612 9593 13759 34823 13904 4202496 86710 0 0 0 21205 51 0 0 25 0 1 0 417703590 147611648 35506 1283457024 134512640 135858300 4293363600 18446744073709551615 135345610 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/9613/statm: 36038 35506 137 329 0 35707 0 Current children cumulated CPU time (s) 224.71 Current children cumulated vsize (KiB) 153424 [startup+282.305 s] /proc/loadavg: 1.02 1.05 1.04 2/98 10113 /proc/meminfo: memFree=892452/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=12.15 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 813 100094 0 0 0 0 1127 88 18 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9612] ppid=9595 vsize=2888 CPUtime=0 /proc/9612/stat : 9612 (sh) S 9595 9593 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 18 0 1 0 417703590 2957312 320 1283457024 134512640 135191968 4290202752 18446744073709551615 4159195790 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9612/statm: 722 320 219 166 0 154 0 [pid=9613] ppid=9612 vsize=120832 CPUtime=272.52 /proc/9613/stat : 9613 (msuncore) R 9612 9593 13759 34823 13904 4202496 99433 0 0 0 27180 72 0 0 25 0 1 0 417703590 123731968 29699 1283457024 134512640 135858300 4293363600 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/9613/statm: 30208 29699 137 329 0 29877 0 Current children cumulated CPU time (s) 284.67 Current children cumulated vsize (KiB) 130104 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+287.706 s] /proc/loadavg: 1.02 1.05 1.04 2/98 10113 /proc/meminfo: memFree=887864/2097152 swapFree=2055620/2097144 [pid=9593] ppid=9592 vsize=2380 CPUtime=0 /proc/9593/stat : 9593 (inescp-1.0) S 9592 9593 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417702674 2437120 258 1283457024 134512640 135191968 4286882016 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9593/statm: 595 258 221 166 0 27 0 [pid=9595] ppid=9593 vsize=4004 CPUtime=12.15 /proc/9595/stat : 9595 (cudf-solver.py) S 9593 9593 13759 34823 13904 4202496 813 100094 0 0 0 0 1127 88 18 0 1 0 417702675 4100096 642 1283457024 134512640 135539072 4290554976 18446744073709551615 4159273614 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9595/statm: 1001 642 346 251 0 302 0 [pid=9612] ppid=9595 vsize=2888 CPUtime=0 /proc/9612/stat : 9612 (sh) S 9595 9593 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 18 0 1 0 417703590 2957312 320 1283457024 134512640 135191968 4290202752 18446744073709551615 4159195790 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9612/statm: 722 320 219 166 0 154 0 [pid=9613] ppid=9612 vsize=124792 CPUtime=277.92 /proc/9613/stat : 9613 (msuncore) R 9612 9593 13759 34823 13904 4202496 100438 0 0 0 27720 72 0 0 25 0 1 0 417703590 127787008 30704 1283457024 134512640 135858300 4293363600 18446744073709551615 134670920 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/9613/statm: 31198 30704 137 329 0 30867 0 Current children cumulated CPU time (s) 290.07 Current children cumulated vsize (KiB) 134064 Sending User defined signal 1 to process tree (bottom up) olver just ended. Duumping a history of the last processes samples Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9593 and gives # childrusage.ru_utime.tv_sec=11 # childrusage.ru_utime.tv_usec=284705 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=888055 # CPU time returned by wait4() is 12.1728 # while last known CPU time is 290.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 287.735 CPU time (s): 290.07 CPU user time (s): 288.47 CPU system time (s): 1.6 CPU usage (%): 100.812 Max. virtual memory (cumulated for all children) (KiB): 887044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.2847 system time used= 0.888055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101996 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= 788 involuntary context switches= 464 runsolver used 0.028001 second user time and 0.092005 second system time The end