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/7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.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: 0.99 0.97 0.98 4/40 6967
/proc/meminfo: memFree=487488/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2572 CPUtime=0
/proc/6966/stat : 6966 (p2cudf) R 6965 6965 25521 34816 2180 4202496 348 0 0 0 0 0 0 0 25 0 1 0 901548880 2633728 274 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/6966/statm: 643 274 234 194 0 29 0
[pid=6967] ppid=6966 vsize=2572 CPUtime=0
/proc/6967/stat : 6967 (p2cudf) R 6966 6965 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 901548880 2633728 40 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/6967/statm: 643 40 0 194 0 29 0

[startup+0.145459 s]
/proc/loadavg: 0.99 0.97 0.98 4/40 6967
/proc/meminfo: memFree=487488/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.205459 s]
/proc/loadavg: 0.99 0.97 0.98 4/40 6967
/proc/meminfo: memFree=487488/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.305484 s]
/proc/loadavg: 0.99 0.97 0.98 4/40 6967
/proc/meminfo: memFree=487488/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.709506 s]
/proc/loadavg: 0.99 0.97 0.98 4/40 6967
/proc/meminfo: memFree=487488/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+1.50971 s]
/proc/loadavg: 0.99 0.97 0.98 4/50 6988
/proc/meminfo: memFree=445172/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=879708 CPUtime=1.38
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 20446 0 1 0 133 5 0 0 25 0 10 0 901548887 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 219927 18103 1741 10 0 217017 0
[pid=6979/tid=6980] ppid=6966 vsize=879708 CPUtime=0.75
/proc/6979/task/6980/stat : 6980 (java) R 6966 6965 25521 34816 2180 4202560 11197 0 1 0 71 4 0 0 25 0 10 0 901548889 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4095390961 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=879708 CPUtime=0
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 901548890 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=879708 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 901548891 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=879708 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 901548891 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=879708 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 901548894 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=879708 CPUtime=0.34
/proc/6979/task/6985/stat : 6985 (java) R 6966 6965 25521 34816 2180 4202560 5228 0 0 0 34 0 0 0 24 0 10 0 901548894 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4150217487 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=879708 CPUtime=0.28
/proc/6979/task/6986/stat : 6986 (java) R 6966 6965 25521 34816 2180 4202560 2906 0 0 0 27 1 0 0 25 0 10 0 901548894 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4151836383 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=879708 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 901548894 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=879708 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) R 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 901548894 900820992 18103 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 884852

[startup+3.11042 s]
/proc/loadavg: 0.99 0.97 0.98 4/50 6988
/proc/meminfo: memFree=397380/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=892456 CPUtime=2.84
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 62030 0 1 0 263 21 0 0 25 0 10 0 901548887 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 223114 56818 1741 10 0 220204 0
[pid=6979/tid=6980] ppid=6966 vsize=892456 CPUtime=1.46
/proc/6979/task/6980/stat : 6980 (java) R 6966 6965 25521 34816 2180 4202560 46397 0 1 0 128 18 0 0 25 0 10 0 901548889 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4096060580 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=892456 CPUtime=0
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 901548890 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=892456 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 901548891 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=892456 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 901548891 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=892456 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 901548894 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=892456 CPUtime=0.77
/proc/6979/task/6985/stat : 6985 (java) S 6966 6965 25521 34816 2180 4202560 9051 0 0 0 76 1 0 0 25 0 10 0 901548894 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=892456 CPUtime=0.6
/proc/6979/task/6986/stat : 6986 (java) S 6966 6965 25521 34816 2180 4202560 5467 0 0 0 58 2 0 0 19 0 10 0 901548894 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=892456 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 901548894 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=892456 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 901548894 913874944 56818 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 897600

[startup+6.31151 s]
/proc/loadavg: 1.07 0.99 0.98 4/50 6988
/proc/meminfo: memFree=175640/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=892860 CPUtime=5.99
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 94867 0 1 0 568 31 0 0 25 0 10 0 901548887 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 223215 86938 1766 10 0 220305 0
[pid=6979/tid=6980] ppid=6966 vsize=892860 CPUtime=2.63
/proc/6979/task/6980/stat : 6980 (java) R 6966 6965 25521 34816 2180 4202560 50390 0 1 0 245 18 0 0 25 0 10 0 901548889 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=892860 CPUtime=0.59
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 25856 0 0 0 51 8 0 0 16 0 10 0 901548890 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=892860 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 10 0 901548891 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=892860 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 10 0 901548891 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=892860 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 901548894 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=892860 CPUtime=0.77
/proc/6979/task/6985/stat : 6985 (java) S 6966 6965 25521 34816 2180 4202560 9051 0 0 0 76 1 0 0 25 0 10 0 901548894 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=892860 CPUtime=1.98
/proc/6979/task/6986/stat : 6986 (java) R 6966 6965 25521 34816 2180 4202560 8457 0 0 0 195 3 0 0 16 0 10 0 901548894 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4152042048 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=892860 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 901548894 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=892860 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 901548894 914288640 86938 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 898004

[startup+12.7136 s]
/proc/loadavg: 1.07 0.99 0.98 2/51 6989
/proc/meminfo: memFree=124180/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=892388 CPUtime=12.39
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 95062 0 1 0 1208 31 0 0 25 0 11 0 901548887 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 223097 86966 1791 10 0 220187 0
[pid=6979/tid=6980] ppid=6966 vsize=892388 CPUtime=8.14
/proc/6979/task/6980/stat : 6980 (java) R 6966 6965 25521 34816 2180 4202560 50443 0 1 0 796 18 0 0 25 0 11 0 901548889 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4096714375 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=892388 CPUtime=0.59
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 25856 0 0 0 51 8 0 0 16 0 11 0 901548890 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 901548891 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901548891 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=892388 CPUtime=0.77
/proc/6979/task/6985/stat : 6985 (java) S 6966 6965 25521 34816 2180 4202560 9051 0 0 0 76 1 0 0 25 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=892388 CPUtime=2.86
/proc/6979/task/6986/stat : 6986 (java) S 6966 6965 25521 34816 2180 4202560 8595 0 0 0 283 3 0 0 15 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6989] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6989/stat : 6989 (java) S 6966 6965 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 901549581 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 897532

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

[startup+12.8036 s]
/proc/loadavg: 1.07 0.99 0.98 2/51 6989
/proc/meminfo: memFree=124180/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=892388 CPUtime=12.48
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 95062 0 1 0 1217 31 0 0 25 0 11 0 901548887 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 223097 86966 1791 10 0 220187 0
[pid=6979/tid=6980] ppid=6966 vsize=892388 CPUtime=8.24
/proc/6979/task/6980/stat : 6980 (java) R 6966 6965 25521 34816 2180 4202560 50443 0 1 0 806 18 0 0 25 0 11 0 901548889 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4096852514 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=892388 CPUtime=0.59
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 25856 0 0 0 51 8 0 0 16 0 11 0 901548890 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 901548891 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901548891 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=892388 CPUtime=0.77
/proc/6979/task/6985/stat : 6985 (java) S 6966 6965 25521 34816 2180 4202560 9051 0 0 0 76 1 0 0 25 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=892388 CPUtime=2.86
/proc/6979/task/6986/stat : 6986 (java) S 6966 6965 25521 34816 2180 4202560 8595 0 0 0 283 3 0 0 15 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6989] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6989/stat : 6989 (java) S 6966 6965 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 901549581 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 897532

[startup+16.0044 s]
/proc/loadavg: 1.06 0.99 0.98 2/51 6989
/proc/meminfo: memFree=124180/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=892388 CPUtime=15.68
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 95062 0 1 0 1537 31 0 0 25 0 11 0 901548887 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 223097 86966 1791 10 0 220187 0
[pid=6979/tid=6980] ppid=6966 vsize=892388 CPUtime=11.43
/proc/6979/task/6980/stat : 6980 (java) R 6966 6965 25521 34816 2180 4202560 50443 0 1 0 1125 18 0 0 25 0 11 0 901548889 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4096714375 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=892388 CPUtime=0.59
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 25856 0 0 0 51 8 0 0 15 0 11 0 901548890 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 901548891 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901548891 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=892388 CPUtime=0.77
/proc/6979/task/6985/stat : 6985 (java) S 6966 6965 25521 34816 2180 4202560 9051 0 0 0 76 1 0 0 25 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=892388 CPUtime=2.86
/proc/6979/task/6986/stat : 6986 (java) S 6966 6965 25521 34816 2180 4202560 8595 0 0 0 283 3 0 0 15 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901548894 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6989] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6989/stat : 6989 (java) S 6966 6965 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 901549581 913805312 86966 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.69
Current children cumulated vsize (KiB) 897532

[startup+17.6047 s]
/proc/loadavg: 1.06 0.99 0.98 2/51 6989
/proc/meminfo: memFree=124180/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=892388 CPUtime=17.28
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 95068 0 1 0 1697 31 0 0 25 0 11 0 901548887 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 223097 86972 1791 10 0 220187 0
[pid=6979/tid=6980] ppid=6966 vsize=892388 CPUtime=12.98
/proc/6979/task/6980/stat : 6980 (java) R 6966 6965 25521 34816 2180 4202560 50443 0 1 0 1280 18 0 0 25 0 11 0 901548889 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4096852514 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=892388 CPUtime=0.59
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 25856 0 0 0 51 8 0 0 15 0 11 0 901548890 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 901548891 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901548891 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901548894 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=892388 CPUtime=0.77
/proc/6979/task/6985/stat : 6985 (java) S 6966 6965 25521 34816 2180 4202560 9051 0 0 0 76 1 0 0 25 0 11 0 901548894 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=892388 CPUtime=2.92
/proc/6979/task/6986/stat : 6986 (java) S 6966 6965 25521 34816 2180 4202560 8601 0 0 0 289 3 0 0 15 0 11 0 901548894 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901548894 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901548894 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6989] ppid=6966 vsize=892388 CPUtime=0
/proc/6979/task/6989/stat : 6989 (java) S 6966 6965 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 901549581 913805312 86972 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.29
Current children cumulated vsize (KiB) 897532

[startup+18.0065 s]
/proc/loadavg: 1.06 0.99 0.98 2/51 6989
/proc/meminfo: memFree=124180/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=892712 CPUtime=17.47
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 95085 0 1 0 1716 31 0 0 25 0 12 0 901548887 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 223178 86989 1791 10 0 220268 0
[pid=6979/tid=6980] ppid=6966 vsize=892712 CPUtime=13.11
/proc/6979/task/6980/stat : 6980 (java) S 6966 6965 25521 34816 2180 4202560 50451 0 1 0 1293 18 0 0 25 0 12 0 901548889 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=892712 CPUtime=0.59
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 25856 0 0 0 51 8 0 0 15 0 12 0 901548890 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 901548891 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 901548891 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 901548894 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=892712 CPUtime=0.77
/proc/6979/task/6985/stat : 6985 (java) S 6966 6965 25521 34816 2180 4202560 9051 0 0 0 76 1 0 0 25 0 12 0 901548894 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=892712 CPUtime=2.98
/proc/6979/task/6986/stat : 6986 (java) S 6966 6965 25521 34816 2180 4202560 8606 0 0 0 295 3 0 0 16 0 12 0 901548894 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 901548894 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) R 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 901548894 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6989] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6989/stat : 6989 (java) S 6966 6965 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 901549581 914137088 86989 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.48
Current children cumulated vsize (KiB) 897856

[startup+18.4086 s]
/proc/loadavg: 1.06 0.99 0.98 2/51 6989
/proc/meminfo: memFree=124180/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=892712 CPUtime=17.57
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 95090 0 1 0 1725 32 0 0 25 0 12 0 901548887 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 223178 86994 1791 10 0 220268 0
[pid=6979/tid=6980] ppid=6966 vsize=892712 CPUtime=13.11
/proc/6979/task/6980/stat : 6980 (java) S 6966 6965 25521 34816 2180 4202560 50451 0 1 0 1293 18 0 0 25 0 12 0 901548889 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=892712 CPUtime=0.59
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 25856 0 0 0 51 8 0 0 15 0 12 0 901548890 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 901548891 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 901548891 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 901548894 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=892712 CPUtime=0.77
/proc/6979/task/6985/stat : 6985 (java) S 6966 6965 25521 34816 2180 4202560 9051 0 0 0 76 1 0 0 25 0 12 0 901548894 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=892712 CPUtime=3.01
/proc/6979/task/6986/stat : 6986 (java) R 6966 6965 25521 34816 2180 4202560 8610 0 0 0 298 3 0 0 16 0 12 0 901548894 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4148896224 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 901548894 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) R 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 901548894 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6979/tid=6989] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6989/stat : 6989 (java) S 6966 6965 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 901549581 914137088 86994 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.58
Current children cumulated vsize (KiB) 897856

[startup+18.5026 s]
/proc/loadavg: 1.06 0.99 0.98 2/51 6989
/proc/meminfo: memFree=124180/1048576 swapFree=2095372/2097144
[pid=6965] ppid=6964 vsize=2568 CPUtime=0
/proc/6965/stat : 6965 (p2cudf-user-1.1) S 6964 6965 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 901548879 2629632 273 1283457024 134512640 135304128 4288670656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6965/statm: 642 273 233 194 0 28 0
[pid=6966] ppid=6965 vsize=2576 CPUtime=0.01
/proc/6966/stat : 6966 (p2cudf) S 6965 6965 25521 34816 2180 4202496 392 2996 0 1 0 0 1 0 25 0 1 0 901548880 2637824 282 1283457024 134512640 135304128 4287462080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6966/statm: 644 282 241 194 0 30 0
[pid=6979] ppid=6966 vsize=892712 CPUtime=17.64
/proc/6979/stat : 6979 (java) S 6966 6965 25521 34816 2180 4202496 95092 0 1 0 1728 36 0 0 25 0 11 0 901548887 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6979/statm: 223178 86996 1791 10 0 220268 0
[pid=6979/tid=6980] ppid=6966 vsize=892712 CPUtime=13.11
/proc/6979/task/6980/stat : 6980 (java) S 6966 6965 25521 34816 2180 4202560 50451 0 1 0 1293 18 0 0 19 0 11 0 901548889 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6981] ppid=6966 vsize=892712 CPUtime=0.59
/proc/6979/task/6981/stat : 6981 (java) S 6966 6965 25521 34816 2180 4202560 25856 0 0 0 51 8 0 0 15 0 11 0 901548890 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6982] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6982/stat : 6982 (java) S 6966 6965 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 901548891 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6983] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6983/stat : 6983 (java) S 6966 6965 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901548891 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6984] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6984/stat : 6984 (java) S 6966 6965 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901548894 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6985] ppid=6966 vsize=892712 CPUtime=0.77
/proc/6979/task/6985/stat : 6985 (java) S 6966 6965 25521 34816 2180 4202560 9051 0 0 0 76 1 0 0 25 0 11 0 901548894 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6986] ppid=6966 vsize=892712 CPUtime=3.02
/proc/6979/task/6986/stat : 6986 (java) S 6966 6965 25521 34816 2180 4202560 8612 0 0 0 299 3 0 0 15 0 11 0 901548894 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6987] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6987/stat : 6987 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 901548894 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6988] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6988/stat : 6988 (java) S 6966 6965 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 901548894 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=6979/tid=6989] ppid=6966 vsize=892712 CPUtime=0
/proc/6979/task/6989/stat : 6989 (java) S 6966 6965 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 901549581 914137088 86996 1283457024 134512640 134550932 4291327248 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.65
Current children cumulated vsize (KiB) 897856

Child status: 0
Real time (s): 18.5601
CPU time (s): 17.7011
CPU user time (s): 17.3011
CPU system time (s): 0.400025
CPU usage (%): 95.3717
Max. virtual memory (cumulated for all children) (KiB): 902468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.3011
system time used= 0.400025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98879
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= 1248
involuntary context switches= 1366

runsolver used 0 second user time and 0.004 second system time

The end