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/856.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//856.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/856.cudf.caixa.result 

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


[startup+0 s]
/proc/loadavg: 1.77 1.75 1.72 6/35 4020
/proc/meminfo: memFree=289072/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2568 CPUtime=0
/proc/4019/stat : 4019 (p2cudf) R 4018 4018 29493 34817 29493 4202496 345 0 0 0 0 0 0 0 25 0 1 0 76394643 2629632 271 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4019/statm: 642 271 231 194 0 29 0
[pid=4020] ppid=4019 vsize=2568 CPUtime=0
/proc/4020/stat : 4020 (p2cudf) R 4019 4018 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76394643 2629632 40 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4020/statm: 642 40 0 194 0 29 0

[startup+0.13833 s]
/proc/loadavg: 1.77 1.75 1.72 6/35 4020
/proc/meminfo: memFree=289072/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2572 CPUtime=0.02
/proc/4019/stat : 4019 (p2cudf) S 4018 4018 29493 34817 29493 4202496 391 3015 0 1 0 0 0 2 25 0 1 0 76394643 2633728 280 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4019/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.208336 s]
/proc/loadavg: 1.77 1.75 1.72 6/35 4020
/proc/meminfo: memFree=289072/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2572 CPUtime=0.02
/proc/4019/stat : 4019 (p2cudf) S 4018 4018 29493 34817 29493 4202496 391 3015 0 1 0 0 0 2 25 0 1 0 76394643 2633728 280 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4019/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.308346 s]
/proc/loadavg: 1.77 1.75 1.72 6/35 4020
/proc/meminfo: memFree=289072/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2572 CPUtime=0.02
/proc/4019/stat : 4019 (p2cudf) S 4018 4018 29493 34817 29493 4202496 391 3015 0 1 0 0 0 2 25 0 1 0 76394643 2633728 280 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4019/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.708413 s]
/proc/loadavg: 1.77 1.75 1.72 6/35 4020
/proc/meminfo: memFree=289072/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2572 CPUtime=0.02
/proc/4019/stat : 4019 (p2cudf) S 4018 4018 29493 34817 29493 4202496 391 3015 0 1 0 0 0 2 25 0 1 0 76394643 2633728 280 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4019/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50864 s]
/proc/loadavg: 1.77 1.75 1.72 5/45 4041
/proc/meminfo: memFree=245116/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2572 CPUtime=0.02
/proc/4019/stat : 4019 (p2cudf) S 4018 4018 29493 34817 29493 4202496 391 3015 0 1 0 0 0 2 25 0 1 0 76394643 2633728 280 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4019/statm: 643 280 239 194 0 30 0
[pid=4032] ppid=4019 vsize=869344 CPUtime=1.47
/proc/4032/stat : 4032 (java) S 4019 4018 29493 34817 29493 4202496 19857 0 1 0 141 6 0 0 25 0 10 0 76394647 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4032/statm: 217336 17442 1722 10 0 214427 0
[pid=4032/tid=4033] ppid=4019 vsize=869344 CPUtime=0.74
/proc/4032/task/4033/stat : 4033 (java) R 4019 4018 29493 34817 29493 4202560 12743 0 1 0 72 2 0 0 25 0 10 0 76394647 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4095279420 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4032/tid=4034] ppid=4019 vsize=869344 CPUtime=0
/proc/4032/task/4034/stat : 4034 (java) S 4019 4018 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 17 0 10 0 76394649 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4035] ppid=4019 vsize=869344 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4019 4018 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76394649 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4036] ppid=4019 vsize=869344 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4019 4018 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76394649 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4037] ppid=4019 vsize=869344 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76394652 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4038] ppid=4019 vsize=869344 CPUtime=0.2
/proc/4032/task/4038/stat : 4038 (java) S 4019 4018 29493 34817 29493 4202560 3785 0 0 0 18 2 0 0 24 0 10 0 76394652 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4039] ppid=4019 vsize=869344 CPUtime=0.5
/proc/4032/task/4039/stat : 4039 (java) R 4019 4018 29493 34817 29493 4202560 2251 0 0 0 50 0 0 0 23 0 10 0 76394652 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4148502617 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4032/tid=4040] ppid=4019 vsize=869344 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76394652 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4041] ppid=4019 vsize=869344 CPUtime=0
/proc/4032/task/4041/stat : 4041 (java) S 4019 4018 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76394652 890208256 17442 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 874484

[startup+3.10895 s]
/proc/loadavg: 1.87 1.78 1.73 2/45 4041
/proc/meminfo: memFree=118512/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2572 CPUtime=0.02
/proc/4019/stat : 4019 (p2cudf) S 4018 4018 29493 34817 29493 4202496 391 3015 0 1 0 0 0 2 25 0 1 0 76394643 2633728 280 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4019/statm: 643 280 239 194 0 30 0
[pid=4032] ppid=4019 vsize=868668 CPUtime=3.06
/proc/4032/stat : 4032 (java) S 4019 4018 29493 34817 29493 4202496 74068 0 1 0 280 26 0 0 25 0 10 0 76394647 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4032/statm: 217167 70695 1746 10 0 214258 0
[pid=4032/tid=4033] ppid=4019 vsize=868668 CPUtime=1.51
/proc/4032/task/4033/stat : 4033 (java) R 4019 4018 29493 34817 29493 4202560 50159 0 1 0 135 16 0 0 25 0 10 0 76394647 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4032/tid=4034] ppid=4019 vsize=868668 CPUtime=0.33
/proc/4032/task/4034/stat : 4034 (java) S 4019 4018 29493 34817 29493 4202560 15912 0 0 0 28 5 0 0 16 0 10 0 76394649 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4035] ppid=4019 vsize=868668 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4019 4018 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76394649 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4036] ppid=4019 vsize=868668 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4019 4018 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 10 0 76394649 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4037] ppid=4019 vsize=868668 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76394652 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4038] ppid=4019 vsize=868668 CPUtime=0.39
/proc/4032/task/4038/stat : 4038 (java) S 4019 4018 29493 34817 29493 4202560 3802 0 0 0 37 2 0 0 16 0 10 0 76394652 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4039] ppid=4019 vsize=868668 CPUtime=0.79
/proc/4032/task/4039/stat : 4039 (java) R 4019 4018 29493 34817 29493 4202560 3120 0 0 0 79 0 0 0 16 0 10 0 76394652 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4151706835 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4032/tid=4040] ppid=4019 vsize=868668 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76394652 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4041] ppid=4019 vsize=868668 CPUtime=0
/proc/4032/task/4041/stat : 4041 (java) S 4019 4018 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76394652 889516032 70695 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 873808

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

[startup+3.20896 s]
/proc/loadavg: 1.87 1.78 1.73 2/45 4041
/proc/meminfo: memFree=118512/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2572 CPUtime=0.02
/proc/4019/stat : 4019 (p2cudf) S 4018 4018 29493 34817 29493 4202496 391 3015 0 1 0 0 0 2 25 0 1 0 76394643 2633728 280 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4019/statm: 643 280 239 194 0 30 0
[pid=4032] ppid=4019 vsize=871212 CPUtime=3.16
/proc/4032/stat : 4032 (java) S 4019 4018 29493 34817 29493 4202496 75085 0 1 0 290 26 0 0 25 0 10 0 76394647 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4032/statm: 217803 71034 1746 10 0 214894 0
[pid=4032/tid=4033] ppid=4019 vsize=871212 CPUtime=1.51
/proc/4032/task/4033/stat : 4033 (java) R 4019 4018 29493 34817 29493 4202560 50159 0 1 0 135 16 0 0 25 0 10 0 76394647 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4032/tid=4034] ppid=4019 vsize=871212 CPUtime=0.33
/proc/4032/task/4034/stat : 4034 (java) S 4019 4018 29493 34817 29493 4202560 15912 0 0 0 28 5 0 0 16 0 10 0 76394649 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4035] ppid=4019 vsize=871212 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4019 4018 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76394649 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4036] ppid=4019 vsize=871212 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4019 4018 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 10 0 76394649 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4037] ppid=4019 vsize=871212 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76394652 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4038] ppid=4019 vsize=871212 CPUtime=0.39
/proc/4032/task/4038/stat : 4038 (java) S 4019 4018 29493 34817 29493 4202560 3802 0 0 0 37 2 0 0 16 0 10 0 76394652 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4039] ppid=4019 vsize=871212 CPUtime=0.89
/proc/4032/task/4039/stat : 4039 (java) R 4019 4018 29493 34817 29493 4202560 4137 0 0 0 89 0 0 0 16 0 10 0 76394652 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4152370841 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4032/tid=4040] ppid=4019 vsize=871212 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76394652 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4041] ppid=4019 vsize=871212 CPUtime=0
/proc/4032/task/4041/stat : 4041 (java) S 4019 4018 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76394652 892121088 71034 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 876352

[startup+4.00779 s]
/proc/loadavg: 1.87 1.78 1.73 3/45 4041
/proc/meminfo: memFree=10260/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2572 CPUtime=0.02
/proc/4019/stat : 4019 (p2cudf) S 4018 4018 29493 34817 29493 4202496 391 3015 0 1 0 0 0 2 25 0 1 0 76394643 2633728 280 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4019/statm: 643 280 239 194 0 30 0
[pid=4032] ppid=4019 vsize=869120 CPUtime=3.84
/proc/4032/stat : 4032 (java) S 4019 4018 29493 34817 29493 4202496 75859 0 1 0 358 26 0 0 25 0 11 0 76394647 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4032/statm: 217280 70803 1752 10 0 214371 0
[pid=4032/tid=4033] ppid=4019 vsize=869120 CPUtime=1.72
/proc/4032/task/4033/stat : 4033 (java) S 4019 4018 29493 34817 29493 4202560 50184 0 1 0 156 16 0 0 25 0 11 0 76394647 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4034] ppid=4019 vsize=869120 CPUtime=0.33
/proc/4032/task/4034/stat : 4034 (java) S 4019 4018 29493 34817 29493 4202560 15912 0 0 0 28 5 0 0 16 0 11 0 76394649 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4035] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4019 4018 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 76394649 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4036] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4019 4018 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 11 0 76394649 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4037] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76394652 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4038] ppid=4019 vsize=869120 CPUtime=0.39
/proc/4032/task/4038/stat : 4038 (java) S 4019 4018 29493 34817 29493 4202560 3802 0 0 0 37 2 0 0 16 0 11 0 76394652 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4039] ppid=4019 vsize=869120 CPUtime=1.36
/proc/4032/task/4039/stat : 4039 (java) S 4019 4018 29493 34817 29493 4202560 4882 0 0 0 136 0 0 0 15 0 11 0 76394652 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4040] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76394652 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4041] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4041/stat : 4041 (java) S 4019 4018 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 76394652 889978880 70803 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 874260

[startup+4.40779 s]
/proc/loadavg: 1.87 1.78 1.73 1/45 4042
/proc/meminfo: memFree=11500/1048576 swapFree=0/0
[pid=4018] ppid=4017 vsize=2568 CPUtime=0
/proc/4018/stat : 4018 (p2cudf-trendy-1) S 4017 4018 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76394643 2629632 270 1283457024 134512640 135304128 4293451968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4018/statm: 642 270 230 194 0 29 0
[pid=4019] ppid=4018 vsize=2572 CPUtime=0.02
/proc/4019/stat : 4019 (p2cudf) S 4018 4018 29493 34817 29493 4202496 391 3015 0 1 0 0 0 2 25 0 1 0 76394643 2633728 280 1283457024 134512640 135304128 4288748608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4019/statm: 643 280 239 194 0 30 0
[pid=4032] ppid=4019 vsize=869120 CPUtime=3.84
/proc/4032/stat : 4032 (java) S 4019 4018 29493 34817 29493 4202496 75861 0 1 0 358 26 0 0 25 0 10 0 76394647 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4032/statm: 217280 70805 1754 10 0 214371 0
[pid=4032/tid=4033] ppid=4019 vsize=869120 CPUtime=1.72
/proc/4032/task/4033/stat : 4033 (java) S 4019 4018 29493 34817 29493 4202560 50184 0 1 0 156 16 0 0 20 0 10 0 76394647 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4034] ppid=4019 vsize=869120 CPUtime=0.33
/proc/4032/task/4034/stat : 4034 (java) S 4019 4018 29493 34817 29493 4202560 15913 0 0 0 28 5 0 0 16 0 10 0 76394649 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4035] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4019 4018 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76394649 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4036] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4019 4018 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 10 0 76394649 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4037] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76394652 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4038] ppid=4019 vsize=869120 CPUtime=0.39
/proc/4032/task/4038/stat : 4038 (java) S 4019 4018 29493 34817 29493 4202560 3802 0 0 0 37 2 0 0 16 0 10 0 76394652 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4039] ppid=4019 vsize=869120 CPUtime=1.36
/proc/4032/task/4039/stat : 4039 (java) S 4019 4018 29493 34817 29493 4202560 4882 0 0 0 136 0 0 0 15 0 10 0 76394652 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4040] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4019 4018 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76394652 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
[pid=4032/tid=4041] ppid=4019 vsize=869120 CPUtime=0
/proc/4032/task/4041/stat : 4041 (java) S 4019 4018 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76394652 889978880 70805 1283457024 134512640 134550932 4294482000 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 874260

Child status: 0
Real time (s): 4.47481
CPU time (s): 3.90024
CPU user time (s): 3.58022
CPU system time (s): 0.32002
CPU usage (%): 87.16
Max. virtual memory (cumulated for all children) (KiB): 877100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.58022
system time used= 0.32002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79665
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= 395
involuntary context switches= 374

runsolver used 0 second user time and 0 second system time

The end