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/fctp/normalized-mps-v2-13-7-ran13x13.opb
MD5SUM	688d61d0de54e028c8c4910e094a132c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	893343
Optimality of the best value was proved	NO
Number of terms in the objective function	3549
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	949933178
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	949933178
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	3549
Total number of constraints	195
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	195
Minimum length of a constraint	21
Maximum length of a constraint	260
Trace number 26880

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 17:36:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19280 boxname=wulflinc30 idbench=1484 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  688d61d0de54e028c8c4910e094a132c  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran13x13.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran13x13.opb
IDLAUNCH: 19280
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        445104 kB
Buffers:          6948 kB
Cached:         551204 kB
SwapCached:        672 kB
Active:          23276 kB
Inactive:       537120 kB
HighTotal:      131008 kB
HighFree:         5208 kB
LowTotal:       903652 kB
LowFree:        439896 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            23612 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:56:17 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 19280 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3549 variables and 221 constraints.
c After prepocess the problem consists of 1914 variables and 276 constraints.
c preprocess terminated 3.44 s
c Initial Lower Bound: 344512
c Lower Bound Elapsed time: 0.7993
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.11 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
Raw data (loadavg): 0.92 0.97 0.99 2/54 24929
Raw data (stat): 24929 (runsolver) R 24928 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832084276 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99996 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 13587 0 0 0 967 30 0 0 25 0 1 0 832084276 32178176 7070 4294967295 134512640 134714508 3221224592 3221220476 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7856 7070 1111 63 0 7793 0
vsize: 31424
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 18976 0 0 0 1956 40 0 0 25 0 1 0 832084276 31330304 6923 4294967295 134512640 134714508 3221224592 3221205328 1074153469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7649 6923 1111 63 0 7586 0
vsize: 30596
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 22450 0 0 0 2947 48 0 0 25 0 1 0 832084276 31490048 6965 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7688 6965 1111 63 0 7625 0
vsize: 30752
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 25998 0 0 0 3939 57 0 0 25 0 1 0 832084276 31481856 6968 4294967295 134512640 134714508 3221224592 3221222592 1074916669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7686 6968 1111 63 0 7623 0
vsize: 30744
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 29624 0 0 0 4930 65 0 0 25 0 1 0 832084276 31481856 6968 4294967295 134512640 134714508 3221224592 3221221576 1074831508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7686 6968 1111 63 0 7623 0
vsize: 30744
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 33290 0 0 0 5923 73 0 0 25 0 1 0 832084276 31477760 6967 4294967295 134512640 134714508 3221224592 3221222320 1075828464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7685 6967 1111 63 0 7622 0
vsize: 30740
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 37249 0 0 0 6913 83 0 0 25 0 1 0 832084276 31473664 6966 4294967295 134512640 134714508 3221224592 3221222320 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7684 6966 1111 63 0 7621 0
vsize: 30736
[startup+80.0013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 41307 0 0 0 7904 92 0 0 25 0 1 0 832084276 31469568 6965 4294967295 134512640 134714508 3221224592 3221222872 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7683 6965 1111 63 0 7620 0
vsize: 30732
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 45523 0 0 0 8895 101 0 0 25 0 1 0 832084276 31330304 6931 4294967295 134512640 134714508 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6931 1111 63 0 7586 0
vsize: 30596
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 49719 0 0 0 9885 111 0 0 25 0 1 0 832084276 31330304 6931 4294967295 134512640 134714508 3221224592 3221223208 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6931 1111 63 0 7586 0
vsize: 30596
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 50535 0 0 0 10883 113 0 0 25 0 1 0 832084276 31465472 6964 4294967295 134512640 134714508 3221224592 3221221092 1074846155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7682 6964 1111 63 0 7619 0
vsize: 30728
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 51365 0 0 0 11882 115 0 0 25 0 1 0 832084276 31330304 6931 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6931 1111 63 0 7586 0
vsize: 30596
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 52153 0 0 0 12879 118 0 0 25 0 1 0 832084276 31330304 6931 4294967295 134512640 134714508 3221224592 3221221704 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6931 1111 63 0 7586 0
vsize: 30596
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 52913 0 0 0 13877 120 0 0 25 0 1 0 832084276 31330304 6931 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6931 1111 63 0 7586 0
vsize: 30596
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 53646 0 0 0 14875 122 0 0 25 0 1 0 832084276 31330304 6931 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6931 1111 63 0 7586 0
vsize: 30596
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54406 0 0 0 15873 124 0 0 25 0 1 0 832084276 31330304 6931 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6931 1111 63 0 7586 0
vsize: 30596
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54894 0 0 0 16873 126 0 0 25 0 1 0 832084276 31330304 6931 4294967295 134512640 134714508 3221224592 3221222592 1074918328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6931 1111 63 0 7586 0
vsize: 30596
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54895 0 0 0 17873 126 0 0 25 0 1 0 832084276 31330304 6932 4294967295 134512640 134714508 3221224592 3221221996 1073988720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6932 1111 63 0 7586 0
vsize: 30596
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54895 0 0 0 18873 126 0 0 25 0 1 0 832084276 31330304 6932 4294967295 134512640 134714508 3221224592 3221223168 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6932 1111 63 0 7586 0
vsize: 30596
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54895 0 0 0 19873 126 0 0 25 0 1 0 832084276 31330304 6932 4294967295 134512640 134714508 3221224592 3221222872 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6932 1111 63 0 7586 0
vsize: 30596
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54895 0 0 0 20873 126 0 0 25 0 1 0 832084276 31330304 6932 4294967295 134512640 134714508 3221224592 3221222592 1074918215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6932 1111 63 0 7586 0
vsize: 30596
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54895 0 0 0 21873 127 0 0 25 0 1 0 832084276 31330304 6932 4294967295 134512640 134714508 3221224592 3221221784 1074138274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6932 1111 63 0 7586 0
vsize: 30596
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54895 0 0 0 22873 127 0 0 25 0 1 0 832084276 31330304 6932 4294967295 134512640 134714508 3221224592 3221222320 1075829969 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6932 1111 63 0 7586 0
vsize: 30596
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54895 0 0 0 23873 127 0 0 25 0 1 0 832084276 31330304 6932 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6932 1111 63 0 7586 0
vsize: 30596
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54895 0 0 0 24873 127 0 0 25 0 1 0 832084276 31330304 6932 4294967295 134512640 134714508 3221224592 3221222848 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6932 1111 63 0 7586 0
vsize: 30596
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54899 0 0 0 25873 127 0 0 25 0 1 0 832084276 31330304 6936 4294967295 134512640 134714508 3221224592 3221221776 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6936 1111 63 0 7586 0
vsize: 30596
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54899 0 0 0 26873 127 0 0 25 0 1 0 832084276 31330304 6936 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6936 1111 63 0 7586 0
vsize: 30596
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54899 0 0 0 27873 128 0 0 25 0 1 0 832084276 31330304 6936 4294967295 134512640 134714508 3221224592 3221222304 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6936 1111 63 0 7586 0
vsize: 30596
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54899 0 0 0 28873 128 0 0 25 0 1 0 832084276 31330304 6936 4294967295 134512640 134714508 3221224592 3221222416 1075823363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6936 1111 63 0 7586 0
vsize: 30596
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54899 0 0 0 29872 129 0 0 25 0 1 0 832084276 31330304 6936 4294967295 134512640 134714508 3221224592 3221222896 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6936 1111 63 0 7586 0
vsize: 30596
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54899 0 0 0 30872 129 0 0 25 0 1 0 832084276 31330304 6936 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6936 1111 63 0 7586 0
vsize: 30596
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54899 0 0 0 31872 129 0 0 25 0 1 0 832084276 31330304 6936 4294967295 134512640 134714508 3221224592 3221222320 1075635441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6936 1111 63 0 7586 0
vsize: 30596
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54900 0 0 0 32871 130 0 0 25 0 1 0 832084276 31330304 6937 4294967295 134512640 134714508 3221224592 3221223008 1074116261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6937 1111 63 0 7586 0
vsize: 30596
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54900 0 0 0 33871 131 0 0 25 0 1 0 832084276 31330304 6937 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6937 1111 63 0 7586 0
vsize: 30596
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54900 0 0 0 34871 131 0 0 25 0 1 0 832084276 31330304 6937 4294967295 134512640 134714508 3221224592 3221222352 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6937 1111 63 0 7586 0
vsize: 30596
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54900 0 0 0 35871 131 0 0 25 0 1 0 832084276 31330304 6937 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6937 1111 63 0 7586 0
vsize: 30596
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54900 0 0 0 36871 131 0 0 25 0 1 0 832084276 31330304 6937 4294967295 134512640 134714508 3221224592 3221222320 1075635468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6937 1111 63 0 7586 0
vsize: 30596
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 37871 131 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 38871 132 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221223056 1074121015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 39870 132 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222280 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 40870 133 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222992 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 41870 133 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222168 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 42870 133 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 43869 134 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 44869 134 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 45869 134 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 46869 135 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222632 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 47869 135 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 48869 136 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221223172 1077378607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 49869 136 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 50868 136 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221223328 134556864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 51868 137 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222320 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 52868 137 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222312 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 53868 137 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 54868 138 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 55867 138 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222144 1074052264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 56867 139 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 57867 139 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221221696 1074138892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 58866 140 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 59866 140 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 60866 140 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074142709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 61866 141 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222888 1074138319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 62865 141 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221223356 134534136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 63865 142 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 64864 143 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222592 1074918201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 65864 143 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 66864 144 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222464 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 67864 144 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222320 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 68863 144 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222632 1077374896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 69863 144 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 70863 145 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222704 1074867283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 71863 145 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 72863 145 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222280 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 73863 146 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222856 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 74863 146 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222992 1074118879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 75862 147 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 76862 147 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 77862 148 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221223056 1074121006 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 78862 148 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222568 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 79862 148 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 80861 148 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222224 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 81861 149 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 82861 149 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 83861 149 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222320 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 84861 149 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222336 1075640409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 85860 150 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221221904 1075006831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 86860 151 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222400 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 87860 151 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222464 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 88859 152 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 89859 153 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221221872 1074139935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 90858 153 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222856 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 91858 154 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 92858 154 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222176 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 93858 154 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221223112 134696865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+950.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 94858 155 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221221160 1076045683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+960.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 95857 155 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+970.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 96857 156 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 97856 157 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222400 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 98856 157 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221221132 1076121280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 99856 158 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222336 1075646688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 100855 158 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 101855 159 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 102855 159 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 103855 159 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 104855 160 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222512 1075799526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 105854 160 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 106854 160 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 107854 161 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221220832 1075115768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 108854 161 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222728 1077378283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 109854 161 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222592 1074056223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 110854 161 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222352 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 111853 162 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 112854 162 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221221512 1074950064 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 113854 162 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221223264 134650219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 114854 162 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222224 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 115853 163 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 116853 163 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222320 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 30596
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 24929
Raw data (stat): 24929 (bsolo_lpr) R 24928 22056 22055 0 -1 0 54901 0 0 0 116853 163 0 0 25 0 1 0 832084276 31330304 6938 4294967295 134512640 134714508 3221224592 3221222320 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6938 1111 63 0 7586 0
vsize: 0

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