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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
MD5SUM	3d2c3109962e8068c6ff1a393a02942b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2666
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2666
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2666
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2666
Total number of constraints	6659
Number of constraints which are clauses	6659
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 39596

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 14:30:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27651 boxname=wulflinc2 idbench=209 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  3d2c3109962e8068c6ff1a393a02942b  /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4-c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4-c.opb
IDLAUNCH: 27651
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        262928 kB
Buffers:         34592 kB
Cached:         713400 kB
SwapCached:       1164 kB
Active:          62788 kB
Inactive:       687704 kB
HighTotal:      131008 kB
HighFree:         9548 kB
LowTotal:       903652 kB
LowFree:        253380 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15676 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:50:21 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 27651 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2666 variables and 6659 constraints.
c After prepocess the problem consists of 2601 variables and 8508 constraints.
c preprocess terminated 57.21 s
c Initial Lower Bound: 812
c Lower Bound Elapsed time: 20.3992
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### 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.91 0.95 0.90 2/54 25804
Raw data (stat): 25804 (runsolver) R 25803 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893731911 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.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 6439 0 0 0 980 16 0 0 25 0 1 0 893731911 18231296 3607 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4451 3607 1111 63 0 4388 0
vsize: 17804
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 6439 0 0 0 1980 17 0 0 25 0 1 0 893731911 18231296 3607 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4451 3607 1111 63 0 4388 0
vsize: 17804
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 6452 0 0 0 2980 17 0 0 25 0 1 0 893731911 18366464 3620 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4484 3620 1111 63 0 4421 0
vsize: 17936
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 6606 0 0 0 3979 18 0 0 25 0 1 0 893731911 19042304 3774 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4649 3774 1111 63 0 4586 0
vsize: 18596
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 6727 0 0 0 4978 19 0 0 25 0 1 0 893731911 19447808 3895 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4748 3895 1111 63 0 4685 0
vsize: 18992
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 7946 0 0 0 5975 23 0 0 25 0 1 0 893731911 24416256 5114 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5961 5114 1111 63 0 5898 0
vsize: 23844
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 9335 0 0 0 6971 27 0 0 25 0 1 0 893731911 30785536 6193 4294967295 134512640 134716908 3221224576 3221220512 1075965308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7516 6193 1111 63 0 7453 0
vsize: 30064
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 9377 0 0 0 7970 27 0 0 25 0 1 0 893731911 30785536 6235 4294967295 134512640 134716908 3221224576 3221220628 1075964413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7516 6235 1111 63 0 7453 0
vsize: 30064
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 9388 0 0 0 8970 28 0 0 25 0 1 0 893731911 30785536 6246 4294967295 134512640 134716908 3221224576 3221220428 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7516 6246 1111 63 0 7453 0
vsize: 30064
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 9604 0 0 0 9969 29 0 0 25 0 1 0 893731911 29683712 6191 4294967295 134512640 134716908 3221224576 3221220728 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 6191 1111 63 0 7184 0
vsize: 28988
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 9605 0 0 0 10969 29 0 0 25 0 1 0 893731911 29683712 6192 4294967295 134512640 134716908 3221224576 3221220364 1074788921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 6192 1111 63 0 7184 0
vsize: 28988
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 9641 0 0 0 11969 30 0 0 25 0 1 0 893731911 29913088 6228 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7303 6228 1111 63 0 7240 0
vsize: 29212
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 9826 0 0 0 12969 30 0 0 25 0 1 0 893731911 31465472 6413 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7682 6413 1111 63 0 7619 0
vsize: 30728
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 16726 0 0 0 13955 44 0 0 25 0 1 0 893731911 24846336 5339 4294967295 134512640 134716908 3221224576 3221223236 134524380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 5339 1111 63 0 6003 0
vsize: 24264
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 16955 0 0 0 14953 46 0 0 25 0 1 0 893731911 25792512 5568 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6297 5568 1111 63 0 6234 0
vsize: 25188
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 17253 0 0 0 15951 48 0 0 25 0 1 0 893731911 27009024 5866 4294967295 134512640 134716908 3221224576 3221223208 134698385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6594 5866 1111 63 0 6531 0
vsize: 26376
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 17537 0 0 0 16949 50 0 0 25 0 1 0 893731911 28225536 6150 4294967295 134512640 134716908 3221224576 3221223356 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6891 6150 1111 63 0 6828 0
vsize: 27564
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 17826 0 0 0 17948 51 0 0 25 0 1 0 893731911 29442048 6439 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7188 6439 1111 63 0 7125 0
vsize: 28752
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 18092 0 0 0 18946 53 0 0 25 0 1 0 893731911 30523392 6705 4294967295 134512640 134716908 3221224576 3221223168 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7452 6705 1111 63 0 7389 0
vsize: 29808
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 18352 0 0 0 19944 55 0 0 25 0 1 0 893731911 31604736 6965 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7716 6965 1111 63 0 7653 0
vsize: 30864
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 18611 0 0 0 20943 57 0 0 25 0 1 0 893731911 32686080 7224 4294967295 134512640 134716908 3221224576 3221223216 134698707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7980 7224 1111 63 0 7917 0
vsize: 31920
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 18868 0 0 0 21942 58 0 0 25 0 1 0 893731911 33632256 7481 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8211 7481 1111 63 0 8148 0
vsize: 32844
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 19128 0 0 0 22940 59 0 0 25 0 1 0 893731911 34713600 7741 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8475 7741 1111 63 0 8412 0
vsize: 33900
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 19389 0 0 0 23939 61 0 0 25 0 1 0 893731911 35794944 8002 4294967295 134512640 134716908 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 8002 1111 63 0 8676 0
vsize: 34956
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 19620 0 0 0 24938 62 0 0 25 0 1 0 893731911 36741120 8233 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8970 8233 1111 63 0 8907 0
vsize: 35880
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 19869 0 0 0 25937 64 0 0 25 0 1 0 893731911 37822464 8482 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9234 8482 1111 63 0 9171 0
vsize: 36936
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 20108 0 0 0 26936 65 0 0 25 0 1 0 893731911 38768640 8721 4294967295 134512640 134716908 3221224576 3221223180 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9465 8721 1111 63 0 9402 0
vsize: 37860
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 20366 0 0 0 27934 66 0 0 25 0 1 0 893731911 39854080 8979 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9730 8979 1111 63 0 9667 0
vsize: 38920
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 20610 0 0 0 28932 69 0 0 25 0 1 0 893731911 40800256 9223 4294967295 134512640 134716908 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9961 9223 1111 63 0 9898 0
vsize: 39844
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 20848 0 0 0 29931 70 0 0 25 0 1 0 893731911 41746432 9461 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10192 9461 1111 63 0 10129 0
vsize: 40768
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 21074 0 0 0 30930 71 0 0 25 0 1 0 893731911 42692608 9687 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 9687 1111 63 0 10360 0
vsize: 41692
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 21318 0 0 0 31929 72 0 0 25 0 1 0 893731911 43773952 9931 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10687 9931 1111 63 0 10624 0
vsize: 42748
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 21541 0 0 0 32928 73 0 0 25 0 1 0 893731911 44584960 10154 4294967295 134512640 134716908 3221224576 3221223388 134585144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10885 10154 1111 63 0 10822 0
vsize: 43540
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 21770 0 0 0 33927 74 0 0 25 0 1 0 893731911 45543424 10383 4294967295 134512640 134716908 3221224576 3221223340 134552693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11119 10383 1111 63 0 11056 0
vsize: 44476
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 21995 0 0 0 34926 76 0 0 25 0 1 0 893731911 46489600 10608 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11350 10608 1111 63 0 11287 0
vsize: 45400
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 22203 0 0 0 35925 77 0 0 25 0 1 0 893731911 47300608 10816 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11548 10816 1111 63 0 11485 0
vsize: 46192
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 22411 0 0 0 36924 78 0 0 25 0 1 0 893731911 48246784 11024 4294967295 134512640 134716908 3221224576 3221223164 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11779 11024 1111 63 0 11716 0
vsize: 47116
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 22639 0 0 0 37922 79 0 0 25 0 1 0 893731911 49192960 11252 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12010 11252 1111 63 0 11947 0
vsize: 48040
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 22863 0 0 0 38922 80 0 0 25 0 1 0 893731911 50003968 11476 4294967295 134512640 134716908 3221224576 3221223172 134549516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12208 11476 1111 63 0 12145 0
vsize: 48832
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 23075 0 0 0 39921 81 0 0 25 0 1 0 893731911 50950144 11688 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12439 11688 1111 63 0 12376 0
vsize: 49756
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 23260 0 0 0 40920 82 0 0 25 0 1 0 893731911 51625984 11873 4294967295 134512640 134716908 3221224576 3221223216 134543070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12604 11873 1111 63 0 12541 0
vsize: 50416
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 23464 0 0 0 41918 84 0 0 25 0 1 0 893731911 52572160 12077 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12835 12077 1111 63 0 12772 0
vsize: 51340
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 23669 0 0 0 42917 85 0 0 25 0 1 0 893731911 53383168 12282 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13033 12282 1111 63 0 12970 0
vsize: 52132
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 23876 0 0 0 43915 87 0 0 25 0 1 0 893731911 54194176 12489 4294967295 134512640 134716908 3221224576 3221223072 134699762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13231 12489 1111 63 0 13168 0
vsize: 52924
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 24081 0 0 0 44915 88 0 0 25 0 1 0 893731911 55009280 12694 4294967295 134512640 134716908 3221224576 3221223168 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13430 12694 1111 63 0 13367 0
vsize: 53720
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 24270 0 0 0 45913 90 0 0 25 0 1 0 893731911 55820288 12883 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13628 12883 1111 63 0 13565 0
vsize: 54512
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 24462 0 0 0 46911 91 0 0 25 0 1 0 893731911 56631296 13075 4294967295 134512640 134716908 3221224576 3221223280 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13826 13075 1111 63 0 13763 0
vsize: 55304
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 24653 0 0 0 47911 92 0 0 25 0 1 0 893731911 57442304 13266 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14024 13266 1111 63 0 13961 0
vsize: 56096
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 24855 0 0 0 48909 93 0 0 25 0 1 0 893731911 58253312 13468 4294967295 134512640 134716908 3221224576 3221223292 134698304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14222 13468 1111 63 0 14159 0
vsize: 56888
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 25032 0 0 0 49909 94 0 0 25 0 1 0 893731911 58929152 13645 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14387 13645 1111 63 0 14324 0
vsize: 57548
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 25228 0 0 0 50908 95 0 0 25 0 1 0 893731911 59740160 13841 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14585 13841 1111 63 0 14522 0
vsize: 58340
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 25420 0 0 0 51907 96 0 0 25 0 1 0 893731911 60551168 14033 4294967295 134512640 134716908 3221224576 3221223196 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14783 14033 1111 63 0 14720 0
vsize: 59132
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 25611 0 0 0 52906 97 0 0 25 0 1 0 893731911 61362176 14224 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14981 14224 1111 63 0 14918 0
vsize: 59924
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 25809 0 0 0 53905 99 0 0 25 0 1 0 893731911 62197760 14422 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15185 14422 1111 63 0 15122 0
vsize: 60740
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 25991 0 0 0 54905 99 0 0 25 0 1 0 893731911 62873600 14604 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15350 14604 1111 63 0 15287 0
vsize: 61400
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 26176 0 0 0 55904 100 0 0 25 0 1 0 893731911 63684608 14789 4294967295 134512640 134716908 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15548 14789 1111 63 0 15485 0
vsize: 62192
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 26360 0 0 0 56904 100 0 0 25 0 1 0 893731911 64495616 14973 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15746 14973 1111 63 0 15683 0
vsize: 62984
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 26548 0 0 0 57903 102 0 0 25 0 1 0 893731911 65171456 15161 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15911 15162 1111 63 0 15848 0
vsize: 63644
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 26736 0 0 0 58902 103 0 0 25 0 1 0 893731911 65982464 15349 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16109 15349 1111 63 0 16046 0
vsize: 64436
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 26909 0 0 0 59901 103 0 0 25 0 1 0 893731911 66658304 15522 4294967295 134512640 134716908 3221224576 3221223280 134528721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16274 15522 1111 63 0 16211 0
vsize: 65096
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 27081 0 0 0 60900 105 0 0 25 0 1 0 893731911 67334144 15694 4294967295 134512640 134716908 3221224576 3221222972 134613982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16439 15694 1111 63 0 16376 0
vsize: 65756
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 27251 0 0 0 61900 105 0 0 25 0 1 0 893731911 68145152 15864 4294967295 134512640 134716908 3221224576 3221223228 134536820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16637 15864 1111 63 0 16574 0
vsize: 66548
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 27430 0 0 0 62899 106 0 0 25 0 1 0 893731911 68820992 16043 4294967295 134512640 134716908 3221224576 3221223200 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16802 16043 1111 63 0 16739 0
vsize: 67208
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 27614 0 0 0 63898 107 0 0 25 0 1 0 893731911 69513216 16227 4294967295 134512640 134716908 3221224576 3221223136 134698892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16971 16227 1111 63 0 16908 0
vsize: 67884
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 27797 0 0 0 64898 108 0 0 25 0 1 0 893731911 70324224 16410 4294967295 134512640 134716908 3221224576 3221223184 134523350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17169 16410 1111 63 0 17106 0
vsize: 68676
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 27987 0 0 0 65897 109 0 0 25 0 1 0 893731911 71139328 16600 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17368 16600 1111 63 0 17305 0
vsize: 69472
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 28163 0 0 0 66897 110 0 0 25 0 1 0 893731911 71815168 16776 4294967295 134512640 134716908 3221224576 3221223248 134542865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17533 16776 1111 63 0 17470 0
vsize: 70132
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 28347 0 0 0 67896 111 0 0 25 0 1 0 893731911 72626176 16960 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17731 16960 1111 63 0 17668 0
vsize: 70924
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 28524 0 0 0 68895 112 0 0 25 0 1 0 893731911 73314304 17137 4294967295 134512640 134716908 3221224576 3221223200 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17899 17137 1111 63 0 17836 0
vsize: 71596
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 28703 0 0 0 69894 113 0 0 25 0 1 0 893731911 74125312 17316 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18097 17316 1111 63 0 18034 0
vsize: 72388
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 28873 0 0 0 70894 113 0 0 25 0 1 0 893731911 74801152 17486 4294967295 134512640 134716908 3221224576 3221223300 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 17486 1111 63 0 18199 0
vsize: 73048
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 29061 0 0 0 71893 114 0 0 25 0 1 0 893731911 75476992 17674 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18427 17674 1111 63 0 18364 0
vsize: 73708
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 29225 0 0 0 72893 115 0 0 25 0 1 0 893731911 76152832 17838 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18592 17838 1111 63 0 18529 0
vsize: 74368
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 29396 0 0 0 73892 115 0 0 25 0 1 0 893731911 76828672 18009 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18757 18009 1111 63 0 18694 0
vsize: 75028
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 29578 0 0 0 74892 116 0 0 25 0 1 0 893731911 77639680 18191 4294967295 134512640 134716908 3221224576 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18955 18191 1111 63 0 18892 0
vsize: 75820
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 29735 0 0 0 75891 117 0 0 25 0 1 0 893731911 78319616 18348 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19121 18348 1111 63 0 19058 0
vsize: 76484
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 29915 0 0 0 76890 118 0 0 25 0 1 0 893731911 78995456 18528 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19286 18528 1111 63 0 19223 0
vsize: 77144
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 30073 0 0 0 77889 119 0 0 25 0 1 0 893731911 79671296 18686 4294967295 134512640 134716908 3221224576 3221223360 134528840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18686 1111 63 0 19388 0
vsize: 77804
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 30226 0 0 0 78889 120 0 0 25 0 1 0 893731911 80347136 18839 4294967295 134512640 134716908 3221224576 3221223168 134542723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19616 18839 1111 63 0 19553 0
vsize: 78464
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 30366 0 0 0 79889 120 0 0 25 0 1 0 893731911 80887808 18979 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19748 18979 1111 63 0 19685 0
vsize: 78992
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 30502 0 0 0 80888 121 0 0 25 0 1 0 893731911 81428480 19115 4294967295 134512640 134716908 3221224576 3221223124 134699096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19880 19115 1111 63 0 19817 0
vsize: 79520
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 30633 0 0 0 81888 122 0 0 25 0 1 0 893731911 81969152 19246 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20012 19246 1111 63 0 19949 0
vsize: 80048
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 30777 0 0 0 82887 122 0 0 25 0 1 0 893731911 82509824 19390 4294967295 134512640 134716908 3221224576 3221223352 134529371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20144 19390 1111 63 0 20081 0
vsize: 80576
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 30919 0 0 0 83887 123 0 0 25 0 1 0 893731911 83185664 19532 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20309 19532 1111 63 0 20246 0
vsize: 81236
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 31053 0 0 0 84886 124 0 0 25 0 1 0 893731911 83726336 19666 4294967295 134512640 134716908 3221224576 3221223132 134539259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20441 19666 1111 63 0 20378 0
vsize: 81764
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 31193 0 0 0 85886 124 0 0 25 0 1 0 893731911 84267008 19806 4294967295 134512640 134716908 3221224576 3221222512 134699606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20573 19806 1111 63 0 20510 0
vsize: 82292
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 31324 0 0 0 86886 125 0 0 25 0 1 0 893731911 84824064 19937 4294967295 134512640 134716908 3221224576 3221222888 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20709 19937 1111 63 0 20646 0
vsize: 82836
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 31468 0 0 0 87885 125 0 0 25 0 1 0 893731911 85364736 20081 4294967295 134512640 134716908 3221224576 3221223216 134698644 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20841 20081 1111 63 0 20778 0
vsize: 83364
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 31605 0 0 0 88885 126 0 0 25 0 1 0 893731911 85905408 20218 4294967295 134512640 134716908 3221224576 3221223204 134698595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20973 20218 1111 63 0 20910 0
vsize: 83892
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 31752 0 0 0 89884 127 0 0 25 0 1 0 893731911 86581248 20365 4294967295 134512640 134716908 3221224576 3221223264 134542851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21138 20365 1111 63 0 21075 0
vsize: 84552
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 31880 0 0 0 90883 128 0 0 25 0 1 0 893731911 87121920 20493 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21270 20493 1111 63 0 21207 0
vsize: 85080
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 32013 0 0 0 91883 129 0 0 25 0 1 0 893731911 87678976 20626 4294967295 134512640 134716908 3221224576 3221223056 134699568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21406 20626 1111 63 0 21343 0
vsize: 85624
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 32156 0 0 0 92882 129 0 0 25 0 1 0 893731911 88219648 20769 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21538 20769 1111 63 0 21475 0
vsize: 86152
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 32298 0 0 0 93882 130 0 0 25 0 1 0 893731911 88760320 20911 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21670 20911 1111 63 0 21607 0
vsize: 86680
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 32437 0 0 0 94881 131 0 0 25 0 1 0 893731911 89473024 21050 4294967295 134512640 134716908 3221224576 3221223084 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21844 21050 1111 63 0 21781 0
vsize: 87376
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 32602 0 0 0 95881 131 0 0 25 0 1 0 893731911 90054656 21213 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21986 21213 1111 63 0 21923 0
vsize: 87944
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 32728 0 0 0 96881 131 0 0 25 0 1 0 893731911 90595328 21339 4294967295 134512640 134716908 3221224576 3221223336 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22118 21339 1111 63 0 22055 0
vsize: 88472
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 32886 0 0 0 97881 132 0 0 25 0 1 0 893731911 91275264 21497 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22284 21497 1111 63 0 22221 0
vsize: 89136
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 33035 0 0 0 98880 133 0 0 25 0 1 0 893731911 91951104 21646 4294967295 134512640 134716908 3221224576 3221223216 134539425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22449 21646 1111 63 0 22386 0
vsize: 89796
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 33184 0 0 0 99879 134 0 0 25 0 1 0 893731911 92491776 21795 4294967295 134512640 134716908 3221224576 3221223088 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22581 21795 1111 63 0 22518 0
vsize: 90324
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 33337 0 0 0 100879 134 0 0 25 0 1 0 893731911 93167616 21948 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22746 21948 1111 63 0 22683 0
vsize: 90984
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 33477 0 0 0 101878 135 0 0 25 0 1 0 893731911 93724672 22088 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22882 22088 1111 63 0 22819 0
vsize: 91528
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 33610 0 0 0 102877 136 0 0 25 0 1 0 893731911 94265344 22221 4294967295 134512640 134716908 3221224576 3221223180 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23014 22221 1111 63 0 22951 0
vsize: 92056
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 33755 0 0 0 103877 137 0 0 25 0 1 0 893731911 94806016 22366 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23146 22366 1111 63 0 23083 0
vsize: 92584
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 33890 0 0 0 104877 137 0 0 25 0 1 0 893731911 95346688 22501 4294967295 134512640 134716908 3221224576 3221223360 134529296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23278 22501 1111 63 0 23215 0
vsize: 93112
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 34034 0 0 0 105876 138 0 0 25 0 1 0 893731911 95887360 22645 4294967295 134512640 134716908 3221224576 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23410 22645 1111 63 0 23347 0
vsize: 93640
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 34163 0 0 0 106876 139 0 0 25 0 1 0 893731911 96428032 22774 4294967295 134512640 134716908 3221224576 3221223232 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23542 22774 1111 63 0 23479 0
vsize: 94168
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 34305 0 0 0 107875 139 0 0 25 0 1 0 893731911 97103872 22916 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23707 22916 1111 63 0 23644 0
vsize: 94828
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 34466 0 0 0 108875 140 0 0 25 0 1 0 893731911 97779712 23077 4294967295 134512640 134716908 3221224576 3221223168 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23872 23077 1111 63 0 23809 0
vsize: 95488
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 34610 0 0 0 109875 140 0 0 25 0 1 0 893731911 98320384 23221 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24004 23221 1111 63 0 23941 0
vsize: 96016
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 34754 0 0 0 110874 141 0 0 25 0 1 0 893731911 98861056 23365 4294967295 134512640 134716908 3221224576 3221223132 134535626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24136 23365 1111 63 0 24073 0
vsize: 96544
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 34885 0 0 0 111873 143 0 0 25 0 1 0 893731911 99401728 23496 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24268 23496 1111 63 0 24205 0
vsize: 97072
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 35029 0 0 0 112872 144 0 0 25 0 1 0 893731911 100077568 23640 4294967295 134512640 134716908 3221224576 3221223360 134529067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24433 23640 1111 63 0 24370 0
vsize: 97732
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 35166 0 0 0 113872 144 0 0 25 0 1 0 893731911 100618240 23777 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24565 23777 1111 63 0 24502 0
vsize: 98260
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 35311 0 0 0 114871 145 0 0 25 0 1 0 893731911 101158912 23922 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24697 23922 1111 63 0 24634 0
vsize: 98788
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 35459 0 0 0 115870 146 0 0 25 0 1 0 893731911 101834752 24070 4294967295 134512640 134716908 3221224576 3221223160 134549708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24862 24070 1111 63 0 24799 0
vsize: 99448
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 35598 0 0 0 116870 147 0 0 25 0 1 0 893731911 102383616 24209 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24996 24209 1111 63 0 24933 0
vsize: 99984
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25804
Raw data (stat): 25804 (bsolo_lpr-v2) R 25803 31399 31398 0 -1 0 35598 0 0 0 116870 147 0 0 25 0 1 0 893731911 102383616 24209 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24996 24209 1111 63 0 24933 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.08
CPU user time (s): 1173.56
CPU system time (s): 1.51877
CPU usage (%): 100.012
Max. virtual memory (Kb): 99984
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####