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-fpga20_19_sat_pb.cnf.cr.opb
MD5SUM	421f138371e66f1365608f6ff657e450
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	SAT
Best CPU time to get the best result obtained on this benchmark	0.157975
Number of variables	570
Total number of constraints	438
Number of constraints which are clauses	399
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 23342

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 15:15:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=361 boxname=wulflinc31 idbench=41 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  421f138371e66f1365608f6ff657e450  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_19_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_19_sat_pb.cnf.cr.opb
IDLAUNCH: 361
/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:        927216 kB
Buffers:         38332 kB
Cached:          47016 kB
SwapCached:        944 kB
Active:          72196 kB
Inactive:        15704 kB
HighTotal:      131008 kB
HighFree:        82964 kB
LowTotal:       903652 kB
LowFree:        844252 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14064 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 15:34:49 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 361 7 1175.05 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 570 variables and 438 constraints.
c After prepocess the problem consists of 570 variables and 438 constraints.
c preprocess terminated 0.456 s
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.92 0.97 0.95 2/54 25372
Raw data (stat): 25372 (runsolver) R 25371 7876 7672 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 641118867 1056768 98 4294967295 134512640 135381576 3221221680 3221217120 134514522 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 2164 0 0 0 986 9 0 0 25 0 1 0 641118867 11972608 2085 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2923 2085 1111 63 0 2860 0
vsize: 11692
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 2881 0 0 0 1983 13 0 0 25 0 1 0 641118867 14921728 2802 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3643 2802 1111 63 0 3580 0
vsize: 14572
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 3617 0 0 0 2980 15 0 0 25 0 1 0 641118867 17895424 3538 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3538 1111 63 0 4306 0
vsize: 17476
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 3833 0 0 0 3979 17 0 0 25 0 1 0 641118867 18841600 3754 4294967295 134512640 134714508 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3754 1111 63 0 4537 0
vsize: 18400
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 3923 0 0 0 4978 18 0 0 25 0 1 0 641118867 19111936 3844 4294967295 134512640 134714508 3221221776 3221220416 134543070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4666 3844 1111 63 0 4603 0
vsize: 18664
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 3956 0 0 0 5978 18 0 0 25 0 1 0 641118867 19243008 3877 4294967295 134512640 134714508 3221221776 3221220552 134529371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4698 3877 1111 63 0 4635 0
vsize: 18792
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 4482 0 0 0 6975 21 0 0 25 0 1 0 641118867 21516288 4403 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5253 4403 1111 63 0 5190 0
vsize: 21012
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 4675 0 0 0 7974 23 0 0 25 0 1 0 641118867 22192128 4596 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5418 4596 1111 63 0 5355 0
vsize: 21672
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5101 0 0 0 8972 24 0 0 25 0 1 0 641118867 23949312 5022 4294967295 134512640 134714508 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5847 5022 1111 63 0 5784 0
vsize: 23388
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5220 0 0 0 9972 25 0 0 25 0 1 0 641118867 24489984 5141 4294967295 134512640 134714508 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5979 5141 1111 63 0 5916 0
vsize: 23916
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5428 0 0 0 10971 26 0 0 25 0 1 0 641118867 25300992 5349 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6177 5349 1111 63 0 6114 0
vsize: 24708
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5549 0 0 0 11970 27 0 0 25 0 1 0 641118867 25841664 5470 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6309 5470 1111 63 0 6246 0
vsize: 25236
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5610 0 0 0 12970 27 0 0 25 0 1 0 641118867 26112000 5531 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6375 5531 1111 63 0 6312 0
vsize: 25500
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5649 0 0 0 13969 28 0 0 25 0 1 0 641118867 26247168 5570 4294967295 134512640 134714508 3221221776 3221220400 134696023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6408 5570 1111 63 0 6345 0
vsize: 25632
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5703 0 0 0 14969 29 0 0 25 0 1 0 641118867 26517504 5624 4294967295 134512640 134714508 3221221776 3221220520 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6474 5624 1111 63 0 6411 0
vsize: 25896
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5740 0 0 0 15968 29 0 0 25 0 1 0 641118867 26652672 5661 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6507 5661 1111 63 0 6444 0
vsize: 26028
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5769 0 0 0 16968 30 0 0 25 0 1 0 641118867 26787840 5690 4294967295 134512640 134714508 3221221776 3221220416 134539385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6540 5690 1111 63 0 6477 0
vsize: 26160
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5806 0 0 0 17968 30 0 0 25 0 1 0 641118867 26923008 5727 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6573 5727 1111 63 0 6510 0
vsize: 26292
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5829 0 0 0 18967 31 0 0 25 0 1 0 641118867 26923008 5750 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6573 5750 1111 63 0 6510 0
vsize: 26292
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5867 0 0 0 19967 31 0 0 25 0 1 0 641118867 27193344 5788 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5788 1111 63 0 6576 0
vsize: 26556
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5896 0 0 0 20966 32 0 0 25 0 1 0 641118867 27193344 5817 4294967295 134512640 134714508 3221221776 3221220452 1077374580 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5817 1111 63 0 6576 0
vsize: 26556
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 5962 0 0 0 21966 33 0 0 25 0 1 0 641118867 27463680 5883 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5883 1111 63 0 6642 0
vsize: 26820
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6000 0 0 0 22965 34 0 0 25 0 1 0 641118867 27734016 5921 4294967295 134512640 134714508 3221221776 3221220112 134697253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6771 5921 1111 63 0 6708 0
vsize: 27084
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6018 0 0 0 23965 34 0 0 25 0 1 0 641118867 27734016 5939 4294967295 134512640 134714508 3221221776 3221220560 134529184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6771 5939 1111 63 0 6708 0
vsize: 27084
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6036 0 0 0 24965 34 0 0 25 0 1 0 641118867 27869184 5957 4294967295 134512640 134714508 3221221776 3221220416 134536695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6804 5957 1111 63 0 6741 0
vsize: 27216
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6052 0 0 0 25965 34 0 0 25 0 1 0 641118867 27869184 5973 4294967295 134512640 134714508 3221221776 3221220712 134576609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6804 5973 1111 63 0 6741 0
vsize: 27216
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6095 0 0 0 26965 35 0 0 25 0 1 0 641118867 28004352 6016 4294967295 134512640 134714508 3221221776 3221220480 134528647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6837 6016 1111 63 0 6774 0
vsize: 27348
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6114 0 0 0 27965 35 0 0 25 0 1 0 641118867 28139520 6035 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6870 6035 1111 63 0 6807 0
vsize: 27480
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6131 0 0 0 28964 36 0 0 25 0 1 0 641118867 28274688 6052 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6052 1111 63 0 6840 0
vsize: 27612
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6131 0 0 0 29964 36 0 0 25 0 1 0 641118867 28274688 6052 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6052 1111 63 0 6840 0
vsize: 27612
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6146 0 0 0 30964 37 0 0 25 0 1 0 641118867 28274688 6067 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6067 1111 63 0 6840 0
vsize: 27612
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6146 0 0 0 31964 37 0 0 25 0 1 0 641118867 28274688 6067 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6067 1111 63 0 6840 0
vsize: 27612
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6184 0 0 0 32964 37 0 0 25 0 1 0 641118867 28405760 6105 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6935 6105 1111 63 0 6872 0
vsize: 27740
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6214 0 0 0 33963 38 0 0 25 0 1 0 641118867 28545024 6135 4294967295 134512640 134714508 3221221776 3221220520 134551624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6969 6135 1111 63 0 6906 0
vsize: 27876
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6240 0 0 0 34963 38 0 0 25 0 1 0 641118867 28680192 6161 4294967295 134512640 134714508 3221221776 3221220368 134549520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7002 6161 1111 63 0 6939 0
vsize: 28008
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6258 0 0 0 35963 39 0 0 25 0 1 0 641118867 28815360 6179 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7035 6179 1111 63 0 6972 0
vsize: 28140
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6275 0 0 0 36963 40 0 0 25 0 1 0 641118867 28815360 6196 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7035 6196 1111 63 0 6972 0
vsize: 28140
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6294 0 0 0 37962 40 0 0 25 0 1 0 641118867 28950528 6215 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7068 6215 1111 63 0 7005 0
vsize: 28272
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6301 0 0 0 38962 41 0 0 25 0 1 0 641118867 28950528 6222 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7068 6222 1111 63 0 7005 0
vsize: 28272
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6348 0 0 0 39962 41 0 0 25 0 1 0 641118867 29085696 6269 4294967295 134512640 134714508 3221221776 3221220400 134696265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7101 6269 1111 63 0 7038 0
vsize: 28404
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6379 0 0 0 40961 42 0 0 25 0 1 0 641118867 29220864 6300 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7134 6300 1111 63 0 7071 0
vsize: 28536
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6389 0 0 0 41961 42 0 0 25 0 1 0 641118867 29220864 6310 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7134 6310 1111 63 0 7071 0
vsize: 28536
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6409 0 0 0 42961 42 0 0 25 0 1 0 641118867 29356032 6330 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7167 6330 1111 63 0 7104 0
vsize: 28668
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6426 0 0 0 43961 43 0 0 25 0 1 0 641118867 29491200 6347 4294967295 134512640 134714508 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7200 6347 1111 63 0 7137 0
vsize: 28800
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6456 0 0 0 44960 43 0 0 25 0 1 0 641118867 29491200 6377 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7200 6377 1111 63 0 7137 0
vsize: 28800
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6459 0 0 0 45960 44 0 0 25 0 1 0 641118867 29626368 6380 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6380 1111 63 0 7170 0
vsize: 28932
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6459 0 0 0 46960 44 0 0 25 0 1 0 641118867 29626368 6380 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6380 1111 63 0 7170 0
vsize: 28932
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6475 0 0 0 47960 45 0 0 25 0 1 0 641118867 29626368 6396 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6396 1111 63 0 7170 0
vsize: 28932
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6477 0 0 0 48959 45 0 0 25 0 1 0 641118867 29626368 6398 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6398 1111 63 0 7170 0
vsize: 28932
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6498 0 0 0 49959 46 0 0 25 0 1 0 641118867 29761536 6419 4294967295 134512640 134714508 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6419 1111 63 0 7203 0
vsize: 29064
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6498 0 0 0 50958 46 0 0 25 0 1 0 641118867 29761536 6419 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6419 1111 63 0 7203 0
vsize: 29064
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6525 0 0 0 51958 47 0 0 25 0 1 0 641118867 29896704 6446 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7299 6446 1111 63 0 7236 0
vsize: 29196
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6569 0 0 0 52957 48 0 0 25 0 1 0 641118867 30031872 6490 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7332 6490 1111 63 0 7269 0
vsize: 29328
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6596 0 0 0 53957 48 0 0 25 0 1 0 641118867 30167040 6517 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7365 6517 1111 63 0 7302 0
vsize: 29460
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6614 0 0 0 54957 49 0 0 25 0 1 0 641118867 30167040 6535 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7365 6535 1111 63 0 7302 0
vsize: 29460
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6625 0 0 0 55956 49 0 0 25 0 1 0 641118867 30302208 6546 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7398 6546 1111 63 0 7335 0
vsize: 29592
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6663 0 0 0 56956 50 0 0 25 0 1 0 641118867 30437376 6584 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6584 1111 63 0 7368 0
vsize: 29724
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6663 0 0 0 57956 50 0 0 25 0 1 0 641118867 30437376 6584 4294967295 134512640 134714508 3221221776 3221220400 134549520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6584 1111 63 0 7368 0
vsize: 29724
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6663 0 0 0 58955 51 0 0 25 0 1 0 641118867 30437376 6584 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6584 1111 63 0 7368 0
vsize: 29724
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6680 0 0 0 59955 51 0 0 25 0 1 0 641118867 30437376 6601 4294967295 134512640 134714508 3221221776 3221220544 134584889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6601 1111 63 0 7368 0
vsize: 29724
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6680 0 0 0 60954 52 0 0 25 0 1 0 641118867 30437376 6601 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6601 1111 63 0 7368 0
vsize: 29724
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6714 0 0 0 61954 53 0 0 25 0 1 0 641118867 30560256 6635 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6635 1111 63 0 7398 0
vsize: 29844
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6714 0 0 0 62954 53 0 0 25 0 1 0 641118867 30560256 6635 4294967295 134512640 134714508 3221221776 3221220380 134549858 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6635 1111 63 0 7398 0
vsize: 29844
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6714 0 0 0 63954 53 0 0 25 0 1 0 641118867 30560256 6635 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6635 1111 63 0 7398 0
vsize: 29844
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6721 0 0 0 64953 54 0 0 25 0 1 0 641118867 30695424 6642 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6642 1111 63 0 7431 0
vsize: 29976
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6721 0 0 0 65953 55 0 0 25 0 1 0 641118867 30695424 6642 4294967295 134512640 134714508 3221221776 3221220480 134528726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6642 1111 63 0 7431 0
vsize: 29976
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6734 0 0 0 66953 55 0 0 25 0 1 0 641118867 30695424 6655 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6655 1111 63 0 7431 0
vsize: 29976
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6734 0 0 0 67953 55 0 0 25 0 1 0 641118867 30695424 6655 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6655 1111 63 0 7431 0
vsize: 29976
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6764 0 0 0 68953 55 0 0 25 0 1 0 641118867 30830592 6685 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7527 6685 1111 63 0 7464 0
vsize: 30108
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6786 0 0 0 69953 55 0 0 25 0 1 0 641118867 30965760 6707 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7560 6707 1111 63 0 7497 0
vsize: 30240
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6786 0 0 0 70953 56 0 0 25 0 1 0 641118867 30965760 6707 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7560 6707 1111 63 0 7497 0
vsize: 30240
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6818 0 0 0 71953 56 0 0 25 0 1 0 641118867 30965760 6739 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7560 6739 1111 63 0 7497 0
vsize: 30240
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6851 0 0 0 72952 57 0 0 25 0 1 0 641118867 31100928 6772 4294967295 134512640 134714508 3221221776 3221220540 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7593 6772 1111 63 0 7530 0
vsize: 30372
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6851 0 0 0 73952 57 0 0 25 0 1 0 641118867 31100928 6772 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7593 6772 1111 63 0 7530 0
vsize: 30372
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6872 0 0 0 74952 57 0 0 25 0 1 0 641118867 31236096 6793 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7626 6793 1111 63 0 7563 0
vsize: 30504
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6872 0 0 0 75952 58 0 0 25 0 1 0 641118867 31236096 6793 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7626 6793 1111 63 0 7563 0
vsize: 30504
[startup+770.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6882 0 0 0 76954 58 0 0 25 0 1 0 641118867 31236096 6803 4294967295 134512640 134714508 3221221776 3221220536 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7626 6803 1111 63 0 7563 0
vsize: 30504
[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6913 0 0 0 77954 58 0 0 25 0 1 0 641118867 31371264 6834 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6834 1111 63 0 7596 0
vsize: 30636
[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6913 0 0 0 78953 59 0 0 25 0 1 0 641118867 31371264 6834 4294967295 134512640 134714508 3221221776 3221220560 134529168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6834 1111 63 0 7596 0
vsize: 30636
[startup+800.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6913 0 0 0 79953 59 0 0 25 0 1 0 641118867 31371264 6834 4294967295 134512640 134714508 3221221776 3221220512 134535829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6834 1111 63 0 7596 0
vsize: 30636
[startup+810.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6938 0 0 0 80952 60 0 0 25 0 1 0 641118867 31510528 6859 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7693 6859 1111 63 0 7630 0
vsize: 30772
[startup+820.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6962 0 0 0 81952 60 0 0 25 0 1 0 641118867 31645696 6883 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6883 1111 63 0 7663 0
vsize: 30904
[startup+830.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6962 0 0 0 82952 60 0 0 25 0 1 0 641118867 31645696 6883 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6883 1111 63 0 7663 0
vsize: 30904
[startup+840.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6962 0 0 0 83952 61 0 0 25 0 1 0 641118867 31645696 6883 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6883 1111 63 0 7663 0
vsize: 30904
[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6967 0 0 0 84952 61 0 0 25 0 1 0 641118867 31645696 6888 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6888 1111 63 0 7663 0
vsize: 30904
[startup+860.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6967 0 0 0 85951 62 0 0 25 0 1 0 641118867 31645696 6888 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6888 1111 63 0 7663 0
vsize: 30904
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6991 0 0 0 86951 62 0 0 25 0 1 0 641118867 31780864 6912 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7759 6912 1111 63 0 7696 0
vsize: 31036
[startup+880.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 6991 0 0 0 87951 63 0 0 25 0 1 0 641118867 31780864 6912 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7759 6912 1111 63 0 7696 0
vsize: 31036
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7002 0 0 0 88951 63 0 0 25 0 1 0 641118867 31780864 6923 4294967295 134512640 134714508 3221221776 3221220272 134535462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7759 6923 1111 63 0 7696 0
vsize: 31036
[startup+900.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7024 0 0 0 89951 63 0 0 25 0 1 0 641118867 31916032 6945 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7792 6945 1111 63 0 7729 0
vsize: 31168
[startup+910.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7024 0 0 0 90950 64 0 0 25 0 1 0 641118867 31916032 6945 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7792 6945 1111 63 0 7729 0
vsize: 31168
[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7035 0 0 0 91950 64 0 0 25 0 1 0 641118867 31916032 6956 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7792 6956 1111 63 0 7729 0
vsize: 31168
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7042 0 0 0 92949 65 0 0 25 0 1 0 641118867 31916032 6963 4294967295 134512640 134714508 3221221776 3221220532 134652855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7792 6963 1111 63 0 7729 0
vsize: 31168
[startup+940.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7061 0 0 0 93949 65 0 0 25 0 1 0 641118867 32051200 6982 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7825 6982 1111 63 0 7762 0
vsize: 31300
[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7071 0 0 0 94949 66 0 0 25 0 1 0 641118867 32051200 6992 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7825 6992 1111 63 0 7762 0
vsize: 31300
[startup+960.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7077 0 0 0 95949 67 0 0 25 0 1 0 641118867 32051200 6998 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7825 6998 1111 63 0 7762 0
vsize: 31300
[startup+970.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7095 0 0 0 96948 67 0 0 25 0 1 0 641118867 32186368 7016 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7858 7016 1111 63 0 7795 0
vsize: 31432
[startup+980.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7136 0 0 0 97948 68 0 0 25 0 1 0 641118867 32321536 7057 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7891 7057 1111 63 0 7828 0
vsize: 31564
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7143 0 0 0 98947 68 0 0 25 0 1 0 641118867 32321536 7064 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7891 7064 1111 63 0 7828 0
vsize: 31564
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7143 0 0 0 99947 69 0 0 25 0 1 0 641118867 32321536 7064 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7891 7064 1111 63 0 7828 0
vsize: 31564
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7143 0 0 0 100946 70 0 0 25 0 1 0 641118867 32321536 7064 4294967295 134512640 134714508 3221221776 3221220428 134536771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7891 7064 1111 63 0 7828 0
vsize: 31564
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7152 0 0 0 101946 71 0 0 25 0 1 0 641118867 32456704 7073 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7924 7073 1111 63 0 7861 0
vsize: 31696
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7177 0 0 0 102946 71 0 0 25 0 1 0 641118867 32456704 7098 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7924 7098 1111 63 0 7861 0
vsize: 31696
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7194 0 0 0 103945 72 0 0 25 0 1 0 641118867 32591872 7115 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7194 0 0 0 104945 72 0 0 25 0 1 0 641118867 32591872 7115 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7194 0 0 0 105945 72 0 0 25 0 1 0 641118867 32591872 7115 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7194 0 0 0 106944 73 0 0 25 0 1 0 641118867 32591872 7115 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7194 0 0 0 107944 74 0 0 25 0 1 0 641118867 32591872 7115 4294967295 134512640 134714508 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7194 0 0 0 108944 74 0 0 25 0 1 0 641118867 32591872 7115 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7214 0 0 0 109943 75 0 0 25 0 1 0 641118867 32591872 7135 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7135 1111 63 0 7894 0
vsize: 31828
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7247 0 0 0 110942 76 0 0 25 0 1 0 641118867 32813056 7168 4294967295 134512640 134714508 3221221776 3221220420 134695944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8011 7168 1111 63 0 7948 0
vsize: 32044
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7300 0 0 0 111942 77 0 0 25 0 1 0 641118867 32948224 7221 4294967295 134512640 134714508 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8044 7221 1111 63 0 7981 0
vsize: 32176
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7308 0 0 0 112941 77 0 0 25 0 1 0 641118867 33083392 7229 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7229 1111 63 0 8014 0
vsize: 32308
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7332 0 0 0 113940 79 0 0 25 0 1 0 641118867 33083392 7253 4294967295 134512640 134714508 3221221776 3221220368 134549757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7253 1111 63 0 8014 0
vsize: 32308
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7332 0 0 0 114940 79 0 0 25 0 1 0 641118867 33083392 7253 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7253 1111 63 0 8014 0
vsize: 32308
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7345 0 0 0 115939 80 0 0 25 0 1 0 641118867 33218560 7266 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7266 1111 63 0 8047 0
vsize: 32440
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7360 0 0 0 116938 82 0 0 25 0 1 0 641118867 33218560 7281 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7281 1111 63 0 8047 0
vsize: 32440
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 25372
Raw data (stat): 25372 (bsolo_lpr) R 25371 7876 7672 0 -1 0 7360 0 0 0 116938 82 0 0 25 0 1 0 641118867 33218560 7281 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7281 1111 63 0 8047 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.05
CPU user time (s): 1174.21
CPU system time (s): 0.838872
CPU usage (%): 100.012
Max. virtual memory (Kb): 32440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####