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/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debian.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/debian//26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debian.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.22 1.10 0.84 5/39 8076
/proc/meminfo: memFree=690424/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) R 8074 8075 29493 34817 29493 4202496 357 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2568 CPUtime=0
/proc/8076/stat : 8076 (p2cudf-trendy-1) R 8075 8075 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 40 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/8076/statm: 642 40 0 194 0 29 0

[startup+0.144818 s]
/proc/loadavg: 1.22 1.10 0.84 5/39 8076
/proc/meminfo: memFree=690424/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.204823 s]
/proc/loadavg: 1.22 1.10 0.84 5/39 8076
/proc/meminfo: memFree=690424/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.304837 s]
/proc/loadavg: 1.22 1.10 0.84 5/39 8076
/proc/meminfo: memFree=690424/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.704919 s]
/proc/loadavg: 1.22 1.10 0.84 5/39 8076
/proc/meminfo: memFree=690424/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+1.50506 s]
/proc/loadavg: 1.36 1.14 0.85 4/50 8098
/proc/meminfo: memFree=640284/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=883160 CPUtime=1.46
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 22661 0 1 0 140 6 0 0 25 0 10 0 74762114 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 220790 19352 1723 10 0 217881 0
[pid=8089/tid=8090] ppid=8076 vsize=883160 CPUtime=0.76
/proc/8089/task/8090/stat : 8090 (java) R 8076 8075 29493 34817 29493 4202560 11789 0 1 0 70 6 0 0 25 0 10 0 74762115 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4095834162 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=883160 CPUtime=0
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 74762116 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=883160 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 25 0 10 0 74762117 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=883160 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 74762117 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=883160 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74762119 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=883160 CPUtime=0.42
/proc/8089/task/8095/stat : 8095 (java) R 8076 8075 29493 34817 29493 4202560 7601 0 0 0 42 0 0 0 25 0 10 0 74762119 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=883160 CPUtime=0.27
/proc/8089/task/8096/stat : 8096 (java) R 8076 8075 29493 34817 29493 4202560 2191 0 0 0 27 0 0 0 22 0 10 0 74762119 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4150444742 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=883160 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74762119 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=883160 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) S 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74762119 904355840 19352 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 888304

[startup+3.1255 s]
/proc/loadavg: 1.36 1.14 0.85 2/50 8098
/proc/meminfo: memFree=518764/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=879776 CPUtime=3.08
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 74326 0 1 0 286 22 0 0 25 0 10 0 74762114 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 219944 70673 1743 10 0 217035 0
[pid=8089/tid=8090] ppid=8076 vsize=879776 CPUtime=1.66
/proc/8089/task/8090/stat : 8090 (java) R 8076 8075 29493 34817 29493 4202560 50069 0 1 0 146 20 0 0 25 0 10 0 74762115 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=879776 CPUtime=0.3
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 13317 0 0 0 28 2 0 0 16 0 10 0 74762116 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=879776 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 74762117 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=879776 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 74762117 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=879776 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74762119 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=879776 CPUtime=0.48
/proc/8089/task/8095/stat : 8095 (java) S 8076 8075 29493 34817 29493 4202560 7630 0 0 0 48 0 0 0 25 0 10 0 74762119 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=879776 CPUtime=0.62
/proc/8089/task/8096/stat : 8096 (java) R 8076 8075 29493 34817 29493 4202560 2234 0 0 0 62 0 0 0 15 0 10 0 74762119 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4147765376 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=879776 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74762119 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=879776 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) S 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74762119 900890624 70673 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 884920

[startup+6.31284 s]
/proc/loadavg: 1.36 1.14 0.85 2/51 8099
/proc/meminfo: memFree=411868/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=880744 CPUtime=6.26
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 76432 0 1 0 603 23 0 0 25 0 11 0 74762114 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 220186 71192 1779 10 0 217277 0
[pid=8089/tid=8090] ppid=8076 vsize=880744 CPUtime=3.42
/proc/8089/task/8090/stat : 8090 (java) R 8076 8075 29493 34817 29493 4202560 50260 0 1 0 321 21 0 0 25 0 11 0 74762115 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=880744 CPUtime=0.3
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 13317 0 0 0 28 2 0 0 15 0 11 0 74762116 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=880744 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74762117 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=880744 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74762117 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=880744 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=880744 CPUtime=0.48
/proc/8089/task/8095/stat : 8095 (java) S 8076 8075 29493 34817 29493 4202560 7630 0 0 0 48 0 0 0 25 0 11 0 74762119 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=880744 CPUtime=2.04
/proc/8089/task/8096/stat : 8096 (java) S 8076 8075 29493 34817 29493 4202560 4145 0 0 0 204 0 0 0 15 0 11 0 74762119 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=880744 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=880744 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) S 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74762119 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8099] ppid=8076 vsize=880744 CPUtime=0
/proc/8089/task/8099/stat : 8099 (java) S 8076 8075 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74762607 901881856 71192 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 885888

[startup+12.7082 s]
/proc/loadavg: 1.31 1.13 0.85 2/51 8100
/proc/meminfo: memFree=411992/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=879856 CPUtime=12.65
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 76454 0 1 0 1241 24 0 0 25 0 11 0 74762114 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 219964 71021 1782 10 0 217055 0
[pid=8089/tid=8090] ppid=8076 vsize=879856 CPUtime=9.65
/proc/8089/task/8090/stat : 8090 (java) R 8076 8075 29493 34817 29493 4202560 50262 0 1 0 943 22 0 0 25 0 11 0 74762115 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4095741817 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=879856 CPUtime=0.3
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 13317 0 0 0 28 2 0 0 15 0 11 0 74762116 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74762117 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74762117 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=879856 CPUtime=0.48
/proc/8089/task/8095/stat : 8095 (java) S 8076 8075 29493 34817 29493 4202560 7630 0 0 0 48 0 0 0 25 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=879856 CPUtime=2.2
/proc/8089/task/8096/stat : 8096 (java) S 8076 8075 29493 34817 29493 4202560 4165 0 0 0 220 0 0 0 15 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) S 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8099] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8099/stat : 8099 (java) S 8076 8075 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74762607 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 885000

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

[startup+12.8082 s]
/proc/loadavg: 1.31 1.13 0.85 2/51 8100
/proc/meminfo: memFree=411992/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=879856 CPUtime=12.75
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 76454 0 1 0 1251 24 0 0 25 0 11 0 74762114 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 219964 71021 1782 10 0 217055 0
[pid=8089/tid=8090] ppid=8076 vsize=879856 CPUtime=9.75
/proc/8089/task/8090/stat : 8090 (java) R 8076 8075 29493 34817 29493 4202560 50262 0 1 0 953 22 0 0 25 0 11 0 74762115 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4096601133 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=879856 CPUtime=0.3
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 13317 0 0 0 28 2 0 0 15 0 11 0 74762116 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74762117 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74762117 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=879856 CPUtime=0.48
/proc/8089/task/8095/stat : 8095 (java) S 8076 8075 29493 34817 29493 4202560 7630 0 0 0 48 0 0 0 25 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=879856 CPUtime=2.2
/proc/8089/task/8096/stat : 8096 (java) S 8076 8075 29493 34817 29493 4202560 4165 0 0 0 220 0 0 0 15 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) S 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74762119 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8099] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8099/stat : 8099 (java) S 8076 8075 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74762607 900972544 71021 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 885000

[startup+16.0092 s]
/proc/loadavg: 1.31 1.13 0.85 2/51 8100
/proc/meminfo: memFree=367724/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=879856 CPUtime=15.94
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 87641 0 1 0 1564 30 0 0 25 0 11 0 74762114 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 219964 82208 1782 10 0 217055 0
[pid=8089/tid=8090] ppid=8076 vsize=879856 CPUtime=12.58
/proc/8089/task/8090/stat : 8090 (java) R 8076 8075 29493 34817 29493 4202560 50263 0 1 0 1236 22 0 0 25 0 11 0 74762115 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4096568227 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=879856 CPUtime=0.58
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 24497 0 0 0 51 7 0 0 16 0 11 0 74762116 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74762117 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74762117 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=879856 CPUtime=0.48
/proc/8089/task/8095/stat : 8095 (java) S 8076 8075 29493 34817 29493 4202560 7630 0 0 0 48 0 0 0 25 0 11 0 74762119 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=879856 CPUtime=2.28
/proc/8089/task/8096/stat : 8096 (java) S 8076 8075 29493 34817 29493 4202560 4171 0 0 0 228 0 0 0 15 0 11 0 74762119 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) S 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74762119 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8099] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8099/stat : 8099 (java) S 8076 8075 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74762607 900972544 82208 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.96
Current children cumulated vsize (KiB) 885000

[startup+19.2101 s]
/proc/loadavg: 1.28 1.13 0.85 2/51 8100
/proc/meminfo: memFree=367724/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=879856 CPUtime=19.14
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 87643 0 1 0 1884 30 0 0 25 0 11 0 74762114 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 219964 82210 1782 10 0 217055 0
[pid=8089/tid=8090] ppid=8076 vsize=879856 CPUtime=15.77
/proc/8089/task/8090/stat : 8090 (java) R 8076 8075 29493 34817 29493 4202560 50263 0 1 0 1555 22 0 0 25 0 11 0 74762115 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4096585592 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=879856 CPUtime=0.58
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 24497 0 0 0 51 7 0 0 15 0 11 0 74762116 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74762117 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74762117 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=879856 CPUtime=0.48
/proc/8089/task/8095/stat : 8095 (java) S 8076 8075 29493 34817 29493 4202560 7630 0 0 0 48 0 0 0 25 0 11 0 74762119 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=879856 CPUtime=2.29
/proc/8089/task/8096/stat : 8096 (java) S 8076 8075 29493 34817 29493 4202560 4173 0 0 0 229 0 0 0 15 0 11 0 74762119 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74762119 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) S 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74762119 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8099] ppid=8076 vsize=879856 CPUtime=0
/proc/8089/task/8099/stat : 8099 (java) S 8076 8075 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74762607 900972544 82210 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.16
Current children cumulated vsize (KiB) 885000

[startup+20.006 s]
/proc/loadavg: 1.28 1.13 0.85 2/51 8101
/proc/meminfo: memFree=367476/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=880180 CPUtime=19.86
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 87667 0 1 0 1956 30 0 0 25 0 12 0 74762114 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 220045 82234 1782 10 0 217136 0
[pid=8089/tid=8090] ppid=8076 vsize=880180 CPUtime=16.43
/proc/8089/task/8090/stat : 8090 (java) S 8076 8075 29493 34817 29493 4202560 50278 0 1 0 1621 22 0 0 25 0 12 0 74762115 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=880180 CPUtime=0.58
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 24497 0 0 0 51 7 0 0 16 0 12 0 74762116 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 12 0 74762117 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74762117 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=880180 CPUtime=0.48
/proc/8089/task/8095/stat : 8095 (java) S 8076 8075 29493 34817 29493 4202560 7630 0 0 0 48 0 0 0 25 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=880180 CPUtime=2.35
/proc/8089/task/8096/stat : 8096 (java) S 8076 8075 29493 34817 29493 4202560 4178 0 0 0 235 0 0 0 15 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) S 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8099] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8099/stat : 8099 (java) S 8076 8075 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74762607 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (KiB) 885324

[startup+20.4061 s]
/proc/loadavg: 1.28 1.13 0.85 2/51 8101
/proc/meminfo: memFree=367476/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=880180 CPUtime=19.86
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 87667 0 1 0 1956 30 0 0 25 0 12 0 74762114 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 220045 82234 1782 10 0 217136 0
[pid=8089/tid=8090] ppid=8076 vsize=880180 CPUtime=16.43
/proc/8089/task/8090/stat : 8090 (java) S 8076 8075 29493 34817 29493 4202560 50278 0 1 0 1621 22 0 0 25 0 12 0 74762115 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=880180 CPUtime=0.58
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 24497 0 0 0 51 7 0 0 16 0 12 0 74762116 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 12 0 74762117 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74762117 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=880180 CPUtime=0.48
/proc/8089/task/8095/stat : 8095 (java) S 8076 8075 29493 34817 29493 4202560 7630 0 0 0 48 0 0 0 25 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=880180 CPUtime=2.35
/proc/8089/task/8096/stat : 8096 (java) S 8076 8075 29493 34817 29493 4202560 4178 0 0 0 235 0 0 0 15 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) S 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 74762119 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8099] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8099/stat : 8099 (java) S 8076 8075 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74762607 901304320 82234 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (KiB) 885324

[startup+20.6141 s]
/proc/loadavg: 1.28 1.13 0.85 2/51 8101
/proc/meminfo: memFree=367476/1048576 swapFree=0/0
[pid=8075] ppid=8074 vsize=2568 CPUtime=0
/proc/8075/stat : 8075 (p2cudf-trendy-1) S 8074 8075 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74762111 2629632 270 1283457024 134512640 135304128 4292435856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8075/statm: 642 270 230 194 0 29 0
[pid=8076] ppid=8075 vsize=2576 CPUtime=0.02
/proc/8076/stat : 8076 (p2cudf) S 8075 8075 29493 34817 29493 4202496 391 3014 0 1 0 1 1 0 25 0 1 0 74762111 2637824 281 1283457024 134512640 135304128 4292245328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8076/statm: 644 281 239 194 0 31 0
[pid=8089] ppid=8076 vsize=880180 CPUtime=20.03
/proc/8089/stat : 8089 (java) S 8076 8075 29493 34817 29493 4202496 87675 0 1 0 1967 36 0 0 25 0 12 0 74762114 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8089/statm: 220045 82242 1782 10 0 217136 0
[pid=8089/tid=8090] ppid=8076 vsize=880180 CPUtime=16.43
/proc/8089/task/8090/stat : 8090 (java) S 8076 8075 29493 34817 29493 4202560 50278 0 1 0 1621 22 0 0 25 0 12 0 74762115 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8091] ppid=8076 vsize=880180 CPUtime=0.58
/proc/8089/task/8091/stat : 8091 (java) S 8076 8075 29493 34817 29493 4202560 24497 0 0 0 51 7 0 0 16 0 12 0 74762116 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8092] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8092/stat : 8092 (java) S 8076 8075 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 12 0 74762117 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8093] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8093/stat : 8093 (java) S 8076 8075 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74762117 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8094] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8094/stat : 8094 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74762119 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8095] ppid=8076 vsize=880180 CPUtime=0.48
/proc/8089/task/8095/stat : 8095 (java) S 8076 8075 29493 34817 29493 4202560 7630 0 0 0 48 0 0 0 25 0 12 0 74762119 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8096] ppid=8076 vsize=880180 CPUtime=2.41
/proc/8089/task/8096/stat : 8096 (java) S 8076 8075 29493 34817 29493 4202560 4184 0 0 0 241 0 0 0 15 0 12 0 74762119 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8097] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8097/stat : 8097 (java) S 8076 8075 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74762119 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
[pid=8089/tid=8098] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8098/stat : 8098 (java) R 8076 8075 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 74762119 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8089/tid=8099] ppid=8076 vsize=880180 CPUtime=0
/proc/8089/task/8099/stat : 8099 (java) S 8076 8075 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74762607 901304320 82242 1283457024 134512640 134550932 4294631472 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.05
Current children cumulated vsize (KiB) 885324

Child status: 0
Real time (s): 20.7106
CPU time (s): 20.1253
CPU user time (s): 19.6932
CPU system time (s): 0.432027
CPU usage (%): 97.1735
Max. virtual memory (cumulated for all children) (KiB): 888304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.6932
system time used= 0.432027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91481
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= 1221
involuntary context switches= 1327

runsolver used 0 second user time and 0 second system time

The end