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/rand375.cudf.user-upgrades.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/user-upgrades/rand375.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/rand375.cudf.user-upgrades.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.36 1.18 1.06 5/36 20644 /proc/meminfo: memFree=521072/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2568 CPUtime=0 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 354 0 0 0 0 0 0 0 18 0 1 0 46164116 2629632 272 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/20642/statm: 642 272 231 194 0 29 0 [pid=20643] ppid=20642 vsize=2568 CPUtime=0 /proc/20643/stat : 20643 (p2cudf) R 20642 20641 17511 34816 17511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 46164116 2629632 119 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/20643/statm: 642 119 77 194 0 29 0 [pid=20644] ppid=20643 vsize=2568 CPUtime=0 /proc/20644/stat : 20644 (p2cudf) R 20643 20641 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46164116 2629632 42 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/20644/statm: 642 42 0 194 0 29 0 [startup+0.184042 s] /proc/loadavg: 1.36 1.18 1.06 5/36 20644 /proc/meminfo: memFree=521072/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.204036 s] /proc/loadavg: 1.36 1.18 1.06 5/36 20644 /proc/meminfo: memFree=521072/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.304085 s] /proc/loadavg: 1.36 1.18 1.06 5/36 20644 /proc/meminfo: memFree=521072/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.704186 s] /proc/loadavg: 1.36 1.18 1.06 5/36 20644 /proc/meminfo: memFree=521072/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+1.50441 s] /proc/loadavg: 1.36 1.18 1.06 5/45 20664 /proc/meminfo: memFree=463028/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 [pid=20655] ppid=20642 vsize=890308 CPUtime=1.45 /proc/20655/stat : 20655 (java) S 20642 20641 17511 34816 17511 4202496 21723 0 1 0 141 4 0 0 25 0 10 0 46164119 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20655/statm: 222577 18397 1724 10 0 219668 0 [pid=20655/tid=20656] ppid=20642 vsize=890308 CPUtime=0.61 /proc/20655/task/20656/stat : 20656 (java) R 20642 20641 17511 34816 17511 4202560 8920 0 1 0 60 1 0 0 25 0 10 0 46164120 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4094933200 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20655/tid=20657] ppid=20642 vsize=890308 CPUtime=0 /proc/20655/task/20657/stat : 20657 (java) S 20642 20641 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 46164122 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20658] ppid=20642 vsize=890308 CPUtime=0 /proc/20655/task/20658/stat : 20658 (java) S 20642 20641 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46164122 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20659] ppid=20642 vsize=890308 CPUtime=0 /proc/20655/task/20659/stat : 20659 (java) S 20642 20641 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46164122 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20660] ppid=20642 vsize=890308 CPUtime=0 /proc/20655/task/20660/stat : 20660 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46164125 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20661] ppid=20642 vsize=890308 CPUtime=0.34 /proc/20655/task/20661/stat : 20661 (java) R 20642 20641 17511 34816 17511 4202560 5102 0 0 0 32 2 0 0 25 0 10 0 46164125 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20655/tid=20662] ppid=20642 vsize=890308 CPUtime=0.49 /proc/20655/task/20662/stat : 20662 (java) S 20642 20641 17511 34816 17511 4202560 6624 0 0 0 48 1 0 0 23 0 10 0 46164125 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20663] ppid=20642 vsize=890308 CPUtime=0 /proc/20655/task/20663/stat : 20663 (java) S 20642 20641 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46164125 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20664] ppid=20642 vsize=890308 CPUtime=0 /proc/20655/task/20664/stat : 20664 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46164125 911675392 18397 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 895444 [startup+3.10473 s] /proc/loadavg: 1.36 1.18 1.06 2/45 20664 /proc/meminfo: memFree=359736/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 [pid=20655] ppid=20642 vsize=889480 CPUtime=3.05 /proc/20655/stat : 20655 (java) S 20642 20641 17511 34816 17511 4202496 73733 0 1 0 279 26 0 0 25 0 10 0 46164119 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20655/statm: 222370 70332 1743 10 0 219461 0 [pid=20655/tid=20656] ppid=20642 vsize=889480 CPUtime=1.74 /proc/20655/task/20656/stat : 20656 (java) R 20642 20641 17511 34816 17511 4202560 50091 0 1 0 156 18 0 0 25 0 10 0 46164120 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20655/tid=20657] ppid=20642 vsize=889480 CPUtime=0.22 /proc/20655/task/20657/stat : 20657 (java) S 20642 20641 17511 34816 17511 4202560 10771 0 0 0 18 4 0 0 16 0 10 0 46164122 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20658] ppid=20642 vsize=889480 CPUtime=0 /proc/20655/task/20658/stat : 20658 (java) S 20642 20641 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 46164122 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20659] ppid=20642 vsize=889480 CPUtime=0 /proc/20655/task/20659/stat : 20659 (java) S 20642 20641 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46164122 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20660] ppid=20642 vsize=889480 CPUtime=0 /proc/20655/task/20660/stat : 20660 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46164125 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20661] ppid=20642 vsize=889480 CPUtime=0.36 /proc/20655/task/20661/stat : 20661 (java) S 20642 20641 17511 34816 17511 4202560 5131 0 0 0 34 2 0 0 23 0 10 0 46164125 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20662] ppid=20642 vsize=889480 CPUtime=0.71 /proc/20655/task/20662/stat : 20662 (java) R 20642 20641 17511 34816 17511 4202560 6667 0 0 0 70 1 0 0 16 0 10 0 46164125 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4151094025 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20655/tid=20663] ppid=20642 vsize=889480 CPUtime=0 /proc/20655/task/20663/stat : 20663 (java) S 20642 20641 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46164125 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20664] ppid=20642 vsize=889480 CPUtime=0 /proc/20655/task/20664/stat : 20664 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46164125 910827520 70332 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 894616 [startup+6.3055 s] /proc/loadavg: 1.41 1.19 1.07 2/46 20665 /proc/meminfo: memFree=243548/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 [pid=20655] ppid=20642 vsize=889804 CPUtime=6.25 /proc/20655/stat : 20655 (java) S 20642 20641 17511 34816 17511 4202496 74892 0 1 0 598 27 0 0 25 0 11 0 46164119 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20655/statm: 222451 70935 1777 10 0 219542 0 [pid=20655/tid=20656] ppid=20642 vsize=889804 CPUtime=3.35 /proc/20655/task/20656/stat : 20656 (java) R 20642 20641 17511 34816 17511 4202560 50277 0 1 0 317 18 0 0 25 0 11 0 46164120 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4095524571 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20655/tid=20657] ppid=20642 vsize=889804 CPUtime=0.22 /proc/20655/task/20657/stat : 20657 (java) S 20642 20641 17511 34816 17511 4202560 10771 0 0 0 18 4 0 0 15 0 11 0 46164122 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20658] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20658/stat : 20658 (java) S 20642 20641 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46164122 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20659] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20659/stat : 20659 (java) S 20642 20641 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46164122 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20660] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20660/stat : 20660 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20661] ppid=20642 vsize=889804 CPUtime=0.36 /proc/20655/task/20661/stat : 20661 (java) S 20642 20641 17511 34816 17511 4202560 5131 0 0 0 34 2 0 0 23 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20662] ppid=20642 vsize=889804 CPUtime=2.31 /proc/20655/task/20662/stat : 20662 (java) S 20642 20641 17511 34816 17511 4202560 7635 0 0 0 229 2 0 0 15 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20663] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20663/stat : 20663 (java) S 20642 20641 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20664] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20664/stat : 20664 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20665] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20665/stat : 20665 (java) S 20642 20641 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46164558 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 894940 Solver just ended. Dumping a history of the last processes samples [startup+6.40552 s] /proc/loadavg: 1.41 1.19 1.07 2/46 20665 /proc/meminfo: memFree=243548/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 [pid=20655] ppid=20642 vsize=889804 CPUtime=6.35 /proc/20655/stat : 20655 (java) S 20642 20641 17511 34816 17511 4202496 74892 0 1 0 608 27 0 0 25 0 11 0 46164119 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20655/statm: 222451 70935 1777 10 0 219542 0 [pid=20655/tid=20656] ppid=20642 vsize=889804 CPUtime=3.45 /proc/20655/task/20656/stat : 20656 (java) R 20642 20641 17511 34816 17511 4202560 50277 0 1 0 327 18 0 0 25 0 11 0 46164120 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4095585179 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20655/tid=20657] ppid=20642 vsize=889804 CPUtime=0.22 /proc/20655/task/20657/stat : 20657 (java) S 20642 20641 17511 34816 17511 4202560 10771 0 0 0 18 4 0 0 15 0 11 0 46164122 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20658] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20658/stat : 20658 (java) S 20642 20641 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46164122 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20659] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20659/stat : 20659 (java) S 20642 20641 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46164122 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20660] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20660/stat : 20660 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20661] ppid=20642 vsize=889804 CPUtime=0.36 /proc/20655/task/20661/stat : 20661 (java) S 20642 20641 17511 34816 17511 4202560 5131 0 0 0 34 2 0 0 23 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20662] ppid=20642 vsize=889804 CPUtime=2.31 /proc/20655/task/20662/stat : 20662 (java) S 20642 20641 17511 34816 17511 4202560 7635 0 0 0 229 2 0 0 15 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20663] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20663/stat : 20663 (java) S 20642 20641 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20664] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20664/stat : 20664 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46164125 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20665] ppid=20642 vsize=889804 CPUtime=0 /proc/20655/task/20665/stat : 20665 (java) S 20642 20641 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46164558 911159296 70935 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.38 Current children cumulated vsize (KiB) 894940 [startup+6.80437 s] /proc/loadavg: 1.41 1.19 1.07 1/46 20666 /proc/meminfo: memFree=243424/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 [pid=20655] ppid=20642 vsize=890128 CPUtime=6.5 /proc/20655/stat : 20655 (java) S 20642 20641 17511 34816 17511 4202496 74913 0 1 0 623 27 0 0 25 0 11 0 46164119 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20655/statm: 222532 70956 1779 10 0 219623 0 [pid=20655/tid=20656] ppid=20642 vsize=890128 CPUtime=3.52 /proc/20655/task/20656/stat : 20656 (java) S 20642 20641 17511 34816 17511 4202560 50284 0 1 0 334 18 0 0 25 0 11 0 46164120 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20657] ppid=20642 vsize=890128 CPUtime=0.22 /proc/20655/task/20657/stat : 20657 (java) S 20642 20641 17511 34816 17511 4202560 10771 0 0 0 18 4 0 0 16 0 11 0 46164122 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20658] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20658/stat : 20658 (java) S 20642 20641 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46164122 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20659] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20659/stat : 20659 (java) S 20642 20641 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46164122 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20660] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20660/stat : 20660 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20661] ppid=20642 vsize=890128 CPUtime=0.36 /proc/20655/task/20661/stat : 20661 (java) S 20642 20641 17511 34816 17511 4202560 5131 0 0 0 34 2 0 0 23 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20662] ppid=20642 vsize=890128 CPUtime=2.39 /proc/20655/task/20662/stat : 20662 (java) S 20642 20641 17511 34816 17511 4202560 7644 0 0 0 237 2 0 0 16 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20663] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20663/stat : 20663 (java) S 20642 20641 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20664] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20664/stat : 20664 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20666] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20666/stat : 20666 (java) S 20642 20641 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46164772 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.53 Current children cumulated vsize (KiB) 895264 [startup+7.00438 s] /proc/loadavg: 1.41 1.19 1.07 1/46 20666 /proc/meminfo: memFree=243424/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 [pid=20655] ppid=20642 vsize=890128 CPUtime=6.5 /proc/20655/stat : 20655 (java) S 20642 20641 17511 34816 17511 4202496 74913 0 1 0 623 27 0 0 25 0 11 0 46164119 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20655/statm: 222532 70956 1779 10 0 219623 0 [pid=20655/tid=20656] ppid=20642 vsize=890128 CPUtime=3.52 /proc/20655/task/20656/stat : 20656 (java) S 20642 20641 17511 34816 17511 4202560 50284 0 1 0 334 18 0 0 25 0 11 0 46164120 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20657] ppid=20642 vsize=890128 CPUtime=0.22 /proc/20655/task/20657/stat : 20657 (java) S 20642 20641 17511 34816 17511 4202560 10771 0 0 0 18 4 0 0 16 0 11 0 46164122 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20658] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20658/stat : 20658 (java) S 20642 20641 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46164122 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20659] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20659/stat : 20659 (java) S 20642 20641 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46164122 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20660] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20660/stat : 20660 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20661] ppid=20642 vsize=890128 CPUtime=0.36 /proc/20655/task/20661/stat : 20661 (java) S 20642 20641 17511 34816 17511 4202560 5131 0 0 0 34 2 0 0 23 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20662] ppid=20642 vsize=890128 CPUtime=2.39 /proc/20655/task/20662/stat : 20662 (java) S 20642 20641 17511 34816 17511 4202560 7644 0 0 0 237 2 0 0 16 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20663] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20663/stat : 20663 (java) S 20642 20641 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20664] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20664/stat : 20664 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46164125 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20666] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20666/stat : 20666 (java) S 20642 20641 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46164772 911491072 70956 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.53 Current children cumulated vsize (KiB) 895264 [startup+7.10643 s] /proc/loadavg: 1.41 1.19 1.07 1/46 20666 /proc/meminfo: memFree=243424/1048576 swapFree=0/0 [pid=20641] ppid=20640 vsize=2564 CPUtime=0 /proc/20641/stat : 20641 (p2cudf-user-1.1) S 20640 20641 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46164116 2625536 269 1283457024 134512640 135304128 4290911776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20641/statm: 641 269 230 194 0 28 0 [pid=20642] ppid=20641 vsize=2572 CPUtime=0.03 /proc/20642/stat : 20642 (p2cudf) S 20641 20641 17511 34816 17511 4202496 392 2896 0 1 0 0 3 0 25 0 1 0 46164116 2633728 281 1283457024 134512640 135304128 4292368304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20642/statm: 643 281 239 194 0 30 0 [pid=20655] ppid=20642 vsize=890128 CPUtime=6.54 /proc/20655/stat : 20655 (java) S 20642 20641 17511 34816 17511 4202496 74914 0 1 0 625 29 0 0 25 0 11 0 46164119 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20655/statm: 222532 70957 1779 10 0 219623 0 [pid=20655/tid=20656] ppid=20642 vsize=890128 CPUtime=3.52 /proc/20655/task/20656/stat : 20656 (java) S 20642 20641 17511 34816 17511 4202560 50284 0 1 0 334 18 0 0 25 0 11 0 46164120 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20657] ppid=20642 vsize=890128 CPUtime=0.22 /proc/20655/task/20657/stat : 20657 (java) S 20642 20641 17511 34816 17511 4202560 10771 0 0 0 18 4 0 0 16 0 11 0 46164122 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20658] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20658/stat : 20658 (java) S 20642 20641 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46164122 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20659] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20659/stat : 20659 (java) S 20642 20641 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46164122 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20660] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20660/stat : 20660 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46164125 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20661] ppid=20642 vsize=890128 CPUtime=0.36 /proc/20655/task/20661/stat : 20661 (java) S 20642 20641 17511 34816 17511 4202560 5131 0 0 0 34 2 0 0 23 0 11 0 46164125 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20662] ppid=20642 vsize=890128 CPUtime=2.39 /proc/20655/task/20662/stat : 20662 (java) S 20642 20641 17511 34816 17511 4202560 7644 0 0 0 237 2 0 0 15 0 11 0 46164125 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20663] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20663/stat : 20663 (java) S 20642 20641 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46164125 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20664] ppid=20642 vsize=890128 CPUtime=0 /proc/20655/task/20664/stat : 20664 (java) S 20642 20641 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46164125 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=20655/tid=20666] ppid=20642 vsize=890128 CPUtime=0.04 /proc/20655/task/20666/stat : 20666 (java) R 20642 20641 17511 34816 17511 4202560 5 0 0 0 2 2 0 0 20 0 11 0 46164772 911491072 70957 1283457024 134512640 134550932 4292556400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.57 Current children cumulated vsize (KiB) 895264 Child status: 0 Real time (s): 7.15333 CPU time (s): 6.62041 CPU user time (s): 6.30039 CPU system time (s): 0.32002 CPU usage (%): 92.5501 Max. virtual memory (cumulated for all children) (KiB): 898796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.30039 system time used= 0.32002 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78600 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= 836 involuntary context switches= 823 runsolver used 0 second user time and 0.008 second system time The end