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/rand3dec28.cudf.impossible.log.runsolver ./cudf2pbo4trendy-1.0 /home/misc2010/data/2010/impossible//rand3dec28.cudf /home/misc2010/tmp/201012081719/cudf2pbo4trendy-1.0/rand3dec28.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: 0.88 0.94 0.90 5/39 10141
/proc/meminfo: memFree=65192/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=0
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 18 0 1 0 892791294 2633728 278 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 278 238 194 0 29 0
[pid=10141] ppid=10140 vsize=2572 CPUtime=0.02
/proc/10141/stat : 10141 (cudf_msu32) R 10140 10140 9023 34817 9081 4202496 439 0 0 0 2 0 0 0 25 0 1 0 892791294 2633728 332 1283457024 134512640 136125367 4289863088 18446744073709551615 134717959 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/10141/statm: 643 332 141 394 0 247 0

[startup+0.18543 s]
/proc/loadavg: 0.88 0.94 0.90 5/39 10141
/proc/meminfo: memFree=65192/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=0
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 18 0 1 0 892791294 2633728 278 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 278 238 194 0 29 0
[pid=10141] ppid=10140 vsize=9364 CPUtime=0.18
/proc/10141/stat : 10141 (cudf_msu32) R 10140 10140 9023 34817 9081 4202496 2149 0 0 0 18 0 0 0 25 0 1 0 892791294 9588736 2042 1283457024 134512640 136125367 4289863088 18446744073709551615 134717792 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/10141/statm: 2341 2042 142 394 0 1945 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 11936

[startup+0.205456 s]
/proc/loadavg: 0.88 0.94 0.90 5/39 10141
/proc/meminfo: memFree=65192/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=0
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 18 0 1 0 892791294 2633728 278 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 278 238 194 0 29 0
[pid=10141] ppid=10140 vsize=10024 CPUtime=0.2
/proc/10141/stat : 10141 (cudf_msu32) R 10140 10140 9023 34817 9081 4202496 2325 0 0 0 20 0 0 0 25 0 1 0 892791294 10264576 2218 1283457024 134512640 136125367 4289863088 18446744073709551615 134717908 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/10141/statm: 2506 2218 142 394 0 2110 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 12596

[startup+0.30547 s]
/proc/loadavg: 0.88 0.94 0.90 5/39 10141
/proc/meminfo: memFree=65192/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=0
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 18 0 1 0 892791294 2633728 278 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 278 238 194 0 29 0
[pid=10141] ppid=10140 vsize=13480 CPUtime=0.3
/proc/10141/stat : 10141 (cudf_msu32) R 10140 10140 9023 34817 9081 4202496 3192 0 0 0 30 0 0 0 25 0 1 0 892791294 13803520 3085 1283457024 134512640 136125367 4289863088 18446744073709551615 135399227 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/10141/statm: 3370 3085 143 394 0 2974 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16052

[startup+0.705564 s]
/proc/loadavg: 0.88 0.94 0.90 5/39 10141
/proc/meminfo: memFree=65192/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=0
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 18 0 1 0 892791294 2633728 278 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 278 238 194 0 29 0
[pid=10141] ppid=10140 vsize=25556 CPUtime=0.71
/proc/10141/stat : 10141 (cudf_msu32) R 10140 10140 9023 34817 9081 4202496 6204 0 0 0 68 3 0 0 25 0 1 0 892791294 26169344 6097 1283457024 134512640 136125367 4289863088 18446744073709551615 134717783 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/10141/statm: 6389 6097 143 394 0 5993 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 28128

[startup+1.50576 s]
/proc/loadavg: 0.89 0.94 0.90 2/40 10142
/proc/meminfo: memFree=31372/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=0
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 18 0 1 0 892791294 2633728 278 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 278 238 194 0 29 0
[pid=10141] ppid=10140 vsize=46240 CPUtime=1.5
/proc/10141/stat : 10141 (cudf_msu32) R 10140 10140 9023 34817 9081 4202496 11438 0 0 0 144 6 0 0 25 0 1 0 892791294 47349760 11282 1283457024 134512640 136125367 4289863088 18446744073709551615 134675013 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/10141/statm: 11560 11282 153 394 0 11164 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 48812

[startup+3.10612 s]
/proc/loadavg: 0.89 0.94 0.90 2/40 10142
/proc/meminfo: memFree=5404/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=0
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 382 0 0 0 0 0 0 0 18 0 1 0 892791294 2633728 278 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 278 238 194 0 29 0
[pid=10141] ppid=10140 vsize=73972 CPUtime=3.1
/proc/10141/stat : 10141 (cudf_msu32) R 10140 10140 9023 34817 9081 4202496 18657 0 0 0 248 62 0 0 25 0 1 0 892791294 75747328 18206 1283457024 134512640 136125367 4289863088 18446744073709551615 134577207 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/10141/statm: 18493 18206 165 394 0 18097 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 76544

[startup+6.31041 s]
/proc/loadavg: 0.97 0.96 0.91 2/40 10143
/proc/meminfo: memFree=42844/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=37436 CPUtime=3.01
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 9890 0 0 0 218 83 0 0 25 0 1 0 892791612 38334464 8942 1283457024 134512640 135887319 4294783584 18446744073709551615 134600832 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 9359 8942 138 336 0 9021 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 40008

[startup+12.7119 s]
/proc/loadavg: 0.98 0.96 0.91 2/40 10143
/proc/meminfo: memFree=29080/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=51164 CPUtime=9.37
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 15220 0 0 0 695 242 0 0 25 0 1 0 892791612 52391936 12418 1283457024 134512640 135887319 4294783584 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 12791 12418 144 336 0 12453 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 53736

[startup+25.5077 s]
/proc/loadavg: 1.06 0.98 0.91 2/40 10143
/proc/meminfo: memFree=8356/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=79152 CPUtime=22.12
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 26460 0 0 0 1813 399 0 0 25 0 1 0 892791612 81051648 19485 1283457024 134512640 135887319 4294783584 18446744073709551615 134598364 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 19788 19485 144 336 0 19450 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 81724

[startup+51.1057 s]
/proc/loadavg: 1.04 0.98 0.91 2/40 10143
/proc/meminfo: memFree=5584/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=88776 CPUtime=47.67
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 29761 0 0 0 4247 520 0 0 25 0 1 0 892791612 90906624 21886 1283457024 134512640 135887319 4294783584 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 22194 21886 144 336 0 21856 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 91348

[startup+102.314 s]
/proc/loadavg: 1.02 0.98 0.91 2/40 10143
/proc/meminfo: memFree=5244/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=93692 CPUtime=98.82
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 31050 0 0 0 9352 530 0 0 25 0 1 0 892791612 95940608 23127 1283457024 134512640 135887319 4294783584 18446744073709551615 134525472 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 23423 23127 144 336 0 23085 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 96264

[startup+162.305 s]
/proc/loadavg: 1.00 0.98 0.91 2/40 10143
/proc/meminfo: memFree=6204/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=100116 CPUtime=158.77
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 32738 0 0 0 15335 542 0 0 25 0 1 0 892791612 102518784 24731 1283457024 134512640 135887319 4294783584 18446744073709551615 134614896 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 25029 24731 144 336 0 24691 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 102688

[startup+222.304 s]
/proc/loadavg: 1.00 0.98 0.91 2/40 10143
/proc/meminfo: memFree=5380/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=107020 CPUtime=218.72
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 34539 0 0 0 21320 552 0 0 25 0 1 0 892791612 109588480 26461 1283457024 134512640 135887319 4294783584 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 26755 26461 144 336 0 26417 0
Current children cumulated CPU time (s) 221.89
Current children cumulated vsize (KiB) 109592

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

[startup+230.407 s]
/proc/loadavg: 1.00 0.98 0.91 2/40 10143
/proc/meminfo: memFree=5776/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=107920 CPUtime=226.8
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 34787 0 0 0 22125 555 0 0 25 0 1 0 892791612 110510080 26669 1283457024 134512640 135887319 4294783584 18446744073709551615 134614896 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 26980 26669 144 336 0 26642 0
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (KiB) 110492

[startup+243.211 s]
/proc/loadavg: 1.00 0.98 0.91 2/40 10143
/proc/meminfo: memFree=5428/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=109280 CPUtime=239.61
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 35159 0 0 0 23405 556 0 0 25 0 1 0 892791612 111902720 27023 1283457024 134512640 135887319 4294783584 18446744073709551615 134617654 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 27320 27023 144 336 0 26982 0
Current children cumulated CPU time (s) 242.78
Current children cumulated vsize (KiB) 111852

[startup+246.412 s]
/proc/loadavg: 1.00 0.98 0.91 2/40 10143
/proc/meminfo: memFree=5180/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=109676 CPUtime=242.8
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 35241 0 0 0 23723 557 0 0 25 0 1 0 892791612 112308224 27105 1283457024 134512640 135887319 4294783584 18446744073709551615 134615565 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 27419 27105 144 336 0 27081 0
Current children cumulated CPU time (s) 245.97
Current children cumulated vsize (KiB) 112248

[startup+249.603 s]
/proc/loadavg: 1.00 0.98 0.91 2/40 10143
/proc/meminfo: memFree=6132/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=110084 CPUtime=245.99
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 35342 0 0 0 24042 557 0 0 25 0 1 0 892791612 112726016 27200 1283457024 134512640 135887319 4294783584 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 27521 27200 144 336 0 27183 0
Current children cumulated CPU time (s) 249.16
Current children cumulated vsize (KiB) 112656

[startup+250.403 s]
/proc/loadavg: 1.00 0.98 0.91 2/40 10143
/proc/meminfo: memFree=6008/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=110084 CPUtime=246.79
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 35361 0 0 0 24122 557 0 0 25 0 1 0 892791612 112726016 27219 1283457024 134512640 135887319 4294783584 18446744073709551615 134604731 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 27521 27219 144 336 0 27183 0
Current children cumulated CPU time (s) 249.96
Current children cumulated vsize (KiB) 112656

[startup+251.203 s]
/proc/loadavg: 1.00 0.98 0.91 2/40 10143
/proc/meminfo: memFree=5884/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=3.17
/proc/10140/stat : 10140 (cudf2pbo4trendy) S 10139 10140 9023 34817 9081 4202496 401 18659 0 0 0 0 254 63 20 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
[pid=10143] ppid=10140 vsize=110216 CPUtime=247.59
/proc/10143/stat : 10143 (bmo-pblex32) R 10140 10140 9023 34817 9081 4202496 35382 0 0 0 24202 557 0 0 25 0 1 0 892791612 112861184 27238 1283457024 134512640 135887319 4294783584 18446744073709551615 134614964 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/10143/statm: 27554 27238 144 336 0 27216 0
Current children cumulated CPU time (s) 250.76
Current children cumulated vsize (KiB) 112788

[startup+251.603 s]
/proc/loadavg: 1.00 0.98 0.91 2/40 10143
/proc/meminfo: memFree=5884/1048576 swapFree=2095372/2097144
[pid=10140] ppid=10139 vsize=2572 CPUtime=251.13
/proc/10140/stat : 10140 (cudf2pbo4trendy) R 10139 10140 9023 34817 9081 4202496 419 54052 0 0 0 0 24492 621 18 0 1 0 892791294 2633728 281 1283457024 134512640 135304128 4293144672 18446744073709551615 4294960130 0 65538 4 82432 0 0 0 17 0 0 0 0
/proc/10140/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 251.13
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 251.7
CPU time (s): 251.264
CPU user time (s): 245.039
CPU system time (s): 6.22439
CPU usage (%): 99.8268
Max. virtual memory (cumulated for all children) (KiB): 112788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.039
system time used= 6.22439
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56862
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= 26
involuntary context switches= 9057

runsolver used 0 second user time and 0 second system time

The end