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/201108251442/p2cudf-paranoid-1.13/rand83.cudf.dudf-random.log.runsolver ./p2cudf-paranoid-1.13 /home/misc2010/data/2011/dudf-random//rand83.cudf /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand83.cudf.dudf-random.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.58 1.47 1.26 5/37 22549 /proc/meminfo: memFree=277032/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2568 CPUtime=0 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 351 0 0 0 0 0 0 0 25 0 1 0 11154839 2629632 270 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/22546/statm: 642 270 231 194 0 29 0 [pid=22547] ppid=22546 vsize=2568 CPUtime=0 /proc/22547/stat : 22547 (p2cudf) R 22546 22545 4778 34817 4778 4202560 117 0 0 0 0 0 0 0 25 0 1 0 11154839 2629632 125 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/22547/statm: 642 125 84 194 0 29 0 [pid=22548] ppid=22547 vsize=1664 CPUtime=0.01 /proc/22548/stat : 22548 (java) R 22547 22545 4778 34817 4778 4194304 321 0 0 0 0 1 0 0 25 0 1 0 11154839 1703936 54 1283457024 134512640 134550932 4291452592 18446744073709551615 4160581075 0 0 0 0 0 0 0 17 0 0 0 0 /proc/22548/statm: 416 54 38 10 0 13 0 [pid=22549] ppid=22547 vsize=2568 CPUtime=0 /proc/22549/stat : 22549 (p2cudf) R 22547 22545 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11154839 2629632 41 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/22549/statm: 642 41 0 194 0 29 0 [startup+0.11537 s] /proc/loadavg: 1.58 1.47 1.26 5/37 22549 /proc/meminfo: memFree=277032/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.215383 s] /proc/loadavg: 1.58 1.47 1.26 5/37 22549 /proc/meminfo: memFree=277032/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.315406 s] /proc/loadavg: 1.58 1.47 1.26 5/37 22549 /proc/meminfo: memFree=277032/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.715488 s] /proc/loadavg: 1.58 1.47 1.26 5/37 22549 /proc/meminfo: memFree=277032/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+1.51565 s] /proc/loadavg: 1.58 1.47 1.26 4/45 22568 /proc/meminfo: memFree=230288/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 [pid=22559] ppid=22546 vsize=893936 CPUtime=1.47 /proc/22559/stat : 22559 (java) S 22546 22545 4778 34817 4778 4202496 21450 0 1 0 140 7 0 0 25 0 10 0 11154842 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22559/statm: 223484 18293 1721 10 0 220575 0 [pid=22559/tid=22560] ppid=22546 vsize=893936 CPUtime=0.79 /proc/22559/task/22560/stat : 22560 (java) R 22546 22545 4778 34817 4778 4202560 7995 0 1 0 76 3 0 0 25 0 10 0 11154843 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4095187341 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22559/tid=22561] ppid=22546 vsize=893936 CPUtime=0 /proc/22559/task/22561/stat : 22561 (java) S 22546 22545 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 16 0 10 0 11154844 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22562] ppid=22546 vsize=893936 CPUtime=0 /proc/22559/task/22562/stat : 22562 (java) S 22546 22545 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 11154845 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22563] ppid=22546 vsize=893936 CPUtime=0 /proc/22559/task/22563/stat : 22563 (java) S 22546 22545 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11154845 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22564] ppid=22546 vsize=893936 CPUtime=0 /proc/22559/task/22564/stat : 22564 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11154847 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22565] ppid=22546 vsize=893936 CPUtime=0.4 /proc/22559/task/22565/stat : 22565 (java) R 22546 22545 4778 34817 4778 4202560 5806 0 0 0 38 2 0 0 21 0 10 0 11154847 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4151592956 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22559/tid=22566] ppid=22546 vsize=893936 CPUtime=0.28 /proc/22559/task/22566/stat : 22566 (java) R 22546 22545 4778 34817 4778 4202560 6571 0 0 0 26 2 0 0 25 0 10 0 11154847 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4152573973 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22559/tid=22567] ppid=22546 vsize=893936 CPUtime=0 /proc/22559/task/22567/stat : 22567 (java) S 22546 22545 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11154847 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22568] ppid=22546 vsize=893936 CPUtime=0 /proc/22559/task/22568/stat : 22568 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11154847 915390464 18293 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 899080 [startup+3.10598 s] /proc/loadavg: 1.58 1.47 1.26 2/45 22568 /proc/meminfo: memFree=130220/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 [pid=22559] ppid=22546 vsize=891344 CPUtime=3.06 /proc/22559/stat : 22559 (java) S 22546 22545 4778 34817 4778 4202496 75222 0 1 0 270 36 0 0 25 0 10 0 11154842 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22559/statm: 222836 71506 1732 10 0 219927 0 [pid=22559/tid=22560] ppid=22546 vsize=891344 CPUtime=1.8 /proc/22559/task/22560/stat : 22560 (java) R 22546 22545 4778 34817 4778 4202560 50036 0 1 0 152 28 0 0 25 0 10 0 11154843 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4095347668 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22559/tid=22561] ppid=22546 vsize=891344 CPUtime=0.23 /proc/22559/task/22561/stat : 22561 (java) S 22546 22545 4778 34817 4778 4202560 11339 0 0 0 20 3 0 0 16 0 10 0 11154844 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22562] ppid=22546 vsize=891344 CPUtime=0 /proc/22559/task/22562/stat : 22562 (java) S 22546 22545 4778 34817 4778 4202560 9 0 0 0 0 0 0 0 18 0 10 0 11154845 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22563] ppid=22546 vsize=891344 CPUtime=0 /proc/22559/task/22563/stat : 22563 (java) S 22546 22545 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 11154845 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22564] ppid=22546 vsize=891344 CPUtime=0 /proc/22559/task/22564/stat : 22564 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11154847 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22565] ppid=22546 vsize=891344 CPUtime=0.54 /proc/22559/task/22565/stat : 22565 (java) S 22546 22545 4778 34817 4778 4202560 5845 0 0 0 52 2 0 0 19 0 10 0 11154847 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22566] ppid=22546 vsize=891344 CPUtime=0.47 /proc/22559/task/22566/stat : 22566 (java) S 22546 22545 4778 34817 4778 4202560 6928 0 0 0 45 2 0 0 16 0 10 0 11154847 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22567] ppid=22546 vsize=891344 CPUtime=0 /proc/22559/task/22567/stat : 22567 (java) S 22546 22545 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11154847 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22568] ppid=22546 vsize=891344 CPUtime=0 /proc/22559/task/22568/stat : 22568 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11154847 912736256 71506 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 896488 [startup+6.31342 s] /proc/loadavg: 1.62 1.47 1.26 4/46 22569 /proc/meminfo: memFree=5668/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 [pid=22559] ppid=22546 vsize=892048 CPUtime=6.25 /proc/22559/stat : 22559 (java) S 22546 22545 4778 34817 4778 4202496 90316 0 1 0 578 47 0 0 25 0 11 0 11154842 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22559/statm: 223012 85198 1779 10 0 220103 0 [pid=22559/tid=22560] ppid=22546 vsize=892048 CPUtime=3.06 /proc/22559/task/22560/stat : 22560 (java) R 22546 22545 4778 34817 4778 4202560 50276 0 1 0 276 30 0 0 25 0 11 0 11154843 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22559/tid=22561] ppid=22546 vsize=892048 CPUtime=0.55 /proc/22559/task/22561/stat : 22561 (java) S 22546 22545 4778 34817 4778 4202560 24502 0 0 0 46 9 0 0 16 0 11 0 11154844 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22562] ppid=22546 vsize=892048 CPUtime=0 /proc/22559/task/22562/stat : 22562 (java) S 22546 22545 4778 34817 4778 4202560 9 0 0 0 0 0 0 0 18 0 11 0 11154845 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22563] ppid=22546 vsize=892048 CPUtime=0 /proc/22559/task/22563/stat : 22563 (java) S 22546 22545 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 11154845 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22564] ppid=22546 vsize=892048 CPUtime=0 /proc/22559/task/22564/stat : 22564 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 11154847 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22565] ppid=22546 vsize=892048 CPUtime=0.54 /proc/22559/task/22565/stat : 22565 (java) S 22546 22545 4778 34817 4778 4202560 5845 0 0 0 52 2 0 0 19 0 11 0 11154847 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22566] ppid=22546 vsize=892048 CPUtime=2.07 /proc/22559/task/22566/stat : 22566 (java) S 22546 22545 4778 34817 4778 4202560 8615 0 0 0 203 4 0 0 15 0 11 0 11154847 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22567] ppid=22546 vsize=892048 CPUtime=0 /proc/22559/task/22567/stat : 22567 (java) S 22546 22545 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 11154847 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22568] ppid=22546 vsize=892048 CPUtime=0 /proc/22559/task/22568/stat : 22568 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 11154847 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22569] ppid=22546 vsize=892048 CPUtime=0 /proc/22559/task/22569/stat : 22569 (java) S 22546 22545 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 11155377 913457152 85198 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 897192 Solver just ended. Dumping a history of the last processes samples [startup+6.39818 s] /proc/loadavg: 1.62 1.47 1.26 4/46 22569 /proc/meminfo: memFree=5668/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 [pid=22559] ppid=22546 vsize=892372 CPUtime=6.31 /proc/22559/stat : 22559 (java) S 22546 22545 4778 34817 4778 4202496 90331 0 1 0 584 47 0 0 25 0 11 0 11154842 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22559/statm: 223093 85213 1780 10 0 220184 0 [pid=22559/tid=22560] ppid=22546 vsize=892372 CPUtime=3.08 /proc/22559/task/22560/stat : 22560 (java) S 22546 22545 4778 34817 4778 4202560 50284 0 1 0 278 30 0 0 25 0 11 0 11154843 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22561] ppid=22546 vsize=892372 CPUtime=0.56 /proc/22559/task/22561/stat : 22561 (java) S 22546 22545 4778 34817 4778 4202560 24502 0 0 0 47 9 0 0 16 0 11 0 11154844 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22562] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22562/stat : 22562 (java) S 22546 22545 4778 34817 4778 4202560 9 0 0 0 0 0 0 0 18 0 11 0 11154845 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22563] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22563/stat : 22563 (java) S 22546 22545 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 11154845 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22564] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22564/stat : 22564 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22565] ppid=22546 vsize=892372 CPUtime=0.54 /proc/22559/task/22565/stat : 22565 (java) S 22546 22545 4778 34817 4778 4202560 5845 0 0 0 52 2 0 0 19 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22566] ppid=22546 vsize=892372 CPUtime=2.09 /proc/22559/task/22566/stat : 22566 (java) S 22546 22545 4778 34817 4778 4202560 8617 0 0 0 205 4 0 0 15 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22567] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22567/stat : 22567 (java) S 22546 22545 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22568] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22568/stat : 22568 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.34 Current children cumulated vsize (KiB) 897516 [startup+6.70618 s] /proc/loadavg: 1.62 1.47 1.26 1/46 22570 /proc/meminfo: memFree=5420/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 [pid=22559] ppid=22546 vsize=892372 CPUtime=6.31 /proc/22559/stat : 22559 (java) S 22546 22545 4778 34817 4778 4202496 90331 0 1 0 584 47 0 0 25 0 11 0 11154842 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22559/statm: 223093 85213 1780 10 0 220184 0 [pid=22559/tid=22560] ppid=22546 vsize=892372 CPUtime=3.08 /proc/22559/task/22560/stat : 22560 (java) S 22546 22545 4778 34817 4778 4202560 50284 0 1 0 278 30 0 0 25 0 11 0 11154843 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22561] ppid=22546 vsize=892372 CPUtime=0.56 /proc/22559/task/22561/stat : 22561 (java) S 22546 22545 4778 34817 4778 4202560 24502 0 0 0 47 9 0 0 16 0 11 0 11154844 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22562] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22562/stat : 22562 (java) S 22546 22545 4778 34817 4778 4202560 9 0 0 0 0 0 0 0 18 0 11 0 11154845 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22563] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22563/stat : 22563 (java) S 22546 22545 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 11154845 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22564] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22564/stat : 22564 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22565] ppid=22546 vsize=892372 CPUtime=0.54 /proc/22559/task/22565/stat : 22565 (java) S 22546 22545 4778 34817 4778 4202560 5845 0 0 0 52 2 0 0 19 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22566] ppid=22546 vsize=892372 CPUtime=2.09 /proc/22559/task/22566/stat : 22566 (java) S 22546 22545 4778 34817 4778 4202560 8617 0 0 0 205 4 0 0 15 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22567] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22567/stat : 22567 (java) S 22546 22545 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22568] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22568/stat : 22568 (java) R 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 11154847 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22559/tid=22570] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22570/stat : 22570 (java) S 22546 22545 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 11155474 913788928 85213 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.34 Current children cumulated vsize (KiB) 897516 [startup+7.10622 s] /proc/loadavg: 1.62 1.47 1.26 1/46 22570 /proc/meminfo: memFree=5420/1048576 swapFree=0/0 [pid=22545] ppid=22544 vsize=2572 CPUtime=0 /proc/22545/stat : 22545 (p2cudf-paranoid) S 22544 22545 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 25 0 1 0 11154838 2633728 271 1283457024 134512640 135304128 4292028240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22545/statm: 643 271 230 194 0 30 0 [pid=22546] ppid=22545 vsize=2572 CPUtime=0.03 /proc/22546/stat : 22546 (p2cudf) S 22545 22545 4778 34817 4778 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 11154839 2633728 280 1283457024 134512640 135304128 4289703216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22546/statm: 643 280 239 194 0 30 0 [pid=22559] ppid=22546 vsize=892372 CPUtime=6.5 /proc/22559/stat : 22559 (java) S 22546 22545 4778 34817 4778 4202496 90341 0 1 0 600 50 0 0 25 0 10 0 11154842 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22559/statm: 223093 85223 1780 10 0 220184 0 [pid=22559/tid=22560] ppid=22546 vsize=892372 CPUtime=3.08 /proc/22559/task/22560/stat : 22560 (java) S 22546 22545 4778 34817 4778 4202560 50284 0 1 0 278 30 0 0 18 0 10 0 11154843 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22561] ppid=22546 vsize=892372 CPUtime=0.56 /proc/22559/task/22561/stat : 22561 (java) S 22546 22545 4778 34817 4778 4202560 24502 0 0 0 47 9 0 0 16 0 10 0 11154844 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 0 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22562] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22562/stat : 22562 (java) S 22546 22545 4778 34817 4778 4202560 9 0 0 0 0 0 0 0 18 0 10 0 11154845 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22563] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22563/stat : 22563 (java) S 22546 22545 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 11154845 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22564] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22564/stat : 22564 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11154847 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22565] ppid=22546 vsize=892372 CPUtime=0.54 /proc/22559/task/22565/stat : 22565 (java) S 22546 22545 4778 34817 4778 4202560 5845 0 0 0 52 2 0 0 19 0 10 0 11154847 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22566] ppid=22546 vsize=892372 CPUtime=2.19 /proc/22559/task/22566/stat : 22566 (java) S 22546 22545 4778 34817 4778 4202560 8626 0 0 0 215 4 0 0 15 0 10 0 11154847 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22567] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22567/stat : 22567 (java) S 22546 22545 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11154847 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=22559/tid=22568] ppid=22546 vsize=892372 CPUtime=0 /proc/22559/task/22568/stat : 22568 (java) S 22546 22545 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11154847 913788928 85223 1283457024 134512640 134550932 4293748640 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.53 Current children cumulated vsize (KiB) 897516 Child status: 0 Real time (s): 7.15015 CPU time (s): 6.58041 CPU user time (s): 6.03238 CPU system time (s): 0.548034 CPU usage (%): 92.0318 Max. virtual memory (cumulated for all children) (KiB): 899496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.03238 system time used= 0.548034 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94139 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 832 involuntary context switches= 862 runsolver used 0 second user time and 0 second system time The end