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/201012061533/p2cudf-paranoid-1.9/7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/debian-dudf//7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.33 1.16 1.18 4/46 27392
/proc/meminfo: memFree=837588/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2536 CPUtime=0
/proc/27392/stat : 27392 (p2cudf) R 27391 27391 2059 34821 2220 4194304 127 0 0 0 0 0 0 0 25 0 1 0 876357822 2596864 63 1283457024 134512640 135304128 4291182176 18446744073709551615 4159801310 0 0 0 0 0 0 0 17 0 0 0 0
/proc/27392/statm: 634 63 46 194 0 16 0

[startup+0.122159 s]
/proc/loadavg: 1.33 1.16 1.18 4/46 27392
/proc/meminfo: memFree=837588/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.212188 s]
/proc/loadavg: 1.33 1.16 1.18 4/46 27392
/proc/meminfo: memFree=837588/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.31221 s]
/proc/loadavg: 1.33 1.16 1.18 4/46 27392
/proc/meminfo: memFree=837588/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.710355 s]
/proc/loadavg: 1.33 1.16 1.18 4/46 27392
/proc/meminfo: memFree=837588/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+1.50421 s]
/proc/loadavg: 1.33 1.16 1.18 3/57 27414
/proc/meminfo: memFree=790664/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
[pid=27405] ppid=27392 vsize=866940 CPUtime=1.41
/proc/27405/stat : 27405 (java) S 27392 27391 2059 34821 2220 4202496 20276 0 1 0 134 7 0 0 25 0 10 0 876357825 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27405/statm: 216735 18607 1732 10 0 213825 0
[pid=27405/tid=27406] ppid=27392 vsize=866940 CPUtime=0.72
/proc/27405/task/27406/stat : 27406 (java) R 27392 27391 2059 34821 2220 4202560 14609 0 1 0 66 6 0 0 25 0 10 0 876357826 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4095824716 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27405/tid=27407] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27407/stat : 27407 (java) S 27392 27391 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876357828 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27408] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27392 27391 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876357828 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27409] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27392 27391 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876357828 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27410] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876357831 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27411] ppid=27392 vsize=866940 CPUtime=0.2
/proc/27405/task/27411/stat : 27411 (java) S 27392 27391 2059 34821 2220 4202560 935 0 0 0 20 0 0 0 15 0 10 0 876357831 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27412] ppid=27392 vsize=866940 CPUtime=0.48
/proc/27405/task/27412/stat : 27412 (java) S 27392 27391 2059 34821 2220 4202560 3616 0 0 0 48 0 0 0 25 0 10 0 876357831 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27413] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27392 27391 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 10 0 876357831 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27414] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27414/stat : 27414 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876357831 887746560 18607 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 872088

[startup+3.11354 s]
/proc/loadavg: 1.33 1.16 1.18 2/57 27414
/proc/meminfo: memFree=635020/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
[pid=27405] ppid=27392 vsize=866940 CPUtime=2.92
/proc/27405/stat : 27405 (java) S 27392 27391 2059 34821 2220 4202496 68947 0 1 0 264 28 0 0 25 0 10 0 876357825 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27405/statm: 216735 67278 1746 10 0 213825 0
[pid=27405/tid=27406] ppid=27392 vsize=866940 CPUtime=1.74
/proc/27405/task/27406/stat : 27406 (java) R 27392 27391 2059 34821 2220 4202560 50276 0 1 0 154 20 0 0 25 0 10 0 876357826 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4095502628 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27405/tid=27407] ppid=27392 vsize=866940 CPUtime=0.28
/proc/27405/task/27407/stat : 27407 (java) S 27392 27391 2059 34821 2220 4202560 12984 0 0 0 22 6 0 0 16 0 10 0 876357828 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27408] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27392 27391 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 876357828 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27409] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27392 27391 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876357828 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27410] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876357831 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27411] ppid=27392 vsize=866940 CPUtime=0.2
/proc/27405/task/27411/stat : 27411 (java) S 27392 27391 2059 34821 2220 4202560 935 0 0 0 20 0 0 0 15 0 10 0 876357831 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27412] ppid=27392 vsize=866940 CPUtime=0.67
/proc/27405/task/27412/stat : 27412 (java) S 27392 27391 2059 34821 2220 4202560 3638 0 0 0 67 0 0 0 15 0 10 0 876357831 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27413] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27392 27391 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 10 0 876357831 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27414] ppid=27392 vsize=866940 CPUtime=0
/proc/27405/task/27414/stat : 27414 (java) R 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876357831 887746560 67278 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 872088

[startup+6.31425 s]
/proc/loadavg: 1.39 1.18 1.18 2/57 27414
/proc/meminfo: memFree=495240/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
[pid=27405] ppid=27392 vsize=872112 CPUtime=6.12
/proc/27405/stat : 27405 (java) S 27392 27391 2059 34821 2220 4202496 86124 0 1 0 573 39 0 0 25 0 11 0 876357825 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27405/statm: 218028 81851 1786 10 0 215118 0
[pid=27405/tid=27406] ppid=27392 vsize=872112 CPUtime=2.75
/proc/27405/task/27406/stat : 27406 (java) R 27392 27391 2059 34821 2220 4202560 50440 0 1 0 255 20 0 0 25 0 11 0 876357826 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27405/tid=27407] ppid=27392 vsize=872112 CPUtime=0.59
/proc/27405/task/27407/stat : 27407 (java) S 27392 27391 2059 34821 2220 4202560 25856 0 0 0 45 14 0 0 16 0 11 0 876357828 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27408] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27392 27391 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876357828 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27409] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27392 27391 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876357828 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27410] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876357831 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27411] ppid=27392 vsize=872112 CPUtime=0.2
/proc/27405/task/27411/stat : 27411 (java) S 27392 27391 2059 34821 2220 4202560 935 0 0 0 20 0 0 0 15 0 11 0 876357831 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27412] ppid=27392 vsize=872112 CPUtime=2.55
/proc/27405/task/27412/stat : 27412 (java) R 27392 27391 2059 34821 2220 4202560 7775 0 0 0 252 3 0 0 16 0 11 0 876357831 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4150316870 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27405/tid=27413] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27392 27391 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 11 0 876357831 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27414] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27414/stat : 27414 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876357831 893042688 81851 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 877260

Solver just ended. Dumping a history of the last processes samples

[startup+6.41429 s]
/proc/loadavg: 1.39 1.18 1.18 2/57 27414
/proc/meminfo: memFree=495240/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
[pid=27405] ppid=27392 vsize=872112 CPUtime=6.22
/proc/27405/stat : 27405 (java) S 27392 27391 2059 34821 2220 4202496 86133 0 1 0 583 39 0 0 25 0 11 0 876357825 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27405/statm: 218028 81860 1786 10 0 215118 0
[pid=27405/tid=27406] ppid=27392 vsize=872112 CPUtime=2.83
/proc/27405/task/27406/stat : 27406 (java) R 27392 27391 2059 34821 2220 4202560 50440 0 1 0 263 20 0 0 25 0 11 0 876357826 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4095654554 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27405/tid=27407] ppid=27392 vsize=872112 CPUtime=0.59
/proc/27405/task/27407/stat : 27407 (java) S 27392 27391 2059 34821 2220 4202560 25856 0 0 0 45 14 0 0 16 0 11 0 876357828 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27408] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27392 27391 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876357828 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27409] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27392 27391 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876357828 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27410] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876357831 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27411] ppid=27392 vsize=872112 CPUtime=0.2
/proc/27405/task/27411/stat : 27411 (java) S 27392 27391 2059 34821 2220 4202560 935 0 0 0 20 0 0 0 15 0 11 0 876357831 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27412] ppid=27392 vsize=872112 CPUtime=2.57
/proc/27405/task/27412/stat : 27412 (java) S 27392 27391 2059 34821 2220 4202560 7784 0 0 0 254 3 0 0 16 0 11 0 876357831 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27413] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27392 27391 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 11 0 876357831 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27414] ppid=27392 vsize=872112 CPUtime=0
/proc/27405/task/27414/stat : 27414 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876357831 893042688 81860 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 877260

[startup+8.0047 s]
/proc/loadavg: 1.39 1.18 1.18 4/59 27421
/proc/meminfo: memFree=494728/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
[pid=27405] ppid=27392 vsize=872760 CPUtime=7.81
/proc/27405/stat : 27405 (java) S 27392 27391 2059 34821 2220 4202496 86160 0 1 0 742 39 0 0 25 0 12 0 876357825 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27405/statm: 218190 81887 1792 10 0 215280 0
[pid=27405/tid=27406] ppid=27392 vsize=872760 CPUtime=4.23
/proc/27405/task/27406/stat : 27406 (java) R 27392 27391 2059 34821 2220 4202560 50443 0 1 0 403 20 0 0 25 0 12 0 876357826 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4096659238 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27405/tid=27407] ppid=27392 vsize=872760 CPUtime=0.59
/proc/27405/task/27407/stat : 27407 (java) S 27392 27391 2059 34821 2220 4202560 25856 0 0 0 45 14 0 0 16 0 12 0 876357828 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27408] ppid=27392 vsize=872760 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27392 27391 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 12 0 876357828 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27409] ppid=27392 vsize=872760 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27392 27391 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 12 0 876357828 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27410] ppid=27392 vsize=872760 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 12 0 876357831 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27411] ppid=27392 vsize=872760 CPUtime=0.2
/proc/27405/task/27411/stat : 27411 (java) S 27392 27391 2059 34821 2220 4202560 935 0 0 0 20 0 0 0 15 0 12 0 876357831 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27412] ppid=27392 vsize=872760 CPUtime=2.77
/proc/27405/task/27412/stat : 27412 (java) S 27392 27391 2059 34821 2220 4202560 7804 0 0 0 274 3 0 0 15 0 12 0 876357831 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27413] ppid=27392 vsize=872760 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27392 27391 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 12 0 876357831 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27414] ppid=27392 vsize=872760 CPUtime=0
/proc/27405/task/27414/stat : 27414 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 12 0 876357831 893706240 81887 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 877908

[startup+8.8047 s]
/proc/loadavg: 1.39 1.18 1.18 1/58 27428
/proc/meminfo: memFree=474276/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
[pid=27405] ppid=27392 vsize=873084 CPUtime=8.4
/proc/27405/stat : 27405 (java) S 27392 27391 2059 34821 2220 4202496 91241 0 1 0 800 40 0 0 25 0 11 0 876357825 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27405/statm: 218271 86968 1792 10 0 215361 0
[pid=27405/tid=27406] ppid=27392 vsize=873084 CPUtime=4.54
/proc/27405/task/27406/stat : 27406 (java) S 27392 27391 2059 34821 2220 4202560 50451 0 1 0 434 20 0 0 25 0 11 0 876357826 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27407] ppid=27392 vsize=873084 CPUtime=0.8
/proc/27405/task/27407/stat : 27407 (java) S 27392 27391 2059 34821 2220 4202560 30921 0 0 0 66 14 0 0 16 0 11 0 876357828 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27408] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27392 27391 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876357828 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27409] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27392 27391 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 17 0 11 0 876357828 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27410] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876357831 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27411] ppid=27392 vsize=873084 CPUtime=0.2
/proc/27405/task/27411/stat : 27411 (java) S 27392 27391 2059 34821 2220 4202560 935 0 0 0 20 0 0 0 15 0 11 0 876357831 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27412] ppid=27392 vsize=873084 CPUtime=2.82
/proc/27405/task/27412/stat : 27412 (java) S 27392 27391 2059 34821 2220 4202560 7804 0 0 0 279 3 0 0 15 0 11 0 876357831 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27413] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27392 27391 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 11 0 876357831 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27414] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27414/stat : 27414 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876357831 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27428] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27428/stat : 27428 (java) S 27392 27391 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 876358680 894038016 86968 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 878232

[startup+9.21373 s]
/proc/loadavg: 1.39 1.18 1.18 1/58 27428
/proc/meminfo: memFree=474276/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
[pid=27405] ppid=27392 vsize=873084 CPUtime=8.51
/proc/27405/stat : 27405 (java) S 27392 27391 2059 34821 2220 4202496 91242 0 1 0 810 41 0 0 25 0 11 0 876357825 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27405/statm: 218271 86969 1792 10 0 215361 0
[pid=27405/tid=27406] ppid=27392 vsize=873084 CPUtime=4.54
/proc/27405/task/27406/stat : 27406 (java) S 27392 27391 2059 34821 2220 4202560 50451 0 1 0 434 20 0 0 25 0 11 0 876357826 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27407] ppid=27392 vsize=873084 CPUtime=0.8
/proc/27405/task/27407/stat : 27407 (java) S 27392 27391 2059 34821 2220 4202560 30921 0 0 0 66 14 0 0 16 0 11 0 876357828 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27408] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27392 27391 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876357828 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27409] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27392 27391 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 17 0 11 0 876357828 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27410] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876357831 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27411] ppid=27392 vsize=873084 CPUtime=0.2
/proc/27405/task/27411/stat : 27411 (java) S 27392 27391 2059 34821 2220 4202560 935 0 0 0 20 0 0 0 15 0 11 0 876357831 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27412] ppid=27392 vsize=873084 CPUtime=2.86
/proc/27405/task/27412/stat : 27412 (java) S 27392 27391 2059 34821 2220 4202560 7804 0 0 0 283 3 0 0 15 0 11 0 876357831 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27413] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27392 27391 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 11 0 876357831 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27414] ppid=27392 vsize=873084 CPUtime=0
/proc/27405/task/27414/stat : 27414 (java) S 27392 27391 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876357831 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27405/tid=27428] ppid=27392 vsize=873084 CPUtime=0.07
/proc/27405/task/27428/stat : 27428 (java) R 27392 27391 2059 34821 2220 4202560 5 0 0 0 6 1 0 0 20 0 11 0 876358680 894038016 86969 1283457024 134512640 134550932 4287086864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.53
Current children cumulated vsize (KiB) 878232

[startup+9.30583 s]
/proc/loadavg: 1.39 1.18 1.18 1/58 27428
/proc/meminfo: memFree=474276/1048576 swapFree=2078764/2097144
[pid=27391] ppid=27390 vsize=2572 CPUtime=0
/proc/27391/stat : 27391 (p2cudf-paranoid) S 27390 27391 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876357822 2633728 273 1283457024 134512640 135304128 4287230592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27391/statm: 643 273 233 194 0 29 0
[pid=27392] ppid=27391 vsize=2576 CPUtime=0.02
/proc/27392/stat : 27392 (p2cudf) S 27391 27391 2059 34821 2220 4202496 389 2997 0 1 0 0 2 0 25 0 1 0 876357822 2637824 281 1283457024 134512640 135304128 4291182176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27392/statm: 644 281 241 194 0 30 0
[pid=27405] ppid=27392 vsize=0 CPUtime=8.6
/proc/27405/stat : 27405 (java) R 27392 27391 2059 34821 2220 4203524 91244 0 1 0 814 46 0 0 18 0 1 0 876357825 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0
/proc/27405/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.62
Current children cumulated vsize (KiB) 5148

Child status: 0
Real time (s): 9.31267
CPU time (s): 8.64454
CPU user time (s): 8.16451
CPU system time (s): 0.48003
CPU usage (%): 92.8256
Max. virtual memory (cumulated for all children) (KiB): 878564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.16451
system time used= 0.48003
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95029
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= 1313
involuntary context switches= 1293

runsolver used 0.004 second user time and 0 second system time

The end