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: runsolver -s SIGUSR1 -M 1124 -C 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/real/8680dd8a-8600-11e0-b285-00163e1e087d.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/8680dd8a-8600-11e0-b285-00163e1e087d.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/real/8680dd8a-8600-11e0-b285-00163e1e087d.cudf.result -sum(solution,installedsize),-count(removed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 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

[startup+0 s]
/proc/loadavg: 1.36 1.19 1.00 2/56 10904
/proc/meminfo: memFree=484828/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=3152 CPUtime=0
/proc/10904/stat : 10904 (runsolver) R 10903 32685 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 37760024 3227648 32 18446744073709551615 134512640 134586868 4287724416 4287722464 4152149040 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.107537 s]
/proc/loadavg: 1.36 1.19 1.00 2/56 10904
/proc/meminfo: memFree=484828/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200334 s]
/proc/loadavg: 1.36 1.19 1.00 2/56 10904
/proc/meminfo: memFree=484828/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300338 s]
/proc/loadavg: 1.36 1.19 1.00 2/56 10904
/proc/meminfo: memFree=484828/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700225 s]
/proc/loadavg: 1.36 1.19 1.00 2/56 10904
/proc/meminfo: memFree=484828/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50056 s]
/proc/loadavg: 1.36 1.19 1.00 4/67 10916
/proc/meminfo: memFree=376728/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
[pid=10907] ppid=10904 vsize=1058056 CPUtime=1.46
/proc/10907/stat : 10907 (java) S 10904 10904 32685 0 -1 4202496 39642 0 0 0 133 13 0 0 20 0 10 0 37760025 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140734976424128 140248895270517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10907/statm: 264514 35959 2349 9 0 251864 0
[pid=10907/tid=10908] ppid=10904 vsize=1058056 CPUtime=0.61
/proc/10907/task/10908/stat : 10908 (java) R 10904 10904 32685 0 -1 4202560 19089 0 0 0 55 6 0 0 20 0 10 0 37760025 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140248901796544 140248879531255 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=10907/tid=10909] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10909/stat : 10909 (java) S 10904 10904 32685 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 37760027 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140248794442880 140248895284811 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10910] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10910/stat : 10910 (java) S 10904 10904 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 37760027 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140248793389072 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10911] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10911/stat : 10911 (java) S 10904 10904 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 37760027 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140248792336288 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10912] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10912/stat : 10912 (java) S 10904 10904 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37760030 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140248791284720 140248895292448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10913] ppid=10904 vsize=1058056 CPUtime=0.43
/proc/10907/task/10913/stat : 10913 (java) R 10904 10904 32685 0 -1 4202560 8911 0 0 0 40 3 0 0 20 0 10 0 37760030 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140248790231824 140248878147392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10914] ppid=10904 vsize=1058056 CPUtime=0.39
/proc/10907/task/10914/stat : 10914 (java) R 10904 10904 32685 0 -1 4202560 10352 0 0 0 36 3 0 0 20 0 10 0 37760030 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140248789179152 140248880937268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10915] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10915/stat : 10915 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37760030 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140248788126928 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10916] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10916/stat : 10916 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37760030 1083449344 35959 18446744073709551615 4194304 4228012 140734976433104 140248787074432 140248895284811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 1067228

[startup+3.10057 s]
/proc/loadavg: 1.49 1.22 1.01 2/67 10916
/proc/meminfo: memFree=196060/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
[pid=10907] ppid=10904 vsize=1058056 CPUtime=2.96
/proc/10907/stat : 10907 (java) S 10904 10904 32685 0 -1 4202496 90792 0 0 0 268 28 0 0 20 0 10 0 37760025 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140734976424128 140248895270517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10907/statm: 264514 87109 2370 9 0 251864 0
[pid=10907/tid=10908] ppid=10904 vsize=1058056 CPUtime=1.52
/proc/10907/task/10908/stat : 10908 (java) S 10904 10904 32685 0 -1 4202560 47429 0 0 0 136 16 0 0 20 0 10 0 37760025 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140248901804464 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=10907/tid=10909] ppid=10904 vsize=1058056 CPUtime=0.4
/proc/10907/task/10909/stat : 10909 (java) R 10904 10904 32685 0 -1 4202560 22634 0 0 0 34 6 0 0 20 0 10 0 37760027 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140248794442256 140248879581305 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10910] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10910/stat : 10910 (java) S 10904 10904 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 37760027 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140248793389072 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10911] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10911/stat : 10911 (java) S 10904 10904 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37760027 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140248792336288 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10912] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10912/stat : 10912 (java) S 10904 10904 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37760030 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140248791284720 140248895292448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10913] ppid=10904 vsize=1058056 CPUtime=0.53
/proc/10907/task/10913/stat : 10913 (java) S 10904 10904 32685 0 -1 4202560 9010 0 0 0 50 3 0 0 20 0 10 0 37760030 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140248790232080 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10914] ppid=10904 vsize=1058056 CPUtime=0.49
/proc/10907/task/10914/stat : 10914 (java) S 10904 10904 32685 0 -1 4202560 10428 0 0 0 46 3 0 0 20 0 10 0 37760030 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140248789179408 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10915] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10915/stat : 10915 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37760030 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140248788126928 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10916] ppid=10904 vsize=1058056 CPUtime=0
/proc/10907/task/10916/stat : 10916 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37760030 1083449344 87109 18446744073709551615 4194304 4228012 140734976433104 140248787074432 140248895284811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 1067228

[startup+6.30057 s]
/proc/loadavg: 1.49 1.22 1.01 4/67 10916
/proc/meminfo: memFree=28040/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
[pid=10907] ppid=10904 vsize=1055044 CPUtime=6.05
/proc/10907/stat : 10907 (java) S 10904 10904 32685 0 -1 4202496 116869 0 0 0 569 36 0 0 20 0 10 0 37760025 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140734976424128 140248895270517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10907/statm: 263761 111517 2376 9 0 251111 0
[pid=10907/tid=10908] ppid=10904 vsize=1055044 CPUtime=2.88
/proc/10907/task/10908/stat : 10908 (java) R 10904 10904 32685 0 -1 4202560 47754 0 0 0 271 17 0 0 20 0 10 0 37760025 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140248901804168 140248799317036 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0
[pid=10907/tid=10909] ppid=10904 vsize=1055044 CPUtime=0.86
/proc/10907/task/10909/stat : 10909 (java) S 10904 10904 32685 0 -1 4202560 47088 0 0 0 76 10 0 0 20 0 10 0 37760027 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140248794442880 140248895284811 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10910] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10910/stat : 10910 (java) S 10904 10904 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 37760027 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140248793389072 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10911] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10911/stat : 10911 (java) S 10904 10904 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37760027 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140248792336288 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10912] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10912/stat : 10912 (java) S 10904 10904 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37760030 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140248791284720 140248895292448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10913] ppid=10904 vsize=1055044 CPUtime=1.2
/proc/10907/task/10913/stat : 10913 (java) S 10904 10904 32685 0 -1 4202560 9097 0 0 0 117 3 0 0 20 0 10 0 37760030 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140248790232080 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10914] ppid=10904 vsize=1055044 CPUtime=1.07
/proc/10907/task/10914/stat : 10914 (java) S 10904 10904 32685 0 -1 4202560 11639 0 0 0 103 4 0 0 20 0 10 0 37760030 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140248789179408 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10915] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10915/stat : 10915 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37760030 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140248788126928 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10916] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10916/stat : 10916 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37760030 1080365056 111517 18446744073709551615 4194304 4228012 140734976433104 140248787074432 140248895284811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 1064216

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

[startup+6.40074 s]
/proc/loadavg: 1.49 1.22 1.01 4/67 10916
/proc/meminfo: memFree=28040/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
[pid=10907] ppid=10904 vsize=1055044 CPUtime=6.14
/proc/10907/stat : 10907 (java) S 10904 10904 32685 0 -1 4202496 116885 0 0 0 578 36 0 0 20 0 10 0 37760025 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140734976424128 140248895270517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10907/statm: 263761 111533 2376 9 0 251111 0
[pid=10907/tid=10908] ppid=10904 vsize=1055044 CPUtime=2.93
/proc/10907/task/10908/stat : 10908 (java) R 10904 10904 32685 0 -1 4202560 47766 0 0 0 276 17 0 0 20 0 10 0 37760025 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140248901804696 140248799462948 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0
[pid=10907/tid=10909] ppid=10904 vsize=1055044 CPUtime=0.86
/proc/10907/task/10909/stat : 10909 (java) S 10904 10904 32685 0 -1 4202560 47088 0 0 0 76 10 0 0 20 0 10 0 37760027 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140248794442880 140248895284811 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10910] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10910/stat : 10910 (java) S 10904 10904 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 37760027 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140248793389072 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10911] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10911/stat : 10911 (java) S 10904 10904 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37760027 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140248792336288 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10912] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10912/stat : 10912 (java) S 10904 10904 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37760030 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140248791284720 140248895292448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10913] ppid=10904 vsize=1055044 CPUtime=1.22
/proc/10907/task/10913/stat : 10913 (java) R 10904 10904 32685 0 -1 4202560 9099 0 0 0 119 3 0 0 20 0 10 0 37760030 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140248790231824 140248879574902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10914] ppid=10904 vsize=1055044 CPUtime=1.1
/proc/10907/task/10914/stat : 10914 (java) R 10904 10904 32685 0 -1 4202560 11641 0 0 0 106 4 0 0 20 0 10 0 37760030 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140248789179152 140248876885254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10915] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10915/stat : 10915 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37760030 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140248788126928 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10916] ppid=10904 vsize=1055044 CPUtime=0
/proc/10907/task/10916/stat : 10916 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37760030 1080365056 111533 18446744073709551615 4194304 4228012 140734976433104 140248787074432 140248895284811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 1064216

[startup+7.20071 s]
/proc/loadavg: 1.49 1.22 1.01 4/68 10917
/proc/meminfo: memFree=27288/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
[pid=10907] ppid=10904 vsize=1057100 CPUtime=6.59
/proc/10907/stat : 10907 (java) S 10904 10904 32685 0 -1 4202496 116986 0 0 0 622 37 0 0 20 0 11 0 37760025 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140734976424128 140248895270517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10907/statm: 264275 111632 2377 9 0 251625 0
[pid=10907/tid=10908] ppid=10904 vsize=1057100 CPUtime=3.11
/proc/10907/task/10908/stat : 10908 (java) S 10904 10904 32685 0 -1 4202560 47817 0 0 0 294 17 0 0 20 0 11 0 37760025 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140248901804976 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0
[pid=10907/tid=10909] ppid=10904 vsize=1057100 CPUtime=0.87
/proc/10907/task/10909/stat : 10909 (java) S 10904 10904 32685 0 -1 4202560 47088 0 0 0 76 11 0 0 20 0 11 0 37760027 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140248794442880 140248895284811 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10910] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10910/stat : 10910 (java) S 10904 10904 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37760027 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140248793389072 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10911] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10911/stat : 10911 (java) S 10904 10904 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37760027 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140248792336288 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10912] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10912/stat : 10912 (java) S 10904 10904 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37760030 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140248791284720 140248895292448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10913] ppid=10904 vsize=1057100 CPUtime=1.35
/proc/10907/task/10913/stat : 10913 (java) S 10904 10904 32685 0 -1 4202560 9113 0 0 0 132 3 0 0 20 0 11 0 37760030 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140248790232080 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10914] ppid=10904 vsize=1057100 CPUtime=1.23
/proc/10907/task/10914/stat : 10914 (java) S 10904 10904 32685 0 -1 4202560 11665 0 0 0 119 4 0 0 20 0 11 0 37760030 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140248789179408 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10915] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10915/stat : 10915 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37760030 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140248788126928 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10916] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10916/stat : 10916 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37760030 1082470400 111632 18446744073709551615 4194304 4228012 140734976433104 140248787074432 140248895284811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 1066272

[startup+7.60072 s]
/proc/loadavg: 1.49 1.22 1.01 4/68 10917
/proc/meminfo: memFree=27288/1022884 swapFree=0/0
[pid=10904] ppid=10903 vsize=9172 CPUtime=0
/proc/10904/stat : 10904 (p2cudf-basic-1.) S 10903 10904 32685 0 -1 4202496 459 290 0 0 0 0 0 0 20 0 1 0 37760024 9392128 331 18446744073709551615 4194304 5129932 140733257269424 140733257267568 140670900773982 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10904/statm: 2293 331 280 229 0 53 0
[pid=10907] ppid=10904 vsize=1057100 CPUtime=6.84
/proc/10907/stat : 10907 (java) S 10904 10904 32685 0 -1 4202496 116991 0 0 0 640 44 0 0 20 0 11 0 37760025 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140734976424128 140248895270517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10907/statm: 264275 111637 2378 9 0 251625 0
[pid=10907/tid=10908] ppid=10904 vsize=1057100 CPUtime=3.11
/proc/10907/task/10908/stat : 10908 (java) S 10904 10904 32685 0 -1 4202560 47817 0 0 0 294 17 0 0 20 0 11 0 37760025 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140248901804976 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0
[pid=10907/tid=10909] ppid=10904 vsize=1057100 CPUtime=0.87
/proc/10907/task/10909/stat : 10909 (java) S 10904 10904 32685 0 -1 4202560 47088 0 0 0 76 11 0 0 20 0 11 0 37760027 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140248794442880 140248895284811 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10910] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10910/stat : 10910 (java) S 10904 10904 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37760027 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140248793389072 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10911] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10911/stat : 10911 (java) S 10904 10904 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37760027 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140248792336288 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10912] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10912/stat : 10912 (java) S 10904 10904 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37760030 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140248791284720 140248895292448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10913] ppid=10904 vsize=1057100 CPUtime=1.4
/proc/10907/task/10913/stat : 10913 (java) R 10904 10904 32685 0 -1 4202560 9113 0 0 0 137 3 0 0 20 0 11 0 37760030 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140248790231824 140248877115105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10914] ppid=10904 vsize=1057100 CPUtime=1.27
/proc/10907/task/10914/stat : 10914 (java) R 10904 10904 32685 0 -1 4202560 11667 0 0 0 123 4 0 0 20 0 11 0 37760030 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140248789179152 140248879549979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10915] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10915/stat : 10915 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37760030 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140248788126928 140248895283924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10907/tid=10916] ppid=10904 vsize=1057100 CPUtime=0
/proc/10907/task/10916/stat : 10916 (java) S 10904 10904 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37760030 1082470400 111637 18446744073709551615 4194304 4228012 140734976433104 140248787074432 140248895284811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 1066272

Child status: 0
Real time (s): 7.67188
CPU time (s): 6.92443
CPU user time (s): 6.4444
CPU system time (s): 0.48003
CPU usage (%): 90.2573
Max. virtual memory (cumulated for all children) (KiB): 1067700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.4444
system time used= 0.48003
maximum resident set size= 448060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117767
page faults= 0
swaps= 0
block input operations= 38344
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 876
involuntary context switches= 1598

runsolver used 0.024001 second user time and 0.044002 second system time

The end