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-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb
MD5SUM	96d7d5bfca5320061ed7cb61443916ee
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	7936
Optimality of the best value was proved	NO
Number of terms in the objective function	68
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1054719
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268497406
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	8590
Total number of constraints	2614
Number of constraints which are clauses	309
Number of constraints which are cardinality constraints (but not clauses)	794
Number of constraints which are nor clauses,nor cardinality constraints	1511
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 40521

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 13:15:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28577 boxname=wulflinc1 idbench=1533 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  96d7d5bfca5320061ed7cb61443916ee  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-berlin_5_8_0.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-berlin_5_8_0.opb
IDLAUNCH: 28577
/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:        903772 kB
Buffers:          5680 kB
Cached:         100480 kB
SwapCached:       1144 kB
Active:          26404 kB
Inactive:        81976 kB
HighTotal:      131008 kB
HighFree:        28196 kB
LowTotal:       903652 kB
LowFree:        875576 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16660 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:35:23 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28577 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8590 variables and 1821 constraints.
c After prepocess the problem consists of 8545 variables and 1819 constraints.
c preprocess terminated 7.705 s
c Initial Lower Bound: 6656
c Lower Bound Elapsed time: 2.51575
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.85 0.95 0.90 2/55 23084
Raw data (stat): 23084 (runsolver) R 23083 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 845062716 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99966 s]
Raw data (loadavg): 0.87 0.95 0.90 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 16428 0 0 0 958 39 0 0 25 0 1 0 845062716 70578176 16346 4294967295 134512640 134716908 3221224560 3221222152 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17231 16346 1111 63 0 17168 0
vsize: 68924
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 25965 0 0 0 1937 60 0 0 25 0 1 0 845062716 70955008 16557 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17323 16557 1111 63 0 17260 0
vsize: 69292
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 25969 0 0 0 2936 61 0 0 25 0 1 0 845062716 70955008 16561 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17323 16561 1111 63 0 17260 0
vsize: 69292
[startup+40.0009 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 25969 0 0 0 3936 61 0 0 25 0 1 0 845062716 70955008 16561 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17323 16561 1111 63 0 17260 0
vsize: 69292
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 25969 0 0 0 4936 61 0 0 25 0 1 0 845062716 70955008 16561 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17323 16561 1111 63 0 17260 0
vsize: 69292
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 25969 0 0 0 5935 62 0 0 25 0 1 0 845062716 70955008 16561 4294967295 134512640 134716908 3221224560 3221223360 134597690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17323 16561 1111 63 0 17260 0
vsize: 69292
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 26066 0 0 0 6935 63 0 0 25 0 1 0 845062716 71360512 16658 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17422 16658 1111 63 0 17359 0
vsize: 69688
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 26457 0 0 0 7934 64 0 0 25 0 1 0 845062716 72982528 17049 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17818 17049 1111 63 0 17755 0
vsize: 71272
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 26862 0 0 0 8932 66 0 0 25 0 1 0 845062716 74752000 17454 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18250 17454 1111 63 0 18187 0
vsize: 73000
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 27262 0 0 0 9931 67 0 0 25 0 1 0 845062716 76398592 17852 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18652 17852 1111 63 0 18589 0
vsize: 74608
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 27653 0 0 0 10930 68 0 0 25 0 1 0 845062716 78020608 18243 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19048 18243 1111 63 0 18985 0
vsize: 76192
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 28040 0 0 0 11929 70 0 0 25 0 1 0 845062716 79642624 18630 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19444 18630 1111 63 0 19381 0
vsize: 77776
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 28427 0 0 0 12927 72 0 0 25 0 1 0 845062716 81129472 19017 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19807 19017 1111 63 0 19744 0
vsize: 79228
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 28849 0 0 0 13925 73 0 0 25 0 1 0 845062716 82939904 19432 4294967295 134512640 134716908 3221224560 3221223144 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20249 19432 1111 63 0 20186 0
vsize: 80996
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 29235 0 0 0 14924 75 0 0 25 0 1 0 845062716 84561920 19818 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20645 19818 1111 63 0 20582 0
vsize: 82580
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 29634 0 0 0 15922 77 0 0 25 0 1 0 845062716 86188032 20214 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21042 20214 1111 63 0 20979 0
vsize: 84168
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 30013 0 0 0 16922 77 0 0 25 0 1 0 845062716 87810048 20593 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21438 20593 1111 63 0 21375 0
vsize: 85752
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 30403 0 0 0 17920 79 0 0 25 0 1 0 845062716 89325568 20981 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21808 20981 1111 63 0 21745 0
vsize: 87232
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 30783 0 0 0 18918 81 0 0 25 0 1 0 845062716 90947584 21361 4294967295 134512640 134716908 3221224560 3221223276 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22204 21361 1111 63 0 22141 0
vsize: 88816
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 31168 0 0 0 19917 82 0 0 25 0 1 0 845062716 92434432 21746 4294967295 134512640 134716908 3221224560 3221223360 134597690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22567 21746 1111 63 0 22504 0
vsize: 90268
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 31565 0 0 0 20916 84 0 0 25 0 1 0 845062716 94056448 22139 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22963 22139 1111 63 0 22900 0
vsize: 91852
[startup+220.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 31954 0 0 0 21925 85 0 0 25 0 1 0 845062716 95678464 22528 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23359 22528 1111 63 0 23296 0
vsize: 93436
[startup+230.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 32342 0 0 0 22923 88 0 0 25 0 1 0 845062716 97300480 22916 4294967295 134512640 134716908 3221224560 3221223152 134542668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23755 22916 1111 63 0 23692 0
vsize: 95020
[startup+240.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 32781 0 0 0 23921 89 0 0 25 0 1 0 845062716 99131392 23344 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24202 23344 1111 63 0 24139 0
vsize: 96808
[startup+250.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 33169 0 0 0 24920 91 0 0 25 0 1 0 845062716 100753408 23732 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24598 23732 1111 63 0 24535 0
vsize: 98392
[startup+260.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 33553 0 0 0 25918 93 0 0 25 0 1 0 845062716 102260736 24115 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24966 24115 1111 63 0 24903 0
vsize: 99864
[startup+270.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 33897 0 0 0 26917 94 0 0 25 0 1 0 845062716 103747584 24459 4294967295 134512640 134716908 3221224560 3221223120 134699108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25329 24459 1111 63 0 25266 0
vsize: 101316
[startup+280.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 34230 0 0 0 27916 96 0 0 25 0 1 0 845062716 105033728 24787 4294967295 134512640 134716908 3221224560 3221223184 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25643 24787 1111 63 0 25580 0
vsize: 102572
[startup+290.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 34522 0 0 0 28915 97 0 0 25 0 1 0 845062716 106250240 25079 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25940 25079 1111 63 0 25877 0
vsize: 103760
[startup+300.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 34826 0 0 0 29914 98 0 0 25 0 1 0 845062716 107544576 25374 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26256 25374 1111 63 0 26193 0
vsize: 105024
[startup+310.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 35085 0 0 0 30914 98 0 0 25 0 1 0 845062716 108625920 25633 4294967295 134512640 134716908 3221224560 3221222212 134699567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26520 25633 1111 63 0 26457 0
vsize: 106080
[startup+320.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 35328 0 0 0 31913 99 0 0 25 0 1 0 845062716 109572096 25876 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26751 25876 1111 63 0 26688 0
vsize: 107004
[startup+330.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 35554 0 0 0 32912 100 0 0 25 0 1 0 845062716 110518272 26102 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26982 26102 1111 63 0 26919 0
vsize: 107928
[startup+340.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 35802 0 0 0 33911 101 0 0 25 0 1 0 845062716 111665152 26341 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27262 26341 1111 63 0 27199 0
vsize: 109048
[startup+350.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 36040 0 0 0 34910 102 0 0 25 0 1 0 845062716 112611328 26579 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27493 26579 1111 63 0 27430 0
vsize: 109972
[startup+360.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 36293 0 0 0 35909 104 0 0 25 0 1 0 845062716 113692672 26832 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27757 26832 1111 63 0 27694 0
vsize: 111028
[startup+370.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 36562 0 0 0 36907 105 0 0 25 0 1 0 845062716 114774016 27101 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28021 27101 1111 63 0 27958 0
vsize: 112084
[startup+380.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 36851 0 0 0 37906 107 0 0 25 0 1 0 845062716 115855360 27390 4294967295 134512640 134716908 3221224560 3221223360 134597730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28285 27390 1111 63 0 28222 0
vsize: 113140
[startup+390.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 37153 0 0 0 38905 108 0 0 25 0 1 0 845062716 117207040 27692 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28615 27692 1111 63 0 28552 0
vsize: 114460
[startup+400.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 37513 0 0 0 39904 109 0 0 25 0 1 0 845062716 118558720 28052 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28945 28052 1111 63 0 28882 0
vsize: 115780
[startup+410.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 37902 0 0 0 40902 111 0 0 25 0 1 0 845062716 120180736 28441 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29341 28441 1111 63 0 29278 0
vsize: 117364
[startup+420.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 38292 0 0 0 41901 113 0 0 25 0 1 0 845062716 121802752 28831 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29737 28831 1111 63 0 29674 0
vsize: 118948
[startup+430.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 38684 0 0 0 42899 114 0 0 25 0 1 0 845062716 123424768 29223 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30133 29223 1111 63 0 30070 0
vsize: 120532
[startup+440.111 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 39072 0 0 0 43898 116 0 0 25 0 1 0 845062716 125046784 29611 4294967295 134512640 134716908 3221224560 3221223112 134698829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30529 29611 1111 63 0 30466 0
vsize: 122116
[startup+450.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 39463 0 0 0 44897 117 0 0 25 0 1 0 845062716 126533632 30002 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30892 30002 1111 63 0 30829 0
vsize: 123568
[startup+460.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 39856 0 0 0 45896 119 0 0 25 0 1 0 845062716 128155648 30395 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31288 30395 1111 63 0 31225 0
vsize: 125152
[startup+470.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 40245 0 0 0 46894 120 0 0 25 0 1 0 845062716 129777664 30784 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31684 30784 1111 63 0 31621 0
vsize: 126736
[startup+480.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 40639 0 0 0 47892 122 0 0 25 0 1 0 845062716 131399680 31178 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32080 31178 1111 63 0 32017 0
vsize: 128320
[startup+490.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 41205 0 0 0 48890 124 0 0 25 0 1 0 845062716 133726208 31706 4294967295 134512640 134716908 3221224560 3221223140 134542788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32648 31706 1111 63 0 32585 0
vsize: 130592
[startup+500.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 41588 0 0 0 49889 126 0 0 25 0 1 0 845062716 135348224 32089 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33044 32089 1111 63 0 32981 0
vsize: 132176
[startup+510.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 41977 0 0 0 50888 127 0 0 25 0 1 0 845062716 136974336 32478 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33441 32478 1111 63 0 33378 0
vsize: 133764
[startup+520.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 42360 0 0 0 51887 129 0 0 25 0 1 0 845062716 138461184 32861 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33804 32861 1111 63 0 33741 0
vsize: 135216
[startup+530.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 42745 0 0 0 52885 131 0 0 25 0 1 0 845062716 140083200 33246 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34200 33246 1111 63 0 34137 0
vsize: 136800
[startup+540.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 43132 0 0 0 53883 132 0 0 25 0 1 0 845062716 141725696 33632 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34601 33632 1111 63 0 34538 0
vsize: 138404
[startup+550.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 43518 0 0 0 54881 135 0 0 25 0 1 0 845062716 143212544 34018 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34964 34018 1111 63 0 34901 0
vsize: 139856
[startup+560.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 43907 0 0 0 55880 136 0 0 25 0 1 0 845062716 144834560 34407 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35360 34407 1111 63 0 35297 0
vsize: 141440
[startup+570.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 44296 0 0 0 56879 137 0 0 25 0 1 0 845062716 146456576 34796 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35756 34796 1111 63 0 35693 0
vsize: 143024
[startup+580.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 44699 0 0 0 57877 139 0 0 25 0 1 0 845062716 148115456 35194 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36161 35194 1111 63 0 36098 0
vsize: 144644
[startup+590.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 45103 0 0 0 58875 142 0 0 25 0 1 0 845062716 149778432 35594 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36567 35594 1111 63 0 36504 0
vsize: 146268
[startup+600.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 45511 0 0 0 59873 144 0 0 25 0 1 0 845062716 151633920 35993 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37020 35993 1111 63 0 36957 0
vsize: 148080
[startup+610.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 45895 0 0 0 60872 145 0 0 25 0 1 0 845062716 153255936 36377 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37416 36377 1111 63 0 37353 0
vsize: 149664
[startup+620.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 46279 0 0 0 61870 147 0 0 25 0 1 0 845062716 154742784 36761 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37779 36761 1111 63 0 37716 0
vsize: 151116
[startup+630.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 46665 0 0 0 62868 149 0 0 25 0 1 0 845062716 156364800 37147 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38175 37147 1111 63 0 38112 0
vsize: 152700
[startup+640.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 47052 0 0 0 63867 151 0 0 25 0 1 0 845062716 157986816 37534 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38571 37534 1111 63 0 38508 0
vsize: 154284
[startup+650.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 47438 0 0 0 64865 153 0 0 25 0 1 0 845062716 159473664 37920 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38934 37920 1111 63 0 38871 0
vsize: 155736
[startup+660.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 47824 0 0 0 65863 155 0 0 25 0 1 0 845062716 161095680 38306 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39330 38306 1111 63 0 39267 0
vsize: 157320
[startup+670.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 48239 0 0 0 66861 157 0 0 25 0 1 0 845062716 162918400 38712 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39775 38712 1111 63 0 39712 0
vsize: 159100
[startup+680.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 48623 0 0 0 67860 158 0 0 25 0 1 0 845062716 164405248 39096 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40138 39096 1111 63 0 40075 0
vsize: 160552
[startup+690.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 49016 0 0 0 68858 160 0 0 25 0 1 0 845062716 166031360 39489 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40535 39489 1111 63 0 40472 0
vsize: 162140
[startup+700.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 49401 0 0 0 69858 161 0 0 25 0 1 0 845062716 167653376 39874 4294967295 134512640 134716908 3221224560 3221223328 134597634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40931 39874 1111 63 0 40868 0
vsize: 163724
[startup+710.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 49786 0 0 0 70857 163 0 0 25 0 1 0 845062716 169140224 40259 4294967295 134512640 134716908 3221224560 3221223336 134613544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41294 40259 1111 63 0 41231 0
vsize: 165176
[startup+720.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 50174 0 0 0 71855 165 0 0 25 0 1 0 845062716 170762240 40647 4294967295 134512640 134716908 3221224560 3221223336 134613544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41690 40647 1111 63 0 41627 0
vsize: 166760
[startup+730.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 50560 0 0 0 72853 167 0 0 25 0 1 0 845062716 172249088 41033 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42053 41033 1111 63 0 41990 0
vsize: 168212
[startup+740.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 50947 0 0 0 73851 169 0 0 25 0 1 0 845062716 173871104 41420 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42449 41420 1111 63 0 42386 0
vsize: 169796
[startup+750.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 51336 0 0 0 74849 171 0 0 25 0 1 0 845062716 175493120 41809 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42845 41809 1111 63 0 42782 0
vsize: 171380
[startup+760.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 51728 0 0 0 75847 173 0 0 25 0 1 0 845062716 177115136 42201 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43241 42201 1111 63 0 43178 0
vsize: 172964
[startup+770.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 52119 0 0 0 76847 174 0 0 25 0 1 0 845062716 178601984 42592 4294967295 134512640 134716908 3221224560 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43604 42592 1111 63 0 43541 0
vsize: 174416
[startup+780.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 52509 0 0 0 77846 175 0 0 25 0 1 0 845062716 180224000 42982 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44000 42982 1111 63 0 43937 0
vsize: 176000
[startup+790.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 52899 0 0 0 78845 176 0 0 25 0 1 0 845062716 181846016 43372 4294967295 134512640 134716908 3221224560 3221223068 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44396 43372 1111 63 0 44333 0
vsize: 177584
[startup+800.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 53297 0 0 0 79843 178 0 0 25 0 1 0 845062716 183468032 43770 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44792 43770 1111 63 0 44729 0
vsize: 179168
[startup+810.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 53669 0 0 0 80842 180 0 0 25 0 1 0 845062716 184954880 44142 4294967295 134512640 134716908 3221224560 3221223360 134597775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45155 44142 1111 63 0 45092 0
vsize: 180620
[startup+820.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 54151 0 0 0 81840 181 0 0 25 0 1 0 845062716 186904576 44542 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45631 44542 1111 63 0 45568 0
vsize: 182524
[startup+830.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 54541 0 0 0 82838 183 0 0 25 0 1 0 845062716 188391424 44932 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45994 44932 1111 63 0 45931 0
vsize: 183976
[startup+840.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 54927 0 0 0 83836 185 0 0 25 0 1 0 845062716 190013440 45318 4294967295 134512640 134716908 3221224560 3221223376 134590080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46390 45318 1111 63 0 46327 0
vsize: 185560
[startup+850.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 55317 0 0 0 84835 187 0 0 25 0 1 0 845062716 191635456 45708 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46786 45708 1111 63 0 46723 0
vsize: 187144
[startup+860.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 55710 0 0 0 85834 188 0 0 25 0 1 0 845062716 193257472 46101 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47182 46101 1111 63 0 47119 0
vsize: 188728
[startup+870.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 56102 0 0 0 86832 190 0 0 25 0 1 0 845062716 194744320 46493 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47545 46493 1111 63 0 47482 0
vsize: 190180
[startup+880.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 56496 0 0 0 87830 192 0 0 25 0 1 0 845062716 196366336 46887 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47941 46887 1111 63 0 47878 0
vsize: 191764
[startup+890.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 56887 0 0 0 88829 193 0 0 25 0 1 0 845062716 197988352 47278 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48337 47278 1111 63 0 48274 0
vsize: 193348
[startup+900.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 57279 0 0 0 89828 195 0 0 25 0 1 0 845062716 199610368 47670 4294967295 134512640 134716908 3221224560 3221223128 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48733 47670 1111 63 0 48670 0
vsize: 194932
[startup+910.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 57800 0 0 0 90826 197 0 0 25 0 1 0 845062716 201560064 48104 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49209 48104 1111 63 0 49146 0
vsize: 196836
[startup+920.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 58185 0 0 0 91825 198 0 0 25 0 1 0 845062716 203087872 48488 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49582 48488 1111 63 0 49519 0
vsize: 198328
[startup+930.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 58585 0 0 0 92823 200 0 0 25 0 1 0 845062716 204783616 48884 4294967295 134512640 134716908 3221224560 3221223336 134613544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49996 48884 1111 63 0 49933 0
vsize: 199984
[startup+940.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 58970 0 0 0 93821 203 0 0 25 0 1 0 845062716 206270464 49269 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50359 49269 1111 63 0 50296 0
vsize: 201436
[startup+950.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 59358 0 0 0 94819 205 0 0 25 0 1 0 845062716 207892480 49657 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50755 49657 1111 63 0 50692 0
vsize: 203020
[startup+960.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 59755 0 0 0 95818 206 0 0 25 0 1 0 845062716 209580032 50045 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51167 50045 1111 63 0 51104 0
vsize: 204668
[startup+970.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 60142 0 0 0 96816 208 0 0 25 0 1 0 845062716 211066880 50432 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51530 50432 1111 63 0 51467 0
vsize: 206120
[startup+980.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 60529 0 0 0 97815 209 0 0 25 0 1 0 845062716 212688896 50819 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51926 50819 1111 63 0 51863 0
vsize: 207704
[startup+990.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 60914 0 0 0 98814 210 0 0 25 0 1 0 845062716 214310912 51204 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52322 51204 1111 63 0 52259 0
vsize: 209288
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 61299 0 0 0 99813 212 0 0 25 0 1 0 845062716 215797760 51589 4294967295 134512640 134716908 3221224560 3221223352 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52685 51589 1111 63 0 52622 0
vsize: 210740
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 61691 0 0 0 100812 213 0 0 25 0 1 0 845062716 217419776 51981 4294967295 134512640 134716908 3221224560 3221223232 134542963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53081 51981 1111 63 0 53018 0
vsize: 212324
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 62079 0 0 0 101810 215 0 0 25 0 1 0 845062716 219041792 52369 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53477 52369 1111 63 0 53414 0
vsize: 213908
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 62471 0 0 0 102809 216 0 0 25 0 1 0 845062716 220663808 52760 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53873 52760 1111 63 0 53810 0
vsize: 215492
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 62864 0 0 0 103808 218 0 0 25 0 1 0 845062716 222150656 53153 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54236 53153 1111 63 0 54173 0
vsize: 216944
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 63254 0 0 0 104806 220 0 0 25 0 1 0 845062716 223772672 53543 4294967295 134512640 134716908 3221224560 3221223352 134597569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54632 53543 1111 63 0 54569 0
vsize: 218528
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 63646 0 0 0 105805 221 0 0 25 0 1 0 845062716 225394688 53935 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55028 53935 1111 63 0 54965 0
vsize: 220112
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 64037 0 0 0 106804 222 0 0 25 0 1 0 845062716 227016704 54326 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55424 54326 1111 63 0 55361 0
vsize: 221696
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 64426 0 0 0 107803 223 0 0 25 0 1 0 845062716 228638720 54715 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55820 54715 1111 63 0 55757 0
vsize: 223280
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 64818 0 0 0 108801 225 0 0 25 0 1 0 845062716 230260736 55107 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56216 55107 1111 63 0 56153 0
vsize: 224864
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 65220 0 0 0 109800 227 0 0 25 0 1 0 845062716 231940096 55505 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56626 55505 1111 63 0 56563 0
vsize: 226504
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 65610 0 0 0 110798 228 0 0 25 0 1 0 845062716 233426944 55895 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56989 55895 1111 63 0 56926 0
vsize: 227956
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 66161 0 0 0 111797 230 0 0 25 0 1 0 845062716 235802624 56314 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57569 56314 1111 63 0 57506 0
vsize: 230276
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 66541 0 0 0 112795 233 0 0 25 0 1 0 845062716 237424640 56694 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57965 56694 1111 63 0 57902 0
vsize: 231860
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 67030 0 0 0 113793 234 0 0 25 0 1 0 845062716 239239168 57101 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58408 57101 1111 63 0 58345 0
vsize: 233632
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 67415 0 0 0 114792 236 0 0 25 0 1 0 845062716 240861184 57486 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58804 57486 1111 63 0 58741 0
vsize: 235216
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 67804 0 0 0 115790 237 0 0 25 0 1 0 845062716 242483200 57875 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59200 57875 1111 63 0 59137 0
vsize: 236800
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 68189 0 0 0 116789 239 0 0 25 0 1 0 845062716 243970048 58260 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59563 58260 1111 63 0 59500 0
vsize: 238252
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 23084
Raw data (stat): 23084 (bsolo_lpr-v2) R 23083 8378 8377 0 -1 0 68189 0 0 0 116789 239 0 0 25 0 1 0 845062716 243970048 58260 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59563 58260 1111 63 0 59500 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.13
CPU user time (s): 1172.61
CPU system time (s): 2.51962
CPU usage (%): 100.013
Max. virtual memory (Kb): 238252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####