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/201012081719/cudf2pbo4trendy-1.0/randaafcce.cudf.impossible.log.runsolver ./cudf2pbo4trendy-1.0 /home/misc2010/data/2010/impossible//randaafcce.cudf /home/misc2010/tmp/201012081719/cudf2pbo4trendy-1.0/randaafcce.cudf.impossible.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.15 1.00 0.92 3/35 13596
/proc/meminfo: memFree=63060/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=0
/proc/13595/stat : 13595 (cudf2pbo4trendy) R 13594 13595 9023 34817 9081 4202496 365 0 0 0 0 0 0 0 25 0 1 0 894623964 2629632 278 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65538 4 82432 0 0 0 17 0 0 0 0
/proc/13595/statm: 642 278 238 194 0 28 0
[pid=13596] ppid=13595 vsize=2568 CPUtime=0
/proc/13596/stat : 13596 (cudf2pbo4trendy) R 13595 13595 9023 34817 9081 4202560 0 0 0 0 0 0 0 0 25 0 1 0 894623964 2629632 40 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65538 4 82432 0 0 0 17 0 0 0 0
/proc/13596/statm: 642 40 0 194 0 28 0

[startup+0.124291 s]
/proc/loadavg: 1.15 1.00 0.92 3/35 13596
/proc/meminfo: memFree=63060/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=0
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 25 0 1 0 894623964 2629632 278 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 278 238 194 0 28 0
[pid=13596] ppid=13595 vsize=6988 CPUtime=0.12
/proc/13596/stat : 13596 (cudf_msu32) R 13595 13595 9023 34817 9081 4202496 1552 0 0 0 12 0 0 0 25 0 1 0 894623964 7155712 1445 1283457024 134512640 136125367 4293099712 18446744073709551615 134717689 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/13596/statm: 1747 1445 142 394 0 1351 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9556

[startup+0.204307 s]
/proc/loadavg: 1.15 1.00 0.92 3/35 13596
/proc/meminfo: memFree=63060/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=0
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 25 0 1 0 894623964 2629632 278 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 278 238 194 0 28 0
[pid=13596] ppid=13595 vsize=9892 CPUtime=0.2
/proc/13596/stat : 13596 (cudf_msu32) R 13595 13595 9023 34817 9081 4202496 2267 0 0 0 19 1 0 0 25 0 1 0 894623964 10129408 2160 1283457024 134512640 136125367 4293099712 18446744073709551615 135294144 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/13596/statm: 2473 2160 142 394 0 2077 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 12460

[startup+0.304328 s]
/proc/loadavg: 1.15 1.00 0.92 3/35 13596
/proc/meminfo: memFree=63060/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=0
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 25 0 1 0 894623964 2629632 278 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 278 238 194 0 28 0
[pid=13596] ppid=13595 vsize=13348 CPUtime=0.3
/proc/13596/stat : 13596 (cudf_msu32) R 13595 13595 9023 34817 9081 4202496 3131 0 0 0 29 1 0 0 25 0 1 0 894623964 13668352 3024 1283457024 134512640 136125367 4293099712 18446744073709551615 134717966 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/13596/statm: 3337 3024 143 394 0 2941 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15916

[startup+0.704407 s]
/proc/loadavg: 1.15 1.00 0.92 3/35 13596
/proc/meminfo: memFree=63060/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=0
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 25 0 1 0 894623964 2629632 278 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 278 238 194 0 28 0
[pid=13596] ppid=13595 vsize=25160 CPUtime=0.7
/proc/13596/stat : 13596 (cudf_msu32) R 13595 13595 9023 34817 9081 4202496 6093 0 0 0 66 4 0 0 25 0 1 0 894623964 25763840 5986 1283457024 134512640 136125367 4293099712 18446744073709551615 134717783 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/13596/statm: 6290 5986 143 394 0 5894 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 27728

[startup+1.50456 s]
/proc/loadavg: 1.15 1.00 0.92 2/36 13597
/proc/meminfo: memFree=31420/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=0
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 25 0 1 0 894623964 2629632 278 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 278 238 194 0 28 0
[pid=13596] ppid=13595 vsize=45548 CPUtime=1.5
/proc/13596/stat : 13596 (cudf_msu32) R 13595 13595 9023 34817 9081 4202496 11252 0 0 0 145 5 0 0 25 0 1 0 894623964 46641152 11096 1283457024 134512640 136125367 4293099712 18446744073709551615 134717796 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/13596/statm: 11387 11096 143 394 0 10991 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 48116

[startup+3.10488 s]
/proc/loadavg: 1.15 1.00 0.92 2/36 13597
/proc/meminfo: memFree=5732/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=0
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 25 0 1 0 894623964 2629632 278 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 278 238 194 0 28 0
[pid=13596] ppid=13595 vsize=73852 CPUtime=3.1
/proc/13596/stat : 13596 (cudf_msu32) R 13595 13595 9023 34817 9081 4202496 18635 0 0 0 257 53 0 0 25 0 1 0 894623964 75624448 18185 1283457024 134512640 136125367 4293099712 18446744073709551615 135141207 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/13596/statm: 18463 18185 165 394 0 18067 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 76420

[startup+6.30538 s]
/proc/loadavg: 1.14 1.00 0.92 2/36 13598
/proc/meminfo: memFree=44916/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=35368 CPUtime=3.03
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 9340 0 0 0 232 71 0 0 25 0 1 0 894624291 36216832 8415 1283457024 134512640 135887319 4288199712 18446744073709551615 135381649 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 8842 8415 138 336 0 8504 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37936

[startup+12.7078 s]
/proc/loadavg: 1.13 1.00 0.92 2/36 13598
/proc/meminfo: memFree=32648/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=47820 CPUtime=9.43
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 14397 0 0 0 747 196 0 0 25 0 1 0 894624291 48967680 11553 1283457024 134512640 135887319 4288199712 18446744073709551615 134617654 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 11955 11553 144 336 0 11617 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50388

[startup+25.5119 s]
/proc/loadavg: 1.10 1.00 0.92 2/36 13598
/proc/meminfo: memFree=25704/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=54596 CPUtime=22.18
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 16202 0 0 0 1950 268 0 0 25 0 1 0 894624291 55906304 13274 1283457024 134512640 135887319 4288199712 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 13649 13274 144 336 0 13311 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 57164

[startup+51.1108 s]
/proc/loadavg: 1.06 1.00 0.92 2/36 13598
/proc/meminfo: memFree=9356/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=74856 CPUtime=47.75
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 23619 0 0 0 4493 282 0 0 25 0 1 0 894624291 76652544 18423 1283457024 134512640 135887319 4288199712 18446744073709551615 134604731 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 18714 18423 144 336 0 18376 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 77424

[startup+102.305 s]
/proc/loadavg: 1.03 1.00 0.92 2/36 13598
/proc/meminfo: memFree=9356/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=74856 CPUtime=98.94
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 23619 0 0 0 9578 316 0 0 25 0 1 0 894624291 76652544 18423 1283457024 134512640 135887319 4288199712 18446744073709551615 134527030 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 18714 18423 144 336 0 18376 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 77424

[startup+162.308 s]
/proc/loadavg: 1.01 1.00 0.92 2/36 13598
/proc/meminfo: memFree=9604/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=75004 CPUtime=158.88
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 24491 0 0 0 15382 506 0 0 25 0 1 0 894624291 76804096 18545 1283457024 134512640 135887319 4288199712 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 18751 18545 144 336 0 18413 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 77572

[startup+222.307 s]
/proc/loadavg: 1.00 1.00 0.92 2/36 13598
/proc/meminfo: memFree=5236/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=81776 CPUtime=218.77
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 26274 0 0 0 21288 589 0 0 25 0 1 0 894624291 83738624 20229 1283457024 134512640 135887319 4288199712 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 20444 20229 144 336 0 20106 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 84344

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

[startup+230.408 s]
/proc/loadavg: 1.00 1.00 0.92 2/36 13598
/proc/meminfo: memFree=6004/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=82172 CPUtime=226.87
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 26386 0 0 0 22097 590 0 0 25 0 1 0 894624291 84144128 20333 1283457024 134512640 135887319 4288199712 18446744073709551615 134614962 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 20543 20333 144 336 0 20205 0
Current children cumulated CPU time (s) 230.13
Current children cumulated vsize (KiB) 84740

[startup+236.81 s]
/proc/loadavg: 1.00 1.00 0.92 2/36 13598
/proc/meminfo: memFree=5632/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=82608 CPUtime=233.27
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 26485 0 0 0 22734 593 0 0 25 0 1 0 894624291 84590592 20406 1283457024 134512640 135887319 4288199712 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 20652 20406 144 336 0 20314 0
Current children cumulated CPU time (s) 236.53
Current children cumulated vsize (KiB) 85176

[startup+240.011 s]
/proc/loadavg: 1.00 1.00 0.92 2/36 13598
/proc/meminfo: memFree=5508/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=82608 CPUtime=236.48
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 26518 0 0 0 23053 595 0 0 25 0 1 0 894624291 84590592 20433 1283457024 134512640 135887319 4288199712 18446744073709551615 134615491 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 20652 20433 144 336 0 20314 0
Current children cumulated CPU time (s) 239.74
Current children cumulated vsize (KiB) 85176

[startup+241.612 s]
/proc/loadavg: 1.00 1.00 0.92 2/36 13598
/proc/meminfo: memFree=5508/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=82740 CPUtime=238.08
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 26537 0 0 0 23213 595 0 0 25 0 1 0 894624291 84725760 20452 1283457024 134512640 135887319 4288199712 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 20685 20452 144 336 0 20347 0
Current children cumulated CPU time (s) 241.34
Current children cumulated vsize (KiB) 85308

[startup+243.212 s]
/proc/loadavg: 1.00 1.00 0.92 2/36 13598
/proc/meminfo: memFree=5384/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=82740 CPUtime=239.68
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 26547 0 0 0 23373 595 0 0 25 0 1 0 894624291 84725760 20461 1283457024 134512640 135887319 4288199712 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 20685 20461 144 336 0 20347 0
Current children cumulated CPU time (s) 242.94
Current children cumulated vsize (KiB) 85308

[startup+243.612 s]
/proc/loadavg: 1.00 1.00 0.92 2/36 13598
/proc/meminfo: memFree=5384/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=3.26
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 402 18637 0 0 0 0 268 58 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
[pid=13598] ppid=13595 vsize=82740 CPUtime=240.08
/proc/13598/stat : 13598 (bmo-pblex32) R 13595 13595 9023 34817 9081 4202496 26548 0 0 0 23413 595 0 0 25 0 1 0 894624291 84725760 20462 1283457024 134512640 135887319 4288199712 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/13598/statm: 20685 20462 144 336 0 20347 0
Current children cumulated CPU time (s) 243.34
Current children cumulated vsize (KiB) 85308

[startup+243.813 s]
/proc/loadavg: 1.00 1.00 0.92 2/36 13598
/proc/meminfo: memFree=5384/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=243.52
/proc/13595/stat : 13595 (cudf2pbo4trendy) R 13594 13595 9023 34817 9081 4202496 421 45189 0 0 0 0 23697 655 18 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65538 4 82432 0 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
Current children cumulated CPU time (s) 243.52
Current children cumulated vsize (KiB) 2568

[startup+243.913 s]
/proc/loadavg: 1.00 1.00 0.92 2/36 13598
/proc/meminfo: memFree=5384/1048576 swapFree=2095372/2097144
[pid=13595] ppid=13594 vsize=2568 CPUtime=243.52
/proc/13595/stat : 13595 (cudf2pbo4trendy) S 13594 13595 9023 34817 9081 4202496 433 45579 0 0 0 0 23697 655 21 0 1 0 894623964 2629632 281 1283457024 134512640 135304128 4287400672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/13595/statm: 642 281 241 194 0 28 0
Current children cumulated CPU time (s) 243.52
Current children cumulated vsize (KiB) 2568

Child status: 0
Real time (s): 243.927
CPU time (s): 243.663
CPU user time (s): 237.087
CPU system time (s): 6.57641
CPU usage (%): 99.892
Max. virtual memory (cumulated for all children) (KiB): 85308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 237.087
system time used= 6.57641
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 9494

runsolver used 0 second user time and 0 second system time

The end