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/4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debian.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/debian//4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/4e539b28-d46c-11df-8f4f-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.34 1.15 1.04 5/35 22873
/proc/meminfo: memFree=615344/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) R 22871 22872 29493 34817 29493 4202496 356 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0
/proc/22873/stat : 22873 (p2cudf-trendy-1) R 22872 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 74959147 2629632 39 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/22873/statm: 642 39 0 194 0 29 0

[startup+0.135563 s]
/proc/loadavg: 1.34 1.15 1.04 5/35 22873
/proc/meminfo: memFree=615344/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.205565 s]
/proc/loadavg: 1.34 1.15 1.04 5/35 22873
/proc/meminfo: memFree=615344/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.305576 s]
/proc/loadavg: 1.34 1.15 1.04 5/35 22873
/proc/meminfo: memFree=615344/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.70565 s]
/proc/loadavg: 1.34 1.15 1.04 5/35 22873
/proc/meminfo: memFree=615344/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+1.50577 s]
/proc/loadavg: 1.47 1.18 1.05 5/46 22895
/proc/meminfo: memFree=565080/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=886076 CPUtime=1.46
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 24360 0 1 0 138 8 0 0 25 0 10 0 74959150 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 221519 21200 1723 10 0 218610 0
[pid=22886/tid=22887] ppid=22873 vsize=886076 CPUtime=0.8
/proc/22886/task/22887/stat : 22887 (java) R 22873 22872 29493 34817 29493 4202560 13062 0 1 0 72 8 0 0 25 0 10 0 74959151 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4095455041 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=886076 CPUtime=0
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 17 0 10 0 74959152 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=886076 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 74959153 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=886076 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 74959153 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=886076 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74959155 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=886076 CPUtime=0.44
/proc/22886/task/22892/stat : 22892 (java) R 22873 22872 29493 34817 29493 4202560 8381 0 0 0 44 0 0 0 25 0 10 0 74959155 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=886076 CPUtime=0.21
/proc/22886/task/22893/stat : 22893 (java) R 22873 22872 29493 34817 29493 4202560 1837 0 0 0 21 0 0 0 19 0 10 0 74959155 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4150155763 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=886076 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 74959155 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=886076 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 74959155 907341824 21200 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 891212

[startup+3.11606 s]
/proc/loadavg: 1.47 1.18 1.05 2/46 22895
/proc/meminfo: memFree=438352/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=883436 CPUtime=3.08
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 74967 0 1 0 278 30 0 0 25 0 10 0 74959150 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 220859 71547 1743 10 0 217950 0
[pid=22886/tid=22887] ppid=22873 vsize=883436 CPUtime=1.62
/proc/22886/task/22887/stat : 22887 (java) R 22873 22872 29493 34817 29493 4202560 50069 0 1 0 138 24 0 0 25 0 10 0 74959151 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=883436 CPUtime=0.3
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 13319 0 0 0 27 3 0 0 16 0 10 0 74959152 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=883436 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 74959153 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=883436 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 74959153 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=883436 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74959155 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=883436 CPUtime=0.49
/proc/22886/task/22892/stat : 22892 (java) S 22873 22872 29493 34817 29493 4202560 8426 0 0 0 49 0 0 0 25 0 10 0 74959155 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=883436 CPUtime=0.63
/proc/22886/task/22893/stat : 22893 (java) R 22873 22872 29493 34817 29493 4202560 2078 0 0 0 62 1 0 0 15 0 10 0 74959155 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4150154928 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=883436 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 74959155 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=883436 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 74959155 904638464 71547 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 888572

[startup+6.31952 s]
/proc/loadavg: 1.43 1.18 1.05 2/48 22897
/proc/meminfo: memFree=333184/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=884096 CPUtime=6.27
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 77115 0 1 0 597 30 0 0 25 0 11 0 74959150 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 221024 72072 1779 10 0 218115 0
[pid=22886/tid=22887] ppid=22873 vsize=884096 CPUtime=3.43
/proc/22886/task/22887/stat : 22887 (java) R 22873 22872 29493 34817 29493 4202560 50260 0 1 0 318 25 0 0 25 0 11 0 74959151 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=884096 CPUtime=0.3
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 13319 0 0 0 27 3 0 0 15 0 11 0 74959152 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=884096 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 74959153 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=884096 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74959153 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=884096 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74959155 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=884096 CPUtime=0.49
/proc/22886/task/22892/stat : 22892 (java) S 22873 22872 29493 34817 29493 4202560 8426 0 0 0 49 0 0 0 25 0 11 0 74959155 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=884096 CPUtime=2.02
/proc/22886/task/22893/stat : 22893 (java) S 22873 22872 29493 34817 29493 4202560 4031 0 0 0 201 1 0 0 15 0 11 0 74959155 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=884096 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 74959155 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=884096 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 74959155 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22896] ppid=22873 vsize=884096 CPUtime=0
/proc/22886/task/22896/stat : 22896 (java) S 22873 22872 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74959643 905314304 72072 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 889232

[startup+12.7089 s]
/proc/loadavg: 1.40 1.18 1.05 2/48 22897
/proc/meminfo: memFree=334424/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=882036 CPUtime=12.65
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 77149 0 1 0 1235 30 0 0 25 0 11 0 74959150 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 220509 71621 1782 10 0 217600 0
[pid=22886/tid=22887] ppid=22873 vsize=882036 CPUtime=9.59
/proc/22886/task/22887/stat : 22887 (java) R 22873 22872 29493 34817 29493 4202560 50262 0 1 0 934 25 0 0 25 0 11 0 74959151 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4096459086 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=882036 CPUtime=0.3
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 13319 0 0 0 27 3 0 0 15 0 11 0 74959152 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 74959153 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74959153 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=882036 CPUtime=0.49
/proc/22886/task/22892/stat : 22892 (java) S 22873 22872 29493 34817 29493 4202560 8426 0 0 0 49 0 0 0 25 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=882036 CPUtime=2.25
/proc/22886/task/22893/stat : 22893 (java) S 22873 22872 29493 34817 29493 4202560 4063 0 0 0 224 1 0 0 15 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22896] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22896/stat : 22896 (java) S 22873 22872 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74959643 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 887172

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

[startup+12.8089 s]
/proc/loadavg: 1.40 1.18 1.05 2/48 22897
/proc/meminfo: memFree=334424/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=882036 CPUtime=12.75
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 77149 0 1 0 1245 30 0 0 25 0 11 0 74959150 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 220509 71621 1782 10 0 217600 0
[pid=22886/tid=22887] ppid=22873 vsize=882036 CPUtime=9.69
/proc/22886/task/22887/stat : 22887 (java) R 22873 22872 29493 34817 29493 4202560 50262 0 1 0 944 25 0 0 25 0 11 0 74959151 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4095872857 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=882036 CPUtime=0.3
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 13319 0 0 0 27 3 0 0 15 0 11 0 74959152 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 74959153 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74959153 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=882036 CPUtime=0.49
/proc/22886/task/22892/stat : 22892 (java) S 22873 22872 29493 34817 29493 4202560 8426 0 0 0 49 0 0 0 25 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=882036 CPUtime=2.25
/proc/22886/task/22893/stat : 22893 (java) S 22873 22872 29493 34817 29493 4202560 4063 0 0 0 224 1 0 0 15 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) R 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 74959155 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22896] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22896/stat : 22896 (java) S 22873 22872 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74959643 903204864 71621 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 887172

[startup+15.9099 s]
/proc/loadavg: 1.40 1.18 1.05 5/48 22897
/proc/meminfo: memFree=290280/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=882036 CPUtime=15.85
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 88334 0 1 0 1550 35 0 0 25 0 11 0 74959150 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 220509 82806 1782 10 0 217600 0
[pid=22886/tid=22887] ppid=22873 vsize=882036 CPUtime=12.4
/proc/22886/task/22887/stat : 22887 (java) R 22873 22872 29493 34817 29493 4202560 50263 0 1 0 1215 25 0 0 25 0 11 0 74959151 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4096533785 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=882036 CPUtime=0.6
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 24499 0 0 0 52 8 0 0 16 0 11 0 74959152 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 74959153 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74959153 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74959155 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=882036 CPUtime=0.49
/proc/22886/task/22892/stat : 22892 (java) S 22873 22872 29493 34817 29493 4202560 8426 0 0 0 49 0 0 0 25 0 11 0 74959155 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=882036 CPUtime=2.34
/proc/22886/task/22893/stat : 22893 (java) S 22873 22872 29493 34817 29493 4202560 4067 0 0 0 233 1 0 0 15 0 11 0 74959155 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 74959155 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 74959155 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22896] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22896/stat : 22896 (java) S 22873 22872 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74959643 903204864 82806 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 887172

[startup+19.1111 s]
/proc/loadavg: 1.45 1.19 1.05 2/48 22898
/proc/meminfo: memFree=290032/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=882036 CPUtime=19.05
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 88336 0 1 0 1870 35 0 0 25 0 11 0 74959150 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 220509 82808 1782 10 0 217600 0
[pid=22886/tid=22887] ppid=22873 vsize=882036 CPUtime=15.58
/proc/22886/task/22887/stat : 22887 (java) R 22873 22872 29493 34817 29493 4202560 50263 0 1 0 1533 25 0 0 25 0 11 0 74959151 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4096249487 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=882036 CPUtime=0.6
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 24499 0 0 0 52 8 0 0 15 0 11 0 74959152 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 74959153 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74959153 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74959155 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=882036 CPUtime=0.49
/proc/22886/task/22892/stat : 22892 (java) S 22873 22872 29493 34817 29493 4202560 8426 0 0 0 49 0 0 0 25 0 11 0 74959155 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=882036 CPUtime=2.36
/proc/22886/task/22893/stat : 22893 (java) S 22873 22872 29493 34817 29493 4202560 4069 0 0 0 235 1 0 0 15 0 11 0 74959155 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 74959155 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 74959155 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22896] ppid=22873 vsize=882036 CPUtime=0
/proc/22886/task/22896/stat : 22896 (java) S 22873 22872 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74959643 903204864 82808 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 887172

[startup+19.9027 s]
/proc/loadavg: 1.45 1.19 1.05 2/48 22898
/proc/meminfo: memFree=290032/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=882360 CPUtime=19.77
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 88357 0 1 0 1942 35 0 0 25 0 12 0 74959150 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 220590 82829 1782 10 0 217681 0
[pid=22886/tid=22887] ppid=22873 vsize=882360 CPUtime=16.24
/proc/22886/task/22887/stat : 22887 (java) S 22873 22872 29493 34817 29493 4202560 50271 0 1 0 1599 25 0 0 25 0 12 0 74959151 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=882360 CPUtime=0.61
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 24499 0 0 0 53 8 0 0 16 0 12 0 74959152 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 74959153 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74959153 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=882360 CPUtime=0.49
/proc/22886/task/22892/stat : 22892 (java) S 22873 22872 29493 34817 29493 4202560 8426 0 0 0 49 0 0 0 25 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=882360 CPUtime=2.41
/proc/22886/task/22893/stat : 22893 (java) S 22873 22872 29493 34817 29493 4202560 4078 0 0 0 240 1 0 0 15 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22896] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22896/stat : 22896 (java) S 22873 22872 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74959643 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (KiB) 887496

[startup+20.3068 s]
/proc/loadavg: 1.45 1.19 1.05 2/48 22898
/proc/meminfo: memFree=290032/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=882360 CPUtime=19.77
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 88357 0 1 0 1942 35 0 0 25 0 12 0 74959150 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 220590 82829 1782 10 0 217681 0
[pid=22886/tid=22887] ppid=22873 vsize=882360 CPUtime=16.24
/proc/22886/task/22887/stat : 22887 (java) S 22873 22872 29493 34817 29493 4202560 50271 0 1 0 1599 25 0 0 25 0 12 0 74959151 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=882360 CPUtime=0.61
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 24499 0 0 0 53 8 0 0 16 0 12 0 74959152 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 74959153 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74959153 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=882360 CPUtime=0.49
/proc/22886/task/22892/stat : 22892 (java) S 22873 22872 29493 34817 29493 4202560 8426 0 0 0 49 0 0 0 25 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=882360 CPUtime=2.41
/proc/22886/task/22893/stat : 22893 (java) S 22873 22872 29493 34817 29493 4202560 4078 0 0 0 240 1 0 0 15 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 74959155 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22896] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22896/stat : 22896 (java) S 22873 22872 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74959643 903536640 82829 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (KiB) 887496

[startup+20.5148 s]
/proc/loadavg: 1.45 1.19 1.05 2/48 22898
/proc/meminfo: memFree=290032/1048576 swapFree=0/0
[pid=22872] ppid=22871 vsize=2568 CPUtime=0
/proc/22872/stat : 22872 (p2cudf-trendy-1) S 22871 22872 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 74959146 2629632 269 1283457024 134512640 135304128 4290711008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22872/statm: 642 269 230 194 0 29 0
[pid=22873] ppid=22872 vsize=2568 CPUtime=0.03
/proc/22873/stat : 22873 (p2cudf) S 22872 22872 29493 34817 29493 4202496 388 3012 0 1 0 1 1 1 25 0 1 0 74959147 2629632 279 1283457024 134512640 135304128 4290202976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22873/statm: 642 279 239 194 0 29 0
[pid=22886] ppid=22873 vsize=882360 CPUtime=19.95
/proc/22886/stat : 22886 (java) S 22873 22872 29493 34817 29493 4202496 88366 0 1 0 1956 39 0 0 25 0 12 0 74959150 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22886/statm: 220590 82838 1782 10 0 217681 0
[pid=22886/tid=22887] ppid=22873 vsize=882360 CPUtime=16.24
/proc/22886/task/22887/stat : 22887 (java) S 22873 22872 29493 34817 29493 4202560 50271 0 1 0 1599 25 0 0 25 0 12 0 74959151 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22888] ppid=22873 vsize=882360 CPUtime=0.61
/proc/22886/task/22888/stat : 22888 (java) S 22873 22872 29493 34817 29493 4202560 24499 0 0 0 53 8 0 0 16 0 12 0 74959152 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22889] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22889/stat : 22889 (java) S 22873 22872 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 74959153 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22890] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22890/stat : 22890 (java) S 22873 22872 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74959153 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22891] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22891/stat : 22891 (java) S 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74959155 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22892] ppid=22873 vsize=882360 CPUtime=0.49
/proc/22886/task/22892/stat : 22892 (java) S 22873 22872 29493 34817 29493 4202560 8426 0 0 0 49 0 0 0 25 0 12 0 74959155 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22893] ppid=22873 vsize=882360 CPUtime=2.47
/proc/22886/task/22893/stat : 22893 (java) S 22873 22872 29493 34817 29493 4202560 4085 0 0 0 246 1 0 0 15 0 12 0 74959155 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22894] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22894/stat : 22894 (java) S 22873 22872 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 12 0 74959155 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
[pid=22886/tid=22895] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22895/stat : 22895 (java) R 22873 22872 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 74959155 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22886/tid=22896] ppid=22873 vsize=882360 CPUtime=0
/proc/22886/task/22896/stat : 22896 (java) S 22873 22872 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74959643 903536640 82838 1283457024 134512640 134550932 4289426240 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (KiB) 887496

Child status: 0
Real time (s): 20.609
CPU time (s): 20.0613
CPU user time (s): 19.6012
CPU system time (s): 0.460028
CPU usage (%): 97.3423
Max. virtual memory (cumulated for all children) (KiB): 891212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.6012
system time used= 0.460028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92165
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= 1227
involuntary context switches= 1351

runsolver used 0 second user time and 0 second system time

The end