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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
MD5SUM	77c89bda49ebcdc0428e1292512864a9
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3080
Optimality of the best value was proved	NO
Number of terms in the objective function	2792
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	1385986
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1000
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	1385986
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07184
Number of variables	3300
Total number of constraints	5284
Number of constraints which are clauses	1364
Number of constraints which are cardinality constraints (but not clauses)	3920
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	220
Trace number 24922

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 22:02:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3205 boxname=wulflinc31 idbench=357 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  77c89bda49ebcdc0428e1292512864a9  /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-3.opb
IDLAUNCH: 3205
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        822772 kB
Buffers:         39952 kB
Cached:         150352 kB
SwapCached:       1932 kB
Active:         155304 kB
Inactive:        38152 kB
HighTotal:      131008 kB
HighFree:         1708 kB
LowTotal:       903652 kB
LowFree:        821064 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:             136 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12784 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 22:21:46 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 3205 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3300 variables and 2573 constraints.
c After prepocess the problem consists of 3299 variables and 2135 constraints.
c preprocess terminated 21.023 s
c Initial Lower Bound: 3017
c Lower Bound Elapsed time: 2.639
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
Raw data (loadavg): 0.94 0.98 0.99 2/55 28865
Raw data (stat): 28865 (runsolver) R 28864 7876 7672 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 747252752 1056768 98 4294967295 134512640 135381576 3221221696 3221217136 134514522 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 1805 0 0 0 988 8 0 0 25 0 1 0 747252752 10559488 1720 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2578 1720 1111 63 0 2515 0
vsize: 10312
[startup+20.0017 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 1843 0 0 0 1987 8 0 0 25 0 1 0 747252752 10694656 1758 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2611 1758 1111 63 0 2548 0
vsize: 10444
[startup+30.0017 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 2871 0 0 0 2983 11 0 0 25 0 1 0 747252752 13238272 2512 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3232 2512 1111 63 0 3169 0
vsize: 12928
[startup+40.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 4888 0 0 0 3978 17 0 0 25 0 1 0 747252752 21475328 4529 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5243 4529 1111 63 0 5180 0
vsize: 20972
[startup+50.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 6325 0 0 0 4973 22 0 0 25 0 1 0 747252752 27410432 5966 4294967295 134512640 134714508 3221221792 3221220608 134590189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6692 5966 1111 63 0 6629 0
vsize: 26768
[startup+60.0033 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 7662 0 0 0 5969 26 0 0 25 0 1 0 747252752 32948224 7303 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8044 7303 1111 63 0 7981 0
vsize: 32176
[startup+70.0042 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 8862 0 0 0 6965 30 0 0 25 0 1 0 747252752 37834752 8502 4294967295 134512640 134714508 3221221792 3221220432 134696094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9237 8502 1111 63 0 9174 0
vsize: 36948
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 9792 0 0 0 7962 33 0 0 25 0 1 0 747252752 41652224 9431 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10169 9431 1111 63 0 10106 0
vsize: 40676
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 11064 0 0 0 8958 38 0 0 25 0 1 0 747252752 46915584 10703 4294967295 134512640 134714508 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11454 10704 1111 63 0 11391 0
vsize: 45816
[startup+100.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 12238 0 0 0 9952 44 0 0 25 0 1 0 747252752 51757056 11877 4294967295 134512640 134714508 3221221792 3221220536 134672936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12636 11877 1111 63 0 12573 0
vsize: 50544
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 12806 0 0 0 10950 47 0 0 25 0 1 0 747252752 54005760 12445 4294967295 134512640 134714508 3221221792 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13185 12445 1111 63 0 13122 0
vsize: 52740
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 14227 0 0 0 11945 51 0 0 25 0 1 0 747252752 59953152 13864 4294967295 134512640 134714508 3221221792 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14637 13864 1111 63 0 14574 0
vsize: 58548
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 14697 0 0 0 12943 54 0 0 25 0 1 0 747252752 61845504 14334 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15099 14334 1111 63 0 15036 0
vsize: 60396
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 15859 0 0 0 13938 59 0 0 25 0 1 0 747252752 66576384 15496 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16254 15496 1111 63 0 16191 0
vsize: 65016
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 16839 0 0 0 14935 62 0 0 25 0 1 0 747252752 70623232 16476 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17242 16476 1111 63 0 17179 0
vsize: 68968
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 17840 0 0 0 15931 66 0 0 25 0 1 0 747252752 74670080 17477 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18230 17477 1111 63 0 18167 0
vsize: 72920
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 19215 0 0 0 16927 70 0 0 25 0 1 0 747252752 80343040 18852 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19615 18852 1111 63 0 19552 0
vsize: 78460
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 19563 0 0 0 17926 72 0 0 25 0 1 0 747252752 81858560 19198 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19985 19198 1111 63 0 19922 0
vsize: 79940
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 20702 0 0 0 18922 76 0 0 25 0 1 0 747252752 86593536 20337 4294967295 134512640 134714508 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21141 20337 1111 63 0 21078 0
vsize: 84564
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 22093 0 0 0 19917 81 0 0 25 0 1 0 747252752 92270592 21728 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22527 21728 1111 63 0 22464 0
vsize: 90108
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28865
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 22794 0 0 0 20914 84 0 0 25 0 1 0 747252752 95117312 22429 4294967295 134512640 134714508 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23222 22429 1111 63 0 23159 0
vsize: 92888
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 23906 0 0 0 21909 90 0 0 25 0 1 0 747252752 99708928 23541 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24343 23541 1111 63 0 24280 0
vsize: 97372
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 25360 0 0 0 22904 94 0 0 25 0 1 0 747252752 105644032 24995 4294967295 134512640 134714508 3221221792 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25792 24995 1111 63 0 25729 0
vsize: 103168
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 26744 0 0 0 23900 99 0 0 25 0 1 0 747252752 111321088 26379 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27178 26379 1111 63 0 27115 0
vsize: 108712
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 27551 0 0 0 24896 103 0 0 25 0 1 0 747252752 114561024 27186 4294967295 134512640 134714508 3221221792 3221220432 134613640 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27969 27186 1111 63 0 27906 0
vsize: 111876
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 28474 0 0 0 25892 107 0 0 25 0 1 0 747252752 118460416 28109 4294967295 134512640 134714508 3221221792 3221220448 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28921 28109 1111 63 0 28858 0
vsize: 115684
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 29636 0 0 0 26888 112 0 0 25 0 1 0 747252752 123174912 29271 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30072 29271 1111 63 0 30009 0
vsize: 120288
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 30523 0 0 0 27884 116 0 0 25 0 1 0 747252752 126812160 30158 4294967295 134512640 134714508 3221221792 3221220248 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30960 30158 1111 63 0 30897 0
vsize: 123840
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 31113 0 0 0 28881 118 0 0 25 0 1 0 747252752 129167360 30741 4294967295 134512640 134714508 3221221792 3221220476 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31535 30741 1111 63 0 31472 0
vsize: 126140
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 32646 0 0 0 29876 124 0 0 25 0 1 0 747252752 135573504 32270 4294967295 134512640 134714508 3221221792 3221220444 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33099 32270 1111 63 0 33036 0
vsize: 132396
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 33570 0 0 0 30873 128 0 0 25 0 1 0 747252752 139345920 33194 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34020 33194 1111 63 0 33957 0
vsize: 136080
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 35042 0 0 0 31868 133 0 0 25 0 1 0 747252752 145403904 34666 4294967295 134512640 134714508 3221221792 3221220536 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35499 34666 1111 63 0 35436 0
vsize: 141996
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 35553 0 0 0 32866 134 0 0 25 0 1 0 747252752 147419136 35177 4294967295 134512640 134714508 3221221792 3221220400 134548683 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35991 35177 1111 63 0 35928 0
vsize: 143964
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 37069 0 0 0 33861 139 0 0 25 0 1 0 747252752 153747456 36693 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37536 36693 1111 63 0 37473 0
vsize: 150144
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 38279 0 0 0 34856 145 0 0 25 0 1 0 747252752 158613504 37903 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38724 37903 1111 63 0 38661 0
vsize: 154896
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 38675 0 0 0 35854 147 0 0 25 0 1 0 747252752 160247808 38299 4294967295 134512640 134714508 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39123 38299 1111 63 0 39060 0
vsize: 156492
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 40092 0 0 0 36851 151 0 0 25 0 1 0 747252752 166035456 39716 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40536 39716 1111 63 0 40473 0
vsize: 162144
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 40583 0 0 0 37849 152 0 0 25 0 1 0 747252752 168062976 40207 4294967295 134512640 134714508 3221221792 3221220360 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41031 40207 1111 63 0 40968 0
vsize: 164124
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 41839 0 0 0 38845 156 0 0 25 0 1 0 747252752 173187072 41463 4294967295 134512640 134714508 3221221792 3221220188 1077379913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42282 41463 1111 63 0 42219 0
vsize: 169128
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 43351 0 0 0 39840 162 0 0 25 0 1 0 747252752 179400704 42975 4294967295 134512640 134714508 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43799 42975 1111 63 0 43736 0
vsize: 175196
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 44284 0 0 0 40836 166 0 0 25 0 1 0 747252752 183332864 43907 4294967295 134512640 134714508 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44759 43907 1111 63 0 44696 0
vsize: 179036
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 44802 0 0 0 41835 167 0 0 25 0 1 0 747252752 185368576 44424 4294967295 134512640 134714508 3221221792 3221220592 134597597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45256 44424 1111 63 0 45193 0
vsize: 181024
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 45556 0 0 0 42832 170 0 0 25 0 1 0 747252752 188465152 45178 4294967295 134512640 134714508 3221221792 3221220388 134543680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46012 45178 1111 63 0 45949 0
vsize: 184048
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 47381 0 0 0 43827 176 0 0 25 0 1 0 747252752 196022272 47003 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47857 47003 1111 63 0 47794 0
vsize: 191428
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 48202 0 0 0 44823 179 0 0 25 0 1 0 747252752 199376896 47824 4294967295 134512640 134714508 3221221792 3221220472 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48676 47824 1111 63 0 48613 0
vsize: 194704
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 48525 0 0 0 45822 181 0 0 25 0 1 0 747252752 200581120 48147 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48970 48147 1111 63 0 48907 0
vsize: 195880
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 49042 0 0 0 46819 184 0 0 25 0 1 0 747252752 202723328 48664 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49493 48664 1111 63 0 49430 0
vsize: 197972
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 50356 0 0 0 47815 188 0 0 25 0 1 0 747252752 208117760 49978 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50810 49978 1111 63 0 50747 0
vsize: 203240
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 51499 0 0 0 48811 193 0 0 25 0 1 0 747252752 212824064 51121 4294967295 134512640 134714508 3221221792 3221220560 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51959 51121 1111 63 0 51896 0
vsize: 207836
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 52377 0 0 0 49808 196 0 0 25 0 1 0 747252752 216399872 51995 4294967295 134512640 134714508 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52832 51995 1111 63 0 52769 0
vsize: 211328
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 52436 0 0 0 50808 196 0 0 25 0 1 0 747252752 216891392 52050 4294967295 134512640 134714508 3221221792 3221220512 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52952 52050 1111 63 0 52889 0
vsize: 211808
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 52437 0 0 0 51808 196 0 0 25 0 1 0 747252752 216891392 52051 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52952 52051 1111 63 0 52889 0
vsize: 211808
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 52439 0 0 0 52808 196 0 0 25 0 1 0 747252752 216891392 52053 4294967295 134512640 134714508 3221221792 3221220528 134529404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52952 52053 1111 63 0 52889 0
vsize: 211808
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 52636 0 0 0 53807 197 0 0 25 0 1 0 747252752 217591808 52248 4294967295 134512640 134714508 3221221792 3221220528 134523888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53123 52248 1111 63 0 53060 0
vsize: 212492
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 53712 0 0 0 54802 202 0 0 25 0 1 0 747252752 222027776 53324 4294967295 134512640 134714508 3221221792 3221220420 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54206 53324 1111 63 0 54143 0
vsize: 216824
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 54301 0 0 0 55799 205 0 0 25 0 1 0 747252752 224460800 53913 4294967295 134512640 134714508 3221221792 3221220196 134697343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54800 53913 1111 63 0 54737 0
vsize: 219200
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 55135 0 0 0 56796 208 0 0 25 0 1 0 747252752 228012032 54747 4294967295 134512640 134714508 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55667 54747 1111 63 0 55604 0
vsize: 222668
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 55216 0 0 0 57796 209 0 0 25 0 1 0 747252752 228352000 54824 4294967295 134512640 134714508 3221221792 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55750 54824 1111 63 0 55687 0
vsize: 223000
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 55280 0 0 0 58796 209 0 0 25 0 1 0 747252752 228663296 54884 4294967295 134512640 134714508 3221221792 3221220384 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55826 54884 1111 63 0 55763 0
vsize: 223304
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 55626 0 0 0 59794 211 0 0 25 0 1 0 747252752 230014976 55230 4294967295 134512640 134714508 3221221792 3221220412 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56156 55230 1111 63 0 56093 0
vsize: 224624
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 55841 0 0 0 60794 212 0 0 25 0 1 0 747252752 230821888 55445 4294967295 134512640 134714508 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56353 55445 1111 63 0 56290 0
vsize: 225412
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 55988 0 0 0 61793 212 0 0 25 0 1 0 747252752 231362560 55592 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56485 55592 1111 63 0 56422 0
vsize: 225940
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 56197 0 0 0 62792 214 0 0 25 0 1 0 747252752 232308736 55801 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56716 55801 1111 63 0 56653 0
vsize: 226864
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 56282 0 0 0 63791 215 0 0 25 0 1 0 747252752 232579072 55886 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56782 55886 1111 63 0 56719 0
vsize: 227128
[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 56607 0 0 0 64790 217 0 0 25 0 1 0 747252752 233930752 56211 4294967295 134512640 134714508 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57112 56211 1111 63 0 57049 0
vsize: 228448
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 56890 0 0 0 65788 218 0 0 25 0 1 0 747252752 235147264 56494 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57409 56494 1111 63 0 57346 0
vsize: 229636
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 57283 0 0 0 66787 220 0 0 25 0 1 0 747252752 236748800 56887 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57800 56887 1111 63 0 57737 0
vsize: 231200
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 57386 0 0 0 67786 220 0 0 25 0 1 0 747252752 237154304 56990 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57899 56990 1111 63 0 57836 0
vsize: 231596
[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 57530 0 0 0 68786 221 0 0 25 0 1 0 747252752 237694976 57134 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58031 57134 1111 63 0 57968 0
vsize: 232124
[startup+700.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 57657 0 0 0 69784 223 0 0 25 0 1 0 747252752 238235648 57261 4294967295 134512640 134714508 3221221792 3221220464 134528623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58163 57261 1111 63 0 58100 0
vsize: 232652
[startup+710.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 57782 0 0 0 70783 224 0 0 25 0 1 0 747252752 238776320 57386 4294967295 134512640 134714508 3221221792 3221220508 134551880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58295 57386 1111 63 0 58232 0
vsize: 233180
[startup+720.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 57843 0 0 0 71782 225 0 0 25 0 1 0 747252752 239046656 57447 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58361 57447 1111 63 0 58298 0
vsize: 233444
[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 57899 0 0 0 72781 226 0 0 25 0 1 0 747252752 239181824 57503 4294967295 134512640 134714508 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58394 57503 1111 63 0 58331 0
vsize: 233576
[startup+740.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 58027 0 0 0 73781 227 0 0 25 0 1 0 747252752 239710208 57631 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58523 57631 1111 63 0 58460 0
vsize: 234092
[startup+750.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 58080 0 0 0 74780 228 0 0 25 0 1 0 747252752 239980544 57684 4294967295 134512640 134714508 3221221792 3221220448 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58589 57684 1111 63 0 58526 0
vsize: 234356
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 58121 0 0 0 75779 229 0 0 25 0 1 0 747252752 240115712 57725 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58622 57725 1111 63 0 58559 0
vsize: 234488
[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 58226 0 0 0 76779 230 0 0 25 0 1 0 747252752 240517120 57830 4294967295 134512640 134714508 3221221792 3221220520 134536915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58720 57830 1111 63 0 58657 0
vsize: 234880
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 58493 0 0 0 77777 232 0 0 25 0 1 0 747252752 241725440 58097 4294967295 134512640 134714508 3221221792 3221220332 134613764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59015 58097 1111 63 0 58952 0
vsize: 236060
[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 58606 0 0 0 78776 232 0 0 25 0 1 0 747252752 242229248 58192 4294967295 134512640 134714508 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59138 58192 1111 63 0 59075 0
vsize: 236552
[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 58824 0 0 0 79775 233 0 0 25 0 1 0 747252752 243175424 58410 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59369 58410 1111 63 0 59306 0
vsize: 237476
[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 59110 0 0 0 80774 235 0 0 25 0 1 0 747252752 244256768 58696 4294967295 134512640 134714508 3221221792 3221220340 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59633 58696 1111 63 0 59570 0
vsize: 238532
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 59373 0 0 0 81773 237 0 0 25 0 1 0 747252752 245338112 58959 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59897 58959 1111 63 0 59834 0
vsize: 239588
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 59427 0 0 0 82772 237 0 0 25 0 1 0 747252752 245608448 59013 4294967295 134512640 134714508 3221221792 3221220512 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59963 59013 1111 63 0 59900 0
vsize: 239852
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 59915 0 0 0 83770 239 0 0 25 0 1 0 747252752 247635968 59501 4294967295 134512640 134714508 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60458 59501 1111 63 0 60395 0
vsize: 241832
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 60065 0 0 0 84769 241 0 0 25 0 1 0 747252752 248176640 59651 4294967295 134512640 134714508 3221221792 3221220624 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60590 59651 1111 63 0 60527 0
vsize: 242360
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 60607 0 0 0 85765 245 0 0 25 0 1 0 747252752 250474496 60193 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61151 60193 1111 63 0 61088 0
vsize: 244604
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 60696 0 0 0 86764 246 0 0 25 0 1 0 747252752 250744832 60282 4294967295 134512640 134714508 3221221792 3221220348 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61217 60282 1111 63 0 61154 0
vsize: 244868
[startup+880.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 60801 0 0 0 87764 246 0 0 25 0 1 0 747252752 251277312 60387 4294967295 134512640 134714508 3221221792 3221220412 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61347 60387 1111 63 0 61284 0
vsize: 245388
[startup+890.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 60914 0 0 0 88763 247 0 0 25 0 1 0 747252752 251670528 60500 4294967295 134512640 134714508 3221221792 3221220384 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61443 60500 1111 63 0 61380 0
vsize: 245772
[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61000 0 0 0 89763 248 0 0 25 0 1 0 747252752 252076032 60586 4294967295 134512640 134714508 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61542 60586 1111 63 0 61479 0
vsize: 246168
[startup+910.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61113 0 0 0 90762 249 0 0 25 0 1 0 747252752 252481536 60699 4294967295 134512640 134714508 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61641 60699 1111 63 0 61578 0
vsize: 246564
[startup+920.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61157 0 0 0 91761 249 0 0 25 0 1 0 747252752 252751872 60743 4294967295 134512640 134714508 3221221792 3221220404 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61707 60743 1111 63 0 61644 0
vsize: 246828
[startup+930.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61219 0 0 0 92760 251 0 0 25 0 1 0 747252752 252887040 60805 4294967295 134512640 134714508 3221221792 3221220400 134548846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61740 60805 1111 63 0 61677 0
vsize: 246960
[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61242 0 0 0 93760 251 0 0 25 0 1 0 747252752 253022208 60828 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61773 60828 1111 63 0 61710 0
vsize: 247092
[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61279 0 0 0 94759 252 0 0 25 0 1 0 747252752 253157376 60865 4294967295 134512640 134714508 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61806 60865 1111 63 0 61743 0
vsize: 247224
[startup+960.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61391 0 0 0 95759 252 0 0 25 0 1 0 747252752 253698048 60977 4294967295 134512640 134714508 3221221792 3221220552 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61938 60977 1111 63 0 61875 0
vsize: 247752
[startup+970.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61756 0 0 0 96756 255 0 0 25 0 1 0 747252752 255160320 61342 4294967295 134512640 134714508 3221221792 3221220448 134524064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62295 61342 1111 63 0 62232 0
vsize: 249180
[startup+980.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61864 0 0 0 97756 256 0 0 25 0 1 0 747252752 255565824 61450 4294967295 134512640 134714508 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62394 61450 1111 63 0 62331 0
vsize: 249576
[startup+990.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 61939 0 0 0 98755 257 0 0 25 0 1 0 747252752 255836160 61525 4294967295 134512640 134714508 3221221792 3221220420 134696354 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62460 61525 1111 63 0 62397 0
vsize: 249840
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 62347 0 0 0 99753 259 0 0 25 0 1 0 747252752 257593344 61933 4294967295 134512640 134714508 3221221792 3221220384 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62889 61933 1111 63 0 62826 0
vsize: 251556
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 62419 0 0 0 100751 261 0 0 25 0 1 0 747252752 257863680 62005 4294967295 134512640 134714508 3221221792 3221220496 134528680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62955 62005 1111 63 0 62892 0
vsize: 251820
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 62879 0 0 0 101749 264 0 0 25 0 1 0 747252752 259743744 62465 4294967295 134512640 134714508 3221221792 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63414 62465 1111 63 0 63351 0
vsize: 253656
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 62886 0 0 0 102749 264 0 0 25 0 1 0 747252752 259743744 62472 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63414 62472 1111 63 0 63351 0
vsize: 253656
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 62921 0 0 0 103748 264 0 0 25 0 1 0 747252752 259878912 62507 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63447 62507 1111 63 0 63384 0
vsize: 253788
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 62944 0 0 0 104748 265 0 0 25 0 1 0 747252752 260014080 62530 4294967295 134512640 134714508 3221221792 3221220516 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63480 62530 1111 63 0 63417 0
vsize: 253920
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 62977 0 0 0 105748 265 0 0 25 0 1 0 747252752 260149248 62563 4294967295 134512640 134714508 3221221792 3221220504 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63513 62563 1111 63 0 63450 0
vsize: 254052
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 62991 0 0 0 106748 266 0 0 25 0 1 0 747252752 260284416 62577 4294967295 134512640 134714508 3221221792 3221220444 134536781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63546 62577 1111 63 0 63483 0
vsize: 254184
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63052 0 0 0 107747 267 0 0 25 0 1 0 747252752 260419584 62638 4294967295 134512640 134714508 3221221792 3221220560 134529113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63579 62638 1111 63 0 63516 0
vsize: 254316
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63142 0 0 0 108746 267 0 0 25 0 1 0 747252752 260825088 62728 4294967295 134512640 134714508 3221221792 3221220560 134592424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63678 62729 1111 63 0 63615 0
vsize: 254712
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63223 0 0 0 109746 268 0 0 25 0 1 0 747252752 261230592 62809 4294967295 134512640 134714508 3221221792 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63777 62809 1111 63 0 63714 0
vsize: 255108
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63311 0 0 0 110745 269 0 0 25 0 1 0 747252752 261500928 62897 4294967295 134512640 134714508 3221221792 3221220472 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63843 62897 1111 63 0 63780 0
vsize: 255372
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63503 0 0 0 111743 271 0 0 25 0 1 0 747252752 262311936 63089 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64041 63089 1111 63 0 63978 0
vsize: 256164
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63550 0 0 0 112742 272 0 0 25 0 1 0 747252752 262447104 63136 4294967295 134512640 134714508 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64074 63136 1111 63 0 64011 0
vsize: 256296
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63598 0 0 0 113741 273 0 0 25 0 1 0 747252752 262717440 63184 4294967295 134512640 134714508 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64140 63184 1111 63 0 64077 0
vsize: 256560
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63654 0 0 0 114740 274 0 0 25 0 1 0 747252752 262987776 63240 4294967295 134512640 134714508 3221221792 3221220336 134551650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64206 63240 1111 63 0 64143 0
vsize: 256824
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63832 0 0 0 115738 276 0 0 25 0 1 0 747252752 263659520 63418 4294967295 134512640 134714508 3221221792 3221220412 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64370 63418 1111 63 0 64307 0
vsize: 257480
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63867 0 0 0 116738 277 0 0 25 0 1 0 747252752 263778304 63453 4294967295 134512640 134714508 3221221792 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64399 63453 1111 63 0 64336 0
vsize: 257596
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 28867
Raw data (stat): 28865 (bsolo_lpr) R 28864 7876 7672 0 -1 0 63867 0 0 0 116738 277 0 0 25 0 1 0 747252752 263778304 63453 4294967295 134512640 134714508 3221221792 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64399 63453 1111 63 0 64336 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.15
CPU user time (s): 1172.26
CPU system time (s): 2.89356
CPU usage (%): 100.011
Max. virtual memory (Kb): 257596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####