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/201108241238/p2cudf-trendy-1.13/7bf50d1c-9b1b-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-real//7bf50d1c-9b1b-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/7bf50d1c-9b1b-11df-8b50-00163e46d37a.cudf.dudf-real.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.13 1.12 1.10 5/35 26941
/proc/meminfo: memFree=315192/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2572 CPUtime=0
/proc/26940/stat : 26940 (p2cudf) R 26939 26939 1511 34817 1511 4202496 345 0 0 0 0 0 0 0 25 0 1 0 4842583 2633728 271 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/26940/statm: 643 271 231 194 0 30 0
[pid=26941] ppid=26940 vsize=2572 CPUtime=0
/proc/26941/stat : 26941 (p2cudf) R 26940 26939 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4842583 2633728 40 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/26941/statm: 643 40 0 194 0 30 0

[startup+0.125635 s]
/proc/loadavg: 1.13 1.12 1.10 5/35 26941
/proc/meminfo: memFree=315192/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.205635 s]
/proc/loadavg: 1.13 1.12 1.10 5/35 26941
/proc/meminfo: memFree=315192/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.305649 s]
/proc/loadavg: 1.13 1.12 1.10 5/35 26941
/proc/meminfo: memFree=315192/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.705743 s]
/proc/loadavg: 1.13 1.12 1.10 5/35 26941
/proc/meminfo: memFree=315192/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.50592 s]
/proc/loadavg: 1.13 1.12 1.10 3/45 26962
/proc/meminfo: memFree=263456/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
[pid=26953] ppid=26940 vsize=884588 CPUtime=1.47
/proc/26953/stat : 26953 (java) S 26940 26939 1511 34817 1511 4202496 21762 0 1 0 140 7 0 0 25 0 10 0 4842586 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26953/statm: 221147 18379 1725 10 0 218238 0
[pid=26953/tid=26954] ppid=26940 vsize=884588 CPUtime=0.79
/proc/26953/task/26954/stat : 26954 (java) R 26940 26939 1511 34817 1511 4202560 10396 0 1 0 75 4 0 0 25 0 10 0 4842587 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4095347588 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26955] ppid=26940 vsize=884588 CPUtime=0
/proc/26953/task/26955/stat : 26955 (java) S 26940 26939 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 18 0 10 0 4842588 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26956] ppid=26940 vsize=884588 CPUtime=0
/proc/26953/task/26956/stat : 26956 (java) S 26940 26939 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4842589 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26940 vsize=884588 CPUtime=0
/proc/26953/task/26957/stat : 26957 (java) S 26940 26939 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4842589 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26958] ppid=26940 vsize=884588 CPUtime=0
/proc/26953/task/26958/stat : 26958 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4842591 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26959] ppid=26940 vsize=884588 CPUtime=0.45
/proc/26953/task/26959/stat : 26959 (java) R 26940 26939 1511 34817 1511 4202560 8410 0 0 0 43 2 0 0 25 0 10 0 4842591 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26960] ppid=26940 vsize=884588 CPUtime=0.2
/proc/26953/task/26960/stat : 26960 (java) R 26940 26939 1511 34817 1511 4202560 1876 0 0 0 20 0 0 0 18 0 10 0 4842591 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4151829311 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26940 vsize=884588 CPUtime=0
/proc/26953/task/26961/stat : 26961 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4842591 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26962] ppid=26940 vsize=884588 CPUtime=0
/proc/26953/task/26962/stat : 26962 (java) S 26940 26939 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4842591 905818112 18379 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 889732

[startup+3.10641 s]
/proc/loadavg: 1.20 1.13 1.10 3/45 26962
/proc/meminfo: memFree=167232/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
[pid=26953] ppid=26940 vsize=882148 CPUtime=3.06
/proc/26953/stat : 26953 (java) S 26940 26939 1511 34817 1511 4202496 64262 0 1 0 286 20 0 0 25 0 10 0 4842586 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26953/statm: 220537 60148 1742 10 0 217628 0
[pid=26953/tid=26954] ppid=26940 vsize=882148 CPUtime=1.69
/proc/26953/task/26954/stat : 26954 (java) R 26940 26939 1511 34817 1511 4202560 50091 0 1 0 152 17 0 0 25 0 10 0 4842587 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26955] ppid=26940 vsize=882148 CPUtime=0.04
/proc/26953/task/26955/stat : 26955 (java) R 26940 26939 1511 34817 1511 4202560 2173 0 0 0 4 0 0 0 18 0 10 0 4842588 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4149469637 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26956] ppid=26940 vsize=882148 CPUtime=0
/proc/26953/task/26956/stat : 26956 (java) S 26940 26939 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4842589 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26940 vsize=882148 CPUtime=0
/proc/26953/task/26957/stat : 26957 (java) S 26940 26939 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4842589 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26958] ppid=26940 vsize=882148 CPUtime=0
/proc/26953/task/26958/stat : 26958 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4842591 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26959] ppid=26940 vsize=882148 CPUtime=0.8
/proc/26953/task/26959/stat : 26959 (java) R 26940 26939 1511 34817 1511 4202560 8492 0 0 0 78 2 0 0 19 0 10 0 4842591 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4150220410 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26960] ppid=26940 vsize=882148 CPUtime=0.51
/proc/26953/task/26960/stat : 26960 (java) S 26940 26939 1511 34817 1511 4202560 2433 0 0 0 51 0 0 0 15 0 10 0 4842591 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26940 vsize=882148 CPUtime=0
/proc/26953/task/26961/stat : 26961 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4842591 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26962] ppid=26940 vsize=882148 CPUtime=0
/proc/26953/task/26962/stat : 26962 (java) S 26940 26939 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4842591 903319552 60148 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 887292

[startup+6.3132 s]
/proc/loadavg: 1.20 1.13 1.10 2/46 26963
/proc/meminfo: memFree=37528/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
[pid=26953] ppid=26940 vsize=882344 CPUtime=6.26
/proc/26953/stat : 26953 (java) S 26940 26939 1511 34817 1511 4202496 76760 0 1 0 600 26 0 0 25 0 11 0 4842586 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26953/statm: 220586 70997 1780 10 0 217677 0
[pid=26953/tid=26954] ppid=26940 vsize=882344 CPUtime=3.2
/proc/26953/task/26954/stat : 26954 (java) R 26940 26939 1511 34817 1511 4202560 50283 0 1 0 302 18 0 0 25 0 11 0 4842587 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26955] ppid=26940 vsize=882344 CPUtime=0.28
/proc/26953/task/26955/stat : 26955 (java) S 26940 26939 1511 34817 1511 4202560 12633 0 0 0 26 2 0 0 15 0 11 0 4842588 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26956] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26956/stat : 26956 (java) S 26940 26939 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4842589 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26957/stat : 26957 (java) S 26940 26939 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4842589 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26958] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26958/stat : 26958 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26959] ppid=26940 vsize=882344 CPUtime=1.8
/proc/26953/task/26959/stat : 26959 (java) S 26940 26939 1511 34817 1511 4202560 8665 0 0 0 178 2 0 0 15 0 11 0 4842591 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26960] ppid=26940 vsize=882344 CPUtime=0.96
/proc/26953/task/26960/stat : 26960 (java) S 26940 26939 1511 34817 1511 4202560 4100 0 0 0 94 2 0 0 16 0 11 0 4842591 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26961/stat : 26961 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26962] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26962/stat : 26962 (java) S 26940 26939 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4842591 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26963] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26963/stat : 26963 (java) S 26940 26939 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4843060 903520256 70997 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 887488

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

[startup+6.40727 s]
/proc/loadavg: 1.20 1.13 1.10 2/46 26963
/proc/meminfo: memFree=37528/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
[pid=26953] ppid=26940 vsize=882344 CPUtime=6.36
/proc/26953/stat : 26953 (java) S 26940 26939 1511 34817 1511 4202496 76763 0 1 0 610 26 0 0 25 0 11 0 4842586 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26953/statm: 220586 71000 1781 10 0 217677 0
[pid=26953/tid=26954] ppid=26940 vsize=882344 CPUtime=3.29
/proc/26953/task/26954/stat : 26954 (java) R 26940 26939 1511 34817 1511 4202560 50283 0 1 0 311 18 0 0 25 0 11 0 4842587 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4096283828 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26955] ppid=26940 vsize=882344 CPUtime=0.28
/proc/26953/task/26955/stat : 26955 (java) S 26940 26939 1511 34817 1511 4202560 12633 0 0 0 26 2 0 0 15 0 11 0 4842588 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26956] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26956/stat : 26956 (java) S 26940 26939 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4842589 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26957/stat : 26957 (java) S 26940 26939 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4842589 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26958] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26958/stat : 26958 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26959] ppid=26940 vsize=882344 CPUtime=1.8
/proc/26953/task/26959/stat : 26959 (java) S 26940 26939 1511 34817 1511 4202560 8668 0 0 0 178 2 0 0 16 0 11 0 4842591 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26960] ppid=26940 vsize=882344 CPUtime=0.96
/proc/26953/task/26960/stat : 26960 (java) S 26940 26939 1511 34817 1511 4202560 4100 0 0 0 94 2 0 0 16 0 11 0 4842591 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26961/stat : 26961 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26962] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26962/stat : 26962 (java) R 26940 26939 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4842591 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26963] ppid=26940 vsize=882344 CPUtime=0
/proc/26953/task/26963/stat : 26963 (java) S 26940 26939 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4843060 903520256 71000 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 887488

[startup+8.00761 s]
/proc/loadavg: 1.19 1.13 1.10 2/46 26963
/proc/meminfo: memFree=38404/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
[pid=26953] ppid=26940 vsize=880636 CPUtime=7.96
/proc/26953/stat : 26953 (java) S 26940 26939 1511 34817 1511 4202496 76782 0 1 0 770 26 0 0 25 0 11 0 4842586 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26953/statm: 220159 70622 1783 10 0 217250 0
[pid=26953/tid=26954] ppid=26940 vsize=880636 CPUtime=4.74
/proc/26953/task/26954/stat : 26954 (java) R 26940 26939 1511 34817 1511 4202560 50284 0 1 0 456 18 0 0 25 0 11 0 4842587 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4096292839 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26955] ppid=26940 vsize=880636 CPUtime=0.28
/proc/26953/task/26955/stat : 26955 (java) S 26940 26939 1511 34817 1511 4202560 12633 0 0 0 26 2 0 0 15 0 11 0 4842588 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26956] ppid=26940 vsize=880636 CPUtime=0
/proc/26953/task/26956/stat : 26956 (java) S 26940 26939 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4842589 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26940 vsize=880636 CPUtime=0
/proc/26953/task/26957/stat : 26957 (java) S 26940 26939 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4842589 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26958] ppid=26940 vsize=880636 CPUtime=0
/proc/26953/task/26958/stat : 26958 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26959] ppid=26940 vsize=880636 CPUtime=1.95
/proc/26953/task/26959/stat : 26959 (java) S 26940 26939 1511 34817 1511 4202560 8686 0 0 0 193 2 0 0 15 0 11 0 4842591 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26960] ppid=26940 vsize=880636 CPUtime=0.96
/proc/26953/task/26960/stat : 26960 (java) S 26940 26939 1511 34817 1511 4202560 4100 0 0 0 94 2 0 0 16 0 11 0 4842591 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26940 vsize=880636 CPUtime=0
/proc/26953/task/26961/stat : 26961 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26962] ppid=26940 vsize=880636 CPUtime=0
/proc/26953/task/26962/stat : 26962 (java) S 26940 26939 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4842591 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26963] ppid=26940 vsize=880636 CPUtime=0
/proc/26953/task/26963/stat : 26963 (java) S 26940 26939 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4843060 901771264 70622 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 885780

[startup+8.4061 s]
/proc/loadavg: 1.19 1.13 1.10 2/46 26963
/proc/meminfo: memFree=38404/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
[pid=26953] ppid=26940 vsize=880960 CPUtime=8.16
/proc/26953/stat : 26953 (java) S 26940 26939 1511 34817 1511 4202496 76798 0 1 0 790 26 0 0 25 0 11 0 4842586 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26953/statm: 220240 70638 1784 10 0 217331 0
[pid=26953/tid=26954] ppid=26940 vsize=880960 CPUtime=4.92
/proc/26953/task/26954/stat : 26954 (java) S 26940 26939 1511 34817 1511 4202560 50292 0 1 0 474 18 0 0 25 0 11 0 4842587 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26955] ppid=26940 vsize=880960 CPUtime=0.28
/proc/26953/task/26955/stat : 26955 (java) S 26940 26939 1511 34817 1511 4202560 12633 0 0 0 26 2 0 0 15 0 11 0 4842588 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26956] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26956/stat : 26956 (java) S 26940 26939 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4842589 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26957/stat : 26957 (java) S 26940 26939 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4842589 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26958] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26958/stat : 26958 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26959] ppid=26940 vsize=880960 CPUtime=1.98
/proc/26953/task/26959/stat : 26959 (java) S 26940 26939 1511 34817 1511 4202560 8689 0 0 0 196 2 0 0 15 0 11 0 4842591 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26960] ppid=26940 vsize=880960 CPUtime=0.96
/proc/26953/task/26960/stat : 26960 (java) S 26940 26939 1511 34817 1511 4202560 4100 0 0 0 94 2 0 0 16 0 11 0 4842591 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26961/stat : 26961 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26962] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26962/stat : 26962 (java) S 26940 26939 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4842591 902103040 70638 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 886104

[startup+8.80814 s]
/proc/loadavg: 1.19 1.13 1.10 2/46 26964
/proc/meminfo: memFree=38404/1048576 swapFree=0/0
[pid=26939] ppid=26938 vsize=2568 CPUtime=0
/proc/26939/stat : 26939 (p2cudf-trendy-1) S 26938 26939 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4842582 2629632 270 1283457024 134512640 135304128 4287095408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26939/statm: 642 270 230 194 0 29 0
[pid=26940] ppid=26939 vsize=2576 CPUtime=0.03
/proc/26940/stat : 26940 (p2cudf) S 26939 26939 1511 34817 1511 4202496 392 3014 0 1 0 0 1 2 25 0 1 0 4842583 2637824 280 1283457024 134512640 135304128 4286775824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26940/statm: 644 280 239 194 0 31 0
[pid=26953] ppid=26940 vsize=880960 CPUtime=8.25
/proc/26953/stat : 26953 (java) S 26940 26939 1511 34817 1511 4202496 76800 0 1 0 797 28 0 0 25 0 11 0 4842586 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26953/statm: 220240 70640 1784 10 0 217331 0
[pid=26953/tid=26954] ppid=26940 vsize=880960 CPUtime=4.92
/proc/26953/task/26954/stat : 26954 (java) S 26940 26939 1511 34817 1511 4202560 50292 0 1 0 474 18 0 0 25 0 11 0 4842587 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26955] ppid=26940 vsize=880960 CPUtime=0.28
/proc/26953/task/26955/stat : 26955 (java) S 26940 26939 1511 34817 1511 4202560 12633 0 0 0 26 2 0 0 16 0 11 0 4842588 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26956] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26956/stat : 26956 (java) S 26940 26939 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4842589 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26957/stat : 26957 (java) S 26940 26939 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4842589 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26958] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26958/stat : 26958 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26959] ppid=26940 vsize=880960 CPUtime=2
/proc/26953/task/26959/stat : 26959 (java) S 26940 26939 1511 34817 1511 4202560 8690 0 0 0 198 2 0 0 15 0 11 0 4842591 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26960] ppid=26940 vsize=880960 CPUtime=0.96
/proc/26953/task/26960/stat : 26960 (java) S 26940 26939 1511 34817 1511 4202560 4100 0 0 0 94 2 0 0 16 0 11 0 4842591 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26961/stat : 26961 (java) S 26940 26939 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4842591 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26962] ppid=26940 vsize=880960 CPUtime=0
/proc/26953/task/26962/stat : 26962 (java) S 26940 26939 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4842591 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26953/tid=26964] ppid=26940 vsize=880960 CPUtime=0.06
/proc/26953/task/26964/stat : 26964 (java) R 26940 26939 1511 34817 1511 4202560 5 0 0 0 4 2 0 0 21 0 11 0 4843404 902103040 70640 1283457024 134512640 134550932 4291421472 18446744073709551615 4095320542 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 886104

Child status: 0
Real time (s): 8.84076
CPU time (s): 8.31252
CPU user time (s): 7.9845
CPU system time (s): 0.32802
CPU usage (%): 94.0249
Max. virtual memory (cumulated for all children) (KiB): 891144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.9845
system time used= 0.32802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80606
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= 937
involuntary context switches= 948

runsolver used 0 second user time and 0 second system time

The end