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/201012091704/p2cudf-user-1.10/rand49d73b.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//rand49d73b.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/rand49d73b.cudf.difficult.result -changed,-notuptodate,-removed,-new 

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.13 1.03 1.01 5/38 5215
/proc/meminfo: memFree=409956/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) R 5213 5214 25521 34816 2180 4202496 361 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2576 CPUtime=0
/proc/5215/stat : 5215 (p2cudf-user-1.1) R 5214 5214 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 41 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5215/statm: 644 41 0 194 0 30 0

[startup+0.144725 s]
/proc/loadavg: 1.13 1.03 1.01 5/38 5215
/proc/meminfo: memFree=409956/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5156

[startup+0.204741 s]
/proc/loadavg: 1.13 1.03 1.01 5/38 5215
/proc/meminfo: memFree=409956/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5156

[startup+0.304763 s]
/proc/loadavg: 1.13 1.03 1.01 5/38 5215
/proc/meminfo: memFree=409956/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5156

[startup+0.704821 s]
/proc/loadavg: 1.13 1.03 1.01 5/38 5215
/proc/meminfo: memFree=409956/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5156

[startup+1.50501 s]
/proc/loadavg: 1.28 1.06 1.02 5/49 5237
/proc/meminfo: memFree=365696/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=884328 CPUtime=1.46
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 21250 0 1 0 135 11 0 0 25 0 10 0 901179742 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 221082 17454 1727 10 0 218172 0
[pid=5228/tid=5229] ppid=5215 vsize=884328 CPUtime=0.79
/proc/5228/task/5229/stat : 5229 (java) R 5215 5214 25521 34816 2180 4202560 10051 0 1 0 72 7 0 0 25 0 10 0 901179743 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4149743005 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=884328 CPUtime=0
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 901179745 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=884328 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 901179745 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=884328 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 901179745 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=884328 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 901179748 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=884328 CPUtime=0.38
/proc/5228/task/5234/stat : 5234 (java) R 5215 5214 25521 34816 2180 4202560 7128 0 0 0 36 2 0 0 22 0 10 0 901179748 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4149430754 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=884328 CPUtime=0.27
/proc/5228/task/5235/stat : 5235 (java) R 5215 5214 25521 34816 2180 4202560 2955 0 0 0 26 1 0 0 25 0 10 0 901179748 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4152830730 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=884328 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 901179748 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=884328 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 901179748 905551872 17454 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 889484

[startup+3.10538 s]
/proc/loadavg: 1.28 1.06 1.02 4/49 5237
/proc/meminfo: memFree=306884/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=918176 CPUtime=3.06
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 42731 0 1 0 289 17 0 0 25 0 10 0 901179742 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 229544 31994 1732 10 0 226634 0
[pid=5228/tid=5229] ppid=5215 vsize=918176 CPUtime=1.05
/proc/5228/task/5229/stat : 5229 (java) R 5215 5214 25521 34816 2180 4202560 15823 0 1 0 98 7 0 0 25 0 10 0 901179743 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=918176 CPUtime=0
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 901179745 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=918176 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 901179745 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=918176 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 901179745 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=918176 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 901179748 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=918176 CPUtime=1.05
/proc/5228/task/5234/stat : 5234 (java) R 5215 5214 25521 34816 2180 4202560 17851 0 0 0 98 7 0 0 25 0 10 0 901179748 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4148467429 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=918176 CPUtime=0.94
/proc/5228/task/5235/stat : 5235 (java) R 5215 5214 25521 34816 2180 4202560 7941 0 0 0 92 2 0 0 25 0 10 0 901179748 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4152807871 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=918176 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 901179748 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=918176 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 901179748 940212224 31994 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 923332

[startup+6.30765 s]
/proc/loadavg: 1.28 1.06 1.02 2/49 5237
/proc/meminfo: memFree=81560/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=900736 CPUtime=6.21
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 91767 0 1 0 583 38 0 0 25 0 11 0 901179742 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 225184 76732 1773 10 0 222274 0
[pid=5228/tid=5229] ppid=5215 vsize=900736 CPUtime=2.36
/proc/5228/task/5229/stat : 5229 (java) R 5215 5214 25521 34816 2180 4202560 50462 0 1 0 214 22 0 0 25 0 11 0 901179743 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4096892968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=900736 CPUtime=0.31
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 13606 0 0 0 26 5 0 0 16 0 11 0 901179745 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=900736 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 901179745 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=900736 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901179745 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=900736 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901179748 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=900736 CPUtime=1.75
/proc/5228/task/5234/stat : 5234 (java) S 5215 5214 25521 34816 2180 4202560 18543 0 0 0 168 7 0 0 17 0 11 0 901179748 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=900736 CPUtime=1.76
/proc/5228/task/5235/stat : 5235 (java) S 5215 5214 25521 34816 2180 4202560 8039 0 0 0 174 2 0 0 15 0 11 0 901179748 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=900736 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901179748 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=900736 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901179748 922353664 76732 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 905892

[startup+12.7092 s]
/proc/loadavg: 1.39 1.09 1.03 3/50 5238
/proc/meminfo: memFree=66300/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=899584 CPUtime=12.6
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 99319 0 1 0 1218 42 0 0 25 0 11 0 901179742 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 224896 83996 1793 10 0 221986 0
[pid=5228/tid=5229] ppid=5215 vsize=899584 CPUtime=7.7
/proc/5228/task/5229/stat : 5229 (java) R 5215 5214 25521 34816 2180 4202560 50467 0 1 0 748 22 0 0 25 0 11 0 901179743 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4095675694 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=899584 CPUtime=0.85
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 21081 0 0 0 76 9 0 0 16 0 11 0 901179745 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 901179745 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901179745 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901179748 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=899584 CPUtime=1.75
/proc/5228/task/5234/stat : 5234 (java) S 5215 5214 25521 34816 2180 4202560 18543 0 0 0 168 7 0 0 17 0 11 0 901179748 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=899584 CPUtime=2.27
/proc/5228/task/5235/stat : 5235 (java) S 5215 5214 25521 34816 2180 4202560 8111 0 0 0 225 2 0 0 16 0 11 0 901179748 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901179748 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) R 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901179748 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5238] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5238/stat : 5238 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 901180335 921174016 83996 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 904740

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

[startup+15.8097 s]
/proc/loadavg: 1.39 1.09 1.03 2/50 5238
/proc/meminfo: memFree=66424/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=899584 CPUtime=15.7
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 99323 0 1 0 1528 42 0 0 25 0 11 0 901179742 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 224896 84000 1793 10 0 221986 0
[pid=5228/tid=5229] ppid=5215 vsize=899584 CPUtime=10.74
/proc/5228/task/5229/stat : 5229 (java) R 5215 5214 25521 34816 2180 4202560 50467 0 1 0 1052 22 0 0 25 0 11 0 901179743 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4096931268 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=899584 CPUtime=0.85
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 21081 0 0 0 76 9 0 0 15 0 11 0 901179745 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 901179745 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901179745 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901179748 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=899584 CPUtime=1.75
/proc/5228/task/5234/stat : 5234 (java) S 5215 5214 25521 34816 2180 4202560 18543 0 0 0 168 7 0 0 17 0 11 0 901179748 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=899584 CPUtime=2.33
/proc/5228/task/5235/stat : 5235 (java) S 5215 5214 25521 34816 2180 4202560 8115 0 0 0 231 2 0 0 15 0 11 0 901179748 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901179748 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901179748 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5238] ppid=5215 vsize=899584 CPUtime=0
/proc/5228/task/5238/stat : 5238 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 901180335 921174016 84000 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.73
Current children cumulated vsize (KiB) 904740

[startup+19.0102 s]
/proc/loadavg: 1.36 1.09 1.03 3/50 5238
/proc/meminfo: memFree=86512/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=879236 CPUtime=18.9
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 99412 0 1 0 1848 42 0 0 25 0 11 0 901179742 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 219809 79002 1793 10 0 216899 0
[pid=5228/tid=5229] ppid=5215 vsize=879236 CPUtime=13.71
/proc/5228/task/5229/stat : 5229 (java) R 5215 5214 25521 34816 2180 4202560 50467 0 1 0 1349 22 0 0 25 0 11 0 901179743 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4096930813 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=879236 CPUtime=1.08
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 21170 0 0 0 99 9 0 0 15 0 11 0 901179745 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 901179745 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901179745 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901179748 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=879236 CPUtime=1.75
/proc/5228/task/5234/stat : 5234 (java) S 5215 5214 25521 34816 2180 4202560 18543 0 0 0 168 7 0 0 17 0 11 0 901179748 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=879236 CPUtime=2.33
/proc/5228/task/5235/stat : 5235 (java) S 5215 5214 25521 34816 2180 4202560 8115 0 0 0 231 2 0 0 15 0 11 0 901179748 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901179748 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901179748 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5238] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5238/stat : 5238 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 901180335 900337664 79002 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.93
Current children cumulated vsize (KiB) 884392

[startup+19.8104 s]
/proc/loadavg: 1.36 1.09 1.03 2/50 5238
/proc/meminfo: memFree=86512/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=879236 CPUtime=19.7
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 99416 0 1 0 1928 42 0 0 25 0 11 0 901179742 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 219809 79006 1793 10 0 216899 0
[pid=5228/tid=5229] ppid=5215 vsize=879236 CPUtime=14.49
/proc/5228/task/5229/stat : 5229 (java) R 5215 5214 25521 34816 2180 4202560 50467 0 1 0 1427 22 0 0 25 0 11 0 901179743 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4096892255 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=879236 CPUtime=1.08
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 21170 0 0 0 99 9 0 0 15 0 11 0 901179745 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 901179745 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901179745 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901179748 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=879236 CPUtime=1.75
/proc/5228/task/5234/stat : 5234 (java) S 5215 5214 25521 34816 2180 4202560 18543 0 0 0 168 7 0 0 17 0 11 0 901179748 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=879236 CPUtime=2.35
/proc/5228/task/5235/stat : 5235 (java) S 5215 5214 25521 34816 2180 4202560 8119 0 0 0 233 2 0 0 16 0 11 0 901179748 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901179748 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901179748 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5238] ppid=5215 vsize=879236 CPUtime=0
/proc/5228/task/5238/stat : 5238 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 901180335 900337664 79006 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.73
Current children cumulated vsize (KiB) 884392

[startup+20.6059 s]
/proc/loadavg: 1.36 1.09 1.03 2/50 5238
/proc/meminfo: memFree=86512/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=879560 CPUtime=20.22
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 99435 0 1 0 1980 42 0 0 25 0 12 0 901179742 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 219890 79025 1793 10 0 216980 0
[pid=5228/tid=5229] ppid=5215 vsize=879560 CPUtime=14.93
/proc/5228/task/5229/stat : 5229 (java) S 5215 5214 25521 34816 2180 4202560 50475 0 1 0 1471 22 0 0 25 0 12 0 901179743 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=879560 CPUtime=1.08
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 21170 0 0 0 99 9 0 0 15 0 12 0 901179745 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 901179745 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 901179745 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=879560 CPUtime=1.75
/proc/5228/task/5234/stat : 5234 (java) S 5215 5214 25521 34816 2180 4202560 18543 0 0 0 168 7 0 0 17 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=879560 CPUtime=2.43
/proc/5228/task/5235/stat : 5235 (java) S 5215 5214 25521 34816 2180 4202560 8126 0 0 0 241 2 0 0 16 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5238] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5238/stat : 5238 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 901180335 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.25
Current children cumulated vsize (KiB) 884716

[startup+20.806 s]
/proc/loadavg: 1.36 1.09 1.03 1/51 5239
/proc/meminfo: memFree=86504/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=879560 CPUtime=20.22
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 99435 0 1 0 1980 42 0 0 25 0 12 0 901179742 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 219890 79025 1793 10 0 216980 0
[pid=5228/tid=5229] ppid=5215 vsize=879560 CPUtime=14.93
/proc/5228/task/5229/stat : 5229 (java) S 5215 5214 25521 34816 2180 4202560 50475 0 1 0 1471 22 0 0 25 0 12 0 901179743 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=879560 CPUtime=1.08
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 21170 0 0 0 99 9 0 0 15 0 12 0 901179745 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 901179745 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 901179745 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=879560 CPUtime=1.75
/proc/5228/task/5234/stat : 5234 (java) S 5215 5214 25521 34816 2180 4202560 18543 0 0 0 168 7 0 0 17 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=879560 CPUtime=2.43
/proc/5228/task/5235/stat : 5235 (java) S 5215 5214 25521 34816 2180 4202560 8126 0 0 0 241 2 0 0 16 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 901179748 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5238] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5238/stat : 5238 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 901180335 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5239] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5239/stat : 5239 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 901181773 900669440 79025 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.25
Current children cumulated vsize (KiB) 884716

[startup+20.906 s]
/proc/loadavg: 1.36 1.09 1.03 1/51 5239
/proc/meminfo: memFree=86504/1048576 swapFree=2095372/2097144
[pid=5214] ppid=5213 vsize=2576 CPUtime=0
/proc/5214/stat : 5214 (p2cudf-user-1.1) S 5213 5214 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 25 0 1 0 901179739 2637824 274 1283457024 134512640 135304128 4291909392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5214/statm: 644 274 233 194 0 30 0
[pid=5215] ppid=5214 vsize=2580 CPUtime=0.03
/proc/5215/stat : 5215 (p2cudf) S 5214 5214 25521 34816 2180 4202496 395 2994 0 1 0 0 1 2 25 0 1 0 901179739 2641920 283 1283457024 134512640 135304128 4287873888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5215/statm: 645 283 241 194 0 31 0
[pid=5228] ppid=5215 vsize=879560 CPUtime=20.25
/proc/5228/stat : 5228 (java) S 5215 5214 25521 34816 2180 4202496 99436 0 1 0 1983 42 0 0 25 0 11 0 901179742 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5228/statm: 219890 79026 1793 10 0 216980 0
[pid=5228/tid=5229] ppid=5215 vsize=879560 CPUtime=14.93
/proc/5228/task/5229/stat : 5229 (java) S 5215 5214 25521 34816 2180 4202560 50475 0 1 0 1471 22 0 0 20 0 11 0 901179743 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5230] ppid=5215 vsize=879560 CPUtime=1.08
/proc/5228/task/5230/stat : 5230 (java) S 5215 5214 25521 34816 2180 4202560 21170 0 0 0 99 9 0 0 15 0 11 0 901179745 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5231] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5231/stat : 5231 (java) S 5215 5214 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 901179745 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5232] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5232/stat : 5232 (java) S 5215 5214 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901179745 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5233] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5233/stat : 5233 (java) S 5215 5214 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901179748 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5234] ppid=5215 vsize=879560 CPUtime=1.75
/proc/5228/task/5234/stat : 5234 (java) S 5215 5214 25521 34816 2180 4202560 18543 0 0 0 168 7 0 0 17 0 11 0 901179748 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5235] ppid=5215 vsize=879560 CPUtime=2.43
/proc/5228/task/5235/stat : 5235 (java) S 5215 5214 25521 34816 2180 4202560 8126 0 0 0 241 2 0 0 15 0 11 0 901179748 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5236] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5236/stat : 5236 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901179748 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5237] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5237/stat : 5237 (java) S 5215 5214 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901179748 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=5228/tid=5238] ppid=5215 vsize=879560 CPUtime=0
/proc/5228/task/5238/stat : 5238 (java) S 5215 5214 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 901180335 900669440 79026 1283457024 134512640 134550932 4292134416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.28
Current children cumulated vsize (KiB) 884716

Child status: 0
Real time (s): 20.9647
CPU time (s): 20.3373
CPU user time (s): 19.8492
CPU system time (s): 0.48803
CPU usage (%): 97.0074
Max. virtual memory (cumulated for all children) (KiB): 927848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.8492
system time used= 0.48803
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103227
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= 1079
involuntary context switches= 1243

runsolver used 0 second user time and 0 second system time

The end