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-par32-5-c.opb
MD5SUM	b2d6fc6e4e4b51f8b59d0f4ed12a9f74
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2678
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	2678
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	2678
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2678
Total number of constraints	6689
Number of constraints which are clauses	6689
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	2
Maximum length of a constraint	3
Trace number 24192

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 01:39:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1891 boxname=wulflinc31 idbench=211 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5-c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5-c.opb
IDLAUNCH: 1891
/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:        135704 kB
Buffers:         42672 kB
Cached:         821848 kB
SwapCached:        644 kB
Active:         495276 kB
Inactive:       371564 kB
HighTotal:      131008 kB
HighFree:          476 kB
LowTotal:       903652 kB
LowFree:        135228 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:            1064 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26532 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 01:58:58 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 1891 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2678 variables and 6689 constraints.
c After prepocess the problem consists of 2613 variables and 8538 constraints.
c preprocess terminated 58.712 s
c Initial Lower Bound: 823
c Lower Bound Elapsed time: 14.6367
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.12 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): 1.06 0.99 0.93 2/54 18866
Raw data (stat): 18866 (runsolver) R 18865 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 696710128 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 1.12 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 4515 0 0 0 982 14 0 0 25 0 1 0 696710128 18305024 3627 4294967295 134512640 134714508 3221221792 3221220444 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4469 3627 1111 63 0 4406 0
vsize: 17876
[startup+20.0009 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 4515 0 0 0 1981 14 0 0 25 0 1 0 696710128 18305024 3627 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4469 3627 1111 63 0 4406 0
vsize: 17876
[startup+30.0009 s]
Raw data (loadavg): 1.09 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 4515 0 0 0 2981 15 0 0 25 0 1 0 696710128 18305024 3627 4294967295 134512640 134714508 3221221792 3221220452 134627257 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4469 3627 1111 63 0 4406 0
vsize: 17876
[startup+40.0022 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 4662 0 0 0 3981 15 0 0 25 0 1 0 696710128 18980864 3774 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3774 1111 63 0 4571 0
vsize: 18536
[startup+50.0031 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 4783 0 0 0 4980 16 0 0 25 0 1 0 696710128 19521536 3895 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4766 3895 1111 63 0 4703 0
vsize: 19064
[startup+60.0027 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 5922 0 0 0 5978 19 0 0 25 0 1 0 696710128 24096768 5034 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5883 5034 1111 63 0 5820 0
vsize: 23532
[startup+70.0041 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 7374 0 0 0 6974 23 0 0 25 0 1 0 696710128 30871552 6168 4294967295 134512640 134714508 3221221792 3221218480 1076084087 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6168 1111 63 0 7474 0
vsize: 30148
[startup+80.0046 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 7457 0 0 0 7973 24 0 0 25 0 1 0 696710128 30871552 6251 4294967295 134512640 134714508 3221221792 3221218368 1075967892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6251 1111 63 0 7474 0
vsize: 30148
[startup+90.0056 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 7682 0 0 0 8972 24 0 0 25 0 1 0 696710128 30871552 6209 4294967295 134512640 134714508 3221221792 3221218752 1075971386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6209 1111 63 0 7474 0
vsize: 30148
[startup+100.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 7821 0 0 0 9972 25 0 0 25 0 1 0 696710128 30871552 6348 4294967295 134512640 134714508 3221221792 3221218784 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6348 1111 63 0 7474 0
vsize: 30148
[startup+110.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 7827 0 0 0 10972 25 0 0 25 0 1 0 696710128 30871552 6354 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6354 1111 63 0 7474 0
vsize: 30148
[startup+120.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 7828 0 0 0 11972 26 0 0 25 0 1 0 696710128 30871552 6355 4294967295 134512640 134714508 3221221792 3221218656 1074620304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6355 1111 63 0 7474 0
vsize: 30148
[startup+130.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 7837 0 0 0 12971 26 0 0 25 0 1 0 696710128 30871552 6364 4294967295 134512640 134714508 3221221792 3221218224 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6364 1111 63 0 7474 0
vsize: 30148
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 10902 0 0 0 13965 33 0 0 25 0 1 0 696710128 30253056 6359 4294967295 134512640 134714508 3221221792 3221217848 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6359 1111 63 0 7323 0
vsize: 29544
[startup+150.009 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 10915 0 0 0 14965 33 0 0 25 0 1 0 696710128 30253056 6366 4294967295 134512640 134714508 3221221792 3221218368 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6366 1111 63 0 7323 0
vsize: 29544
[startup+160.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 13636 0 0 0 15958 40 0 0 25 0 1 0 696710128 32002048 6304 4294967295 134512640 134714508 3221221792 3221218832 1074834461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7813 6304 1111 63 0 7750 0
vsize: 31252
[startup+170.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 22959 0 0 0 16940 58 0 0 25 0 1 0 696710128 32567296 6599 4294967295 134512640 134714508 3221221792 3221217984 1074960859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7951 6599 1111 63 0 7888 0
vsize: 31804
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 28282 0 0 0 17928 70 0 0 25 0 1 0 696710128 27000832 5866 4294967295 134512640 134714508 3221221792 3221220192 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6592 5866 1111 63 0 6529 0
vsize: 26368
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 33201 0 0 0 18919 80 0 0 25 0 1 0 696710128 33333248 7013 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8138 7013 1111 63 0 8075 0
vsize: 32552
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 36537 0 0 0 19910 89 0 0 25 0 1 0 696710128 33988608 6725 4294967295 134512640 134714508 3221221792 3221217932 1075116719 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8298 6725 1111 63 0 8235 0
vsize: 33192
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 38029 0 0 0 20905 93 0 0 25 0 1 0 696710128 26783744 5829 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6539 5829 1111 63 0 6476 0
vsize: 26156
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 38049 0 0 0 21904 94 0 0 25 0 1 0 696710128 26918912 5849 4294967295 134512640 134714508 3221221792 3221220592 134597591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6572 5849 1111 63 0 6509 0
vsize: 26288
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 38255 0 0 0 22903 96 0 0 25 0 1 0 696710128 27729920 6055 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6770 6055 1111 63 0 6707 0
vsize: 27080
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 38408 0 0 0 23902 97 0 0 25 0 1 0 696710128 28405760 6208 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6935 6208 1111 63 0 6872 0
vsize: 27740
[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 38553 0 0 0 24901 98 0 0 25 0 1 0 696710128 28946432 6353 4294967295 134512640 134714508 3221221792 3221220512 134584741 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7067 6353 1111 63 0 7004 0
vsize: 28268
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 38677 0 0 0 25900 99 0 0 25 0 1 0 696710128 29487104 6477 4294967295 134512640 134714508 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7199 6477 1111 63 0 7136 0
vsize: 28796
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 38885 0 0 0 26898 101 0 0 25 0 1 0 696710128 30298112 6685 4294967295 134512640 134714508 3221221792 3221220340 134696728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7397 6685 1111 63 0 7334 0
vsize: 29588
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 39105 0 0 0 27897 103 0 0 25 0 1 0 696710128 31244288 6905 4294967295 134512640 134714508 3221221792 3221220600 134528757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7628 6905 1111 63 0 7565 0
vsize: 30512
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 39291 0 0 0 28895 105 0 0 25 0 1 0 696710128 32055296 7091 4294967295 134512640 134714508 3221221792 3221220576 134528883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7826 7091 1111 63 0 7763 0
vsize: 31304
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 39439 0 0 0 29894 106 0 0 25 0 1 0 696710128 32595968 7239 4294967295 134512640 134714508 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7958 7239 1111 63 0 7895 0
vsize: 31832
[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 39583 0 0 0 30893 107 0 0 25 0 1 0 696710128 33271808 7383 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8123 7383 1111 63 0 8060 0
vsize: 32492
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 39733 0 0 0 31892 108 0 0 25 0 1 0 696710128 33812480 7533 4294967295 134512640 134714508 3221221792 3221220464 134652831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8255 7533 1111 63 0 8192 0
vsize: 33020
[startup+330.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 39919 0 0 0 32891 109 0 0 25 0 1 0 696710128 34623488 7719 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8453 7719 1111 63 0 8390 0
vsize: 33812
[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 40076 0 0 0 33890 110 0 0 25 0 1 0 696710128 35295232 7876 4294967295 134512640 134714508 3221221792 3221220592 134597692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8617 7876 1111 63 0 8554 0
vsize: 34468
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 40229 0 0 0 34890 111 0 0 25 0 1 0 696710128 35835904 8029 4294967295 134512640 134714508 3221221792 3221220444 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8749 8029 1111 63 0 8686 0
vsize: 34996
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 40357 0 0 0 35889 112 0 0 25 0 1 0 696710128 36376576 8157 4294967295 134512640 134714508 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8881 8157 1111 63 0 8818 0
vsize: 35524
[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 40474 0 0 0 36888 113 0 0 25 0 1 0 696710128 36917248 8274 4294967295 134512640 134714508 3221221792 3221220584 134597609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9013 8274 1111 63 0 8950 0
vsize: 36052
[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 40639 0 0 0 37887 114 0 0 25 0 1 0 696710128 37593088 8439 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9178 8439 1111 63 0 9115 0
vsize: 36712
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 40798 0 0 0 38886 115 0 0 25 0 1 0 696710128 38133760 8598 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9310 8598 1111 63 0 9247 0
vsize: 37240
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 40928 0 0 0 39885 116 0 0 25 0 1 0 696710128 38674432 8728 4294967295 134512640 134714508 3221221792 3221220512 134584759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9442 8728 1111 63 0 9379 0
vsize: 37768
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 41038 0 0 0 40885 117 0 0 25 0 1 0 696710128 39215104 8838 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9574 8838 1111 63 0 9511 0
vsize: 38296
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 41177 0 0 0 41884 117 0 0 25 0 1 0 696710128 39755776 8977 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9706 8977 1111 63 0 9643 0
vsize: 38824
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 41322 0 0 0 42884 118 0 0 25 0 1 0 696710128 40296448 9122 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9838 9122 1111 63 0 9775 0
vsize: 39352
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 41446 0 0 0 43883 119 0 0 25 0 1 0 696710128 40837120 9246 4294967295 134512640 134714508 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9970 9246 1111 63 0 9907 0
vsize: 39880
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 41553 0 0 0 44883 120 0 0 25 0 1 0 696710128 41242624 9353 4294967295 134512640 134714508 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10069 9353 1111 63 0 10006 0
vsize: 40276
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 41710 0 0 0 45882 120 0 0 25 0 1 0 696710128 41918464 9510 4294967295 134512640 134714508 3221221792 3221220364 134543054 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10234 9510 1111 63 0 10171 0
vsize: 40936
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 41859 0 0 0 46882 121 0 0 25 0 1 0 696710128 42594304 9659 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10399 9659 1111 63 0 10336 0
vsize: 41596
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 41996 0 0 0 47882 121 0 0 25 0 1 0 696710128 43134976 9796 4294967295 134512640 134714508 3221221792 3221220384 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10531 9796 1111 63 0 10468 0
vsize: 42124
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 42111 0 0 0 48881 122 0 0 25 0 1 0 696710128 43540480 9911 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10630 9911 1111 63 0 10567 0
vsize: 42520
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 42286 0 0 0 49880 123 0 0 25 0 1 0 696710128 44351488 10086 4294967295 134512640 134714508 3221221792 3221220300 134535885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10828 10086 1111 63 0 10765 0
vsize: 43312
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 42442 0 0 0 50880 124 0 0 25 0 1 0 696710128 44896256 10242 4294967295 134512640 134714508 3221221792 3221220352 134696546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10961 10242 1111 63 0 10898 0
vsize: 43844
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 42562 0 0 0 51879 124 0 0 25 0 1 0 696710128 45436928 10362 4294967295 134512640 134714508 3221221792 3221220504 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11093 10362 1111 63 0 11030 0
vsize: 44372
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 42658 0 0 0 52879 125 0 0 25 0 1 0 696710128 45842432 10458 4294967295 134512640 134714508 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11192 10458 1111 63 0 11129 0
vsize: 44768
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 42797 0 0 0 53878 126 0 0 25 0 1 0 696710128 46383104 10597 4294967295 134512640 134714508 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11324 10597 1111 63 0 11261 0
vsize: 45296
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 42972 0 0 0 54877 127 0 0 25 0 1 0 696710128 47058944 10772 4294967295 134512640 134714508 3221221792 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11489 10772 1111 63 0 11426 0
vsize: 45956
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 43120 0 0 0 55877 128 0 0 25 0 1 0 696710128 47734784 10920 4294967295 134512640 134714508 3221221792 3221220552 134613509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11654 10920 1111 63 0 11591 0
vsize: 46616
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 43252 0 0 0 56876 128 0 0 25 0 1 0 696710128 48275456 11052 4294967295 134512640 134714508 3221221792 3221220424 134696017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 11052 1111 63 0 11723 0
vsize: 47144
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 43390 0 0 0 57876 129 0 0 25 0 1 0 696710128 48816128 11190 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11918 11190 1111 63 0 11855 0
vsize: 47672
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 43565 0 0 0 58875 130 0 0 25 0 1 0 696710128 49491968 11365 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12083 11365 1111 63 0 12020 0
vsize: 48332
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 43715 0 0 0 59874 131 0 0 25 0 1 0 696710128 50167808 11515 4294967295 134512640 134714508 3221221792 3221220352 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12248 11515 1111 63 0 12185 0
vsize: 48992
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 43829 0 0 0 60874 131 0 0 25 0 1 0 696710128 50573312 11629 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12347 11629 1111 63 0 12284 0
vsize: 49388
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 43933 0 0 0 61874 132 0 0 25 0 1 0 696710128 51113984 11733 4294967295 134512640 134714508 3221221792 3221220416 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12479 11733 1111 63 0 12416 0
vsize: 49916
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 44063 0 0 0 62873 133 0 0 25 0 1 0 696710128 51519488 11863 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12578 11863 1111 63 0 12515 0
vsize: 50312
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 44220 0 0 0 63872 134 0 0 25 0 1 0 696710128 52195328 12020 4294967295 134512640 134714508 3221221792 3221220592 134597692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12743 12020 1111 63 0 12680 0
vsize: 50972
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 44355 0 0 0 64870 136 0 0 25 0 1 0 696710128 52736000 12155 4294967295 134512640 134714508 3221221792 3221220496 134535807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12875 12155 1111 63 0 12812 0
vsize: 51500
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 44472 0 0 0 65870 136 0 0 25 0 1 0 696710128 53276672 12272 4294967295 134512640 134714508 3221221792 3221220416 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13007 12272 1111 63 0 12944 0
vsize: 52028
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 44614 0 0 0 66870 137 0 0 25 0 1 0 696710128 53817344 12414 4294967295 134512640 134714508 3221221792 3221220492 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13139 12414 1111 63 0 13076 0
vsize: 52556
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 44768 0 0 0 67869 137 0 0 25 0 1 0 696710128 54493184 12568 4294967295 134512640 134714508 3221221792 3221220432 134543108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13304 12568 1111 63 0 13241 0
vsize: 53216
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 44907 0 0 0 68869 138 0 0 25 0 1 0 696710128 55033856 12707 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13436 12707 1111 63 0 13373 0
vsize: 53744
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 45019 0 0 0 69869 138 0 0 25 0 1 0 696710128 55574528 12819 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13568 12819 1111 63 0 13505 0
vsize: 54272
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 45119 0 0 0 70869 139 0 0 25 0 1 0 696710128 55980032 12919 4294967295 134512640 134714508 3221221792 3221220352 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13667 12919 1111 63 0 13604 0
vsize: 54668
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 45262 0 0 0 71868 140 0 0 25 0 1 0 696710128 56520704 13062 4294967295 134512640 134714508 3221221792 3221220512 134584759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13799 13062 1111 63 0 13736 0
vsize: 55196
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 45398 0 0 0 72868 140 0 0 25 0 1 0 696710128 57061376 13198 4294967295 134512640 134714508 3221221792 3221220536 134543154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13931 13198 1111 63 0 13868 0
vsize: 55724
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 45521 0 0 0 73867 141 0 0 25 0 1 0 696710128 57602048 13321 4294967295 134512640 134714508 3221221792 3221220340 134696694 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14063 13321 1111 63 0 14000 0
vsize: 56252
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 45640 0 0 0 74867 142 0 0 25 0 1 0 696710128 58007552 13440 4294967295 134512640 134714508 3221221792 3221220400 134523374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14162 13440 1111 63 0 14099 0
vsize: 56648
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 45753 0 0 0 75866 142 0 0 25 0 1 0 696710128 58548224 13553 4294967295 134512640 134714508 3221221792 3221220576 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14294 13553 1111 63 0 14231 0
vsize: 57176
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 45888 0 0 0 76866 143 0 0 25 0 1 0 696710128 59088896 13688 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13688 1111 63 0 14363 0
vsize: 57704
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 46005 0 0 0 77865 143 0 0 25 0 1 0 696710128 59494400 13805 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14525 13805 1111 63 0 14462 0
vsize: 58100
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 46106 0 0 0 78866 143 0 0 25 0 1 0 696710128 59899904 13906 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14624 13906 1111 63 0 14561 0
vsize: 58496
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 46211 0 0 0 79865 144 0 0 25 0 1 0 696710128 60440576 14011 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14756 14011 1111 63 0 14693 0
vsize: 59024
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 46361 0 0 0 80865 144 0 0 25 0 1 0 696710128 60981248 14161 4294967295 134512640 134714508 3221221792 3221220420 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14888 14161 1111 63 0 14825 0
vsize: 59552
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 46489 0 0 0 81865 145 0 0 25 0 1 0 696710128 61521920 14289 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15020 14289 1111 63 0 14957 0
vsize: 60080
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 46617 0 0 0 82864 145 0 0 25 0 1 0 696710128 62062592 14417 4294967295 134512640 134714508 3221221792 3221220456 134524381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15152 14417 1111 63 0 15089 0
vsize: 60608
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 46724 0 0 0 83864 146 0 0 25 0 1 0 696710128 62468096 14524 4294967295 134512640 134714508 3221221792 3221220472 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15251 14524 1111 63 0 15188 0
vsize: 61004
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 46846 0 0 0 84863 147 0 0 25 0 1 0 696710128 63008768 14646 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15383 14646 1111 63 0 15320 0
vsize: 61532
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 46970 0 0 0 85863 147 0 0 25 0 1 0 696710128 63549440 14769 4294967295 134512640 134714508 3221221792 3221220568 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15515 14769 1111 63 0 15452 0
vsize: 62060
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 47076 0 0 0 86862 148 0 0 25 0 1 0 696710128 63954944 14875 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15614 14875 1111 63 0 15551 0
vsize: 62456
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 47174 0 0 0 87862 149 0 0 25 0 1 0 696710128 64360448 14973 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15713 14973 1111 63 0 15650 0
vsize: 62852
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 47292 0 0 0 88861 150 0 0 25 0 1 0 696710128 64901120 15091 4294967295 134512640 134714508 3221221792 3221220332 134539287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15845 15091 1111 63 0 15782 0
vsize: 63380
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 47427 0 0 0 89861 150 0 0 25 0 1 0 696710128 65441792 15226 4294967295 134512640 134714508 3221221792 3221220400 134543674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15977 15226 1111 63 0 15914 0
vsize: 63908
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 47541 0 0 0 90860 151 0 0 25 0 1 0 696710128 65847296 15340 4294967295 134512640 134714508 3221221792 3221220288 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16076 15340 1111 63 0 16013 0
vsize: 64304
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 47643 0 0 0 91860 151 0 0 25 0 1 0 696710128 66252800 15442 4294967295 134512640 134714508 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16175 15442 1111 63 0 16112 0
vsize: 64700
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 47831 0 0 0 92860 152 0 0 25 0 1 0 696710128 67067904 15630 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16374 15630 1111 63 0 16311 0
vsize: 65496
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 48004 0 0 0 93859 153 0 0 25 0 1 0 696710128 67751936 15803 4294967295 134512640 134714508 3221221792 3221220496 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16541 15803 1111 63 0 16478 0
vsize: 66164
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 48146 0 0 0 94859 153 0 0 25 0 1 0 696710128 68288512 15945 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16672 15945 1111 63 0 16609 0
vsize: 66688
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 48277 0 0 0 95859 154 0 0 25 0 1 0 696710128 68829184 16076 4294967295 134512640 134714508 3221221792 3221220348 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16804 16076 1111 63 0 16741 0
vsize: 67216
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 48385 0 0 0 96858 154 0 0 25 0 1 0 696710128 69369856 16184 4294967295 134512640 134714508 3221221792 3221220036 134697343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16936 16184 1111 63 0 16873 0
vsize: 67744
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 48551 0 0 0 97858 155 0 0 25 0 1 0 696710128 70049792 16349 4294967295 134512640 134714508 3221221792 3221220340 134696728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17102 16349 1111 63 0 17039 0
vsize: 68408
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 48702 0 0 0 98857 156 0 0 25 0 1 0 696710128 70594560 16500 4294967295 134512640 134714508 3221221792 3221220348 134539251 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17235 16500 1111 63 0 17172 0
vsize: 68940
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 48836 0 0 0 99856 157 0 0 25 0 1 0 696710128 71135232 16634 4294967295 134512640 134714508 3221221792 3221220340 134696728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17367 16634 1111 63 0 17304 0
vsize: 69468
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 48942 0 0 0 100856 157 0 0 25 0 1 0 696710128 71675904 16740 4294967295 134512640 134714508 3221221792 3221220416 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17499 16740 1111 63 0 17436 0
vsize: 69996
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 49078 0 0 0 101855 158 0 0 25 0 1 0 696710128 72216576 16876 4294967295 134512640 134714508 3221221792 3221220108 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17631 16876 1111 63 0 17568 0
vsize: 70524
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 49230 0 0 0 102855 159 0 0 25 0 1 0 696710128 72757248 17028 4294967295 134512640 134714508 3221221792 3221220332 134539296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17763 17028 1111 63 0 17700 0
vsize: 71052
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 49364 0 0 0 103855 159 0 0 25 0 1 0 696710128 73433088 17160 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17928 17160 1111 63 0 17865 0
vsize: 71712
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 49475 0 0 0 104854 160 0 0 25 0 1 0 696710128 73838592 17271 4294967295 134512640 134714508 3221221792 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18027 17271 1111 63 0 17964 0
vsize: 72108
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 49575 0 0 0 105854 160 0 0 25 0 1 0 696710128 74244096 17371 4294967295 134512640 134714508 3221221792 3221220396 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18126 17371 1111 63 0 18063 0
vsize: 72504
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 49709 0 0 0 106853 161 0 0 25 0 1 0 696710128 74784768 17505 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18258 17505 1111 63 0 18195 0
vsize: 73032
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 49841 0 0 0 107853 162 0 0 25 0 1 0 696710128 75325440 17637 4294967295 134512640 134714508 3221221792 3221220268 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18390 17637 1111 63 0 18327 0
vsize: 73560
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 49962 0 0 0 108852 163 0 0 25 0 1 0 696710128 75866112 17758 4294967295 134512640 134714508 3221221792 3221220432 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18522 17758 1111 63 0 18459 0
vsize: 74088
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 50056 0 0 0 109852 163 0 0 25 0 1 0 696710128 76136448 17852 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18588 17852 1111 63 0 18525 0
vsize: 74352
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 50169 0 0 0 110852 164 0 0 25 0 1 0 696710128 76677120 17965 4294967295 134512640 134714508 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18720 17965 1111 63 0 18657 0
vsize: 74880
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 50274 0 0 0 111851 164 0 0 25 0 1 0 696710128 77082624 18070 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18819 18070 1111 63 0 18756 0
vsize: 75276
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 50371 0 0 0 112851 165 0 0 25 0 1 0 696710128 77488128 18167 4294967295 134512640 134714508 3221221792 3221220360 134696403 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18918 18167 1111 63 0 18855 0
vsize: 75672
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 50459 0 0 0 113851 165 0 0 25 0 1 0 696710128 77893632 18255 4294967295 134512640 134714508 3221221792 3221220524 134555019 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19017 18255 1111 63 0 18954 0
vsize: 76068
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 50540 0 0 0 114850 166 0 0 25 0 1 0 696710128 78163968 18336 4294967295 134512640 134714508 3221221792 3221220420 134696256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19083 18336 1111 63 0 19020 0
vsize: 76332
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 50638 0 0 0 115850 166 0 0 25 0 1 0 696710128 78569472 18434 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19182 18434 1111 63 0 19119 0
vsize: 76728
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 50747 0 0 0 116850 167 0 0 25 0 1 0 696710128 78974976 18543 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19281 18543 1111 63 0 19218 0
vsize: 77124
[startup+1175.07 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 18866
Raw data (stat): 18866 (bsolo_lpr) R 18865 7876 7672 0 -1 0 50747 0 0 0 116850 167 0 0 25 0 1 0 696710128 78974976 18543 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19281 18543 1111 63 0 19218 0
vsize: 0

Child status: 0
Real time (s): 1175.07
CPU time (s): 1175.18
CPU user time (s): 1173.47
CPU system time (s): 1.71074
CPU usage (%): 100.01
Max. virtual memory (Kb): 77124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####