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-chnl20_21_pb.cnf.cr.opb
MD5SUM	112c693a7a90a8dc93ad23dc136d9b75
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	22
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.026995
Number of variables	840
Total number of constraints	82
Number of constraints which are clauses	42
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	21
Trace number 23177

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 02:40:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=64 boxname=wulflinc31 idbench=8 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  112c693a7a90a8dc93ad23dc136d9b75  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_21_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_21_pb.cnf.cr.opb
IDLAUNCH: 64
/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:        932628 kB
Buffers:         35520 kB
Cached:          44740 kB
SwapCached:        864 kB
Active:          67512 kB
Inactive:        15152 kB
HighTotal:      131008 kB
HighFree:        85176 kB
LowTotal:       903652 kB
LowFree:        847452 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              76 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 03:00:23 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 64 7 1175.16 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 840 variables and 82 constraints.
c After prepocess the problem consists of 840 variables and 82 constraints.
c preprocess terminated 0.206 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.93 0.98 0.92 2/54 7429
Raw data (stat): 7429 (runsolver) R 7428 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 627950770 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.0012 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 3691 0 0 0 983 12 0 0 25 0 1 0 627950770 18190336 3612 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3612 1111 63 0 4378 0
vsize: 17764
[startup+20.0023 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 5269 0 0 0 1978 18 0 0 25 0 1 0 627950770 24690688 5190 4294967295 134512640 134714508 3221221744 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6028 5190 1111 63 0 5965 0
vsize: 24112
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 6061 0 0 0 2975 21 0 0 25 0 1 0 627950770 27938816 5982 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6821 5982 1111 63 0 6758 0
vsize: 27284
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 6496 0 0 0 3973 23 0 0 25 0 1 0 627950770 29847552 6417 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7287 6417 1111 63 0 7224 0
vsize: 29148
[startup+50.0044 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 7951 0 0 0 4967 29 0 0 25 0 1 0 627950770 35794944 7872 4294967295 134512640 134714508 3221221744 3221220508 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8739 7872 1111 63 0 8676 0
vsize: 34956
[startup+60.0051 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 8989 0 0 0 5964 33 0 0 25 0 1 0 627950770 40124416 8910 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9796 8910 1111 63 0 9733 0
vsize: 39184
[startup+70.006 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 9731 0 0 0 6961 36 0 0 25 0 1 0 627950770 43110400 9652 4294967295 134512640 134714508 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10525 9652 1111 63 0 10462 0
vsize: 42100
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 10323 0 0 0 7959 39 0 0 25 0 1 0 627950770 45543424 10244 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11119 10244 1111 63 0 11056 0
vsize: 44476
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 10908 0 0 0 8956 41 0 0 25 0 1 0 627950770 47972352 10829 4294967295 134512640 134714508 3221221744 3221220304 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11712 10829 1111 63 0 11649 0
vsize: 46848
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 11427 0 0 0 9954 44 0 0 25 0 1 0 627950770 50143232 11348 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12242 11348 1111 63 0 12179 0
vsize: 48968
[startup+110.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 12285 0 0 0 10951 47 0 0 25 0 1 0 627950770 53653504 12206 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13099 12206 1111 63 0 13036 0
vsize: 52396
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 12859 0 0 0 11949 50 0 0 25 0 1 0 627950770 55967744 12780 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13664 12780 1111 63 0 13601 0
vsize: 54656
[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 13299 0 0 0 12947 52 0 0 25 0 1 0 627950770 57741312 13220 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14097 13220 1111 63 0 14034 0
vsize: 56388
[startup+140.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 13963 0 0 0 13944 55 0 0 25 0 1 0 627950770 60452864 13884 4294967295 134512640 134714508 3221221744 3221220400 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14759 13884 1111 63 0 14696 0
vsize: 59036
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 14445 0 0 0 14943 57 0 0 25 0 1 0 627950770 62488576 14366 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15256 14366 1111 63 0 15193 0
vsize: 61024
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 14903 0 0 0 15941 59 0 0 25 0 1 0 627950770 64245760 14824 4294967295 134512640 134714508 3221221744 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14824 1111 63 0 15622 0
vsize: 62740
[startup+170.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 15253 0 0 0 16939 61 0 0 25 0 1 0 627950770 65732608 15174 4294967295 134512640 134714508 3221221744 3221220512 134528831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16048 15174 1111 63 0 15985 0
vsize: 64192
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 15609 0 0 0 17938 62 0 0 25 0 1 0 627950770 67268608 15530 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16423 15530 1111 63 0 16360 0
vsize: 65692
[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 15955 0 0 0 18937 63 0 0 25 0 1 0 627950770 68763648 15872 4294967295 134512640 134714508 3221221744 3221220240 134535477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16788 15872 1111 63 0 16725 0
vsize: 67152
[startup+200.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 16168 0 0 0 19936 64 0 0 25 0 1 0 627950770 69713920 16084 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17020 16084 1111 63 0 16957 0
vsize: 68080
[startup+210.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 16542 0 0 0 20935 66 0 0 25 0 1 0 627950770 71200768 16458 4294967295 134512640 134714508 3221221744 3221220364 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17383 16458 1111 63 0 17320 0
vsize: 69532
[startup+220.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 17008 0 0 0 21932 68 0 0 25 0 1 0 627950770 73289728 16924 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17893 16924 1111 63 0 17830 0
vsize: 71572
[startup+230.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 17351 0 0 0 22930 71 0 0 25 0 1 0 627950770 74649600 17267 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18225 17267 1111 63 0 18162 0
vsize: 72900
[startup+240.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 17476 0 0 0 23929 72 0 0 25 0 1 0 627950770 75190272 17392 4294967295 134512640 134714508 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18357 17392 1111 63 0 18294 0
vsize: 73428
[startup+250.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 17832 0 0 0 24928 73 0 0 25 0 1 0 627950770 76763136 17744 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18741 17744 1111 63 0 18678 0
vsize: 74964
[startup+260.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 18070 0 0 0 25927 74 0 0 25 0 1 0 627950770 77733888 17979 4294967295 134512640 134714508 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18978 17979 1111 63 0 18915 0
vsize: 75912
[startup+270.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 18318 0 0 0 26926 76 0 0 25 0 1 0 627950770 78651392 18227 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19202 18227 1111 63 0 19139 0
vsize: 76808
[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 18569 0 0 0 27925 77 0 0 25 0 1 0 627950770 79732736 18478 4294967295 134512640 134714508 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19466 18478 1111 63 0 19403 0
vsize: 77864
[startup+290.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 18714 0 0 0 28924 78 0 0 25 0 1 0 627950770 80273408 18623 4294967295 134512640 134714508 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19598 18623 1111 63 0 19535 0
vsize: 78392
[startup+300.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 19130 0 0 0 29922 80 0 0 25 0 1 0 627950770 82030592 19039 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20027 19039 1111 63 0 19964 0
vsize: 80108
[startup+310.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 19406 0 0 0 30921 82 0 0 25 0 1 0 627950770 83099648 19315 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20288 19315 1111 63 0 20225 0
vsize: 81152
[startup+320.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 19594 0 0 0 31920 83 0 0 25 0 1 0 627950770 83910656 19503 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20486 19503 1111 63 0 20423 0
vsize: 81944
[startup+330.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 19935 0 0 0 32919 84 0 0 25 0 1 0 627950770 85262336 19844 4294967295 134512640 134714508 3221221744 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20816 19844 1111 63 0 20753 0
vsize: 83264
[startup+340.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 20278 0 0 0 33917 86 0 0 25 0 1 0 627950770 86740992 20187 4294967295 134512640 134714508 3221221744 3221220480 134529269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21177 20187 1111 63 0 21114 0
vsize: 84708
[startup+350.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 20452 0 0 0 34916 87 0 0 25 0 1 0 627950770 87416832 20361 4294967295 134512640 134714508 3221221744 3221220348 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21342 20361 1111 63 0 21279 0
vsize: 85368
[startup+360.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 20697 0 0 0 35916 88 0 0 25 0 1 0 627950770 88375296 20605 4294967295 134512640 134714508 3221221744 3221220528 134529335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21576 20606 1111 63 0 21513 0
vsize: 86304
[startup+370.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 20964 0 0 0 36915 89 0 0 25 0 1 0 627950770 89456640 20871 4294967295 134512640 134714508 3221221744 3221220528 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21840 20871 1111 63 0 21777 0
vsize: 87360
[startup+380.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 21182 0 0 0 37914 90 0 0 25 0 1 0 627950770 90423296 21089 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22076 21089 1111 63 0 22013 0
vsize: 88304
[startup+390.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 21373 0 0 0 38913 92 0 0 25 0 1 0 627950770 91238400 21280 4294967295 134512640 134714508 3221221744 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22275 21280 1111 63 0 22212 0
vsize: 89100
[startup+400.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 21701 0 0 0 39911 93 0 0 25 0 1 0 627950770 92594176 21608 4294967295 134512640 134714508 3221221744 3221220448 134528702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22606 21608 1111 63 0 22543 0
vsize: 90424
[startup+410.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 22196 0 0 0 40909 95 0 0 25 0 1 0 627950770 94621696 22103 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23101 22103 1111 63 0 23038 0
vsize: 92404
[startup+420.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 22358 0 0 0 41909 96 0 0 25 0 1 0 627950770 95297536 22265 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23266 22265 1111 63 0 23203 0
vsize: 93064
[startup+430.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 22859 0 0 0 42908 97 0 0 25 0 1 0 627950770 97325056 22766 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23761 22766 1111 63 0 23698 0
vsize: 95044
[startup+440.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 23268 0 0 0 43906 99 0 0 25 0 1 0 627950770 99082240 23175 4294967295 134512640 134714508 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24190 23175 1111 63 0 24127 0
vsize: 96760
[startup+450.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 23488 0 0 0 44905 100 0 0 25 0 1 0 627950770 99889152 23395 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24387 23395 1111 63 0 24324 0
vsize: 97548
[startup+460.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 23799 0 0 0 45904 102 0 0 25 0 1 0 627950770 101236736 23706 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24716 23706 1111 63 0 24653 0
vsize: 98864
[startup+470.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 24086 0 0 0 46903 103 0 0 25 0 1 0 627950770 102522880 23993 4294967295 134512640 134714508 3221221744 3221220512 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25030 23993 1111 63 0 24967 0
vsize: 100120
[startup+480.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 24218 0 0 0 47903 103 0 0 25 0 1 0 627950770 102928384 24125 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25129 24125 1111 63 0 25066 0
vsize: 100516
[startup+490.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 24514 0 0 0 48902 105 0 0 25 0 1 0 627950770 104144896 24421 4294967295 134512640 134714508 3221221744 3221220336 134549651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25426 24421 1111 63 0 25363 0
vsize: 101704
[startup+500.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 24804 0 0 0 49900 107 0 0 25 0 1 0 627950770 105361408 24711 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25723 24711 1111 63 0 25660 0
vsize: 102892
[startup+510.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 24933 0 0 0 50899 108 0 0 25 0 1 0 627950770 105910272 24838 4294967295 134512640 134714508 3221221744 3221220480 134535841 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25857 24838 1111 63 0 25794 0
vsize: 103428
[startup+520.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 25127 0 0 0 51898 109 0 0 25 0 1 0 627950770 106721280 25032 4294967295 134512640 134714508 3221221744 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26055 25032 1111 63 0 25992 0
vsize: 104220
[startup+530.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 25263 0 0 0 52898 110 0 0 25 0 1 0 627950770 107266048 25167 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26188 25167 1111 63 0 26125 0
vsize: 104752
[startup+540.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 25539 0 0 0 53897 111 0 0 25 0 1 0 627950770 108482560 25443 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26485 25443 1111 63 0 26422 0
vsize: 105940
[startup+550.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 25768 0 0 0 54895 112 0 0 25 0 1 0 627950770 109432832 25672 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26717 25672 1111 63 0 26654 0
vsize: 106868
[startup+560.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26096 0 0 0 55895 113 0 0 25 0 1 0 627950770 110784512 26000 4294967295 134512640 134714508 3221221744 3221220336 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27047 26000 1111 63 0 26984 0
vsize: 108188
[startup+570.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26198 0 0 0 56895 114 0 0 25 0 1 0 627950770 111218688 26101 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27153 26101 1111 63 0 27090 0
vsize: 108612
[startup+580.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26379 0 0 0 57894 115 0 0 25 0 1 0 627950770 112050176 26279 4294967295 134512640 134714508 3221221744 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27356 26279 1111 63 0 27293 0
vsize: 109424
[startup+590.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26487 0 0 0 58894 115 0 0 25 0 1 0 627950770 112504832 26384 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27467 26384 1111 63 0 27404 0
vsize: 109868
[startup+600.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26546 0 0 0 59893 115 0 0 25 0 1 0 627950770 112640000 26443 4294967295 134512640 134714508 3221221744 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27500 26443 1111 63 0 27437 0
vsize: 110000
[startup+610.043 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26616 0 0 0 60893 116 0 0 25 0 1 0 627950770 112975872 26510 4294967295 134512640 134714508 3221221744 3221220184 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27582 26511 1111 63 0 27519 0
vsize: 110328
[startup+620.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26716 0 0 0 61892 117 0 0 25 0 1 0 627950770 113590272 26604 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27732 26604 1111 63 0 27669 0
vsize: 110928
[startup+630.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26790 0 0 0 62892 118 0 0 25 0 1 0 627950770 113725440 26678 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27765 26678 1111 63 0 27702 0
vsize: 111060
[startup+640.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26855 0 0 0 63892 118 0 0 25 0 1 0 627950770 114089984 26737 4294967295 134512640 134714508 3221221744 3221220460 134551979 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27854 26737 1111 63 0 27791 0
vsize: 111416
[startup+650.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 26887 0 0 0 64891 119 0 0 25 0 1 0 627950770 114225152 26769 4294967295 134512640 134714508 3221221744 3221220464 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27887 26769 1111 63 0 27824 0
vsize: 111548
[startup+660.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 27029 0 0 0 65890 120 0 0 25 0 1 0 627950770 114778112 26911 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28022 26911 1111 63 0 27959 0
vsize: 112088
[startup+670.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 27825 0 0 0 66887 124 0 0 25 0 1 0 627950770 118050816 27705 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28821 27705 1111 63 0 28758 0
vsize: 115284
[startup+680.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 28445 0 0 0 67884 127 0 0 25 0 1 0 627950770 120619008 28325 4294967295 134512640 134714508 3221221744 3221220352 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29448 28325 1111 63 0 29385 0
vsize: 117792
[startup+690.049 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 29163 0 0 0 68882 129 0 0 25 0 1 0 627950770 123457536 29043 4294967295 134512640 134714508 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30141 29043 1111 63 0 30078 0
vsize: 120564
[startup+700.049 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 29821 0 0 0 69880 131 0 0 25 0 1 0 627950770 126189568 29697 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30808 29697 1111 63 0 30745 0
vsize: 123232
[startup+710.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 30394 0 0 0 70878 133 0 0 25 0 1 0 627950770 128638976 30270 4294967295 134512640 134714508 3221221744 3221220444 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31406 30271 1111 63 0 31343 0
vsize: 125624
[startup+720.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 30912 0 0 0 71877 135 0 0 25 0 1 0 627950770 130666496 30788 4294967295 134512640 134714508 3221221744 3221220448 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31901 30788 1111 63 0 31838 0
vsize: 127604
[startup+730.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 31110 0 0 0 72876 136 0 0 25 0 1 0 627950770 131477504 30986 4294967295 134512640 134714508 3221221744 3221220236 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32099 30986 1111 63 0 32036 0
vsize: 128396
[startup+740.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 31302 0 0 0 73875 137 0 0 25 0 1 0 627950770 132304896 31177 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32301 31177 1111 63 0 32238 0
vsize: 129204
[startup+750.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 31695 0 0 0 74874 139 0 0 25 0 1 0 627950770 133926912 31570 4294967295 134512640 134714508 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32697 31570 1111 63 0 32634 0
vsize: 130788
[startup+760.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 31789 0 0 0 75873 139 0 0 25 0 1 0 627950770 134369280 31664 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32805 31664 1111 63 0 32742 0
vsize: 131220
[startup+770.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 31917 0 0 0 76873 139 0 0 25 0 1 0 627950770 134918144 31792 4294967295 134512640 134714508 3221221744 3221220372 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32939 31792 1111 63 0 32876 0
vsize: 131756
[startup+780.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 32053 0 0 0 77873 140 0 0 25 0 1 0 627950770 135458816 31928 4294967295 134512640 134714508 3221221744 3221220528 134529252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33071 31928 1111 63 0 33008 0
vsize: 132284
[startup+790.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 32107 0 0 0 78872 140 0 0 25 0 1 0 627950770 135745536 31981 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33141 31981 1111 63 0 33078 0
vsize: 132564
[startup+800.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 32457 0 0 0 79871 142 0 0 25 0 1 0 627950770 137101312 32331 4294967295 134512640 134714508 3221221744 3221220336 134549609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33472 32331 1111 63 0 33409 0
vsize: 133888
[startup+810.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 32783 0 0 0 80870 143 0 0 25 0 1 0 627950770 138452992 32657 4294967295 134512640 134714508 3221221744 3221220252 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33802 32657 1111 63 0 33739 0
vsize: 135208
[startup+820.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 33105 0 0 0 81869 144 0 0 25 0 1 0 627950770 139792384 32979 4294967295 134512640 134714508 3221221744 3221220456 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34129 32979 1111 63 0 34066 0
vsize: 136516
[startup+830.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 33292 0 0 0 82868 145 0 0 25 0 1 0 627950770 140603392 33166 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34327 33166 1111 63 0 34264 0
vsize: 137308
[startup+840.053 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 33503 0 0 0 83868 146 0 0 25 0 1 0 627950770 141414400 33377 4294967295 134512640 134714508 3221221744 3221220480 134535728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34525 33377 1111 63 0 34462 0
vsize: 138100
[startup+850.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 33704 0 0 0 84867 147 0 0 25 0 1 0 627950770 142217216 33578 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34721 33578 1111 63 0 34658 0
vsize: 138884
[startup+860.053 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 33847 0 0 0 85867 147 0 0 25 0 1 0 627950770 142757888 33721 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34853 33721 1111 63 0 34790 0
vsize: 139412
[startup+870.054 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 33945 0 0 0 86866 148 0 0 25 0 1 0 627950770 143163392 33819 4294967295 134512640 134714508 3221221744 3221220336 134549651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34952 33819 1111 63 0 34889 0
vsize: 139808
[startup+880.053 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 35235 0 0 0 87861 153 0 0 25 0 1 0 627950770 148512768 35106 4294967295 134512640 134714508 3221221744 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36258 35106 1111 63 0 36195 0
vsize: 145032
[startup+890.054 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 35982 0 0 0 88858 156 0 0 25 0 1 0 627950770 151621632 35853 4294967295 134512640 134714508 3221221744 3221220448 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37017 35853 1111 63 0 36954 0
vsize: 148068
[startup+900.054 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 36679 0 0 0 89855 159 0 0 25 0 1 0 627950770 154460160 36550 4294967295 134512640 134714508 3221221744 3221220400 134613622 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37710 36550 1111 63 0 37647 0
vsize: 150840
[startup+910.054 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 37296 0 0 0 90853 162 0 0 25 0 1 0 627950770 156893184 37167 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38304 37167 1111 63 0 38241 0
vsize: 153216
[startup+920.054 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 37737 0 0 0 91850 165 0 0 25 0 1 0 627950770 158851072 37604 4294967295 134512640 134714508 3221221744 3221220476 134532440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38782 37604 1111 63 0 38719 0
vsize: 155128
[startup+930.055 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 37954 0 0 0 92849 166 0 0 25 0 1 0 627950770 159662080 37821 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38980 37821 1111 63 0 38917 0
vsize: 155920
[startup+940.056 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 38294 0 0 0 93848 167 0 0 25 0 1 0 627950770 161148928 38161 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39343 38161 1111 63 0 39280 0
vsize: 157372
[startup+950.056 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 38553 0 0 0 94847 169 0 0 25 0 1 0 627950770 162119680 38419 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39580 38419 1111 63 0 39517 0
vsize: 158320
[startup+960.056 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 38778 0 0 0 95846 170 0 0 25 0 1 0 627950770 163057664 38644 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39809 38644 1111 63 0 39746 0
vsize: 159236
[startup+970.057 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 38902 0 0 0 96846 170 0 0 25 0 1 0 627950770 163598336 38768 4294967295 134512640 134714508 3221221744 3221220528 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39941 38768 1111 63 0 39878 0
vsize: 159764
[startup+980.057 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 39052 0 0 0 97845 171 0 0 25 0 1 0 627950770 164253696 38918 4294967295 134512640 134714508 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40101 38918 1111 63 0 40038 0
vsize: 160404
[startup+990.058 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 39178 0 0 0 98845 172 0 0 25 0 1 0 627950770 164802560 39044 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40235 39044 1111 63 0 40172 0
vsize: 160940
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 39239 0 0 0 99845 172 0 0 25 0 1 0 627950770 164937728 39105 4294967295 134512640 134714508 3221221744 3221220528 134528816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40268 39105 1111 63 0 40205 0
vsize: 161072
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 40015 0 0 0 100842 175 0 0 25 0 1 0 627950770 168230912 39881 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41072 39881 1111 63 0 41009 0
vsize: 164288
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 40594 0 0 0 101840 178 0 0 25 0 1 0 627950770 170520576 40460 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41631 40460 1111 63 0 41568 0
vsize: 166524
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 41165 0 0 0 102838 180 0 0 25 0 1 0 627950770 172953600 41031 4294967295 134512640 134714508 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42225 41031 1111 63 0 42162 0
vsize: 168900
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 41504 0 0 0 103837 181 0 0 25 0 1 0 627950770 174305280 41370 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42555 41370 1111 63 0 42492 0
vsize: 170220
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 41661 0 0 0 104836 181 0 0 25 0 1 0 627950770 174981120 41527 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42720 41527 1111 63 0 42657 0
vsize: 170880
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 41860 0 0 0 105835 183 0 0 25 0 1 0 627950770 175792128 41726 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42918 41726 1111 63 0 42855 0
vsize: 171672
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 42285 0 0 0 106834 184 0 0 25 0 1 0 627950770 177549312 42151 4294967295 134512640 134714508 3221221744 3221220448 134528481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43347 42151 1111 63 0 43284 0
vsize: 173388
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 42489 0 0 0 107833 186 0 0 25 0 1 0 627950770 178356224 42355 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43544 42355 1111 63 0 43481 0
vsize: 174176
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 42602 0 0 0 108832 186 0 0 25 0 1 0 627950770 178761728 42468 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43643 42468 1111 63 0 43580 0
vsize: 174572
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 42796 0 0 0 109832 187 0 0 25 0 1 0 627950770 179572736 42662 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43841 42662 1111 63 0 43778 0
vsize: 175364
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 42907 0 0 0 110831 188 0 0 25 0 1 0 627950770 179965952 42773 4294967295 134512640 134714508 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43937 42773 1111 63 0 43874 0
vsize: 175748
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 43078 0 0 0 111830 189 0 0 25 0 1 0 627950770 180776960 42944 4294967295 134512640 134714508 3221221744 3221220528 134529404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44135 42944 1111 63 0 44072 0
vsize: 176540
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 43224 0 0 0 112829 190 0 0 25 0 1 0 627950770 181317632 43090 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44267 43090 1111 63 0 44204 0
vsize: 177068
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 43361 0 0 0 113829 191 0 0 25 0 1 0 627950770 181858304 43227 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44399 43227 1111 63 0 44336 0
vsize: 177596
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 7429
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 43466 0 0 0 114828 191 0 0 25 0 1 0 627950770 182247424 43332 4294967295 134512640 134714508 3221221744 3221220508 134552579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44494 43332 1111 63 0 44431 0
vsize: 177976
[startup+1160.08 s]
Raw data (loadavg): 1.23 1.03 0.94 3/57 7473
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 43658 0 0 0 115828 193 0 0 25 0 1 0 627950770 183058432 43524 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44692 43524 1111 63 0 44629 0
vsize: 178768
[startup+1170.08 s]
Raw data (loadavg): 1.20 1.03 0.94 2/54 7482
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 43735 0 0 0 116828 193 0 0 25 0 1 0 627950770 183480320 43601 4294967295 134512640 134714508 3221221744 3221220384 134524203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44795 43601 1111 63 0 44732 0
vsize: 179180
[startup+1175.01 s]
Raw data (loadavg): 1.18 1.03 0.94 1/53 7482
Raw data (stat): 7429 (bsolo_lpr) R 7428 3722 3553 0 -1 0 43735 0 0 0 116828 193 0 0 25 0 1 0 627950770 183480320 43601 4294967295 134512640 134714508 3221221744 3221220384 134524203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44795 43601 1111 63 0 44732 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.16
CPU user time (s): 1173.13
CPU system time (s): 2.02269
CPU usage (%): 100.012
Max. virtual memory (Kb): 179180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####