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/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb
MD5SUM	600cdaf1f0eedf797341aa9f45a30b93
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
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	2718
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2718
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2718
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.164974
Number of variables	2718
Total number of constraints	4680
Number of constraints which are clauses	4680
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 24257

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 05:37:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2008 boxname=wulflinc31 idbench=224 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  600cdaf1f0eedf797341aa9f45a30b93  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa2670-130.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ssa2670-130.opb
IDLAUNCH: 2008
/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:        134128 kB
Buffers:         43628 kB
Cached:         822252 kB
SwapCached:        644 kB
Active:         496484 kB
Inactive:       371772 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        133876 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26596 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 05:57:25 (client local time) WITH STATUS 0 IN 1175.75 SECONDS
stats: 2008 7 1175.75 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2718 variables and 4680 constraints.
c After prepocess the problem consists of 715 variables and 1657 constraints.
c preprocess terminated 259.232 s
c Initial Lower Bound: 1267
c Lower Bound Elapsed time: 0.5713
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.67 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.75 0.78 0.79 2/54 25069
Raw data (stat): 25069 (runsolver) R 25068 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 698140964 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.79 0.79 0.79 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 7124 0 0 0 979 17 0 0 25 0 1 0 698140964 18591744 3690 4294967295 134512640 134714508 3221221792 3221220272 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4539 3690 1111 63 0 4476 0
vsize: 18156
[startup+20.0026 s]
Raw data (loadavg): 0.82 0.79 0.80 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 61337 0 0 0 1846 150 0 0 25 0 1 0 698140964 26148864 5541 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6384 5541 1111 63 0 6321 0
vsize: 25536
[startup+30.0021 s]
Raw data (loadavg): 0.85 0.80 0.80 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 73256 0 0 0 2819 177 0 0 25 0 1 0 698140964 30515200 6606 4294967295 134512640 134714508 3221221792 3221220592 134617608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7450 6606 1111 63 0 7387 0
vsize: 29800
[startup+40.0021 s]
Raw data (loadavg): 0.87 0.80 0.80 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 93878 0 0 0 3767 229 0 0 25 0 1 0 698140964 32808960 7167 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8010 7167 1111 63 0 7947 0
vsize: 32040
[startup+50.0026 s]
Raw data (loadavg): 0.89 0.81 0.80 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 116705 0 0 0 4710 286 0 0 25 0 1 0 698140964 38019072 8439 4294967295 134512640 134714508 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9282 8439 1111 63 0 9219 0
vsize: 37128
[startup+60.0029 s]
Raw data (loadavg): 0.91 0.82 0.80 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 130624 0 0 0 5676 320 0 0 25 0 1 0 698140964 40775680 9080 4294967295 134512640 134714508 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9955 9080 1111 63 0 9892 0
vsize: 39820
[startup+70.0029 s]
Raw data (loadavg): 0.92 0.82 0.81 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 141144 0 0 0 6652 345 0 0 25 0 1 0 698140964 41578496 9308 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10151 9308 1111 63 0 10088 0
vsize: 40604
[startup+80.0031 s]
Raw data (loadavg): 0.93 0.83 0.81 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 159078 0 0 0 7609 388 0 0 25 0 1 0 698140964 44859392 10090 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10952 10090 1111 63 0 10889 0
vsize: 43808
[startup+90.0037 s]
Raw data (loadavg): 0.94 0.83 0.81 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 171251 0 0 0 8579 418 0 0 25 0 1 0 698140964 45604864 10259 4294967295 134512640 134714508 3221221792 3221220536 134630805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11134 10259 1111 63 0 11071 0
vsize: 44536
[startup+100.004 s]
Raw data (loadavg): 0.95 0.84 0.81 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 177485 0 0 0 9563 434 0 0 25 0 1 0 698140964 46460928 10500 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11343 10500 1111 63 0 11280 0
vsize: 45372
[startup+110.005 s]
Raw data (loadavg): 0.96 0.84 0.81 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 190737 0 0 0 10530 468 0 0 25 0 1 0 698140964 48545792 10983 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11852 10983 1111 63 0 11789 0
vsize: 47408
[startup+120.006 s]
Raw data (loadavg): 0.96 0.85 0.82 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 195929 0 0 0 11516 481 0 0 25 0 1 0 698140964 49307648 11195 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12038 11195 1111 63 0 11975 0
vsize: 48152
[startup+130.005 s]
Raw data (loadavg): 0.97 0.85 0.82 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 212203 0 0 0 12476 522 0 0 25 0 1 0 698140964 50847744 11571 4294967295 134512640 134714508 3221221792 3221220272 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12414 11571 1111 63 0 12351 0
vsize: 49656
[startup+140.006 s]
Raw data (loadavg): 0.97 0.86 0.82 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 233336 0 0 0 13425 573 0 0 25 0 1 0 698140964 51367936 11676 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12541 11682 1111 63 0 12478 0
vsize: 50164
[startup+150.006 s]
Raw data (loadavg): 0.98 0.86 0.82 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 250374 0 0 0 14387 611 0 0 25 0 1 0 698140964 53395456 12180 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13036 12180 1111 63 0 12973 0
vsize: 52144
[startup+160.007 s]
Raw data (loadavg): 0.98 0.86 0.82 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 268984 0 0 0 15342 656 0 0 25 0 1 0 698140964 54325248 12420 4294967295 134512640 134714508 3221221792 3221220228 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13263 12420 1111 63 0 13200 0
vsize: 53052
[startup+170.008 s]
Raw data (loadavg): 0.98 0.87 0.82 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 277292 0 0 0 16321 677 0 0 25 0 1 0 698140964 55758848 12766 4294967295 134512640 134714508 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13613 12766 1111 63 0 13550 0
vsize: 54452
[startup+180.008 s]
Raw data (loadavg): 0.98 0.87 0.82 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 280040 0 0 0 17314 685 0 0 25 0 1 0 698140964 56700928 12995 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13843 12995 1111 63 0 13780 0
vsize: 55372
[startup+190.008 s]
Raw data (loadavg): 0.99 0.88 0.82 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 283896 0 0 0 18305 694 0 0 25 0 1 0 698140964 57077760 13092 4294967295 134512640 134714508 3221221792 3221220448 134627203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13935 13092 1111 63 0 13872 0
vsize: 55740
[startup+200.008 s]
Raw data (loadavg): 0.99 0.88 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 283896 0 0 0 19306 694 0 0 25 0 1 0 698140964 57077760 13092 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13935 13092 1111 63 0 13872 0
vsize: 55740
[startup+210.009 s]
Raw data (loadavg): 0.99 0.88 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 283896 0 0 0 20306 694 0 0 25 0 1 0 698140964 57077760 13092 4294967295 134512640 134714508 3221221792 3221220464 134627184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13935 13092 1111 63 0 13872 0
vsize: 55740
[startup+220.01 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 283896 0 0 0 21306 694 0 0 25 0 1 0 698140964 57077760 13092 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13935 13092 1111 63 0 13872 0
vsize: 55740
[startup+230.01 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 283896 0 0 0 22306 694 0 0 25 0 1 0 698140964 57077760 13092 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13935 13092 1111 63 0 13872 0
vsize: 55740
[startup+240.011 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 283896 0 0 0 23306 694 0 0 25 0 1 0 698140964 57077760 13092 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13935 13092 1111 63 0 13872 0
vsize: 55740
[startup+250.011 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 283896 0 0 0 24307 694 0 0 25 0 1 0 698140964 57077760 13092 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13935 13092 1111 63 0 13872 0
vsize: 55740
[startup+260.011 s]
Raw data (loadavg): 0.99 0.90 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 298133 0 0 0 25277 723 0 0 25 0 1 0 698140964 115773440 27036 4294967295 134512640 134714508 3221221792 3221217856 1074969970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28265 27036 1111 63 0 28202 0
vsize: 113060
[startup+270.012 s]
Raw data (loadavg): 0.99 0.90 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 303681 0 0 0 26265 735 0 0 25 0 1 0 698140964 121319424 28446 4294967295 134512640 134714508 3221221792 3221217996 1075564270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29619 28446 1111 63 0 29556 0
vsize: 118476
[startup+280.011 s]
Raw data (loadavg): 0.99 0.90 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 305019 0 0 0 27261 739 0 0 25 0 1 0 698140964 121159680 28404 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29580 28404 1111 63 0 29517 0
vsize: 118320
[startup+290.012 s]
Raw data (loadavg): 0.99 0.91 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 307175 0 0 0 28256 744 0 0 25 0 1 0 698140964 122740736 28952 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29966 28952 1111 63 0 29903 0
vsize: 119864
[startup+300.012 s]
Raw data (loadavg): 0.99 0.91 0.83 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 309551 0 0 0 29249 752 0 0 25 0 1 0 698140964 122474496 28887 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29901 28887 1111 63 0 29838 0
vsize: 119604
[startup+310.012 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 311509 0 0 0 30244 757 0 0 25 0 1 0 698140964 122773504 28961 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29974 28961 1111 63 0 29911 0
vsize: 119896
[startup+320.014 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 313656 0 0 0 31237 764 0 0 25 0 1 0 698140964 122650624 28931 4294967295 134512640 134714508 3221221792 3221220144 1074115241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29944 28931 1111 63 0 29881 0
vsize: 119776
[startup+330.013 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 316133 0 0 0 32229 772 0 0 25 0 1 0 698140964 122650624 28931 4294967295 134512640 134714508 3221221792 3221219976 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29944 28931 1111 63 0 29881 0
vsize: 119776
[startup+340.013 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 318962 0 0 0 33222 780 0 0 25 0 1 0 698140964 122957824 29002 4294967295 134512640 134714508 3221221792 3221220096 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30019 29002 1111 63 0 29956 0
vsize: 120076
[startup+350.014 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 322414 0 0 0 34213 789 0 0 25 0 1 0 698140964 123875328 29035 4294967295 134512640 134714508 3221221792 3221217936 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30243 29036 1111 63 0 30180 0
vsize: 120972
[startup+360.014 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 324849 0 0 0 35206 795 0 0 25 0 1 0 698140964 123162624 29056 4294967295 134512640 134714508 3221221792 3221220548 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30069 29056 1111 63 0 30006 0
vsize: 120276
[startup+370.014 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 327463 0 0 0 36199 802 0 0 25 0 1 0 698140964 124391424 29169 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30369 29169 1111 63 0 30306 0
vsize: 121476
[startup+380.014 s]
Raw data (loadavg): 0.99 0.93 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 329333 0 0 0 37193 808 0 0 25 0 1 0 698140964 123572224 29153 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30169 29153 1111 63 0 30106 0
vsize: 120676
[startup+390.015 s]
Raw data (loadavg): 0.99 0.93 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 331438 0 0 0 38187 814 0 0 25 0 1 0 698140964 124530688 29214 4294967295 134512640 134714508 3221221792 3221218448 1075968594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30403 29214 1111 63 0 30340 0
vsize: 121612
[startup+400.015 s]
Raw data (loadavg): 0.99 0.93 0.84 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 333425 0 0 0 39182 819 0 0 25 0 1 0 698140964 123924480 29232 4294967295 134512640 134714508 3221221792 3221220144 1074119105 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30255 29232 1111 63 0 30192 0
vsize: 121020
[startup+410.016 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 335309 0 0 0 40176 825 0 0 25 0 1 0 698140964 123965440 29245 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30265 29245 1111 63 0 30202 0
vsize: 121060
[startup+420.017 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 337731 0 0 0 41170 832 0 0 25 0 1 0 698140964 124817408 29277 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30473 29277 1111 63 0 30410 0
vsize: 121892
[startup+430.016 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 339762 0 0 0 42164 838 0 0 25 0 1 0 698140964 123932672 29244 4294967295 134512640 134714508 3221221792 3221220104 1074138163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30257 29244 1111 63 0 30194 0
vsize: 121028
[startup+440.017 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 341819 0 0 0 43158 843 0 0 25 0 1 0 698140964 124887040 29295 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30490 29295 1111 63 0 30427 0
vsize: 121960
[startup+450.016 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 343977 0 0 0 44153 849 0 0 25 0 1 0 698140964 124174336 29303 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30316 29303 1111 63 0 30253 0
vsize: 121264
[startup+460.017 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 345909 0 0 0 45148 854 0 0 25 0 1 0 698140964 124174336 29304 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30316 29304 1111 63 0 30253 0
vsize: 121264
[startup+470.018 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 347767 0 0 0 46143 859 0 0 25 0 1 0 698140964 124174336 29300 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30316 29300 1111 63 0 30253 0
vsize: 121264
[startup+480.017 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 349607 0 0 0 47138 864 0 0 25 0 1 0 698140964 124280832 29330 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30342 29330 1111 63 0 30279 0
vsize: 121368
[startup+490.018 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 351411 0 0 0 48133 870 0 0 25 0 1 0 698140964 124350464 29347 4294967295 134512640 134714508 3221221792 3221220432 134648996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30359 29347 1111 63 0 30296 0
vsize: 121436
[startup+500.018 s]
Raw data (loadavg): 0.99 0.95 0.85 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 353362 0 0 0 49128 875 0 0 25 0 1 0 698140964 124964864 29376 4294967295 134512640 134714508 3221221792 3221218080 1075113481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30509 29376 1111 63 0 30446 0
vsize: 122036
[startup+510.019 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 355128 0 0 0 50124 879 0 0 25 0 1 0 698140964 125734912 29472 4294967295 134512640 134714508 3221221792 3221217952 1074883513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30697 29472 1111 63 0 30634 0
vsize: 122788
[startup+520.019 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 356947 0 0 0 51119 884 0 0 25 0 1 0 698140964 124604416 29409 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30421 29409 1111 63 0 30358 0
vsize: 121684
[startup+530.019 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 358669 0 0 0 52114 889 0 0 25 0 1 0 698140964 125648896 29440 4294967295 134512640 134714508 3221221792 3221217740 1074788977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30676 29440 1111 63 0 30613 0
vsize: 122704
[startup+540.02 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 360665 0 0 0 53110 894 0 0 25 0 1 0 698140964 124637184 29410 4294967295 134512640 134714508 3221221792 3221220096 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30429 29410 1111 63 0 30366 0
vsize: 121716
[startup+550.02 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 362647 0 0 0 54104 900 0 0 25 0 1 0 698140964 124604416 29409 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30421 29409 1111 63 0 30358 0
vsize: 121684
[startup+560.021 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 364568 0 0 0 55099 905 0 0 25 0 1 0 698140964 124604416 29409 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30421 29409 1111 63 0 30358 0
vsize: 121684
[startup+570.021 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 366604 0 0 0 56094 910 0 0 25 0 1 0 698140964 124825600 29463 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30475 29463 1111 63 0 30412 0
vsize: 121900
[startup+580.02 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 368190 0 0 0 57090 915 0 0 25 0 1 0 698140964 124825600 29463 4294967295 134512640 134714508 3221221792 3221220144 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30475 29463 1111 63 0 30412 0
vsize: 121900
[startup+590.022 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 370010 0 0 0 58085 920 0 0 25 0 1 0 698140964 124973056 29499 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30511 29499 1111 63 0 30448 0
vsize: 122044
[startup+600.021 s]
Raw data (loadavg): 0.99 0.96 0.86 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 371617 0 0 0 59080 924 0 0 25 0 1 0 698140964 124973056 29499 4294967295 134512640 134714508 3221221792 3221219752 1074138233 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30568 29500 1111 63 0 30505 0
vsize: 122044
[startup+610.022 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 373050 0 0 0 60076 929 0 0 25 0 1 0 698140964 126017536 29547 4294967295 134512640 134714508 3221221792 3221218064 1074960896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30766 29547 1111 63 0 30703 0
vsize: 123064
[startup+620.022 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 374452 0 0 0 61071 934 0 0 25 0 1 0 698140964 124973056 29499 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30511 29499 1111 63 0 30448 0
vsize: 122044
[startup+630.022 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 376457 0 0 0 62067 938 0 0 25 0 1 0 698140964 124973056 29499 4294967295 134512640 134714508 3221221792 3221219696 1073978442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30511 29499 1111 63 0 30448 0
vsize: 122044
[startup+640.022 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 378303 0 0 0 63063 943 0 0 25 0 1 0 698140964 125136896 29539 4294967295 134512640 134714508 3221221792 3221219896 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30551 29539 1111 63 0 30488 0
vsize: 122204
[startup+650.022 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 379933 0 0 0 64058 948 0 0 25 0 1 0 698140964 126181376 29593 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30806 29593 1111 63 0 30743 0
vsize: 123224
[startup+660.023 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 381586 0 0 0 65054 951 0 0 25 0 1 0 698140964 126423040 29641 4294967295 134512640 134714508 3221221792 3221218020 1075115130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30865 29641 1111 63 0 30802 0
vsize: 123460
[startup+670.023 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 383482 0 0 0 66049 957 0 0 25 0 1 0 698140964 125472768 29597 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30633 29597 1111 63 0 30570 0
vsize: 122532
[startup+680.023 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 385644 0 0 0 67044 963 0 0 25 0 1 0 698140964 125169664 29540 4294967295 134512640 134714508 3221221792 3221220096 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30559 29540 1111 63 0 30496 0
vsize: 122236
[startup+690.023 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 387547 0 0 0 68039 968 0 0 25 0 1 0 698140964 125403136 29604 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30616 29604 1111 63 0 30553 0
vsize: 122464
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 389318 0 0 0 69033 973 0 0 25 0 1 0 698140964 126660608 29657 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30923 29657 1111 63 0 30860 0
vsize: 123692
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 390869 0 0 0 70030 977 0 0 25 0 1 0 698140964 125558784 29642 4294967295 134512640 134714508 3221221792 3221219936 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30654 29642 1111 63 0 30591 0
vsize: 122616
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 392456 0 0 0 71026 981 0 0 25 0 1 0 698140964 125673472 29670 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30682 29670 1111 63 0 30619 0
vsize: 122728
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 394441 0 0 0 72021 986 0 0 25 0 1 0 698140964 126070784 29737 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30779 29737 1111 63 0 30716 0
vsize: 123116
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 396835 0 0 0 73015 992 0 0 25 0 1 0 698140964 126009344 29752 4294967295 134512640 134714508 3221221792 3221220044 1074208080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30764 29752 1111 63 0 30701 0
vsize: 123056
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 398481 0 0 0 74011 996 0 0 25 0 1 0 698140964 126009344 29752 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30764 29752 1111 63 0 30701 0
vsize: 123056
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 400611 0 0 0 75007 1001 0 0 25 0 1 0 698140964 126345216 29805 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30846 29805 1111 63 0 30783 0
vsize: 123384
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 402652 0 0 0 76003 1005 0 0 25 0 1 0 698140964 126078976 29769 4294967295 134512640 134714508 3221221792 3221220144 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30781 29769 1111 63 0 30718 0
vsize: 123124
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 404279 0 0 0 76998 1010 0 0 25 0 1 0 698140964 125931520 29733 4294967295 134512640 134714508 3221221792 3221220144 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30745 29733 1111 63 0 30682 0
vsize: 122980
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 406115 0 0 0 77994 1015 0 0 25 0 1 0 698140964 126377984 29810 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30854 29810 1111 63 0 30791 0
vsize: 123416
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 408508 0 0 0 78987 1021 0 0 25 0 1 0 698140964 127823872 30022 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31207 30022 1111 63 0 31144 0
vsize: 124828
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 410668 0 0 0 79983 1026 0 0 25 0 1 0 698140964 128102400 30041 4294967295 134512640 134714508 3221221792 3221217836 1074873527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31275 30041 1111 63 0 31212 0
vsize: 125100
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 411819 0 0 0 80980 1029 0 0 25 0 1 0 698140964 127664128 29933 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31168 29933 1111 63 0 31105 0
vsize: 124672
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 413098 0 0 0 81977 1032 0 0 25 0 1 0 698140964 127664128 29884 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31168 29884 1111 63 0 31105 0
vsize: 124672
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 415127 0 0 0 82972 1037 0 0 25 0 1 0 698140964 127275008 29851 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31073 29851 1111 63 0 31010 0
vsize: 124292
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 416649 0 0 0 83969 1040 0 0 25 0 1 0 698140964 126259200 29814 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30825 29814 1111 63 0 30762 0
vsize: 123300
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 418449 0 0 0 84964 1045 0 0 25 0 1 0 698140964 126259200 29814 4294967295 134512640 134714508 3221221792 3221220008 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30825 29814 1111 63 0 30762 0
vsize: 123300
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 419991 0 0 0 85961 1049 0 0 25 0 1 0 698140964 126259200 29814 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30825 29814 1111 63 0 30762 0
vsize: 123300
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 421679 0 0 0 86956 1054 0 0 25 0 1 0 698140964 127520768 29869 4294967295 134512640 134714508 3221221792 3221217952 1075092605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31133 29869 1111 63 0 31070 0
vsize: 124532
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 423247 0 0 0 87953 1057 0 0 25 0 1 0 698140964 126300160 29824 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30835 29824 1111 63 0 30772 0
vsize: 123340
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 425552 0 0 0 88948 1062 0 0 25 0 1 0 698140964 127225856 29944 4294967295 134512640 134714508 3221221792 3221217680 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31061 29944 1111 63 0 30998 0
vsize: 124244
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 427234 0 0 0 89944 1066 0 0 25 0 1 0 698140964 127553536 29851 4294967295 134512640 134714508 3221221792 3221217952 1075092551 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31141 29851 1111 63 0 31078 0
vsize: 124564
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 429201 0 0 0 90939 1072 0 0 25 0 1 0 698140964 128954368 30443 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31483 30443 1111 63 0 31420 0
vsize: 125932
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 430387 0 0 0 91936 1075 0 0 25 0 1 0 698140964 126300160 29825 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30835 29825 1111 63 0 30772 0
vsize: 123340
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 431947 0 0 0 92932 1079 0 0 25 0 1 0 698140964 128176128 30092 4294967295 134512640 134714508 3221221792 3221218020 1075115109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31293 30092 1111 63 0 31230 0
vsize: 125172
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 433497 0 0 0 93929 1082 0 0 25 0 1 0 698140964 126332928 29826 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30843 29826 1111 63 0 30780 0
vsize: 123372
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 435508 0 0 0 94924 1087 0 0 25 0 1 0 698140964 126410752 29852 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30862 29852 1111 63 0 30799 0
vsize: 123448
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 437614 0 0 0 95919 1093 0 0 25 0 1 0 698140964 126484480 29870 4294967295 134512640 134714508 3221221792 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30880 29870 1111 63 0 30817 0
vsize: 123520
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 439745 0 0 0 96913 1099 0 0 25 0 1 0 698140964 126554112 29887 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30897 29887 1111 63 0 30834 0
vsize: 123588
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 441348 0 0 0 97909 1103 0 0 25 0 1 0 698140964 128921600 30396 4294967295 134512640 134714508 3221221792 3221218232 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31475 30396 1111 63 0 31412 0
vsize: 125900
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 442996 0 0 0 98905 1107 0 0 25 0 1 0 698140964 128352256 29987 4294967295 134512640 134714508 3221221792 3221218824 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31336 29987 1111 63 0 31273 0
vsize: 125344
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 444875 0 0 0 99900 1112 0 0 25 0 1 0 698140964 128544768 30019 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31383 30019 1111 63 0 31320 0
vsize: 125532
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 447135 0 0 0 100896 1117 0 0 25 0 1 0 698140964 126631936 29906 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30916 29906 1111 63 0 30853 0
vsize: 123664
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 449811 0 0 0 101889 1123 0 0 25 0 1 0 698140964 126599168 29898 4294967295 134512640 134714508 3221221792 3221219936 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30908 29898 1111 63 0 30845 0
vsize: 123632
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 452846 0 0 0 102883 1130 0 0 25 0 1 0 698140964 128299008 29962 4294967295 134512640 134714508 3221221792 3221217940 1075964401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31323 29962 1111 63 0 31260 0
vsize: 125292
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 455602 0 0 0 103876 1137 0 0 25 0 1 0 698140964 129327104 30379 4294967295 134512640 134714508 3221221792 3221217596 1074787584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31574 30379 1111 63 0 31511 0
vsize: 126296
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 457953 0 0 0 104870 1143 0 0 25 0 1 0 698140964 126803968 29948 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30958 29948 1111 63 0 30895 0
vsize: 123832
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 459960 0 0 0 105865 1148 0 0 25 0 1 0 698140964 126803968 29948 4294967295 134512640 134714508 3221221792 3221220096 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30958 29948 1111 63 0 30895 0
vsize: 123832
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 464851 0 0 0 106853 1160 0 0 25 0 1 0 698140964 127713280 30081 4294967295 134512640 134714508 3221221792 3221217708 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31180 30081 1111 63 0 31117 0
vsize: 124720
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 467562 0 0 0 107846 1168 0 0 25 0 1 0 698140964 127410176 30006 4294967295 134512640 134714508 3221221792 3221217628 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31106 30006 1111 63 0 31043 0
vsize: 124424
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 469674 0 0 0 108841 1173 0 0 25 0 1 0 698140964 126803968 29950 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30958 29950 1111 63 0 30895 0
vsize: 123832
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 471525 0 0 0 109836 1178 0 0 25 0 1 0 698140964 128462848 29989 4294967295 134512640 134714508 3221221792 3221218696 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31363 29989 1111 63 0 31300 0
vsize: 125452
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 473515 0 0 0 110830 1184 0 0 25 0 1 0 698140964 126803968 29950 4294967295 134512640 134714508 3221221792 3221219576 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30958 29950 1111 63 0 30895 0
vsize: 123832
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 475576 0 0 0 111825 1190 0 0 25 0 1 0 698140964 127000576 29973 4294967295 134512640 134714508 3221221792 3221220096 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31006 29973 1111 63 0 30943 0
vsize: 124024
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 477457 0 0 0 112820 1194 0 0 25 0 1 0 698140964 127000576 29993 4294967295 134512640 134714508 3221221792 3221220144 1074142954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31006 29993 1111 63 0 30943 0
vsize: 124024
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 479272 0 0 0 113816 1199 0 0 25 0 1 0 698140964 127000576 29993 4294967295 134512640 134714508 3221221792 3221220192 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31006 29993 1111 63 0 30943 0
vsize: 124024
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 481429 0 0 0 114811 1205 0 0 25 0 1 0 698140964 127000576 29993 4294967295 134512640 134714508 3221221792 3221220176 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31006 29993 1111 63 0 30943 0
vsize: 124024
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 483639 0 0 0 115805 1211 0 0 25 0 1 0 698140964 127078400 30013 4294967295 134512640 134714508 3221221792 3221220044 1077374113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31025 30013 1111 63 0 30962 0
vsize: 124100
[startup+1175.63 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25069
Raw data (stat): 25069 (bsolo_lpr) R 25068 7876 7672 0 -1 0 483639 0 0 0 115805 1211 0 0 25 0 1 0 698140964 127078400 30013 4294967295 134512640 134714508 3221221792 3221220044 1077374113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31025 30013 1111 63 0 30962 0
vsize: 0

Child status: 0
Real time (s): 1175.63
CPU time (s): 1175.75
CPU user time (s): 1163.55
CPU system time (s): 12.2011
CPU usage (%): 100.01
Max. virtual memory (Kb): 126296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####