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/201012091704/p2cudf-user-1.10/randc10393.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//randc10393.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/randc10393.cudf.difficult.result -changed,-notuptodate,-removed,-new 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.07 1.03 1.00 5/39 9807 /proc/meminfo: memFree=328640/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2572 CPUtime=0 /proc/9806/stat : 9806 (p2cudf) R 9805 9805 25521 34816 2180 4202496 349 0 0 0 0 0 0 0 25 0 1 0 902185889 2633728 275 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9806/statm: 643 275 234 194 0 29 0 [pid=9807] ppid=9806 vsize=2572 CPUtime=0 /proc/9807/stat : 9807 (p2cudf) R 9806 9805 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 902185889 2633728 41 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9807/statm: 643 41 0 194 0 29 0 [startup+0.204623 s] /proc/loadavg: 1.07 1.03 1.00 5/39 9807 /proc/meminfo: memFree=328640/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.304636 s] /proc/loadavg: 1.07 1.03 1.00 5/39 9807 /proc/meminfo: memFree=328640/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.404639 s] /proc/loadavg: 1.07 1.03 1.00 5/39 9807 /proc/meminfo: memFree=328640/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.704683 s] /proc/loadavg: 1.07 1.03 1.00 5/39 9807 /proc/meminfo: memFree=328640/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+1.50483 s] /proc/loadavg: 1.07 1.03 1.00 4/49 9828 /proc/meminfo: memFree=282840/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=883376 CPUtime=1.46 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 20192 0 1 0 140 6 0 0 25 0 10 0 902185892 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 220844 16438 1727 10 0 217934 0 [pid=9819/tid=9820] ppid=9806 vsize=883376 CPUtime=0.76 /proc/9819/task/9820/stat : 9820 (java) R 9806 9805 25521 34816 2180 4202560 8968 0 1 0 71 5 0 0 25 0 10 0 902185893 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=883376 CPUtime=0 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902185894 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=883376 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902185895 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=883376 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902185895 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=883376 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902185897 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=883376 CPUtime=0.41 /proc/9819/task/9825/stat : 9825 (java) R 9806 9805 25521 34816 2180 4202560 7499 0 0 0 40 1 0 0 23 0 10 0 902185898 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4150483871 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=883376 CPUtime=0.28 /proc/9819/task/9826/stat : 9826 (java) R 9806 9805 25521 34816 2180 4202560 2609 0 0 0 28 0 0 0 25 0 10 0 902185898 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4150509399 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=883376 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902185898 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=883376 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902185898 904577024 16438 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 888528 [startup+3.10497 s] /proc/loadavg: 1.07 1.03 1.00 4/49 9828 /proc/meminfo: memFree=251192/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=895740 CPUtime=3.05 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 43907 0 1 0 292 13 0 0 25 0 10 0 902185892 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 223935 33977 1732 10 0 221025 0 [pid=9819/tid=9820] ppid=9806 vsize=895740 CPUtime=1.22 /proc/9819/task/9820/stat : 9820 (java) D 9806 9805 25521 34816 2180 4202560 22797 0 1 0 115 7 0 0 25 0 10 0 902185893 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446744071564332000 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=895740 CPUtime=0 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902185894 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=895740 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902185895 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=895740 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902185895 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=895740 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902185897 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=895740 CPUtime=0.88 /proc/9819/task/9825/stat : 9825 (java) S 9806 9805 25521 34816 2180 4202560 12326 0 0 0 84 4 0 0 25 0 10 0 902185898 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=895740 CPUtime=0.94 /proc/9819/task/9826/stat : 9826 (java) S 9806 9805 25521 34816 2180 4202560 7668 0 0 0 92 2 0 0 24 0 10 0 902185898 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=895740 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902185898 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=895740 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902185898 917237760 33977 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 900892 [startup+6.30626 s] /proc/loadavg: 1.14 1.04 1.01 4/50 9829 /proc/meminfo: memFree=20216/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=896064 CPUtime=6.23 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 86259 0 1 0 598 25 0 0 25 0 11 0 902185892 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 224016 75472 1791 10 0 221106 0 [pid=9819/tid=9820] ppid=9806 vsize=896064 CPUtime=2.54 /proc/9819/task/9820/stat : 9820 (java) R 9806 9805 25521 34816 2180 4202560 50466 0 1 0 236 18 0 0 25 0 11 0 902185893 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4096907134 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=896064 CPUtime=0.32 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 13609 0 0 0 32 0 0 0 16 0 11 0 902185894 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902185897 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=896064 CPUtime=1.36 /proc/9819/task/9825/stat : 9825 (java) S 9806 9805 25521 34816 2180 4202560 13278 0 0 0 132 4 0 0 17 0 11 0 902185898 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=896064 CPUtime=2 /proc/9819/task/9826/stat : 9826 (java) S 9806 9805 25521 34816 2180 4202560 7789 0 0 0 198 2 0 0 15 0 11 0 902185898 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902185898 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902185898 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9829] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9829/stat : 9829 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902186444 917569536 75472 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 901216 [startup+12.7086 s] /proc/loadavg: 1.13 1.04 1.00 2/50 9829 /proc/meminfo: memFree=6056/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=896064 CPUtime=12.62 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 93603 0 1 0 1233 29 0 0 25 0 11 0 902185892 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 224016 82816 1793 10 0 221106 0 [pid=9819/tid=9820] ppid=9806 vsize=896064 CPUtime=8.41 /proc/9819/task/9820/stat : 9820 (java) R 9806 9805 25521 34816 2180 4202560 50468 0 1 0 823 18 0 0 25 0 11 0 902185893 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4096864535 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=896064 CPUtime=0.61 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 20921 0 0 0 57 4 0 0 15 0 11 0 902185894 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902185897 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=896064 CPUtime=1.36 /proc/9819/task/9825/stat : 9825 (java) S 9806 9805 25521 34816 2180 4202560 13278 0 0 0 132 4 0 0 17 0 11 0 902185898 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=896064 CPUtime=2.22 /proc/9819/task/9826/stat : 9826 (java) S 9806 9805 25521 34816 2180 4202560 7819 0 0 0 220 2 0 0 16 0 11 0 902185898 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902185898 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) R 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902185898 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9829] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9829/stat : 9829 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902186444 917569536 82816 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 901216 Solver just ended. Dumping a history of the last processes samples [startup+12.9087 s] /proc/loadavg: 1.13 1.04 1.00 2/50 9829 /proc/meminfo: memFree=6056/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=896064 CPUtime=12.82 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 93604 0 1 0 1253 29 0 0 25 0 11 0 902185892 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 224016 82817 1793 10 0 221106 0 [pid=9819/tid=9820] ppid=9806 vsize=896064 CPUtime=8.6 /proc/9819/task/9820/stat : 9820 (java) R 9806 9805 25521 34816 2180 4202560 50468 0 1 0 842 18 0 0 25 0 11 0 902185893 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4096906665 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=896064 CPUtime=0.61 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 20921 0 0 0 57 4 0 0 15 0 11 0 902185894 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902185897 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=896064 CPUtime=1.36 /proc/9819/task/9825/stat : 9825 (java) S 9806 9805 25521 34816 2180 4202560 13278 0 0 0 132 4 0 0 17 0 11 0 902185898 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=896064 CPUtime=2.23 /proc/9819/task/9826/stat : 9826 (java) S 9806 9805 25521 34816 2180 4202560 7820 0 0 0 221 2 0 0 15 0 11 0 902185898 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902185898 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902185898 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9829] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9829/stat : 9829 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902186444 917569536 82817 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.84 Current children cumulated vsize (KiB) 901216 [startup+16.1093 s] /proc/loadavg: 1.12 1.04 1.00 3/50 9829 /proc/meminfo: memFree=5560/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=896064 CPUtime=16.02 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 93730 0 1 0 1573 29 0 0 25 0 11 0 902185892 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 224016 82943 1793 10 0 221106 0 [pid=9819/tid=9820] ppid=9806 vsize=896064 CPUtime=11.55 /proc/9819/task/9820/stat : 9820 (java) R 9806 9805 25521 34816 2180 4202560 50468 0 1 0 1137 18 0 0 25 0 11 0 902185893 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4096789822 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=896064 CPUtime=0.85 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 21046 0 0 0 81 4 0 0 15 0 11 0 902185894 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902185897 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=896064 CPUtime=1.36 /proc/9819/task/9825/stat : 9825 (java) S 9806 9805 25521 34816 2180 4202560 13278 0 0 0 132 4 0 0 17 0 11 0 902185898 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=896064 CPUtime=2.24 /proc/9819/task/9826/stat : 9826 (java) S 9806 9805 25521 34816 2180 4202560 7821 0 0 0 222 2 0 0 15 0 11 0 902185898 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902185898 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) R 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902185898 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9829] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9829/stat : 9829 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902186444 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.04 Current children cumulated vsize (KiB) 901216 [startup+17.7097 s] /proc/loadavg: 1.12 1.04 1.00 2/50 9829 /proc/meminfo: memFree=5560/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=896064 CPUtime=17.62 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 93730 0 1 0 1733 29 0 0 25 0 11 0 902185892 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 224016 82943 1793 10 0 221106 0 [pid=9819/tid=9820] ppid=9806 vsize=896064 CPUtime=13.15 /proc/9819/task/9820/stat : 9820 (java) R 9806 9805 25521 34816 2180 4202560 50468 0 1 0 1297 18 0 0 25 0 11 0 902185893 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4096906621 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=896064 CPUtime=0.85 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 21046 0 0 0 81 4 0 0 15 0 11 0 902185894 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902185895 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902185897 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=896064 CPUtime=1.36 /proc/9819/task/9825/stat : 9825 (java) S 9806 9805 25521 34816 2180 4202560 13278 0 0 0 132 4 0 0 17 0 11 0 902185898 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=896064 CPUtime=2.24 /proc/9819/task/9826/stat : 9826 (java) S 9806 9805 25521 34816 2180 4202560 7821 0 0 0 222 2 0 0 15 0 11 0 902185898 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902185898 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902185898 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9829] ppid=9806 vsize=896064 CPUtime=0 /proc/9819/task/9829/stat : 9829 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902186444 917569536 82943 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.64 Current children cumulated vsize (KiB) 901216 [startup+18.5057 s] /proc/loadavg: 1.12 1.04 1.00 2/50 9829 /proc/meminfo: memFree=5560/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=896388 CPUtime=18.4 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 93761 0 1 0 1811 29 0 0 25 0 12 0 902185892 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 224097 82974 1793 10 0 221187 0 [pid=9819/tid=9820] ppid=9806 vsize=896388 CPUtime=13.87 /proc/9819/task/9820/stat : 9820 (java) S 9806 9805 25521 34816 2180 4202560 50476 0 1 0 1369 18 0 0 25 0 12 0 902185893 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=896388 CPUtime=0.85 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 21046 0 0 0 81 4 0 0 15 0 12 0 902185894 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 902185895 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902185895 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902185897 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=896388 CPUtime=1.36 /proc/9819/task/9825/stat : 9825 (java) S 9806 9805 25521 34816 2180 4202560 13278 0 0 0 132 4 0 0 17 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=896388 CPUtime=2.3 /proc/9819/task/9826/stat : 9826 (java) S 9806 9805 25521 34816 2180 4202560 7840 0 0 0 228 2 0 0 16 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) R 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9829] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9829/stat : 9829 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902186444 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 18.42 Current children cumulated vsize (KiB) 901540 [startup+18.9057 s] /proc/loadavg: 1.12 1.04 1.00 1/51 9830 /proc/meminfo: memFree=5428/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=896388 CPUtime=18.4 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 93761 0 1 0 1811 29 0 0 25 0 12 0 902185892 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 224097 82974 1793 10 0 221187 0 [pid=9819/tid=9820] ppid=9806 vsize=896388 CPUtime=13.87 /proc/9819/task/9820/stat : 9820 (java) S 9806 9805 25521 34816 2180 4202560 50476 0 1 0 1369 18 0 0 25 0 12 0 902185893 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=896388 CPUtime=0.85 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 21046 0 0 0 81 4 0 0 15 0 12 0 902185894 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 902185895 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902185895 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902185897 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=896388 CPUtime=1.36 /proc/9819/task/9825/stat : 9825 (java) S 9806 9805 25521 34816 2180 4202560 13278 0 0 0 132 4 0 0 17 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=896388 CPUtime=2.3 /proc/9819/task/9826/stat : 9826 (java) S 9806 9805 25521 34816 2180 4202560 7840 0 0 0 228 2 0 0 16 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9829] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9829/stat : 9829 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902186444 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9830] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9830/stat : 9830 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902187738 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 18.42 Current children cumulated vsize (KiB) 901540 [startup+19.0137 s] /proc/loadavg: 1.12 1.04 1.00 1/51 9830 /proc/meminfo: memFree=5428/1048576 swapFree=2095372/2097144 [pid=9805] ppid=9804 vsize=2576 CPUtime=0 /proc/9805/stat : 9805 (p2cudf-user-1.1) S 9804 9805 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902185889 2637824 274 1283457024 134512640 135304128 4292532128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9805/statm: 644 274 233 194 0 30 0 [pid=9806] ppid=9805 vsize=2576 CPUtime=0.02 /proc/9806/stat : 9806 (p2cudf) S 9805 9805 25521 34816 2180 4202496 394 2994 0 1 0 0 2 0 25 0 1 0 902185889 2637824 283 1283457024 134512640 135304128 4290676240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9806/statm: 644 283 241 194 0 30 0 [pid=9819] ppid=9806 vsize=896388 CPUtime=18.42 /proc/9819/stat : 9819 (java) S 9806 9805 25521 34816 2180 4202496 93761 0 1 0 1812 30 0 0 25 0 12 0 902185892 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9819/statm: 224097 82974 1793 10 0 221187 0 [pid=9819/tid=9820] ppid=9806 vsize=896388 CPUtime=13.87 /proc/9819/task/9820/stat : 9820 (java) S 9806 9805 25521 34816 2180 4202560 50476 0 1 0 1369 18 0 0 25 0 12 0 902185893 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9821] ppid=9806 vsize=896388 CPUtime=0.85 /proc/9819/task/9821/stat : 9821 (java) S 9806 9805 25521 34816 2180 4202560 21046 0 0 0 81 4 0 0 15 0 12 0 902185894 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9822] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9822/stat : 9822 (java) S 9806 9805 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 902185895 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9823] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9823/stat : 9823 (java) S 9806 9805 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902185895 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9824] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9824/stat : 9824 (java) S 9806 9805 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902185897 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9825] ppid=9806 vsize=896388 CPUtime=1.36 /proc/9819/task/9825/stat : 9825 (java) S 9806 9805 25521 34816 2180 4202560 13278 0 0 0 132 4 0 0 17 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9826] ppid=9806 vsize=896388 CPUtime=2.3 /proc/9819/task/9826/stat : 9826 (java) S 9806 9805 25521 34816 2180 4202560 7840 0 0 0 228 2 0 0 15 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9827] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9827/stat : 9827 (java) S 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9828] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9828/stat : 9828 (java) R 9806 9805 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902185898 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9819/tid=9829] ppid=9806 vsize=896388 CPUtime=0 /proc/9819/task/9829/stat : 9829 (java) S 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902186444 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=9819/tid=9830] ppid=9806 vsize=896388 CPUtime=0.01 /proc/9819/task/9830/stat : 9830 (java) R 9806 9805 25521 34816 2180 4202560 4 0 0 0 0 1 0 0 20 0 12 0 902187738 917901312 82974 1283457024 134512640 134550932 4293404480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 18.44 Current children cumulated vsize (KiB) 901540 Child status: 0 Real time (s): 19.1024 CPU time (s): 18.5092 CPU user time (s): 18.1571 CPU system time (s): 0.352022 CPU usage (%): 96.8944 Max. virtual memory (cumulated for all children) (KiB): 903184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.1571 system time used= 0.352022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97553 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= 1023 involuntary context switches= 1188 runsolver used 0.004 second user time and 0.012 second system time The end