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/3946.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//3946.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/3946.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.66 1.68 1.63 5/34 19193
/proc/meminfo: memFree=291344/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) R 19191 19192 29493 34817 29493 4202496 358 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0
/proc/19193/stat : 19193 (p2cudf-trendy-1) R 19192 19192 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 41 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/19193/statm: 643 41 0 194 0 30 0

[startup+0.185587 s]
/proc/loadavg: 1.66 1.68 1.63 5/34 19193
/proc/meminfo: memFree=291344/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.205582 s]
/proc/loadavg: 1.66 1.68 1.63 5/34 19193
/proc/meminfo: memFree=291344/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.305599 s]
/proc/loadavg: 1.66 1.68 1.63 5/34 19193
/proc/meminfo: memFree=291344/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.705666 s]
/proc/loadavg: 1.66 1.68 1.63 5/34 19193
/proc/meminfo: memFree=291344/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.50587 s]
/proc/loadavg: 1.77 1.70 1.64 5/45 19215
/proc/meminfo: memFree=248272/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
[pid=19206] ppid=19193 vsize=880124 CPUtime=1.46
/proc/19206/stat : 19206 (java) S 19193 19192 29493 34817 29493 4202496 18745 0 1 0 139 7 0 0 25 0 10 0 76038245 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19206/statm: 220031 14363 1730 10 0 217122 0
[pid=19206/tid=19207] ppid=19193 vsize=880124 CPUtime=0.69
/proc/19206/task/19207/stat : 19207 (java) R 19193 19192 29493 34817 29493 4202560 6995 0 1 0 65 4 0 0 25 0 10 0 76038245 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19208] ppid=19193 vsize=880124 CPUtime=0
/proc/19206/task/19208/stat : 19208 (java) S 19193 19192 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 16 0 10 0 76038247 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19209] ppid=19193 vsize=880124 CPUtime=0
/proc/19206/task/19209/stat : 19209 (java) S 19193 19192 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76038247 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19210] ppid=19193 vsize=880124 CPUtime=0
/proc/19206/task/19210/stat : 19210 (java) S 19193 19192 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76038247 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19211] ppid=19193 vsize=880124 CPUtime=0
/proc/19206/task/19211/stat : 19211 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76038250 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19212] ppid=19193 vsize=880124 CPUtime=0.56
/proc/19206/task/19212/stat : 19212 (java) R 19193 19192 29493 34817 29493 4202560 9125 0 0 0 54 2 0 0 22 0 10 0 76038250 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4148818240 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19213] ppid=19193 vsize=880124 CPUtime=0.2
/proc/19206/task/19213/stat : 19213 (java) R 19193 19192 29493 34817 29493 4202560 1546 0 0 0 20 0 0 0 24 0 10 0 76038250 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4149445221 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19214] ppid=19193 vsize=880124 CPUtime=0
/proc/19206/task/19214/stat : 19214 (java) S 19193 19192 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76038250 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19215] ppid=19193 vsize=880124 CPUtime=0
/proc/19206/task/19215/stat : 19215 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76038250 901246976 14363 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 885268

[startup+3.10624 s]
/proc/loadavg: 1.77 1.70 1.64 3/45 19215
/proc/meminfo: memFree=192844/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
[pid=19206] ppid=19193 vsize=881124 CPUtime=3.06
/proc/19206/stat : 19206 (java) S 19193 19192 29493 34817 29493 4202496 56421 0 1 0 277 29 0 0 25 0 10 0 76038245 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19206/statm: 220281 50342 1743 10 0 217372 0
[pid=19206/tid=19207] ppid=19193 vsize=881124 CPUtime=1.52
/proc/19206/task/19207/stat : 19207 (java) R 19193 19192 29493 34817 29493 4202560 42612 0 1 0 128 24 0 0 25 0 10 0 76038245 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19208] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19208/stat : 19208 (java) S 19193 19192 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76038247 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19209] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19209/stat : 19209 (java) S 19193 19192 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76038247 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19210] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19210/stat : 19210 (java) S 19193 19192 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76038247 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19211] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19211/stat : 19211 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76038250 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19212] ppid=19193 vsize=881124 CPUtime=1.05
/proc/19206/task/19212/stat : 19212 (java) R 19193 19192 29493 34817 29493 4202560 10853 0 0 0 101 4 0 0 19 0 10 0 76038250 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4152423760 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19213] ppid=19193 vsize=881124 CPUtime=0.48
/proc/19206/task/19213/stat : 19213 (java) R 19193 19192 29493 34817 29493 4202560 1877 0 0 0 48 0 0 0 16 0 10 0 76038250 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4149485816 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19214] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19214/stat : 19214 (java) S 19193 19192 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76038250 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19215] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19215/stat : 19215 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76038250 902270976 50342 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 886268

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

[startup+3.20631 s]
/proc/loadavg: 1.77 1.70 1.64 3/45 19215
/proc/meminfo: memFree=192844/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
[pid=19206] ppid=19193 vsize=881124 CPUtime=3.16
/proc/19206/stat : 19206 (java) S 19193 19192 29493 34817 29493 4202496 58646 0 1 0 285 31 0 0 25 0 10 0 76038245 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19206/statm: 220281 52567 1743 10 0 217372 0
[pid=19206/tid=19207] ppid=19193 vsize=881124 CPUtime=1.56
/proc/19206/task/19207/stat : 19207 (java) R 19193 19192 29493 34817 29493 4202560 44827 0 1 0 131 25 0 0 25 0 10 0 76038245 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4095811760 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19208] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19208/stat : 19208 (java) S 19193 19192 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76038247 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19209] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19209/stat : 19209 (java) S 19193 19192 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76038247 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19210] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19210/stat : 19210 (java) S 19193 19192 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76038247 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19211] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19211/stat : 19211 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76038250 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19212] ppid=19193 vsize=881124 CPUtime=1.05
/proc/19206/task/19212/stat : 19212 (java) S 19193 19192 29493 34817 29493 4202560 10855 0 0 0 101 4 0 0 19 0 10 0 76038250 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19213] ppid=19193 vsize=881124 CPUtime=0.53
/proc/19206/task/19213/stat : 19213 (java) S 19193 19192 29493 34817 29493 4202560 1885 0 0 0 53 0 0 0 16 0 10 0 76038250 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19214] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19214/stat : 19214 (java) S 19193 19192 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76038250 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19215] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19215/stat : 19215 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76038250 902270976 52567 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 886268

[startup+4.00645 s]
/proc/loadavg: 1.77 1.70 1.64 3/45 19215
/proc/meminfo: memFree=72936/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
[pid=19206] ppid=19193 vsize=881844 CPUtime=3.96
/proc/19206/stat : 19206 (java) S 19193 19192 29493 34817 29493 4202496 80390 0 1 0 356 40 0 0 25 0 10 0 76038245 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19206/statm: 220461 74311 1748 10 0 217552 0
[pid=19206/tid=19207] ppid=19193 vsize=881844 CPUtime=1.7
/proc/19206/task/19207/stat : 19207 (java) R 19193 19192 29493 34817 29493 4202560 50191 0 1 0 145 25 0 0 25 0 10 0 76038245 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19208] ppid=19193 vsize=881844 CPUtime=0.37
/proc/19206/task/19208/stat : 19208 (java) S 19193 19192 29493 34817 29493 4202560 16189 0 0 0 28 9 0 0 16 0 10 0 76038247 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19209] ppid=19193 vsize=881844 CPUtime=0
/proc/19206/task/19209/stat : 19209 (java) S 19193 19192 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76038247 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19210] ppid=19193 vsize=881844 CPUtime=0
/proc/19206/task/19210/stat : 19210 (java) S 19193 19192 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76038247 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19211] ppid=19193 vsize=881844 CPUtime=0
/proc/19206/task/19211/stat : 19211 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76038250 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19212] ppid=19193 vsize=881844 CPUtime=1.3
/proc/19206/task/19212/stat : 19212 (java) R 19193 19192 29493 34817 29493 4202560 11047 0 0 0 126 4 0 0 19 0 10 0 76038250 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4149932099 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19213] ppid=19193 vsize=881844 CPUtime=0.56
/proc/19206/task/19213/stat : 19213 (java) R 19193 19192 29493 34817 29493 4202560 1888 0 0 0 56 0 0 0 16 0 10 0 76038250 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4151547672 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19214] ppid=19193 vsize=881844 CPUtime=0
/proc/19206/task/19214/stat : 19214 (java) S 19193 19192 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76038250 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19215] ppid=19193 vsize=881844 CPUtime=0
/proc/19206/task/19215/stat : 19215 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76038250 903008256 74311 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 886988

[startup+4.40659 s]
/proc/loadavg: 1.77 1.70 1.64 2/45 19215
/proc/meminfo: memFree=6088/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
[pid=19206] ppid=19193 vsize=881124 CPUtime=4.36
/proc/19206/stat : 19206 (java) S 19193 19192 29493 34817 29493 4202496 80822 0 1 0 396 40 0 0 25 0 10 0 76038245 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19206/statm: 220281 74189 1763 10 0 217372 0
[pid=19206/tid=19207] ppid=19193 vsize=881124 CPUtime=1.83
/proc/19206/task/19207/stat : 19207 (java) R 19193 19192 29493 34817 29493 4202560 50196 0 1 0 158 25 0 0 25 0 10 0 76038245 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4095738654 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19206/tid=19208] ppid=19193 vsize=881124 CPUtime=0.37
/proc/19206/task/19208/stat : 19208 (java) S 19193 19192 29493 34817 29493 4202560 16189 0 0 0 28 9 0 0 16 0 10 0 76038247 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19209] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19209/stat : 19209 (java) S 19193 19192 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76038247 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19210] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19210/stat : 19210 (java) S 19193 19192 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76038247 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19211] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19211/stat : 19211 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76038250 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19212] ppid=19193 vsize=881124 CPUtime=1.44
/proc/19206/task/19212/stat : 19212 (java) S 19193 19192 29493 34817 29493 4202560 11453 0 0 0 140 4 0 0 19 0 10 0 76038250 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19213] ppid=19193 vsize=881124 CPUtime=0.69
/proc/19206/task/19213/stat : 19213 (java) S 19193 19192 29493 34817 29493 4202560 1909 0 0 0 69 0 0 0 15 0 10 0 76038250 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19214] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19214/stat : 19214 (java) S 19193 19192 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76038250 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19215] ppid=19193 vsize=881124 CPUtime=0
/proc/19206/task/19215/stat : 19215 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76038250 902270976 74189 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 886268

[startup+4.80585 s]
/proc/loadavg: 1.77 1.70 1.64 2/45 19215
/proc/meminfo: memFree=6088/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
[pid=19206] ppid=19193 vsize=881448 CPUtime=4.38
/proc/19206/stat : 19206 (java) S 19193 19192 29493 34817 29493 4202496 80830 0 1 0 398 40 0 0 25 0 11 0 76038245 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19206/statm: 220362 74197 1763 10 0 217453 0
[pid=19206/tid=19207] ppid=19193 vsize=881448 CPUtime=1.83
/proc/19206/task/19207/stat : 19207 (java) S 19193 19192 29493 34817 29493 4202560 50200 0 1 0 158 25 0 0 25 0 11 0 76038245 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19208] ppid=19193 vsize=881448 CPUtime=0.37
/proc/19206/task/19208/stat : 19208 (java) S 19193 19192 29493 34817 29493 4202560 16189 0 0 0 28 9 0 0 16 0 11 0 76038247 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19209] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19209/stat : 19209 (java) S 19193 19192 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 76038247 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19210] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19210/stat : 19210 (java) S 19193 19192 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76038247 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19211] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19211/stat : 19211 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19212] ppid=19193 vsize=881448 CPUtime=1.45
/proc/19206/task/19212/stat : 19212 (java) S 19193 19192 29493 34817 29493 4202560 11453 0 0 0 141 4 0 0 19 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19213] ppid=19193 vsize=881448 CPUtime=0.69
/proc/19206/task/19213/stat : 19213 (java) S 19193 19192 29493 34817 29493 4202560 1909 0 0 0 69 0 0 0 15 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19214] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19214/stat : 19214 (java) S 19193 19192 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19215] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19215/stat : 19215 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 886592

[startup+4.90584 s]
/proc/loadavg: 1.77 1.70 1.64 2/45 19215
/proc/meminfo: memFree=6088/1048576 swapFree=0/0
[pid=19192] ppid=19191 vsize=2572 CPUtime=0
/proc/19192/stat : 19192 (p2cudf-trendy-1) S 19191 19192 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 76038241 2633728 271 1283457024 134512640 135304128 4290713120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19192/statm: 643 271 230 194 0 30 0
[pid=19193] ppid=19192 vsize=2572 CPUtime=0.03
/proc/19193/stat : 19193 (p2cudf) S 19192 19192 29493 34817 29493 4202496 394 3013 0 1 0 1 1 1 25 0 1 0 76038241 2633728 281 1283457024 134512640 135304128 4290217376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19193/statm: 643 281 239 194 0 30 0
[pid=19206] ppid=19193 vsize=881448 CPUtime=4.38
/proc/19206/stat : 19206 (java) S 19193 19192 29493 34817 29493 4202496 80830 0 1 0 398 40 0 0 25 0 11 0 76038245 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19206/statm: 220362 74197 1763 10 0 217453 0
[pid=19206/tid=19207] ppid=19193 vsize=881448 CPUtime=1.83
/proc/19206/task/19207/stat : 19207 (java) S 19193 19192 29493 34817 29493 4202560 50200 0 1 0 158 25 0 0 25 0 11 0 76038245 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19208] ppid=19193 vsize=881448 CPUtime=0.37
/proc/19206/task/19208/stat : 19208 (java) S 19193 19192 29493 34817 29493 4202560 16189 0 0 0 28 9 0 0 16 0 11 0 76038247 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 0 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19209] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19209/stat : 19209 (java) S 19193 19192 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 76038247 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19210] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19210/stat : 19210 (java) S 19193 19192 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76038247 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19211] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19211/stat : 19211 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19212] ppid=19193 vsize=881448 CPUtime=1.45
/proc/19206/task/19212/stat : 19212 (java) S 19193 19192 29493 34817 29493 4202560 11453 0 0 0 141 4 0 0 19 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19213] ppid=19193 vsize=881448 CPUtime=0.69
/proc/19206/task/19213/stat : 19213 (java) S 19193 19192 29493 34817 29493 4202560 1909 0 0 0 69 0 0 0 15 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19214] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19214/stat : 19214 (java) S 19193 19192 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
[pid=19206/tid=19215] ppid=19193 vsize=881448 CPUtime=0
/proc/19206/task/19215/stat : 19215 (java) S 19193 19192 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76038250 902602752 74197 1283457024 134512640 134550932 4288502432 18446744073709551615 4294960130 0 4 0 16800975 18446612132467747520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 886592

Child status: 0
Real time (s): 4.99653
CPU time (s): 4.45628
CPU user time (s): 3.99225
CPU system time (s): 0.464029
CPU usage (%): 89.1875
Max. virtual memory (cumulated for all children) (KiB): 887016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.99225
system time used= 0.464029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84639
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= 414
involuntary context switches= 405

runsolver used 0 second user time and 0 second system time

The end