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/d5026b8e-3477-11e0-986e-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//d5026b8e-3477-11e0-986e-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/d5026b8e-3477-11e0-986e-00163e3d3b7c.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.05 1.13 1.11 5/36 30142 /proc/meminfo: memFree=721712/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2568 CPUtime=0 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 353 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 272 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/30140/statm: 642 272 231 194 0 29 0 [pid=30141] ppid=30140 vsize=2568 CPUtime=0 /proc/30141/stat : 30141 (p2cudf) R 30140 30139 17511 34816 17511 4202560 93 0 0 0 0 0 0 0 25 0 1 0 46623859 2629632 119 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30141/statm: 642 119 77 194 0 29 0 [pid=30142] ppid=30141 vsize=2568 CPUtime=0 /proc/30142/stat : 30142 (p2cudf) R 30141 30139 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46623859 2629632 42 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30142/statm: 642 42 0 194 0 29 0 [startup+0.165687 s] /proc/loadavg: 1.05 1.13 1.11 5/36 30142 /proc/meminfo: memFree=721712/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5140 [startup+0.205682 s] /proc/loadavg: 1.05 1.13 1.11 5/36 30142 /proc/meminfo: memFree=721712/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5140 [startup+0.305705 s] /proc/loadavg: 1.05 1.13 1.11 5/36 30142 /proc/meminfo: memFree=721712/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5140 [startup+0.70582 s] /proc/loadavg: 1.05 1.13 1.11 5/36 30142 /proc/meminfo: memFree=721712/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5140 [startup+1.50602 s] /proc/loadavg: 1.21 1.16 1.12 3/45 30162 /proc/meminfo: memFree=666760/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 [pid=30153] ppid=30140 vsize=878672 CPUtime=1.47 /proc/30153/stat : 30153 (java) S 30140 30139 17511 34816 17511 4202496 26370 0 1 0 141 6 0 0 25 0 10 0 46623862 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30153/statm: 219668 23618 1723 10 0 216759 0 [pid=30153/tid=30154] ppid=30140 vsize=878672 CPUtime=0.8 /proc/30153/task/30154/stat : 30154 (java) R 30140 30139 17511 34816 17511 4202560 16686 0 1 0 76 4 0 0 25 0 10 0 46623863 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4095273374 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30153/tid=30155] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30155/stat : 30155 (java) S 30140 30139 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 46623865 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30156] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30156/stat : 30156 (java) S 30140 30139 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46623865 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30157] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30157/stat : 30157 (java) S 30140 30139 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46623865 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30158] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30158/stat : 30158 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46623868 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30159] ppid=30140 vsize=878672 CPUtime=0.55 /proc/30153/task/30159/stat : 30159 (java) R 30140 30139 17511 34816 17511 4202560 7983 0 0 0 54 1 0 0 25 0 10 0 46623868 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4149794480 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30153/tid=30160] ppid=30140 vsize=878672 CPUtime=0.11 /proc/30153/task/30160/stat : 30160 (java) S 30140 30139 17511 34816 17511 4202560 620 0 0 0 11 0 0 0 20 0 10 0 46623868 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30161] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30161/stat : 30161 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46623868 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30162] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30162/stat : 30162 (java) S 30140 30139 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46623868 899760128 23618 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 883812 [startup+3.10644 s] /proc/loadavg: 1.21 1.16 1.12 3/45 30162 /proc/meminfo: memFree=552060/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 [pid=30153] ppid=30140 vsize=878672 CPUtime=3.08 /proc/30153/stat : 30153 (java) S 30140 30139 17511 34816 17511 4202496 55558 0 1 0 292 16 0 0 25 0 10 0 46623862 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30153/statm: 219668 52806 1744 10 0 216759 0 [pid=30153/tid=30154] ppid=30140 vsize=878672 CPUtime=1.6 /proc/30153/task/30154/stat : 30154 (java) R 30140 30139 17511 34816 17511 4202560 45716 0 1 0 147 13 0 0 25 0 10 0 46623863 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4153089656 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30153/tid=30155] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30155/stat : 30155 (java) S 30140 30139 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 46623865 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30156] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30156/stat : 30156 (java) S 30140 30139 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46623865 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30157] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30157/stat : 30157 (java) S 30140 30139 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46623865 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30158] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30158/stat : 30158 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46623868 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30159] ppid=30140 vsize=878672 CPUtime=0.6 /proc/30153/task/30159/stat : 30159 (java) S 30140 30139 17511 34816 17511 4202560 8009 0 0 0 59 1 0 0 25 0 10 0 46623868 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30160] ppid=30140 vsize=878672 CPUtime=0.85 /proc/30153/task/30160/stat : 30160 (java) S 30140 30139 17511 34816 17511 4202560 752 0 0 0 85 0 0 0 16 0 10 0 46623868 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30161] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30161/stat : 30161 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46623868 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30162] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30162/stat : 30162 (java) S 30140 30139 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46623868 899760128 52806 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 883812 Solver just ended. Dumping a history of the last processes samples [startup+3.21345 s] /proc/loadavg: 1.21 1.16 1.12 3/45 30162 /proc/meminfo: memFree=552060/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 [pid=30153] ppid=30140 vsize=878672 CPUtime=3.18 /proc/30153/stat : 30153 (java) S 30140 30139 17511 34816 17511 4202496 56291 0 1 0 302 16 0 0 25 0 10 0 46623862 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30153/statm: 219668 53539 1744 10 0 216759 0 [pid=30153/tid=30154] ppid=30140 vsize=878672 CPUtime=1.62 /proc/30153/task/30154/stat : 30154 (java) R 30140 30139 17511 34816 17511 4202560 46445 0 1 0 149 13 0 0 25 0 10 0 46623863 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30153/tid=30155] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30155/stat : 30155 (java) S 30140 30139 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 46623865 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30156] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30156/stat : 30156 (java) S 30140 30139 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46623865 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30157] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30157/stat : 30157 (java) S 30140 30139 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46623865 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30158] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30158/stat : 30158 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46623868 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30159] ppid=30140 vsize=878672 CPUtime=0.6 /proc/30153/task/30159/stat : 30159 (java) S 30140 30139 17511 34816 17511 4202560 8009 0 0 0 59 1 0 0 25 0 10 0 46623868 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30160] ppid=30140 vsize=878672 CPUtime=0.93 /proc/30153/task/30160/stat : 30160 (java) S 30140 30139 17511 34816 17511 4202560 756 0 0 0 93 0 0 0 15 0 10 0 46623868 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30161] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30161/stat : 30161 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46623868 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30162] ppid=30140 vsize=878672 CPUtime=0 /proc/30153/task/30162/stat : 30162 (java) S 30140 30139 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46623868 899760128 53539 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.2 Current children cumulated vsize (KiB) 883812 [startup+4.80681 s] /proc/loadavg: 1.21 1.16 1.12 2/46 30163 /proc/meminfo: memFree=455332/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 [pid=30153] ppid=30140 vsize=878996 CPUtime=4.77 /proc/30153/stat : 30153 (java) S 30140 30139 17511 34816 17511 4202496 70951 0 1 0 460 17 0 0 25 0 11 0 46623862 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30153/statm: 219749 68199 1782 10 0 216840 0 [pid=30153/tid=30154] ppid=30140 vsize=878996 CPUtime=2.26 /proc/30153/task/30154/stat : 30154 (java) R 30140 30139 17511 34816 17511 4202560 50272 0 1 0 213 13 0 0 25 0 11 0 46623863 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30153/tid=30155] ppid=30140 vsize=878996 CPUtime=0.25 /proc/30153/task/30155/stat : 30155 (java) S 30140 30139 17511 34816 17511 4202560 10723 0 0 0 24 1 0 0 16 0 11 0 46623865 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30156] ppid=30140 vsize=878996 CPUtime=0 /proc/30153/task/30156/stat : 30156 (java) S 30140 30139 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46623865 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30157] ppid=30140 vsize=878996 CPUtime=0 /proc/30153/task/30157/stat : 30157 (java) S 30140 30139 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46623865 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30158] ppid=30140 vsize=878996 CPUtime=0 /proc/30153/task/30158/stat : 30158 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46623868 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30159] ppid=30140 vsize=878996 CPUtime=0.6 /proc/30153/task/30159/stat : 30159 (java) S 30140 30139 17511 34816 17511 4202560 8009 0 0 0 59 1 0 0 25 0 11 0 46623868 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30160] ppid=30140 vsize=878996 CPUtime=1.63 /proc/30153/task/30160/stat : 30160 (java) R 30140 30139 17511 34816 17511 4202560 866 0 0 0 163 0 0 0 16 0 11 0 46623868 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4151407968 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30153/tid=30161] ppid=30140 vsize=878996 CPUtime=0 /proc/30153/task/30161/stat : 30161 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46623868 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30162] ppid=30140 vsize=878996 CPUtime=0 /proc/30153/task/30162/stat : 30162 (java) S 30140 30139 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46623868 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30163] ppid=30140 vsize=878996 CPUtime=0 /proc/30153/task/30163/stat : 30163 (java) S 30140 30139 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46624261 900091904 68199 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 884136 [startup+5.508 s] /proc/loadavg: 1.21 1.16 1.12 1/46 30164 /proc/meminfo: memFree=455092/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 [pid=30153] ppid=30140 vsize=879320 CPUtime=4.99 /proc/30153/stat : 30153 (java) S 30140 30139 17511 34816 17511 4202496 70980 0 1 0 482 17 0 0 25 0 11 0 46623862 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30153/statm: 219830 68228 1784 10 0 216921 0 [pid=30153/tid=30154] ppid=30140 vsize=879320 CPUtime=2.41 /proc/30153/task/30154/stat : 30154 (java) S 30140 30139 17511 34816 17511 4202560 50286 0 1 0 228 13 0 0 25 0 11 0 46623863 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30155] ppid=30140 vsize=879320 CPUtime=0.25 /proc/30153/task/30155/stat : 30155 (java) S 30140 30139 17511 34816 17511 4202560 10723 0 0 0 24 1 0 0 16 0 11 0 46623865 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30156] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30156/stat : 30156 (java) S 30140 30139 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46623865 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30157] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30157/stat : 30157 (java) S 30140 30139 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46623865 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30158] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30158/stat : 30158 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46623868 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30159] ppid=30140 vsize=879320 CPUtime=0.6 /proc/30153/task/30159/stat : 30159 (java) S 30140 30139 17511 34816 17511 4202560 8009 0 0 0 59 1 0 0 25 0 11 0 46623868 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30160] ppid=30140 vsize=879320 CPUtime=1.7 /proc/30153/task/30160/stat : 30160 (java) S 30140 30139 17511 34816 17511 4202560 875 0 0 0 170 0 0 0 16 0 11 0 46623868 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30161] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30161/stat : 30161 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46623868 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30162] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30162/stat : 30162 (java) S 30140 30139 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46623868 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30164] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30164/stat : 30164 (java) S 30140 30139 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46624362 900423680 68228 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.01 Current children cumulated vsize (KiB) 884460 [startup+5.70397 s] /proc/loadavg: 1.21 1.16 1.12 1/46 30164 /proc/meminfo: memFree=455092/1048576 swapFree=0/0 [pid=30139] ppid=30138 vsize=2568 CPUtime=0 /proc/30139/stat : 30139 (p2cudf-user-1.1) S 30138 30139 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46623859 2629632 269 1283457024 134512640 135304128 4291210800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30139/statm: 642 269 230 194 0 29 0 [pid=30140] ppid=30139 vsize=2572 CPUtime=0.02 /proc/30140/stat : 30140 (p2cudf) S 30139 30139 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46623859 2633728 281 1283457024 134512640 135304128 4288086880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30140/statm: 643 281 239 194 0 30 0 [pid=30153] ppid=30140 vsize=879320 CPUtime=5.13 /proc/30153/stat : 30153 (java) S 30140 30139 17511 34816 17511 4202496 70989 0 1 0 494 19 0 0 25 0 10 0 46623862 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30153/statm: 219830 68237 1784 10 0 216921 0 [pid=30153/tid=30154] ppid=30140 vsize=879320 CPUtime=2.41 /proc/30153/task/30154/stat : 30154 (java) S 30140 30139 17511 34816 17511 4202560 50286 0 1 0 228 13 0 0 19 0 10 0 46623863 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30155] ppid=30140 vsize=879320 CPUtime=0.25 /proc/30153/task/30155/stat : 30155 (java) S 30140 30139 17511 34816 17511 4202560 10723 0 0 0 24 1 0 0 16 0 10 0 46623865 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30156] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30156/stat : 30156 (java) S 30140 30139 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 46623865 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30157] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30157/stat : 30157 (java) S 30140 30139 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46623865 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30158] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30158/stat : 30158 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46623868 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30159] ppid=30140 vsize=879320 CPUtime=0.6 /proc/30153/task/30159/stat : 30159 (java) S 30140 30139 17511 34816 17511 4202560 8009 0 0 0 59 1 0 0 25 0 10 0 46623868 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30160] ppid=30140 vsize=879320 CPUtime=1.75 /proc/30153/task/30160/stat : 30160 (java) S 30140 30139 17511 34816 17511 4202560 882 0 0 0 175 0 0 0 15 0 10 0 46623868 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30161] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30161/stat : 30161 (java) S 30140 30139 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46623868 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=30153/tid=30162] ppid=30140 vsize=879320 CPUtime=0 /proc/30153/task/30162/stat : 30162 (java) S 30140 30139 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46623868 900423680 68237 1283457024 134512640 134550932 4292525632 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.15 Current children cumulated vsize (KiB) 884460 Child status: 0 Real time (s): 5.72836 CPU time (s): 5.18832 CPU user time (s): 4.95631 CPU system time (s): 0.232014 CPU usage (%): 90.5726 Max. virtual memory (cumulated for all children) (KiB): 884460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.95631 system time used= 0.232014 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74791 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= 791 involuntary context switches= 766 runsolver used 0 second user time and 0 second system time The end