PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM	affd575590f5a6117d93002dff93565b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	212680
Biggest coefficient in the objective function	38252041742581760
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	82366741301042724864
Number of bits of the sum of numbers in the objective function	67
Biggest number in a constraint	38252041742581760
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	82366741301042724864
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.86856
Number of variables	309773
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	24690
Trace number 39963

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 23:22:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28023 boxname=wulflinc1 idbench=979 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  affd575590f5a6117d93002dff93565b  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod011.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod011.opb
IDLAUNCH: 28023
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        709328 kB
Buffers:         33184 kB
Cached:         266388 kB
SwapCached:       1192 kB
Active:          52348 kB
Inactive:       249504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        709076 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            17776 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 23:42:16 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 28023 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.64 0.87 0.88 2/55 13671
Raw data (stat): 13671 (runsolver) R 13670 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 840060620 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.70 0.87 0.88 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 1994 0 0 0 991 6 0 0 25 0 1 0 840060620 15978496 1914 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3901 1914 1111 63 0 3838 0
vsize: 15604
[startup+20.001 s]
Raw data (loadavg): 0.74 0.88 0.88 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2225 0 0 0 1991 6 0 0 25 0 1 0 840060620 16875520 2145 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2145 1111 63 0 4057 0
vsize: 16480
[startup+30.0007 s]
Raw data (loadavg): 0.78 0.88 0.88 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2397 0 0 0 2991 6 0 0 25 0 1 0 840060620 17625088 2317 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4303 2317 1111 63 0 4240 0
vsize: 17212
[startup+40.0005 s]
Raw data (loadavg): 0.81 0.88 0.88 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2479 0 0 0 3991 7 0 0 25 0 1 0 840060620 17903616 2399 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4371 2399 1111 63 0 4308 0
vsize: 17484
[startup+50.0013 s]
Raw data (loadavg): 0.84 0.89 0.88 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2558 0 0 0 4991 7 0 0 25 0 1 0 840060620 18313216 2478 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4471 2478 1111 63 0 4408 0
vsize: 17884
[startup+60.0015 s]
Raw data (loadavg): 0.87 0.89 0.88 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2620 0 0 0 5991 7 0 0 25 0 1 0 840060620 18452480 2540 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4505 2540 1111 63 0 4442 0
vsize: 18020
[startup+70.0019 s]
Raw data (loadavg): 0.89 0.89 0.88 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2681 0 0 0 6992 7 0 0 25 0 1 0 840060620 18731008 2601 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4573 2601 1111 63 0 4510 0
vsize: 18292
[startup+80.0016 s]
Raw data (loadavg): 0.90 0.90 0.88 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2748 0 0 0 7991 7 0 0 25 0 1 0 840060620 19009536 2668 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4641 2668 1111 63 0 4578 0
vsize: 18564
[startup+90.0014 s]
Raw data (loadavg): 0.92 0.90 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2824 0 0 0 8992 7 0 0 25 0 1 0 840060620 19288064 2744 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4709 2744 1111 63 0 4646 0
vsize: 18836
[startup+100.001 s]
Raw data (loadavg): 0.93 0.90 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2904 0 0 0 9992 7 0 0 25 0 1 0 840060620 19701760 2824 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4810 2824 1111 63 0 4747 0
vsize: 19240
[startup+110.001 s]
Raw data (loadavg): 0.94 0.90 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 2971 0 0 0 10992 7 0 0 25 0 1 0 840060620 19976192 2891 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4877 2891 1111 63 0 4814 0
vsize: 19508
[startup+120.002 s]
Raw data (loadavg): 0.95 0.91 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3039 0 0 0 11992 7 0 0 25 0 1 0 840060620 20250624 2959 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4944 2959 1111 63 0 4881 0
vsize: 19776
[startup+130.002 s]
Raw data (loadavg): 0.96 0.91 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3117 0 0 0 12992 8 0 0 25 0 1 0 840060620 20545536 3037 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 3037 1111 63 0 4953 0
vsize: 20064
[startup+140.001 s]
Raw data (loadavg): 0.96 0.91 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3190 0 0 0 13992 8 0 0 25 0 1 0 840060620 20819968 3110 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 3110 1111 63 0 5020 0
vsize: 20332
[startup+150.002 s]
Raw data (loadavg): 0.97 0.91 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3276 0 0 0 14992 8 0 0 25 0 1 0 840060620 21229568 3196 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5183 3196 1111 63 0 5120 0
vsize: 20732
[startup+160.002 s]
Raw data (loadavg): 0.97 0.92 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3343 0 0 0 15991 8 0 0 25 0 1 0 840060620 21499904 3263 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5249 3263 1111 63 0 5186 0
vsize: 20996
[startup+170.002 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3411 0 0 0 16992 8 0 0 25 0 1 0 840060620 21778432 3331 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5317 3331 1111 63 0 5254 0
vsize: 21268
[startup+180.002 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3480 0 0 0 17992 9 0 0 25 0 1 0 840060620 22061056 3400 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5386 3400 1111 63 0 5323 0
vsize: 21544
[startup+190.001 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3548 0 0 0 18992 9 0 0 25 0 1 0 840060620 22335488 3468 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 3468 1111 63 0 5390 0
vsize: 21812
[startup+200.001 s]
Raw data (loadavg): 0.98 0.92 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3615 0 0 0 19992 9 0 0 25 0 1 0 840060620 22614016 3535 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5521 3535 1111 63 0 5458 0
vsize: 22084
[startup+210.001 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3689 0 0 0 20991 9 0 0 25 0 1 0 840060620 22888448 3609 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5588 3609 1111 63 0 5525 0
vsize: 22352
[startup+220.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3752 0 0 0 21991 10 0 0 25 0 1 0 840060620 23166976 3672 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5656 3672 1111 63 0 5593 0
vsize: 22624
[startup+230.001 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3819 0 0 0 22991 10 0 0 25 0 1 0 840060620 23449600 3739 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 3739 1111 63 0 5662 0
vsize: 22900
[startup+240.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3898 0 0 0 23991 10 0 0 25 0 1 0 840060620 23728128 3818 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5793 3818 1111 63 0 5730 0
vsize: 23172
[startup+250.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 3960 0 0 0 24991 11 0 0 25 0 1 0 840060620 24002560 3880 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5860 3880 1111 63 0 5797 0
vsize: 23440
[startup+260.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4021 0 0 0 25991 11 0 0 25 0 1 0 840060620 24281088 3941 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5928 3941 1111 63 0 5865 0
vsize: 23712
[startup+270.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4097 0 0 0 26991 11 0 0 25 0 1 0 840060620 24563712 4017 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5997 4017 1111 63 0 5934 0
vsize: 23988
[startup+280.001 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4159 0 0 0 27991 11 0 0 25 0 1 0 840060620 24842240 4079 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6065 4079 1111 63 0 6002 0
vsize: 24260
[startup+290.001 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4227 0 0 0 28991 11 0 0 25 0 1 0 840060620 25116672 4147 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6132 4147 1111 63 0 6069 0
vsize: 24528
[startup+300.001 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4300 0 0 0 29991 12 0 0 25 0 1 0 840060620 25395200 4220 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6200 4220 1111 63 0 6137 0
vsize: 24800
[startup+310.001 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4374 0 0 0 30990 12 0 0 25 0 1 0 840060620 25669632 4294 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6267 4294 1111 63 0 6204 0
vsize: 25068
[startup+320.001 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4456 0 0 0 31990 12 0 0 25 0 1 0 840060620 26087424 4376 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6369 4376 1111 63 0 6306 0
vsize: 25476
[startup+330.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4523 0 0 0 32990 12 0 0 25 0 1 0 840060620 26361856 4443 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6436 4443 1111 63 0 6373 0
vsize: 25744
[startup+340.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4597 0 0 0 33990 13 0 0 25 0 1 0 840060620 26636288 4517 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6503 4517 1111 63 0 6440 0
vsize: 26012
[startup+350.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4665 0 0 0 34990 13 0 0 25 0 1 0 840060620 26910720 4585 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6570 4585 1111 63 0 6507 0
vsize: 26280
[startup+360.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4734 0 0 0 35990 13 0 0 25 0 1 0 840060620 27197440 4654 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6640 4654 1111 63 0 6577 0
vsize: 26560
[startup+370.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4808 0 0 0 36990 13 0 0 25 0 1 0 840060620 27471872 4728 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6707 4728 1111 63 0 6644 0
vsize: 26828
[startup+380.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4875 0 0 0 37990 13 0 0 25 0 1 0 840060620 27750400 4795 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6775 4795 1111 63 0 6712 0
vsize: 27100
[startup+390.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 4943 0 0 0 38990 13 0 0 25 0 1 0 840060620 28028928 4863 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 4863 1111 63 0 6780 0
vsize: 27372
[startup+400.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5017 0 0 0 39990 14 0 0 25 0 1 0 840060620 28303360 4937 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6910 4937 1111 63 0 6847 0
vsize: 27640
[startup+410.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5099 0 0 0 40990 14 0 0 25 0 1 0 840060620 28717056 5019 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7011 5019 1111 63 0 6948 0
vsize: 28044
[startup+420.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5185 0 0 0 41990 14 0 0 25 0 1 0 840060620 28991488 5105 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7078 5105 1111 63 0 7015 0
vsize: 28312
[startup+430.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5258 0 0 0 42991 14 0 0 25 0 1 0 840060620 29261824 5178 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7144 5178 1111 63 0 7081 0
vsize: 28576
[startup+440.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5326 0 0 0 43991 14 0 0 25 0 1 0 840060620 29536256 5246 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7211 5246 1111 63 0 7148 0
vsize: 28844
[startup+450.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5395 0 0 0 44990 14 0 0 25 0 1 0 840060620 29822976 5315 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7281 5315 1111 63 0 7218 0
vsize: 29124
[startup+460.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5476 0 0 0 45990 15 0 0 25 0 1 0 840060620 30257152 5396 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7387 5396 1111 63 0 7324 0
vsize: 29548
[startup+470.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5543 0 0 0 46990 15 0 0 25 0 1 0 840060620 30531584 5463 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7454 5463 1111 63 0 7391 0
vsize: 29816
[startup+480.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5617 0 0 0 47990 15 0 0 25 0 1 0 840060620 30806016 5537 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7521 5537 1111 63 0 7458 0
vsize: 30084
[startup+490.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5691 0 0 0 48990 15 0 0 25 0 1 0 840060620 31080448 5611 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7588 5611 1111 63 0 7525 0
vsize: 30352
[startup+500.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5766 0 0 0 49990 15 0 0 25 0 1 0 840060620 31363072 5686 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7657 5686 1111 63 0 7594 0
vsize: 30628
[startup+510.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5839 0 0 0 50990 16 0 0 25 0 1 0 840060620 31772672 5759 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7757 5759 1111 63 0 7694 0
vsize: 31028
[startup+520.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5907 0 0 0 51991 16 0 0 25 0 1 0 840060620 32047104 5827 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7824 5827 1111 63 0 7761 0
vsize: 31296
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 5968 0 0 0 52991 16 0 0 25 0 1 0 840060620 32186368 5888 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7858 5888 1111 63 0 7795 0
vsize: 31432
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6037 0 0 0 53991 17 0 0 25 0 1 0 840060620 32460800 5957 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 5957 1111 63 0 7862 0
vsize: 31700
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6098 0 0 0 54991 17 0 0 25 0 1 0 840060620 32743424 6018 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7994 6018 1111 63 0 7931 0
vsize: 31976
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6171 0 0 0 55990 17 0 0 25 0 1 0 840060620 33017856 6091 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8061 6091 1111 63 0 7998 0
vsize: 32244
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6240 0 0 0 56991 17 0 0 25 0 1 0 840060620 33296384 6160 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8129 6160 1111 63 0 8066 0
vsize: 32516
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6307 0 0 0 57991 17 0 0 25 0 1 0 840060620 33570816 6227 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8196 6227 1111 63 0 8133 0
vsize: 32784
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6376 0 0 0 58991 18 0 0 25 0 1 0 840060620 33845248 6296 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8263 6296 1111 63 0 8200 0
vsize: 33052
[startup+600.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6450 0 0 0 60002 18 0 0 25 0 1 0 840060620 34263040 6370 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8365 6370 1111 63 0 8302 0
vsize: 33460
[startup+610.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6523 0 0 0 61003 18 0 0 25 0 1 0 840060620 34537472 6443 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8432 6443 1111 63 0 8369 0
vsize: 33728
[startup+620.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6591 0 0 0 62003 18 0 0 25 0 1 0 840060620 34811904 6511 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8499 6511 1111 63 0 8436 0
vsize: 33996
[startup+630.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6658 0 0 0 63003 18 0 0 25 0 1 0 840060620 35090432 6578 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8567 6578 1111 63 0 8504 0
vsize: 34268
[startup+640.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6729 0 0 0 64003 18 0 0 25 0 1 0 840060620 35373056 6649 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8636 6649 1111 63 0 8573 0
vsize: 34544
[startup+650.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6815 0 0 0 65003 18 0 0 25 0 1 0 840060620 35647488 6735 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8703 6735 1111 63 0 8640 0
vsize: 34812
[startup+660.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6895 0 0 0 66003 18 0 0 25 0 1 0 840060620 36057088 6815 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8803 6815 1111 63 0 8740 0
vsize: 35212
[startup+670.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 6955 0 0 0 67003 19 0 0 25 0 1 0 840060620 36331520 6875 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8870 6875 1111 63 0 8807 0
vsize: 35480
[startup+680.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7032 0 0 0 68003 19 0 0 25 0 1 0 840060620 36614144 6952 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8939 6952 1111 63 0 8876 0
vsize: 35756
[startup+690.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7099 0 0 0 69003 19 0 0 25 0 1 0 840060620 36888576 7019 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9006 7019 1111 63 0 8943 0
vsize: 36024
[startup+700.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7185 0 0 0 70003 19 0 0 25 0 1 0 840060620 37163008 7105 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9073 7105 1111 63 0 9010 0
vsize: 36292
[startup+710.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7258 0 0 0 71003 19 0 0 25 0 1 0 840060620 37437440 7178 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9140 7178 1111 63 0 9077 0
vsize: 36560
[startup+720.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7326 0 0 0 72003 20 0 0 25 0 1 0 840060620 37842944 7246 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9239 7246 1111 63 0 9176 0
vsize: 36956
[startup+730.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7389 0 0 0 73003 20 0 0 25 0 1 0 840060620 37990400 7309 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9275 7309 1111 63 0 9212 0
vsize: 37100
[startup+740.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7462 0 0 0 74003 20 0 0 25 0 1 0 840060620 38404096 7382 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9376 7382 1111 63 0 9313 0
vsize: 37504
[startup+750.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7524 0 0 0 75003 20 0 0 25 0 1 0 840060620 38543360 7444 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9410 7444 1111 63 0 9347 0
vsize: 37640
[startup+760.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7598 0 0 0 76003 20 0 0 25 0 1 0 840060620 38952960 7518 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9510 7518 1111 63 0 9447 0
vsize: 38040
[startup+770.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7686 0 0 0 77003 20 0 0 25 0 1 0 840060620 39227392 7606 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9577 7606 1111 63 0 9514 0
vsize: 38308
[startup+780.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7766 0 0 0 78003 21 0 0 25 0 1 0 840060620 39645184 7686 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9679 7686 1111 63 0 9616 0
vsize: 38716
[startup+790.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7840 0 0 0 79003 21 0 0 25 0 1 0 840060620 39919616 7760 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9746 7760 1111 63 0 9683 0
vsize: 38984
[startup+800.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7920 0 0 0 80003 21 0 0 25 0 1 0 840060620 40194048 7840 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9813 7840 1111 63 0 9750 0
vsize: 39252
[startup+810.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 7981 0 0 0 81003 21 0 0 25 0 1 0 840060620 40468480 7901 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9880 7901 1111 63 0 9817 0
vsize: 39520
[startup+820.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8062 0 0 0 82003 21 0 0 25 0 1 0 840060620 40747008 7982 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9948 7982 1111 63 0 9885 0
vsize: 39792
[startup+830.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8136 0 0 0 83003 22 0 0 25 0 1 0 840060620 41160704 8056 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10049 8056 1111 63 0 9986 0
vsize: 40196
[startup+840.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8210 0 0 0 84003 22 0 0 25 0 1 0 840060620 41435136 8130 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10116 8130 1111 63 0 10053 0
vsize: 40464
[startup+850.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8283 0 0 0 85003 22 0 0 25 0 1 0 840060620 41709568 8203 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10183 8203 1111 63 0 10120 0
vsize: 40732
[startup+860.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8359 0 0 0 86003 22 0 0 25 0 1 0 840060620 41984000 8279 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10250 8279 1111 63 0 10187 0
vsize: 41000
[startup+870.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8426 0 0 0 87003 22 0 0 25 0 1 0 840060620 42262528 8346 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10318 8346 1111 63 0 10255 0
vsize: 41272
[startup+880.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8506 0 0 0 88003 23 0 0 25 0 1 0 840060620 42676224 8426 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 8426 1111 63 0 10356 0
vsize: 41676
[startup+890.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8587 0 0 0 89003 23 0 0 25 0 1 0 840060620 42950656 8507 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10486 8507 1111 63 0 10423 0
vsize: 41944
[startup+900.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8666 0 0 0 90003 23 0 0 25 0 1 0 840060620 43376640 8586 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10590 8586 1111 63 0 10527 0
vsize: 42360
[startup+910.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8741 0 0 0 91003 23 0 0 25 0 1 0 840060620 43659264 8661 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10659 8661 1111 63 0 10596 0
vsize: 42636
[startup+920.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8809 0 0 0 92003 23 0 0 25 0 1 0 840060620 43937792 8729 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10727 8729 1111 63 0 10664 0
vsize: 42908
[startup+930.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8876 0 0 0 93003 23 0 0 25 0 1 0 840060620 44212224 8796 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10794 8796 1111 63 0 10731 0
vsize: 43176
[startup+940.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 8950 0 0 0 94004 23 0 0 25 0 1 0 840060620 44490752 8870 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10862 8870 1111 63 0 10799 0
vsize: 43448
[startup+950.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9026 0 0 0 95003 23 0 0 25 0 1 0 840060620 44769280 8946 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10930 8946 1111 63 0 10867 0
vsize: 43720
[startup+960.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9099 0 0 0 96004 23 0 0 25 0 1 0 840060620 45043712 9019 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10997 9019 1111 63 0 10934 0
vsize: 43988
[startup+970.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9167 0 0 0 97004 24 0 0 25 0 1 0 840060620 45318144 9087 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11064 9087 1111 63 0 11001 0
vsize: 44256
[startup+980.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9247 0 0 0 98004 24 0 0 25 0 1 0 840060620 45731840 9167 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11165 9167 1111 63 0 11102 0
vsize: 44660
[startup+990.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9328 0 0 0 99004 24 0 0 25 0 1 0 840060620 46006272 9248 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11232 9248 1111 63 0 11169 0
vsize: 44928
[startup+1000.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9403 0 0 0 100004 24 0 0 25 0 1 0 840060620 46284800 9323 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11300 9323 1111 63 0 11237 0
vsize: 45200
[startup+1010.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9472 0 0 0 101004 24 0 0 25 0 1 0 840060620 46559232 9392 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11367 9392 1111 63 0 11304 0
vsize: 45468
[startup+1020.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9552 0 0 0 102004 25 0 0 25 0 1 0 840060620 46972928 9472 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11468 9472 1111 63 0 11405 0
vsize: 45872
[startup+1030.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9632 0 0 0 103004 25 0 0 25 0 1 0 840060620 47247360 9552 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11535 9552 1111 63 0 11472 0
vsize: 46140
[startup+1040.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9714 0 0 0 104004 25 0 0 25 0 1 0 840060620 47661056 9634 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11636 9634 1111 63 0 11573 0
vsize: 46544
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9782 0 0 0 105004 25 0 0 25 0 1 0 840060620 47939584 9702 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11704 9702 1111 63 0 11641 0
vsize: 46816
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9849 0 0 0 106004 25 0 0 25 0 1 0 840060620 48214016 9769 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11771 9769 1111 63 0 11708 0
vsize: 47084
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 9935 0 0 0 107004 26 0 0 25 0 1 0 840060620 48488448 9855 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11838 9855 1111 63 0 11775 0
vsize: 47352
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10005 0 0 0 108004 26 0 0 25 0 1 0 840060620 48762880 9925 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11905 9925 1111 63 0 11842 0
vsize: 47620
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10079 0 0 0 109004 26 0 0 25 0 1 0 840060620 49045504 9999 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11974 9999 1111 63 0 11911 0
vsize: 47896
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10153 0 0 0 110003 26 0 0 25 0 1 0 840060620 49459200 10073 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12075 10073 1111 63 0 12012 0
vsize: 48300
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10222 0 0 0 111004 26 0 0 25 0 1 0 840060620 49733632 10142 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12142 10142 1111 63 0 12079 0
vsize: 48568
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10296 0 0 0 112004 27 0 0 25 0 1 0 840060620 50012160 10216 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12210 10216 1111 63 0 12147 0
vsize: 48840
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10377 0 0 0 113004 27 0 0 25 0 1 0 840060620 50290688 10297 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12278 10297 1111 63 0 12215 0
vsize: 49112
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10451 0 0 0 114004 27 0 0 25 0 1 0 840060620 50565120 10371 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12345 10371 1111 63 0 12282 0
vsize: 49380
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10531 0 0 0 115004 27 0 0 25 0 1 0 840060620 50974720 10451 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12445 10451 1111 63 0 12382 0
vsize: 49780
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10592 0 0 0 116004 27 0 0 25 0 1 0 840060620 51253248 10512 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12513 10512 1111 63 0 12450 0
vsize: 50052
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10661 0 0 0 117004 27 0 0 25 0 1 0 840060620 51535872 10581 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12582 10581 1111 63 0 12519 0
vsize: 50328
[startup+1180.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10728 0 0 0 118004 28 0 0 25 0 1 0 840060620 51810304 10648 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12649 10648 1111 63 0 12586 0
vsize: 50596
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10802 0 0 0 119004 28 0 0 25 0 1 0 840060620 52084736 10722 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12716 10722 1111 63 0 12653 0
vsize: 50864
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) R 13670 8378 8377 0 -1 0 10870 0 0 0 120004 28 0 0 25 0 1 0 840060620 52363264 10790 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12784 10790 1111 63 0 12721 0
vsize: 51136
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 13671
Raw data (stat): 13671 (bsolo_lpr-v2) Z 13670 8378 8377 0 -1 1036 10870 0 0 0 120004 30 0 0 25 0 1 0 840060620 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.17
CPU time (s): 1200.35
CPU user time (s): 1200.04
CPU system time (s): 0.306953
CPU usage (%): 100.015
Max. virtual memory (Kb): 51136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####