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/201103031013/p2cudf-trendy-1.12/4110.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//4110.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/4110.cudf.caixa.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.63 1.62 1.63 5/34 11794
/proc/meminfo: memFree=295992/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) R 11792 11793 29493 34817 29493 4202496 358 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2568 CPUtime=0
/proc/11794/stat : 11794 (p2cudf-trendy-1) R 11793 11793 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 41 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11794/statm: 642 41 0 194 0 29 0

[startup+0.127743 s]
/proc/loadavg: 1.63 1.62 1.63 5/34 11794
/proc/meminfo: memFree=295992/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.207756 s]
/proc/loadavg: 1.63 1.62 1.63 5/34 11794
/proc/meminfo: memFree=295992/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.307771 s]
/proc/loadavg: 1.63 1.62 1.63 5/34 11794
/proc/meminfo: memFree=295992/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.707862 s]
/proc/loadavg: 1.63 1.62 1.63 5/34 11794
/proc/meminfo: memFree=295992/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.508 s]
/proc/loadavg: 1.63 1.62 1.63 5/45 11816
/proc/meminfo: memFree=249076/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
[pid=11807] ppid=11794 vsize=887908 CPUtime=1.47
/proc/11807/stat : 11807 (java) S 11794 11793 29493 34817 29493 4202496 21396 0 1 0 142 5 0 0 25 0 10 0 76225998 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11807/statm: 221977 16776 1730 10 0 219068 0
[pid=11807/tid=11808] ppid=11794 vsize=887908 CPUtime=0.74
/proc/11807/task/11808/stat : 11808 (java) R 11794 11793 29493 34817 29493 4202560 8237 0 1 0 72 2 0 0 25 0 10 0 76225999 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4095334444 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11807/tid=11809] ppid=11794 vsize=887908 CPUtime=0
/proc/11807/task/11809/stat : 11809 (java) S 11794 11793 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76226001 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11810] ppid=11794 vsize=887908 CPUtime=0
/proc/11807/task/11810/stat : 11810 (java) S 11794 11793 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76226001 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11811] ppid=11794 vsize=887908 CPUtime=0
/proc/11807/task/11811/stat : 11811 (java) S 11794 11793 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76226001 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11812] ppid=11794 vsize=887908 CPUtime=0
/proc/11807/task/11812/stat : 11812 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76226004 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11813] ppid=11794 vsize=887908 CPUtime=0.35
/proc/11807/task/11813/stat : 11813 (java) S 11794 11793 29493 34817 29493 4202560 6854 0 0 0 34 1 0 0 21 0 10 0 76226004 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11814] ppid=11794 vsize=887908 CPUtime=0.35
/proc/11807/task/11814/stat : 11814 (java) R 11794 11793 29493 34817 29493 4202560 5227 0 0 0 34 1 0 0 25 0 10 0 76226004 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11807/tid=11815] ppid=11794 vsize=887908 CPUtime=0
/proc/11807/task/11815/stat : 11815 (java) S 11794 11793 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76226004 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11816] ppid=11794 vsize=887908 CPUtime=0
/proc/11807/task/11816/stat : 11816 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76226004 909217792 16776 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 893048

[startup+3.11243 s]
/proc/loadavg: 1.63 1.62 1.63 4/45 11816
/proc/meminfo: memFree=224400/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
[pid=11807] ppid=11794 vsize=885488 CPUtime=3.07
/proc/11807/stat : 11807 (java) S 11794 11793 29493 34817 29493 4202496 61754 0 1 0 289 18 0 0 25 0 10 0 76225998 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11807/statm: 221372 53932 1744 10 0 218463 0
[pid=11807/tid=11808] ppid=11794 vsize=885488 CPUtime=1.53
/proc/11807/task/11808/stat : 11808 (java) R 11794 11793 29493 34817 29493 4202560 45096 0 1 0 140 13 0 0 25 0 10 0 76225999 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11807/tid=11809] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11809/stat : 11809 (java) S 11794 11793 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76226001 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11810] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11810/stat : 11810 (java) S 11794 11793 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76226001 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11811] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11811/stat : 11811 (java) S 11794 11793 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76226001 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11812] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11812/stat : 11812 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76226004 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11813] ppid=11794 vsize=885488 CPUtime=0.92
/proc/11807/task/11813/stat : 11813 (java) S 11794 11793 29493 34817 29493 4202560 10213 0 0 0 90 2 0 0 15 0 10 0 76226004 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11814] ppid=11794 vsize=885488 CPUtime=0.59
/proc/11807/task/11814/stat : 11814 (java) S 11794 11793 29493 34817 29493 4202560 5367 0 0 0 57 2 0 0 25 0 10 0 76226004 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11815] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11815/stat : 11815 (java) S 11794 11793 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76226004 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11816] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11816/stat : 11816 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76226004 906739712 53932 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 890628

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

[startup+3.19838 s]
/proc/loadavg: 1.63 1.62 1.63 4/45 11816
/proc/meminfo: memFree=224400/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
[pid=11807] ppid=11794 vsize=885488 CPUtime=3.16
/proc/11807/stat : 11807 (java) S 11794 11793 29493 34817 29493 4202496 65223 0 1 0 297 19 0 0 25 0 10 0 76225998 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11807/statm: 221372 57401 1744 10 0 218463 0
[pid=11807/tid=11808] ppid=11794 vsize=885488 CPUtime=1.62
/proc/11807/task/11808/stat : 11808 (java) R 11794 11793 29493 34817 29493 4202560 48565 0 1 0 148 14 0 0 25 0 10 0 76225999 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4095832419 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11807/tid=11809] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11809/stat : 11809 (java) S 11794 11793 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76226001 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11810] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11810/stat : 11810 (java) S 11794 11793 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76226001 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11811] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11811/stat : 11811 (java) S 11794 11793 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76226001 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11812] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11812/stat : 11812 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76226004 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11813] ppid=11794 vsize=885488 CPUtime=0.92
/proc/11807/task/11813/stat : 11813 (java) S 11794 11793 29493 34817 29493 4202560 10213 0 0 0 90 2 0 0 15 0 10 0 76226004 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11814] ppid=11794 vsize=885488 CPUtime=0.59
/proc/11807/task/11814/stat : 11814 (java) S 11794 11793 29493 34817 29493 4202560 5367 0 0 0 57 2 0 0 25 0 10 0 76226004 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11815] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11815/stat : 11815 (java) S 11794 11793 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76226004 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11816] ppid=11794 vsize=885488 CPUtime=0
/proc/11807/task/11816/stat : 11816 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76226004 906739712 57401 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 890628

[startup+4.60876 s]
/proc/loadavg: 1.58 1.61 1.62 3/45 11816
/proc/meminfo: memFree=5172/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
[pid=11807] ppid=11794 vsize=885908 CPUtime=4.57
/proc/11807/stat : 11807 (java) S 11794 11793 29493 34817 29493 4202496 86181 0 1 0 435 22 0 0 25 0 10 0 76225998 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11807/statm: 221477 76977 1753 10 0 218568 0
[pid=11807/tid=11808] ppid=11794 vsize=885908 CPUtime=1.91
/proc/11807/task/11808/stat : 11808 (java) R 11794 11793 29493 34817 29493 4202560 50193 0 1 0 177 14 0 0 25 0 10 0 76225999 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4095096533 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11807/tid=11809] ppid=11794 vsize=885908 CPUtime=0.39
/proc/11807/task/11809/stat : 11809 (java) S 11794 11793 29493 34817 29493 4202560 17824 0 0 0 36 3 0 0 16 0 10 0 76226001 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11810] ppid=11794 vsize=885908 CPUtime=0
/proc/11807/task/11810/stat : 11810 (java) S 11794 11793 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 76226001 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11811] ppid=11794 vsize=885908 CPUtime=0
/proc/11807/task/11811/stat : 11811 (java) S 11794 11793 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76226001 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11812] ppid=11794 vsize=885908 CPUtime=0
/proc/11807/task/11812/stat : 11812 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76226004 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11813] ppid=11794 vsize=885908 CPUtime=1.64
/proc/11807/task/11813/stat : 11813 (java) S 11794 11793 29493 34817 29493 4202560 11724 0 0 0 162 2 0 0 16 0 10 0 76226004 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11814] ppid=11794 vsize=885908 CPUtime=0.59
/proc/11807/task/11814/stat : 11814 (java) S 11794 11793 29493 34817 29493 4202560 5367 0 0 0 57 2 0 0 25 0 10 0 76226004 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11815] ppid=11794 vsize=885908 CPUtime=0
/proc/11807/task/11815/stat : 11815 (java) S 11794 11793 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76226004 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11816] ppid=11794 vsize=885908 CPUtime=0
/proc/11807/task/11816/stat : 11816 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76226004 907169792 76977 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 891048

[startup+5.00204 s]
/proc/loadavg: 1.58 1.61 1.62 3/45 11816
/proc/meminfo: memFree=5172/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
[pid=11807] ppid=11794 vsize=886232 CPUtime=4.91
/proc/11807/stat : 11807 (java) S 11794 11793 29493 34817 29493 4202496 86224 0 1 0 469 22 0 0 25 0 11 0 76225998 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11807/statm: 221558 77020 1766 10 0 218649 0
[pid=11807/tid=11808] ppid=11794 vsize=886232 CPUtime=2.1
/proc/11807/task/11808/stat : 11808 (java) S 11794 11793 29493 34817 29493 4202560 50204 0 1 0 196 14 0 0 25 0 11 0 76225999 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11809] ppid=11794 vsize=886232 CPUtime=0.39
/proc/11807/task/11809/stat : 11809 (java) S 11794 11793 29493 34817 29493 4202560 17824 0 0 0 36 3 0 0 15 0 11 0 76226001 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11810] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11810/stat : 11810 (java) S 11794 11793 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76226001 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11811] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11811/stat : 11811 (java) S 11794 11793 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76226001 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11812] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11812/stat : 11812 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11813] ppid=11794 vsize=886232 CPUtime=1.79
/proc/11807/task/11813/stat : 11813 (java) S 11794 11793 29493 34817 29493 4202560 11752 0 0 0 177 2 0 0 15 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11814] ppid=11794 vsize=886232 CPUtime=0.59
/proc/11807/task/11814/stat : 11814 (java) S 11794 11793 29493 34817 29493 4202560 5367 0 0 0 57 2 0 0 25 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11815] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11815/stat : 11815 (java) S 11794 11793 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11816] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11816/stat : 11816 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 891372

[startup+5.40602 s]
/proc/loadavg: 1.58 1.61 1.62 1/46 11817
/proc/meminfo: memFree=6116/1048576 swapFree=0/0
[pid=11793] ppid=11792 vsize=2568 CPUtime=0
/proc/11793/stat : 11793 (p2cudf-trendy-1) S 11792 11793 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76225995 2629632 271 1283457024 134512640 135304128 4292737040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11793/statm: 642 271 230 194 0 29 0
[pid=11794] ppid=11793 vsize=2572 CPUtime=0.02
/proc/11794/stat : 11794 (p2cudf) S 11793 11793 29493 34817 29493 4202496 391 3016 0 1 0 0 1 1 25 0 1 0 76225995 2633728 280 1283457024 134512640 135304128 4293863712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11794/statm: 643 280 239 194 0 30 0
[pid=11807] ppid=11794 vsize=886232 CPUtime=4.91
/proc/11807/stat : 11807 (java) S 11794 11793 29493 34817 29493 4202496 86224 0 1 0 469 22 0 0 25 0 11 0 76225998 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11807/statm: 221558 77020 1766 10 0 218649 0
[pid=11807/tid=11808] ppid=11794 vsize=886232 CPUtime=2.1
/proc/11807/task/11808/stat : 11808 (java) S 11794 11793 29493 34817 29493 4202560 50204 0 1 0 196 14 0 0 25 0 11 0 76225999 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11809] ppid=11794 vsize=886232 CPUtime=0.39
/proc/11807/task/11809/stat : 11809 (java) S 11794 11793 29493 34817 29493 4202560 17824 0 0 0 36 3 0 0 15 0 11 0 76226001 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11810] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11810/stat : 11810 (java) S 11794 11793 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76226001 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11811] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11811/stat : 11811 (java) S 11794 11793 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76226001 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11812] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11812/stat : 11812 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11813] ppid=11794 vsize=886232 CPUtime=1.79
/proc/11807/task/11813/stat : 11813 (java) S 11794 11793 29493 34817 29493 4202560 11752 0 0 0 177 2 0 0 15 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11814] ppid=11794 vsize=886232 CPUtime=0.59
/proc/11807/task/11814/stat : 11814 (java) S 11794 11793 29493 34817 29493 4202560 5367 0 0 0 57 2 0 0 25 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11815] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11815/stat : 11815 (java) S 11794 11793 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11816] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11816/stat : 11816 (java) S 11794 11793 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76226004 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=11807/tid=11817] ppid=11794 vsize=886232 CPUtime=0
/proc/11807/task/11817/stat : 11817 (java) S 11794 11793 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76226490 907501568 77020 1283457024 134512640 134550932 4291921376 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 891372

Child status: 0
Real time (s): 5.49122
CPU time (s): 4.97231
CPU user time (s): 4.70429
CPU system time (s): 0.268016
CPU usage (%): 90.5502
Max. virtual memory (cumulated for all children) (KiB): 895644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.70429
system time used= 0.268016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90034
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= 421
involuntary context switches= 417

runsolver used 0 second user time and 0 second system time

The end