PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	766b2fe57cb2084b069363491485612e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	97
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16000000
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	241094849
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	2754
Total number of constraints	444
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	444
Minimum length of a constraint	11
Maximum length of a constraint	84
Trace number 28205

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 01:02:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13950 boxname=wulflinc28 idbench=1074 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  766b2fe57cb2084b069363491485612e  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 13950
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        817512 kB
Buffers:         22424 kB
Cached:         173588 kB
SwapCached:       1052 kB
Active:          29668 kB
Inactive:       168908 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        817232 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5456 kB
Slab:            12960 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:22:23 (client local time) WITH STATUS 0 IN 1175.81 SECONDS
stats: 13950 7 1175.81 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1842 variables and 296 constraints.
c preprocess terminated 74.186 s
c Initial Lower Bound: 39
c Lower Bound Elapsed time: 0.2515
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.79 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.91 2/54 30971
Raw data (stat): 30971 (runsolver) R 30970 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834772312 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+10.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 6494 0 0 0 982 15 0 0 25 0 1 0 834772312 29745152 6416 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7262 6416 1111 63 0 7199 0
vsize: 29048
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 6567 0 0 0 1982 15 0 0 25 0 1 0 834772312 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 6567 0 0 0 2983 15 0 0 25 0 1 0 834772312 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+40.0003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 6567 0 0 0 3983 15 0 0 25 0 1 0 834772312 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+50.0003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 6567 0 0 0 4983 15 0 0 25 0 1 0 834772312 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 6567 0 0 0 5983 15 0 0 25 0 1 0 834772312 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+70.0004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 6567 0 0 0 6983 15 0 0 25 0 1 0 834772312 30076928 6489 4294967295 134512640 134714508 3221224592 3221223300 134618239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+80.0005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 7730 0 0 0 7980 18 0 0 25 0 1 0 834772312 30130176 6656 4294967295 134512640 134714508 3221224592 3221222800 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 6656 1111 63 0 7293 0
vsize: 29424
[startup+90.0007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 8563 0 0 0 8976 21 0 0 25 0 1 0 834772312 30130176 6656 4294967295 134512640 134714508 3221224592 3221222592 1074918496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6656 1111 63 0 7293 0
vsize: 29424
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 9867 0 0 0 9972 26 0 0 25 0 1 0 834772312 30130176 6659 4294967295 134512640 134714508 3221224592 3221222560 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6659 1111 63 0 7293 0
vsize: 29424
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 11807 0 0 0 10966 32 0 0 25 0 1 0 834772312 30330880 6670 4294967295 134512640 134714508 3221224592 3221222448 1075799720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7405 6670 1111 63 0 7342 0
vsize: 29620
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 13372 0 0 0 11962 37 0 0 25 0 1 0 834772312 30179328 6667 4294967295 134512640 134714508 3221224592 3221222632 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7368 6667 1111 63 0 7305 0
vsize: 29472
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 15065 0 0 0 12956 42 0 0 25 0 1 0 834772312 30330880 6667 4294967295 134512640 134714508 3221224592 3221222352 1075823373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7405 6669 1111 63 0 7342 0
vsize: 29620
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 16821 0 0 0 13950 49 0 0 25 0 1 0 834772312 30179328 6673 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7368 6673 1111 63 0 7305 0
vsize: 29472
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 18227 0 0 0 14945 53 0 0 25 0 1 0 834772312 30507008 6689 4294967295 134512640 134714508 3221224592 3221220864 1074961123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6689 1111 63 0 7385 0
vsize: 29792
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 19954 0 0 0 15940 58 0 0 25 0 1 0 834772312 30404608 6664 4294967295 134512640 134714508 3221224592 3221222624 1075088385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6662 1111 63 0 7303 0
vsize: 29692
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 21950 0 0 0 16934 65 0 0 25 0 1 0 834772312 30167040 6662 4294967295 134512640 134714508 3221224592 3221222592 1074918536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7365 6662 1111 63 0 7302 0
vsize: 29460
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30971
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 24265 0 0 0 17927 72 0 0 25 0 1 0 834772312 30175232 6672 4294967295 134512640 134714508 3221224592 3221221936 1074839048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7367 6672 1111 63 0 7304 0
vsize: 29468
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 26697 0 0 0 18921 78 0 0 25 0 1 0 834772312 30130176 6663 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6663 1111 63 0 7293 0
vsize: 29424
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 29099 0 0 0 19913 87 0 0 25 0 1 0 834772312 30130176 6663 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6663 1111 63 0 7293 0
vsize: 29424
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 31602 0 0 0 20906 93 0 0 25 0 1 0 834772312 30543872 6695 4294967295 134512640 134714508 3221224592 3221220664 1074950215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6695 1111 63 0 7394 0
vsize: 29828
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 33927 0 0 0 21900 100 0 0 25 0 1 0 834772312 30130176 6663 4294967295 134512640 134714508 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6663 1111 63 0 7293 0
vsize: 29424
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 36200 0 0 0 22895 105 0 0 25 0 1 0 834772312 30552064 6697 4294967295 134512640 134714508 3221224592 3221221360 1076083442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7459 6697 1111 63 0 7396 0
vsize: 29836
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 38391 0 0 0 23888 112 0 0 25 0 1 0 834772312 30183424 6676 4294967295 134512640 134714508 3221224592 3221222376 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7369 6676 1111 63 0 7306 0
vsize: 29476
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 40586 0 0 0 24883 118 0 0 25 0 1 0 834772312 30183424 6676 4294967295 134512640 134714508 3221224592 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7369 6676 1111 63 0 7306 0
vsize: 29476
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 42283 0 0 0 25877 123 0 0 25 0 1 0 834772312 30302208 6705 4294967295 134512640 134714508 3221224592 3221222112 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7398 6705 1111 63 0 7335 0
vsize: 29592
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 44153 0 0 0 26871 130 0 0 25 0 1 0 834772312 30625792 6718 4294967295 134512640 134714508 3221224592 3221221616 1074810486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6718 1111 63 0 7414 0
vsize: 29908
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 45779 0 0 0 27866 135 0 0 25 0 1 0 834772312 30457856 6715 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6715 1111 63 0 7373 0
vsize: 29744
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 47239 0 0 0 28861 140 0 0 25 0 1 0 834772312 30621696 6713 4294967295 134512640 134714508 3221224592 3221220556 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6713 1111 63 0 7413 0
vsize: 29904
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 48785 0 0 0 29856 145 0 0 25 0 1 0 834772312 30240768 6690 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7383 6690 1111 63 0 7320 0
vsize: 29532
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 50698 0 0 0 30852 150 0 0 25 0 1 0 834772312 30228480 6687 4294967295 134512640 134714508 3221224592 3221222784 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7380 6687 1111 63 0 7317 0
vsize: 29520
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 52863 0 0 0 31846 155 0 0 25 0 1 0 834772312 30343168 6710 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7408 6710 1111 63 0 7345 0
vsize: 29632
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 54791 0 0 0 32840 162 0 0 25 0 1 0 834772312 30285824 6701 4294967295 134512640 134714508 3221224592 3221222368 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6701 1111 63 0 7331 0
vsize: 29576
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 56924 0 0 0 33834 167 0 0 25 0 1 0 834772312 30269440 6697 4294967295 134512640 134714508 3221224592 3221223240 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7390 6697 1111 63 0 7327 0
vsize: 29560
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 58930 0 0 0 34830 172 0 0 25 0 1 0 834772312 30281728 6700 4294967295 134512640 134714508 3221224592 3221222592 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 6700 1111 63 0 7330 0
vsize: 29572
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 60940 0 0 0 35824 178 0 0 25 0 1 0 834772312 30597120 6723 4294967295 134512640 134714508 3221224592 3221222296 1077377495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7470 6723 1111 63 0 7407 0
vsize: 29880
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 62779 0 0 0 36818 184 0 0 25 0 1 0 834772312 30339072 6715 4294967295 134512640 134714508 3221224592 3221222504 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6715 1111 63 0 7344 0
vsize: 29628
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 64325 0 0 0 37813 190 0 0 25 0 1 0 834772312 30597120 6721 4294967295 134512640 134714508 3221224592 3221220640 1074877700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7470 6721 1111 63 0 7407 0
vsize: 29880
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 65844 0 0 0 38808 194 0 0 25 0 1 0 834772312 30285824 6702 4294967295 134512640 134714508 3221224592 3221222256 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6702 1111 63 0 7331 0
vsize: 29576
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 67485 0 0 0 39803 200 0 0 25 0 1 0 834772312 30478336 6708 4294967295 134512640 134714508 3221224592 3221222320 1075829570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6708 1111 63 0 7378 0
vsize: 29764
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 69418 0 0 0 40797 206 0 0 25 0 1 0 834772312 30478336 6742 4294967295 134512640 134714508 3221224592 3221222992 1074119040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6742 1111 63 0 7378 0
vsize: 29764
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 71265 0 0 0 41791 212 0 0 25 0 1 0 834772312 30547968 6728 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7458 6730 1111 63 0 7395 0
vsize: 29832
[startup+429.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 72505 0 0 0 42786 217 0 0 25 0 1 0 834772312 30384128 6726 4294967295 134512640 134714508 3221224592 3221222592 1074918290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 74417 0 0 0 43779 224 0 0 25 0 1 0 834772312 30556160 6768 4294967295 134512640 134714508 3221224592 3221222544 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7460 6768 1111 63 0 7397 0
vsize: 29840
[startup+449.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 76637 0 0 0 44774 230 0 0 25 0 1 0 834772312 30547968 6749 4294967295 134512640 134714508 3221224592 3221221696 1074138623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7458 6749 1111 63 0 7395 0
vsize: 29832
[startup+459.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 78641 0 0 0 45768 236 0 0 25 0 1 0 834772312 30908416 6783 4294967295 134512640 134714508 3221224592 3221221616 1074810542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7546 6783 1111 63 0 7483 0
vsize: 30184
[startup+469.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 80469 0 0 0 46761 242 0 0 25 0 1 0 834772312 30445568 6741 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7433 6741 1111 63 0 7370 0
vsize: 29732
[startup+479.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 80903 0 0 0 47759 245 0 0 25 0 1 0 834772312 30384128 6726 4294967295 134512640 134714508 3221224592 3221222736 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+489.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 82398 0 0 0 48756 248 0 0 25 0 1 0 834772312 30502912 6755 4294967295 134512640 134714508 3221224592 3221222336 1075640218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6755 1111 63 0 7384 0
vsize: 29788
[startup+499.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 84210 0 0 0 49750 254 0 0 25 0 1 0 834772312 30552064 6767 4294967295 134512640 134714508 3221224592 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7459 6767 1111 63 0 7396 0
vsize: 29836
[startup+509.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 86321 0 0 0 50744 260 0 0 25 0 1 0 834772312 30937088 6790 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7553 6790 1111 63 0 7490 0
vsize: 30212
[startup+519.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 88297 0 0 0 51739 266 0 0 25 0 1 0 834772312 30490624 6752 4294967295 134512640 134714508 3221224592 3221221756 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7444 6752 1111 63 0 7381 0
vsize: 29776
[startup+529.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 90398 0 0 0 52733 272 0 0 25 0 1 0 834772312 30384128 6726 4294967295 134512640 134714508 3221224592 3221222860 1077402400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+539.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 92380 0 0 0 53726 279 0 0 25 0 1 0 834772312 30560256 6730 4294967295 134512640 134714508 3221224592 3221221536 1074620304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6730 1111 63 0 7398 0
vsize: 29844
[startup+549.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 93055 0 0 0 54724 282 0 0 25 0 1 0 834772312 30384128 6726 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 93874 0 0 0 55720 285 0 0 25 0 1 0 834772312 30384128 6726 4294967295 134512640 134714508 3221224592 3221222592 1074052300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 95748 0 0 0 56716 289 0 0 25 0 1 0 834772312 30384128 6726 4294967295 134512640 134714508 3221224592 3221222224 1073986885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+579.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 97665 0 0 0 57709 296 0 0 25 0 1 0 834772312 30384128 6726 4294967295 134512640 134714508 3221224592 3221222032 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 99737 0 0 0 58704 301 0 0 25 0 1 0 834772312 30552064 6767 4294967295 134512640 134714508 3221224592 3221222992 1074118827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6767 1111 63 0 7396 0
vsize: 29836
[startup+599.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 101667 0 0 0 59699 307 0 0 25 0 1 0 834772312 30588928 6770 4294967295 134512640 134714508 3221224592 3221222052 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7468 6770 1111 63 0 7405 0
vsize: 29872
[startup+610 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 103643 0 0 0 60694 311 0 0 25 0 1 0 834772312 30437376 6739 4294967295 134512640 134714508 3221224592 3221221788 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+620 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 105587 0 0 0 61689 317 0 0 25 0 1 0 834772312 30892032 6778 4294967295 134512640 134714508 3221224592 3221220856 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7542 6778 1111 63 0 7479 0
vsize: 30168
[startup+630 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 107520 0 0 0 62682 324 0 0 25 0 1 0 834772312 30695424 6766 4294967295 134512640 134714508 3221224592 3221222704 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7494 6766 1111 63 0 7431 0
vsize: 29976
[startup+640 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 109315 0 0 0 63676 330 0 0 25 0 1 0 834772312 30851072 6774 4294967295 134512640 134714508 3221224592 3221222640 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7532 6774 1111 63 0 7469 0
vsize: 30128
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 111046 0 0 0 64669 337 0 0 25 0 1 0 834772312 30486528 6751 4294967295 134512640 134714508 3221224592 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6751 1111 63 0 7380 0
vsize: 29772
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 113184 0 0 0 65662 344 0 0 25 0 1 0 834772312 30486528 6751 4294967295 134512640 134714508 3221224592 3221222496 1074052599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6751 1111 63 0 7380 0
vsize: 29772
[startup+670.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 115193 0 0 0 66657 349 0 0 25 0 1 0 834772312 30486528 6751 4294967295 134512640 134714508 3221224592 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6751 1111 63 0 7380 0
vsize: 29772
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 117499 0 0 0 67651 356 0 0 25 0 1 0 834772312 30945280 6791 4294967295 134512640 134714508 3221224592 3221220592 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7555 6791 1111 63 0 7492 0
vsize: 30220
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 119771 0 0 0 68642 364 0 0 25 0 1 0 834772312 30535680 6764 4294967295 134512640 134714508 3221224592 3221222868 1077374461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7455 6764 1111 63 0 7392 0
vsize: 29820
[startup+700.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 121754 0 0 0 69638 369 0 0 25 0 1 0 834772312 30912512 6790 4294967295 134512640 134714508 3221224592 3221220724 1074786600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7547 6790 1111 63 0 7484 0
vsize: 30188
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 123776 0 0 0 70633 374 0 0 25 0 1 0 834772312 30486528 6752 4294967295 134512640 134714508 3221224592 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6752 1111 63 0 7380 0
vsize: 29772
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 126003 0 0 0 71628 379 0 0 25 0 1 0 834772312 30605312 6774 4294967295 134512640 134714508 3221224592 3221222592 1074917054 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 128090 0 0 0 72621 386 0 0 25 0 1 0 834772312 30965760 6798 4294967295 134512640 134714508 3221224592 3221220588 1074788121 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7560 6798 1111 63 0 7497 0
vsize: 30240
[startup+740.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 130050 0 0 0 73616 392 0 0 25 0 1 0 834772312 30486528 6753 4294967295 134512640 134714508 3221224592 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6753 1111 63 0 7380 0
vsize: 29772
[startup+750.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 132331 0 0 0 74609 399 0 0 25 0 1 0 834772312 30601216 6781 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6781 1111 63 0 7408 0
vsize: 29884
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 133947 0 0 0 75603 404 0 0 25 0 1 0 834772312 30486528 6753 4294967295 134512640 134714508 3221224592 3221222880 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6753 1111 63 0 7380 0
vsize: 29772
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 136940 0 0 0 76596 412 0 0 25 0 1 0 834772312 30486528 6753 4294967295 134512640 134714508 3221224592 3221222784 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6753 1111 63 0 7380 0
vsize: 29772
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 140063 0 0 0 77589 420 0 0 25 0 1 0 834772312 30646272 6792 4294967295 134512640 134714508 3221224592 3221222880 1074153823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 6792 1111 63 0 7419 0
vsize: 29928
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 144223 0 0 0 78579 430 0 0 25 0 1 0 834772312 30646272 6792 4294967295 134512640 134714508 3221224592 3221222976 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 6792 1111 63 0 7419 0
vsize: 29928
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 147209 0 0 0 79570 439 0 0 25 0 1 0 834772312 31014912 6828 4294967295 134512640 134714508 3221224592 3221220864 1074805539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7572 6828 1111 63 0 7509 0
vsize: 30288
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 148504 0 0 0 80565 444 0 0 25 0 1 0 834772312 30789632 6793 4294967295 134512640 134714508 3221224592 3221221576 1074831548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7517 6793 1111 63 0 7454 0
vsize: 30068
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 149498 0 0 0 81561 448 0 0 25 0 1 0 834772312 30646272 6792 4294967295 134512640 134714508 3221224592 3221222156 1077379991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 6792 1111 63 0 7419 0
vsize: 29928
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 150042 0 0 0 82558 451 0 0 25 0 1 0 834772312 30785536 6788 4294967295 134512640 134714508 3221224592 3221221632 1075860558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7516 6788 1111 63 0 7453 0
vsize: 30064
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 150451 0 0 0 83555 454 0 0 25 0 1 0 834772312 30613504 6784 4294967295 134512640 134714508 3221224592 3221222592 1075961790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 150877 0 0 0 84553 456 0 0 25 0 1 0 834772312 30642176 6785 4294967295 134512640 134714508 3221224592 3221222944 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 151299 0 0 0 85551 459 0 0 25 0 1 0 834772312 30642176 6785 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 151727 0 0 0 86549 461 0 0 25 0 1 0 834772312 30642176 6785 4294967295 134512640 134714508 3221224592 3221222992 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 152141 0 0 0 87547 463 0 0 25 0 1 0 834772312 30642176 6785 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 152580 0 0 0 88544 466 0 0 25 0 1 0 834772312 30613504 6784 4294967295 134512640 134714508 3221224592 3221222288 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 153007 0 0 0 89541 469 0 0 25 0 1 0 834772312 30642176 6785 4294967295 134512640 134714508 3221224592 3221222232 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 153452 0 0 0 90539 471 0 0 25 0 1 0 834772312 30642176 6785 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+920.019 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 153900 0 0 0 91536 473 0 0 25 0 1 0 834772312 30613504 6784 4294967295 134512640 134714508 3221224592 3221222544 1074918283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+930.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 154696 0 0 0 92533 477 0 0 25 0 1 0 834772312 30662656 6789 4294967295 134512640 134714508 3221224592 3221223316 134542593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7486 6789 1111 63 0 7423 0
vsize: 29944
[startup+940.019 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 155658 0 0 0 93530 481 0 0 25 0 1 0 834772312 30642176 6791 4294967295 134512640 134714508 3221224592 3221222224 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6791 1111 63 0 7418 0
vsize: 29924
[startup+950.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 156654 0 0 0 94526 485 0 0 25 0 1 0 834772312 30642176 6786 4294967295 134512640 134714508 3221224592 3221222184 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6786 1111 63 0 7418 0
vsize: 29924
[startup+960.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 157795 0 0 0 95521 489 0 0 25 0 1 0 834772312 30642176 6786 4294967295 134512640 134714508 3221224592 3221222944 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6786 1111 63 0 7418 0
vsize: 29924
[startup+970.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 158696 0 0 0 96517 494 0 0 25 0 1 0 834772312 30613504 6784 4294967295 134512640 134714508 3221224592 3221222240 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+980.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 159704 0 0 0 97513 498 0 0 25 0 1 0 834772312 30642176 6791 4294967295 134512640 134714508 3221224592 3221222336 1075646837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6791 1111 63 0 7418 0
vsize: 29924
[startup+990.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 160900 0 0 0 98509 502 0 0 25 0 1 0 834772312 30642176 6791 4294967295 134512640 134714508 3221224592 3221222408 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6791 1111 63 0 7418 0
vsize: 29924
[startup+1000.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 162244 0 0 0 99504 507 0 0 25 0 1 0 834772312 30642176 6785 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+1010.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 163569 0 0 0 100500 511 0 0 25 0 1 0 834772312 30642176 6789 4294967295 134512640 134714508 3221224592 3221223292 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6789 1111 63 0 7418 0
vsize: 29924
[startup+1020.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 164810 0 0 0 101495 516 0 0 25 0 1 0 834772312 30928896 6795 4294967295 134512640 134714508 3221224592 3221221660 1074831225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 6795 1111 63 0 7488 0
vsize: 30204
[startup+1030.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 165853 0 0 0 102490 521 0 0 25 0 1 0 834772312 30642176 6791 4294967295 134512640 134714508 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6791 1111 63 0 7418 0
vsize: 29924
[startup+1040.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 167215 0 0 0 103485 526 0 0 25 0 1 0 834772312 30642176 6791 4294967295 134512640 134714508 3221224592 3221222592 1074921304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6791 1111 63 0 7418 0
vsize: 29924
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 169252 0 0 0 104479 532 0 0 25 0 1 0 834772312 30978048 6835 4294967295 134512640 134714508 3221224592 3221221664 1074837194 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7563 6835 1111 63 0 7500 0
vsize: 30252
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 171008 0 0 0 105474 538 0 0 25 0 1 0 834772312 30752768 6818 4294967295 134512640 134714508 3221224592 3221222896 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7508 6818 1111 63 0 7445 0
vsize: 30032
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 173227 0 0 0 106468 544 0 0 25 0 1 0 834772312 30842880 6840 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6840 1111 63 0 7467 0
vsize: 30120
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 174808 0 0 0 107461 551 0 0 25 0 1 0 834772312 30842880 6837 4294967295 134512640 134714508 3221224592 3221222040 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6837 1111 63 0 7467 0
vsize: 30120
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 176296 0 0 0 108455 557 0 0 25 0 1 0 834772312 30814208 6833 4294967295 134512640 134714508 3221224592 3221222568 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7523 6833 1111 63 0 7460 0
vsize: 30092
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 177573 0 0 0 109450 562 0 0 25 0 1 0 834772312 30814208 6833 4294967295 134512640 134714508 3221224592 3221222712 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7523 6833 1111 63 0 7460 0
vsize: 30092
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 178584 0 0 0 110446 566 0 0 25 0 1 0 834772312 31162368 6854 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7608 6854 1111 63 0 7545 0
vsize: 30432
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 179544 0 0 0 111442 571 0 0 25 0 1 0 834772312 31125504 6846 4294967295 134512640 134714508 3221224592 3221220556 1074860583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6846 1111 63 0 7536 0
vsize: 30396
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 181006 0 0 0 112437 576 0 0 25 0 1 0 834772312 31158272 6861 4294967295 134512640 134714508 3221224592 3221220864 1074961258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7607 6861 1111 63 0 7544 0
vsize: 30428
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 182923 0 0 0 113431 582 0 0 25 0 1 0 834772312 31158272 6853 4294967295 134512640 134714508 3221224592 3221220588 1074873384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7607 6853 1111 63 0 7544 0
vsize: 30428
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 184776 0 0 0 114424 589 0 0 25 0 1 0 834772312 31125504 6858 4294967295 134512640 134714508 3221224592 3221221248 1075966566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6858 1111 63 0 7536 0
vsize: 30396
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 186281 0 0 0 115419 594 0 0 25 0 1 0 834772312 31035392 6834 4294967295 134512640 134714508 3221224592 3221222584 1074206145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7577 6834 1111 63 0 7514 0
vsize: 30308
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 188008 0 0 0 116413 601 0 0 25 0 1 0 834772312 30842880 6837 4294967295 134512640 134714508 3221224592 3221222976 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6837 1111 63 0 7467 0
vsize: 30120
[startup+1175.7 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 30973
Raw data (stat): 30971 (bsolo_lpr) R 30970 24821 24820 0 -1 0 188008 0 0 0 116413 601 0 0 25 0 1 0 834772312 30842880 6837 4294967295 134512640 134714508 3221224592 3221222976 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6837 1111 63 0 7467 0
vsize: 0

Child status: 0
Real time (s): 1175.7
CPU time (s): 1175.81
CPU user time (s): 1169.75
CPU system time (s): 6.06208
CPU usage (%): 100.01
Max. virtual memory (Kb): 30432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####