PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
MD5SUM	ce39bf71367df072c91f9b7587480c93
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.017996
Number of variables	600
Total number of constraints	70
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	20
Trace number 23167

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 00:00:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=46 boxname=wulflinc31 idbench=6 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ce39bf71367df072c91f9b7587480c93  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_20_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_20_pb.cnf.cr.opb
IDLAUNCH: 46
/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:        932828 kB
Buffers:         35332 kB
Cached:          44724 kB
SwapCached:        864 kB
Active:          67428 kB
Inactive:        15000 kB
HighTotal:      131008 kB
HighFree:        85232 kB
LowTotal:       903652 kB
LowFree:        847596 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13816 kB
Committed_AS:    63704 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 00:20:02 (client local time) WITH STATUS 0 IN 1175.23 SECONDS
stats: 46 7 1175.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 600 variables and 70 constraints.
c After prepocess the problem consists of 600 variables and 70 constraints.
c preprocess terminated 0.149 s
c Not 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.98 0.97 0.91 2/54 6383
Raw data (stat): 6383 (runsolver) R 6382 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 626988575 1056768 100 4294967295 134512640 135381576 3221221648 3221216868 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6383
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 3388 0 0 0 983 12 0 0 25 0 1 0 626988575 16973824 3309 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4144 3309 1111 63 0 4081 0
vsize: 16576
[startup+20.0005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6383
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 4636 0 0 0 1979 17 0 0 25 0 1 0 626988575 22122496 4557 4294967295 134512640 134714508 3221221744 3221220480 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5401 4557 1111 63 0 5338 0
vsize: 21604
[startup+30.0008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6383
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 6420 0 0 0 2972 24 0 0 25 0 1 0 626988575 29421568 6340 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7183 6340 1111 63 0 7120 0
vsize: 28732
[startup+40.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6383
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 7676 0 0 0 3968 28 0 0 25 0 1 0 626988575 34713600 7596 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8475 7597 1111 63 0 8412 0
vsize: 33900
[startup+50.0027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 8739 0 0 0 4963 34 0 0 25 0 1 0 626988575 39043072 8659 4294967295 134512640 134714508 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9532 8659 1111 63 0 9469 0
vsize: 38128
[startup+60.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 9727 0 0 0 5959 38 0 0 25 0 1 0 626988575 43098112 9646 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10522 9646 1111 63 0 10459 0
vsize: 42088
[startup+70.0034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 10458 0 0 0 6957 40 0 0 25 0 1 0 626988575 46096384 10377 4294967295 134512640 134714508 3221221744 3221220528 134528795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11254 10377 1111 63 0 11191 0
vsize: 45016
[startup+80.0044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 11112 0 0 0 7955 42 0 0 25 0 1 0 626988575 48816128 11030 4294967295 134512640 134714508 3221221744 3221220528 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11918 11030 1111 63 0 11855 0
vsize: 47672
[startup+90.0053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 11692 0 0 0 8952 46 0 0 25 0 1 0 626988575 51261440 11608 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12515 11608 1111 63 0 12452 0
vsize: 50060
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 12235 0 0 0 9950 48 0 0 25 0 1 0 626988575 53452800 12151 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13050 12151 1111 63 0 12987 0
vsize: 52200
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 12730 0 0 0 10948 50 0 0 25 0 1 0 626988575 55664640 12643 4294967295 134512640 134714508 3221221744 3221220388 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13590 12643 1111 63 0 13527 0
vsize: 54360
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 13193 0 0 0 11946 52 0 0 25 0 1 0 626988575 57561088 13105 4294967295 134512640 134714508 3221221744 3221220300 134535959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14053 13105 1111 63 0 13990 0
vsize: 56212
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 13483 0 0 0 12945 53 0 0 25 0 1 0 626988575 58912768 13391 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14383 13391 1111 63 0 14320 0
vsize: 57532
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 13748 0 0 0 13944 54 0 0 25 0 1 0 626988575 59994112 13656 4294967295 134512640 134714508 3221221744 3221220448 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14647 13656 1111 63 0 14584 0
vsize: 58588
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 15141 0 0 0 14939 60 0 0 25 0 1 0 626988575 65744896 15047 4294967295 134512640 134714508 3221221744 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16051 15047 1111 63 0 15988 0
vsize: 64204
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 16016 0 0 0 15935 64 0 0 25 0 1 0 626988575 69259264 15922 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16909 15922 1111 63 0 16846 0
vsize: 67636
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 16993 0 0 0 16933 67 0 0 25 0 1 0 626988575 73330688 16897 4294967295 134512640 134714508 3221221744 3221220508 134552548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17903 16897 1111 63 0 17840 0
vsize: 71612
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 18046 0 0 0 17928 71 0 0 25 0 1 0 626988575 77656064 17950 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18959 17950 1111 63 0 18896 0
vsize: 75836
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 18723 0 0 0 18926 74 0 0 25 0 1 0 626988575 80375808 18627 4294967295 134512640 134714508 3221221744 3221220528 134529410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19623 18627 1111 63 0 19560 0
vsize: 78492
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 19450 0 0 0 19923 76 0 0 25 0 1 0 626988575 83378176 19354 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20356 19354 1111 63 0 20293 0
vsize: 81424
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 20286 0 0 0 20919 81 0 0 25 0 1 0 626988575 86929408 20187 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21223 20187 1111 63 0 21160 0
vsize: 84892
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 20932 0 0 0 21916 84 0 0 25 0 1 0 626988575 89509888 20832 4294967295 134512640 134714508 3221221744 3221220464 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21853 20832 1111 63 0 21790 0
vsize: 87412
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 21404 0 0 0 22915 86 0 0 25 0 1 0 626988575 91475968 21300 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22333 21300 1111 63 0 22270 0
vsize: 89332
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 21986 0 0 0 23912 89 0 0 25 0 1 0 626988575 93966336 21879 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22941 21879 1111 63 0 22878 0
vsize: 91764
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 22435 0 0 0 24911 90 0 0 25 0 1 0 626988575 95723520 22328 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23370 22328 1111 63 0 23307 0
vsize: 93480
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 22893 0 0 0 25909 92 0 0 25 0 1 0 626988575 97619968 22786 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23833 22786 1111 63 0 23770 0
vsize: 95332
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 23355 0 0 0 26907 94 0 0 25 0 1 0 626988575 99524608 23246 4294967295 134512640 134714508 3221221744 3221220240 134535439 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24298 23246 1111 63 0 24235 0
vsize: 97192
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 23937 0 0 0 27904 97 0 0 25 0 1 0 626988575 101912576 23822 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24881 23822 1111 63 0 24818 0
vsize: 99524
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 24265 0 0 0 28904 98 0 0 25 0 1 0 626988575 103292928 24150 4294967295 134512640 134714508 3221221744 3221220432 134551890 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25218 24150 1111 63 0 25155 0
vsize: 100872
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 24545 0 0 0 29903 99 0 0 25 0 1 0 626988575 104534016 24429 4294967295 134512640 134714508 3221221744 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25521 24429 1111 63 0 25458 0
vsize: 102084
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 24779 0 0 0 30902 100 0 0 25 0 1 0 626988575 105619456 24661 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25786 24661 1111 63 0 25723 0
vsize: 103144
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 25727 0 0 0 31899 104 0 0 25 0 1 0 626988575 109694976 25609 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26781 25609 1111 63 0 26718 0
vsize: 107124
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 26908 0 0 0 32894 109 0 0 25 0 1 0 626988575 114429952 26789 4294967295 134512640 134714508 3221221744 3221220416 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27937 26789 1111 63 0 27874 0
vsize: 111748
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 27834 0 0 0 33890 112 0 0 25 0 1 0 626988575 118214656 27715 4294967295 134512640 134714508 3221221744 3221220304 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28861 27715 1111 63 0 28798 0
vsize: 115444
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6385
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 28419 0 0 0 34887 116 0 0 25 0 1 0 626988575 120647680 28300 4294967295 134512640 134714508 3221221744 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29455 28300 1111 63 0 29392 0
vsize: 117820
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 28866 0 0 0 35886 117 0 0 25 0 1 0 626988575 122560512 28747 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29922 28747 1111 63 0 29859 0
vsize: 119688
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 29623 0 0 0 36883 120 0 0 25 0 1 0 626988575 125579264 29500 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30659 29500 1111 63 0 30596 0
vsize: 122636
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 30231 0 0 0 37881 122 0 0 25 0 1 0 626988575 128012288 30108 4294967295 134512640 134714508 3221221744 3221220528 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31253 30108 1111 63 0 31190 0
vsize: 125012
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 30623 0 0 0 38880 124 0 0 25 0 1 0 626988575 129654784 30500 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31654 30500 1111 63 0 31591 0
vsize: 126616
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 31184 0 0 0 39877 127 0 0 25 0 1 0 626988575 131985408 31061 4294967295 134512640 134714508 3221221744 3221220528 134529126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32223 31061 1111 63 0 32160 0
vsize: 128892
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 31576 0 0 0 40876 128 0 0 25 0 1 0 626988575 133607424 31453 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32619 31453 1111 63 0 32556 0
vsize: 130476
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 31913 0 0 0 41875 129 0 0 25 0 1 0 626988575 134885376 31787 4294967295 134512640 134714508 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32931 31787 1111 63 0 32868 0
vsize: 131724
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 32264 0 0 0 42874 131 0 0 25 0 1 0 626988575 136372224 32138 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33294 32138 1111 63 0 33231 0
vsize: 133176
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 32567 0 0 0 43873 132 0 0 25 0 1 0 626988575 137588736 32441 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33591 32441 1111 63 0 33528 0
vsize: 134364
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 33023 0 0 0 44871 134 0 0 25 0 1 0 626988575 139546624 32888 4294967295 134512640 134714508 3221221744 3221220236 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34069 32888 1111 63 0 34006 0
vsize: 136276
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 33316 0 0 0 45871 134 0 0 25 0 1 0 626988575 140673024 33178 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34344 33178 1111 63 0 34281 0
vsize: 137376
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 33633 0 0 0 46870 136 0 0 25 0 1 0 626988575 142094336 33494 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34691 33494 1111 63 0 34628 0
vsize: 138764
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 33928 0 0 0 47869 137 0 0 25 0 1 0 626988575 143306752 33785 4294967295 134512640 134714508 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34987 33785 1111 63 0 34924 0
vsize: 139948
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 34190 0 0 0 48868 138 0 0 25 0 1 0 626988575 144429056 34047 4294967295 134512640 134714508 3221221744 3221220376 134552678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35261 34047 1111 63 0 35198 0
vsize: 141044
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 34372 0 0 0 49867 139 0 0 25 0 1 0 626988575 145104896 34229 4294967295 134512640 134714508 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35426 34229 1111 63 0 35363 0
vsize: 141704
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 34544 0 0 0 50867 139 0 0 25 0 1 0 626988575 145842176 34401 4294967295 134512640 134714508 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35606 34401 1111 63 0 35543 0
vsize: 142424
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 35036 0 0 0 51865 142 0 0 25 0 1 0 626988575 148135936 34887 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36166 34887 1111 63 0 36103 0
vsize: 144664
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 35851 0 0 0 52862 145 0 0 25 0 1 0 626988575 151388160 35700 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36960 35700 1111 63 0 36897 0
vsize: 147840
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 36339 0 0 0 53860 147 0 0 25 0 1 0 626988575 153456640 36184 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37465 36184 1111 63 0 37402 0
vsize: 149860
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 36641 0 0 0 54859 148 0 0 25 0 1 0 626988575 154673152 36486 4294967295 134512640 134714508 3221221744 3221220512 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37762 36486 1111 63 0 37699 0
vsize: 151048
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 37188 0 0 0 55857 151 0 0 25 0 1 0 626988575 156901376 37029 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38306 37029 1111 63 0 38243 0
vsize: 153224
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 37683 0 0 0 56856 152 0 0 25 0 1 0 626988575 158928896 37524 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38801 37524 1111 63 0 38738 0
vsize: 155204
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 37938 0 0 0 57855 153 0 0 25 0 1 0 626988575 160075776 37770 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39081 37770 1111 63 0 39018 0
vsize: 156324
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 38187 0 0 0 58854 154 0 0 25 0 1 0 626988575 161157120 38019 4294967295 134512640 134714508 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39345 38019 1111 63 0 39282 0
vsize: 157380
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 38437 0 0 0 59854 155 0 0 25 0 1 0 626988575 162103296 38269 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39576 38269 1111 63 0 39513 0
vsize: 158304
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 38873 0 0 0 60852 156 0 0 25 0 1 0 626988575 163860480 38705 4294967295 134512640 134714508 3221221744 3221220316 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40005 38705 1111 63 0 39942 0
vsize: 160020
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 39140 0 0 0 61852 157 0 0 25 0 1 0 626988575 164941824 38972 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40269 38972 1111 63 0 40206 0
vsize: 161076
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 39511 0 0 0 62851 158 0 0 25 0 1 0 626988575 166453248 39342 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40638 39342 1111 63 0 40575 0
vsize: 162552
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 39784 0 0 0 63850 159 0 0 25 0 1 0 626988575 167600128 39615 4294967295 134512640 134714508 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40918 39615 1111 63 0 40855 0
vsize: 163672
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 40032 0 0 0 64850 160 0 0 25 0 1 0 626988575 168546304 39863 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41149 39863 1111 63 0 41086 0
vsize: 164596
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 40326 0 0 0 65849 161 0 0 25 0 1 0 626988575 169832448 40156 4294967295 134512640 134714508 3221221744 3221220348 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41463 40156 1111 63 0 41400 0
vsize: 165852
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 40588 0 0 0 66847 163 0 0 25 0 1 0 626988575 170958848 40417 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41738 40417 1111 63 0 41675 0
vsize: 166952
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 41055 0 0 0 67844 166 0 0 25 0 1 0 626988575 172933120 40881 4294967295 134512640 134714508 3221221744 3221220460 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42220 40881 1111 63 0 42157 0
vsize: 168880
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 41425 0 0 0 68843 167 0 0 25 0 1 0 626988575 174477312 41247 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42597 41247 1111 63 0 42534 0
vsize: 170388
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 41681 0 0 0 69842 168 0 0 25 0 1 0 626988575 175624192 41502 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42877 41502 1111 63 0 42814 0
vsize: 171508
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 42113 0 0 0 70840 170 0 0 25 0 1 0 626988575 177381376 41934 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43306 41934 1111 63 0 43243 0
vsize: 173224
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 42332 0 0 0 71840 171 0 0 25 0 1 0 626988575 178401280 42144 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43555 42144 1111 63 0 43492 0
vsize: 174220
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 42626 0 0 0 72838 172 0 0 25 0 1 0 626988575 179482624 42438 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43819 42438 1111 63 0 43756 0
vsize: 175276
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 42873 0 0 0 73837 174 0 0 25 0 1 0 626988575 180563968 42685 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44083 42685 1111 63 0 44020 0
vsize: 176332
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 43130 0 0 0 74837 175 0 0 25 0 1 0 626988575 181547008 42940 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44323 42940 1111 63 0 44260 0
vsize: 177292
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 43389 0 0 0 75835 176 0 0 25 0 1 0 626988575 182628352 43199 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44587 43199 1111 63 0 44524 0
vsize: 178348
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 43670 0 0 0 76834 178 0 0 25 0 1 0 626988575 183709696 43480 4294967295 134512640 134714508 3221221744 3221220348 134549858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44851 43480 1111 63 0 44788 0
vsize: 179404
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 43970 0 0 0 77833 179 0 0 25 0 1 0 626988575 184946688 43778 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45153 43778 1111 63 0 45090 0
vsize: 180612
[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 44144 0 0 0 78832 180 0 0 25 0 1 0 626988575 185630720 43952 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45320 43952 1111 63 0 45257 0
vsize: 181280
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 44461 0 0 0 79831 181 0 0 25 0 1 0 626988575 186990592 44264 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45652 44264 1111 63 0 45589 0
vsize: 182608
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 44625 0 0 0 80831 182 0 0 25 0 1 0 626988575 187666432 44428 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45817 44428 1111 63 0 45754 0
vsize: 183268
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 44876 0 0 0 81830 183 0 0 25 0 1 0 626988575 188813312 44670 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46097 44670 1111 63 0 46034 0
vsize: 184388
[startup+830.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 45136 0 0 0 82829 184 0 0 25 0 1 0 626988575 189759488 44930 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46328 44930 1111 63 0 46265 0
vsize: 185312
[startup+840.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 45335 0 0 0 83829 184 0 0 25 0 1 0 626988575 190570496 45129 4294967295 134512640 134714508 3221221744 3221220456 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46526 45129 1111 63 0 46463 0
vsize: 186104
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 45614 0 0 0 84827 186 0 0 25 0 1 0 626988575 191651840 45408 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46790 45408 1111 63 0 46727 0
vsize: 187160
[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 45794 0 0 0 85827 187 0 0 25 0 1 0 626988575 192462848 45588 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46988 45588 1111 63 0 46925 0
vsize: 187952
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 46018 0 0 0 86826 187 0 0 25 0 1 0 626988575 193273856 45812 4294967295 134512640 134714508 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47186 45812 1111 63 0 47123 0
vsize: 188744
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 46193 0 0 0 87826 188 0 0 25 0 1 0 626988575 194134016 45987 4294967295 134512640 134714508 3221221744 3221220432 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47396 45987 1111 63 0 47333 0
vsize: 189584
[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 46344 0 0 0 88826 188 0 0 25 0 1 0 626988575 194674688 46138 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47528 46138 1111 63 0 47465 0
vsize: 190112
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 46553 0 0 0 89825 189 0 0 25 0 1 0 626988575 195502080 46346 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47730 46346 1111 63 0 47667 0
vsize: 190920
[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 46763 0 0 0 90825 189 0 0 25 0 1 0 626988575 196325376 46552 4294967295 134512640 134714508 3221221744 3221220528 134529174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47931 46552 1111 63 0 47868 0
vsize: 191724
[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 46951 0 0 0 91824 191 0 0 25 0 1 0 626988575 197029888 46740 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48103 46740 1111 63 0 48040 0
vsize: 192412
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 47173 0 0 0 92823 191 0 0 25 0 1 0 626988575 198049792 46953 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48352 46953 1111 63 0 48289 0
vsize: 193408
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 47354 0 0 0 93823 192 0 0 25 0 1 0 626988575 198725632 47134 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48517 47135 1111 63 0 48454 0
vsize: 194068
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 47619 0 0 0 94823 192 0 0 25 0 1 0 626988575 200007680 47399 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48830 47399 1111 63 0 48767 0
vsize: 195320
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 47782 0 0 0 95822 193 0 0 25 0 1 0 626988575 200548352 47562 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48962 47562 1111 63 0 48899 0
vsize: 195848
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 47952 0 0 0 96822 194 0 0 25 0 1 0 626988575 201228288 47732 4294967295 134512640 134714508 3221221744 3221220240 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49128 47732 1111 63 0 49065 0
vsize: 196512
[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 48116 0 0 0 97821 194 0 0 25 0 1 0 626988575 201842688 47896 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49278 47896 1111 63 0 49215 0
vsize: 197112
[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 48344 0 0 0 98821 195 0 0 25 0 1 0 626988575 202813440 48122 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49515 48122 1111 63 0 49452 0
vsize: 198060
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 48606 0 0 0 99820 197 0 0 25 0 1 0 626988575 203784192 48383 4294967295 134512640 134714508 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49752 48383 1111 63 0 49689 0
vsize: 199008
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 48877 0 0 0 100819 198 0 0 25 0 1 0 626988575 204902400 48652 4294967295 134512640 134714508 3221221744 3221220336 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50025 48652 1111 63 0 49962 0
vsize: 200100
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 49177 0 0 0 101818 199 0 0 25 0 1 0 626988575 206319616 48952 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50371 48952 1111 63 0 50308 0
vsize: 201484
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 49337 0 0 0 102817 200 0 0 25 0 1 0 626988575 206860288 49112 4294967295 134512640 134714508 3221221744 3221220480 134523932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50503 49112 1111 63 0 50440 0
vsize: 202012
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 49492 0 0 0 103817 200 0 0 25 0 1 0 626988575 207400960 49267 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50635 49267 1111 63 0 50572 0
vsize: 202540
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 49711 0 0 0 104816 201 0 0 25 0 1 0 626988575 208551936 49480 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50916 49480 1111 63 0 50853 0
vsize: 203664
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 49930 0 0 0 105816 202 0 0 25 0 1 0 626988575 209457152 49697 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51137 49697 1111 63 0 51074 0
vsize: 204548
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 50124 0 0 0 106815 203 0 0 25 0 1 0 626988575 210268160 49891 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51335 49891 1111 63 0 51272 0
vsize: 205340
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 50333 0 0 0 107814 204 0 0 25 0 1 0 626988575 211189760 50098 4294967295 134512640 134714508 3221221744 3221220364 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51560 50098 1111 63 0 51497 0
vsize: 206240
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 50476 0 0 0 108814 204 0 0 25 0 1 0 626988575 211730432 50241 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51692 50241 1111 63 0 51629 0
vsize: 206768
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 50681 0 0 0 109814 205 0 0 25 0 1 0 626988575 212606976 50446 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51906 50446 1111 63 0 51843 0
vsize: 207624
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 50835 0 0 0 110813 205 0 0 25 0 1 0 626988575 213147648 50600 4294967295 134512640 134714508 3221221744 3221220512 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52038 50600 1111 63 0 51975 0
vsize: 208152
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 51078 0 0 0 111813 206 0 0 25 0 1 0 626988575 214315008 50838 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52323 50838 1111 63 0 52260 0
vsize: 209292
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 51222 0 0 0 112812 207 0 0 25 0 1 0 626988575 214974464 50972 4294967295 134512640 134714508 3221221744 3221220528 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52484 50972 1111 63 0 52421 0
vsize: 209936
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 51460 0 0 0 113812 207 0 0 25 0 1 0 626988575 215785472 51210 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51210 1111 63 0 52619 0
vsize: 210728
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 51662 0 0 0 114812 208 0 0 25 0 1 0 626988575 216797184 51411 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52929 51411 1111 63 0 52866 0
vsize: 211716
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 51922 0 0 0 115811 209 0 0 25 0 1 0 626988575 218009600 51671 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53225 51671 1111 63 0 53162 0
vsize: 212900
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 52074 0 0 0 116810 210 0 0 25 0 1 0 626988575 218611712 51822 4294967295 134512640 134714508 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53372 51822 1111 63 0 53309 0
vsize: 213488
[startup+1175.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 6387
Raw data (stat): 6383 (bsolo_lpr) R 6382 3722 3553 0 -1 0 52074 0 0 0 116810 210 0 0 25 0 1 0 626988575 218611712 51822 4294967295 134512640 134714508 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53372 51822 1111 63 0 53309 0
vsize: 0

Child status: 0
Real time (s): 1175.09
CPU time (s): 1175.23
CPU user time (s): 1173.03
CPU system time (s): 2.20067
CPU usage (%): 100.012
Max. virtual memory (Kb): 213488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####