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/201108291842/p2cudf-user-1.13/c2164c84-b015-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//c2164c84-b015-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/c2164c84-b015-11df-8b50-00163e46d37a.cudf.dudf-real.result -notuptodate,-removed,-changed 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.31 1.14 1.11 5/38 28986 /proc/meminfo: memFree=855232/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2564 CPUtime=0 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 352 0 0 0 0 0 0 0 18 0 1 0 46591270 2625536 270 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/28984/statm: 641 270 231 194 0 28 0 [pid=28985] ppid=28984 vsize=2564 CPUtime=0 /proc/28985/stat : 28985 (p2cudf) R 28984 28983 17511 34816 17511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 46591270 2625536 118 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/28985/statm: 641 118 77 194 0 28 0 [pid=28986] ppid=28985 vsize=2564 CPUtime=0 /proc/28986/stat : 28986 (p2cudf) R 28985 28983 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46591270 2625536 41 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/28986/statm: 641 41 0 194 0 28 0 [startup+0.145442 s] /proc/loadavg: 1.31 1.14 1.11 5/38 28986 /proc/meminfo: memFree=855232/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.205448 s] /proc/loadavg: 1.31 1.14 1.11 5/38 28986 /proc/meminfo: memFree=855232/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.30547 s] /proc/loadavg: 1.31 1.14 1.11 5/38 28986 /proc/meminfo: memFree=855232/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.705565 s] /proc/loadavg: 1.31 1.14 1.11 5/38 28986 /proc/meminfo: memFree=855232/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+1.50581 s] /proc/loadavg: 1.31 1.14 1.11 5/47 29006 /proc/meminfo: memFree=816532/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 [pid=28997] ppid=28984 vsize=881432 CPUtime=1.46 /proc/28997/stat : 28997 (java) S 28984 28983 17511 34816 17511 4202496 21438 0 1 0 133 13 0 0 25 0 10 0 46591274 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28997/statm: 220358 18211 1724 10 0 217449 0 [pid=28997/tid=28998] ppid=28984 vsize=881432 CPUtime=0.77 /proc/28997/task/28998/stat : 28998 (java) R 28984 28983 17511 34816 17511 4202560 10794 0 1 0 70 7 0 0 25 0 10 0 46591274 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4095561824 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28997/tid=28999] ppid=28984 vsize=881432 CPUtime=0 /proc/28997/task/28999/stat : 28999 (java) S 28984 28983 17511 34816 17511 4202560 7 0 0 0 0 0 0 0 17 0 10 0 46591276 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29000] ppid=28984 vsize=881432 CPUtime=0 /proc/28997/task/29000/stat : 29000 (java) S 28984 28983 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46591276 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29001] ppid=28984 vsize=881432 CPUtime=0 /proc/28997/task/29001/stat : 29001 (java) S 28984 28983 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46591276 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29002] ppid=28984 vsize=881432 CPUtime=0 /proc/28997/task/29002/stat : 29002 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46591279 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29003] ppid=28984 vsize=881432 CPUtime=0.56 /proc/28997/task/29003/stat : 29003 (java) R 28984 28983 17511 34816 17511 4202560 9164 0 0 0 50 6 0 0 22 0 10 0 46591279 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4150146983 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28997/tid=29004] ppid=28984 vsize=881432 CPUtime=0.13 /proc/28997/task/29004/stat : 29004 (java) S 28984 28983 17511 34816 17511 4202560 401 0 0 0 13 0 0 0 23 0 10 0 46591279 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29005] ppid=28984 vsize=881432 CPUtime=0 /proc/28997/task/29005/stat : 29005 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46591279 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29006] ppid=28984 vsize=881432 CPUtime=0 /proc/28997/task/29006/stat : 29006 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46591279 902586368 18211 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 886568 [startup+3.10628 s] /proc/loadavg: 1.45 1.17 1.12 2/47 29006 /proc/meminfo: memFree=698484/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 [pid=28997] ppid=28984 vsize=879248 CPUtime=3.06 /proc/28997/stat : 28997 (java) S 28984 28983 17511 34816 17511 4202496 54177 0 1 0 278 28 0 0 25 0 10 0 46591274 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28997/statm: 219812 48791 1744 10 0 216903 0 [pid=28997/tid=28998] ppid=28984 vsize=879248 CPUtime=1.56 /proc/28997/task/28998/stat : 28998 (java) R 28984 28983 17511 34816 17511 4202560 41553 0 1 0 134 22 0 0 25 0 10 0 46591274 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4095681235 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28997/tid=28999] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/28999/stat : 28999 (java) S 28984 28983 17511 34816 17511 4202560 7 0 0 0 0 0 0 0 16 0 10 0 46591276 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29000] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29000/stat : 29000 (java) S 28984 28983 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46591276 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29001] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29001/stat : 29001 (java) S 28984 28983 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46591276 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29002] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29002/stat : 29002 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46591279 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29003] ppid=28984 vsize=879248 CPUtime=1.36 /proc/28997/task/29003/stat : 29003 (java) S 28984 28983 17511 34816 17511 4202560 11144 0 0 0 130 6 0 0 16 0 10 0 46591279 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29004] ppid=28984 vsize=879248 CPUtime=0.14 /proc/28997/task/29004/stat : 29004 (java) S 28984 28983 17511 34816 17511 4202560 401 0 0 0 14 0 0 0 23 0 10 0 46591279 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29005] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29005/stat : 29005 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46591279 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29006] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29006/stat : 29006 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46591279 900349952 48791 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 884384 Solver just ended. Dumping a history of the last processes samples [startup+3.20632 s] /proc/loadavg: 1.45 1.17 1.12 2/47 29006 /proc/meminfo: memFree=698484/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 [pid=28997] ppid=28984 vsize=879248 CPUtime=3.16 /proc/28997/stat : 28997 (java) S 28984 28983 17511 34816 17511 4202496 54983 0 1 0 288 28 0 0 25 0 10 0 46591274 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28997/statm: 219812 49597 1744 10 0 216903 0 [pid=28997/tid=28998] ppid=28984 vsize=879248 CPUtime=1.62 /proc/28997/task/28998/stat : 28998 (java) R 28984 28983 17511 34816 17511 4202560 42354 0 1 0 140 22 0 0 25 0 10 0 46591274 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4096011435 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28997/tid=28999] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/28999/stat : 28999 (java) S 28984 28983 17511 34816 17511 4202560 7 0 0 0 0 0 0 0 15 0 10 0 46591276 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29000] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29000/stat : 29000 (java) S 28984 28983 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46591276 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29001] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29001/stat : 29001 (java) S 28984 28983 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46591276 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29002] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29002/stat : 29002 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46591279 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29003] ppid=28984 vsize=879248 CPUtime=1.4 /proc/28997/task/29003/stat : 29003 (java) S 28984 28983 17511 34816 17511 4202560 11149 0 0 0 134 6 0 0 16 0 10 0 46591279 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29004] ppid=28984 vsize=879248 CPUtime=0.14 /proc/28997/task/29004/stat : 29004 (java) S 28984 28983 17511 34816 17511 4202560 401 0 0 0 14 0 0 0 23 0 10 0 46591279 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29005] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29005/stat : 29005 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46591279 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29006] ppid=28984 vsize=879248 CPUtime=0 /proc/28997/task/29006/stat : 29006 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46591279 900349952 49597 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 884384 [startup+4.80574 s] /proc/loadavg: 1.45 1.17 1.12 3/48 29007 /proc/meminfo: memFree=589852/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 [pid=28997] ppid=28984 vsize=879896 CPUtime=4.53 /proc/28997/stat : 28997 (java) S 28984 28983 17511 34816 17511 4202496 73346 0 1 0 421 32 0 0 25 0 11 0 46591274 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28997/statm: 219974 67960 1774 10 0 217065 0 [pid=28997/tid=28998] ppid=28984 vsize=879896 CPUtime=2.05 /proc/28997/task/28998/stat : 28998 (java) S 28984 28983 17511 34816 17511 4202560 50278 0 1 0 183 22 0 0 25 0 11 0 46591274 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=28999] ppid=28984 vsize=879896 CPUtime=0.24 /proc/28997/task/28999/stat : 28999 (java) S 28984 28983 17511 34816 17511 4202560 10339 0 0 0 22 2 0 0 16 0 11 0 46591276 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29000] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29000/stat : 29000 (java) S 28984 28983 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46591276 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29001] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29001/stat : 29001 (java) S 28984 28983 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46591276 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29002] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29002/stat : 29002 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46591279 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29003] ppid=28984 vsize=879896 CPUtime=2.09 /proc/28997/task/29003/stat : 29003 (java) S 28984 28983 17511 34816 17511 4202560 11244 0 0 0 202 7 0 0 16 0 11 0 46591279 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29004] ppid=28984 vsize=879896 CPUtime=0.14 /proc/28997/task/29004/stat : 29004 (java) S 28984 28983 17511 34816 17511 4202560 401 0 0 0 14 0 0 0 23 0 11 0 46591279 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29005] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29005/stat : 29005 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46591279 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29006] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29006/stat : 29006 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46591279 901013504 67960 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.56 Current children cumulated vsize (KiB) 885032 [startup+5.19776 s] /proc/loadavg: 1.45 1.17 1.12 3/48 29007 /proc/meminfo: memFree=589852/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 [pid=28997] ppid=28984 vsize=879896 CPUtime=4.64 /proc/28997/stat : 28997 (java) S 28984 28983 17511 34816 17511 4202496 73353 0 1 0 429 35 0 0 25 0 11 0 46591274 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28997/statm: 219974 67967 1776 10 0 217065 0 [pid=28997/tid=28998] ppid=28984 vsize=879896 CPUtime=2.05 /proc/28997/task/28998/stat : 28998 (java) S 28984 28983 17511 34816 17511 4202560 50278 0 1 0 183 22 0 0 25 0 11 0 46591274 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=28999] ppid=28984 vsize=879896 CPUtime=0.24 /proc/28997/task/28999/stat : 28999 (java) S 28984 28983 17511 34816 17511 4202560 10339 0 0 0 22 2 0 0 16 0 11 0 46591276 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29000] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29000/stat : 29000 (java) S 28984 28983 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46591276 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29001] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29001/stat : 29001 (java) S 28984 28983 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46591276 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29002] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29002/stat : 29002 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46591279 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29003] ppid=28984 vsize=879896 CPUtime=2.13 /proc/28997/task/29003/stat : 29003 (java) S 28984 28983 17511 34816 17511 4202560 11249 0 0 0 206 7 0 0 15 0 11 0 46591279 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29004] ppid=28984 vsize=879896 CPUtime=0.14 /proc/28997/task/29004/stat : 29004 (java) S 28984 28983 17511 34816 17511 4202560 401 0 0 0 14 0 0 0 23 0 11 0 46591279 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29005] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29005/stat : 29005 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46591279 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29006] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29006/stat : 29006 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46591279 901013504 67967 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.67 Current children cumulated vsize (KiB) 885032 [startup+5.30582 s] /proc/loadavg: 1.45 1.17 1.12 3/48 29007 /proc/meminfo: memFree=589852/1048576 swapFree=0/0 [pid=28983] ppid=28982 vsize=2568 CPUtime=0 /proc/28983/stat : 28983 (p2cudf-user-1.1) S 28982 28983 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46591270 2629632 271 1283457024 134512640 135304128 4288357248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28983/statm: 642 271 230 194 0 29 0 [pid=28984] ppid=28983 vsize=2568 CPUtime=0.03 /proc/28984/stat : 28984 (p2cudf) S 28983 28983 17511 34816 17511 4202496 389 3012 0 1 0 0 2 1 25 0 1 0 46591270 2629632 279 1283457024 134512640 135304128 4293796048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28984/statm: 642 279 239 194 0 29 0 [pid=28997] ppid=28984 vsize=879896 CPUtime=4.7 /proc/28997/stat : 28997 (java) S 28984 28983 17511 34816 17511 4202496 73359 0 1 0 434 36 0 0 25 0 10 0 46591274 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28997/statm: 219974 67973 1776 10 0 217065 0 [pid=28997/tid=28998] ppid=28984 vsize=879896 CPUtime=2.05 /proc/28997/task/28998/stat : 28998 (java) S 28984 28983 17511 34816 17511 4202560 50278 0 1 0 183 22 0 0 19 0 10 0 46591274 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=28999] ppid=28984 vsize=879896 CPUtime=0.24 /proc/28997/task/28999/stat : 28999 (java) S 28984 28983 17511 34816 17511 4202560 10339 0 0 0 22 2 0 0 16 0 10 0 46591276 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29000] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29000/stat : 29000 (java) S 28984 28983 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46591276 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29001] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29001/stat : 29001 (java) S 28984 28983 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46591276 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29002] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29002/stat : 29002 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46591279 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29003] ppid=28984 vsize=879896 CPUtime=2.15 /proc/28997/task/29003/stat : 29003 (java) S 28984 28983 17511 34816 17511 4202560 11255 0 0 0 208 7 0 0 16 0 10 0 46591279 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29004] ppid=28984 vsize=879896 CPUtime=0.14 /proc/28997/task/29004/stat : 29004 (java) S 28984 28983 17511 34816 17511 4202560 401 0 0 0 14 0 0 0 23 0 10 0 46591279 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29005] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29005/stat : 29005 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46591279 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=28997/tid=29006] ppid=28984 vsize=879896 CPUtime=0 /proc/28997/task/29006/stat : 29006 (java) S 28984 28983 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46591279 901013504 67973 1283457024 134512640 134550932 4292714080 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.73 Current children cumulated vsize (KiB) 885032 Child status: 0 Real time (s): 5.33058 CPU time (s): 4.7563 CPU user time (s): 4.36827 CPU system time (s): 0.388024 CPU usage (%): 89.2266 Max. virtual memory (cumulated for all children) (KiB): 886568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.36827 system time used= 0.388024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77158 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= 732 involuntary context switches= 708 runsolver used 0.008 second user time and 0 second system time The end