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-par16-4-c.opb
MD5SUM	fabab1fefe64535b227fac16b2477da8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	324
Optimality of the best value was proved	NO
Number of terms in the objective function	648
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	648
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	648
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.809876
Number of variables	648
Total number of constraints	1616
Number of constraints which are clauses	1616
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 24132

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 07:36:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1783 boxname=wulflinc31 idbench=199 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fabab1fefe64535b227fac16b2477da8  /oldhome/oroussel/tmp/wulflinc31/normalized-par16-4-c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par16-4-c.opb
IDLAUNCH: 1783
/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:        141644 kB
Buffers:         41308 kB
Cached:         817432 kB
SwapCached:        644 kB
Active:         491656 kB
Inactive:       369380 kB
HighTotal:      131008 kB
HighFree:         4256 kB
LowTotal:       903652 kB
LowFree:        137388 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26380 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 07:55:45 (client local time) WITH STATUS 0 IN 1177.59 SECONDS
stats: 1783 7 1177.59 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 648 variables and 1616 constraints.
c After prepocess the problem consists of 618 variables and 2036 constraints.
c preprocess terminated 2.568 s
c Initial Lower Bound: 218
c Lower Bound Elapsed time: 0.9469
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1177.55 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.90 0.95 0.90 2/54 13159
Raw data (stat): 13159 (runsolver) R 13158 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 690209903 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0001 s]
Raw data (loadavg): 0.91 0.95 0.90 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 5780 0 0 0 978 18 0 0 25 0 1 0 690209903 11698176 1950 4294967295 134512640 134714508 3221221792 3221218776 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2856 1950 1111 63 0 2793 0
vsize: 11424
[startup+20.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 8785 0 0 0 1971 24 0 0 25 0 1 0 690209903 11755520 1953 4294967295 134512640 134714508 3221221792 3221219056 1075894372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2870 1953 1111 63 0 2807 0
vsize: 11480
[startup+30.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 10673 0 0 0 2966 29 0 0 25 0 1 0 690209903 11866112 1995 4294967295 134512640 134714508 3221221792 3221218064 1074961408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1995 1111 63 0 2834 0
vsize: 11588
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 13475 0 0 0 3960 36 0 0 25 0 1 0 690209903 11608064 1893 4294967295 134512640 134714508 3221221792 3221218064 1074961275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2834 1893 1111 63 0 2771 0
vsize: 11336
[startup+50.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 16828 0 0 0 4951 45 0 0 25 0 1 0 690209903 11595776 1879 4294967295 134512640 134714508 3221221792 3221218324 1075863638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2831 1879 1111 63 0 2768 0
vsize: 11324
[startup+60.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 20188 0 0 0 5942 54 0 0 25 0 1 0 690209903 11616256 1896 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2836 1896 1111 63 0 2773 0
vsize: 11344
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 23295 0 0 0 6935 61 0 0 25 0 1 0 690209903 11624448 2024 4294967295 134512640 134714508 3221221792 3221218112 1075171406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2838 2024 1111 63 0 2775 0
vsize: 11352
[startup+80.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 26639 0 0 0 7926 70 0 0 25 0 1 0 690209903 12025856 1980 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2936 1980 1111 63 0 2873 0
vsize: 11744
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 30812 0 0 0 8916 80 0 0 25 0 1 0 690209903 10326016 1847 4294967295 134512640 134714508 3221221792 3221220144 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1847 1111 63 0 2458 0
vsize: 10084
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 33923 0 0 0 9907 89 0 0 25 0 1 0 690209903 11845632 1960 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2892 1960 1111 63 0 2829 0
vsize: 11568
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 36753 0 0 0 10900 96 0 0 25 0 1 0 690209903 11943936 2120 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2120 1111 63 0 2853 0
vsize: 11664
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 39740 0 0 0 11891 105 0 0 25 0 1 0 690209903 11911168 1984 4294967295 134512640 134714508 3221221792 3221218032 1075115726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2908 1984 1111 63 0 2845 0
vsize: 11632
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 42632 0 0 0 12883 113 0 0 25 0 1 0 690209903 10481664 1878 4294967295 134512640 134714508 3221221792 3221220144 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2559 1878 1111 63 0 2496 0
vsize: 10236
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 45576 0 0 0 13875 122 0 0 25 0 1 0 690209903 10448896 1877 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2551 1877 1111 63 0 2488 0
vsize: 10204
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 48661 0 0 0 14867 130 0 0 25 0 1 0 690209903 11661312 2022 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2847 2022 1111 63 0 2784 0
vsize: 11388
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 51186 0 0 0 15861 136 0 0 25 0 1 0 690209903 10452992 1878 4294967295 134512640 134714508 3221221792 3221219960 1077378283 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2552 1878 1111 63 0 2489 0
vsize: 10208
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 53496 0 0 0 16855 142 0 0 25 0 1 0 690209903 12136448 2035 4294967295 134512640 134714508 3221221792 3221218448 1075968377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2963 2035 1111 63 0 2900 0
vsize: 11852
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 56203 0 0 0 17847 150 0 0 25 0 1 0 690209903 12120064 2014 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2014 1111 63 0 2896 0
vsize: 11836
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 58853 0 0 0 18842 155 0 0 25 0 1 0 690209903 10518528 1894 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2568 1894 1111 63 0 2505 0
vsize: 10272
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 61533 0 0 0 19833 164 0 0 25 0 1 0 690209903 12144640 2023 4294967295 134512640 134714508 3221221792 3221217936 1074969465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2965 2023 1111 63 0 2902 0
vsize: 11860
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 64143 0 0 0 20826 172 0 0 25 0 1 0 690209903 12181504 2032 4294967295 134512640 134714508 3221221792 3221218012 1075116480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2974 2032 1111 63 0 2911 0
vsize: 11896
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 66580 0 0 0 21819 178 0 0 25 0 1 0 690209903 11620352 2048 4294967295 134512640 134714508 3221221792 3221218796 1074621120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2837 2048 1111 63 0 2774 0
vsize: 11348
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 69626 0 0 0 22812 186 0 0 25 0 1 0 690209903 12185600 2003 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2975 2003 1111 63 0 2912 0
vsize: 11900
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 72218 0 0 0 23806 192 0 0 25 0 1 0 690209903 12206080 2045 4294967295 134512640 134714508 3221221792 3221218064 1074960673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2980 2045 1111 63 0 2917 0
vsize: 11920
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 74496 0 0 0 24800 198 0 0 25 0 1 0 690209903 11993088 1992 4294967295 134512640 134714508 3221221792 3221217704 1074788452 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2928 1992 1111 63 0 2865 0
vsize: 11712
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 77185 0 0 0 25793 206 0 0 25 0 1 0 690209903 12144640 2035 4294967295 134512640 134714508 3221221792 3221218000 1074815176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2965 2035 1111 63 0 2902 0
vsize: 11860
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 80117 0 0 0 26785 214 0 0 25 0 1 0 690209903 12005376 1965 4294967295 134512640 134714508 3221221792 3221218176 1074971980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2931 1966 1111 63 0 2868 0
vsize: 11724
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 82660 0 0 0 27778 220 0 0 25 0 1 0 690209903 12152832 2050 4294967295 134512640 134714508 3221221792 3221218064 1074961246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2967 2050 1111 63 0 2904 0
vsize: 11868
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 84852 0 0 0 28773 226 0 0 25 0 1 0 690209903 12189696 2028 4294967295 134512640 134714508 3221221792 3221218368 1076043574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2028 1111 63 0 2913 0
vsize: 11904
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 87269 0 0 0 29766 233 0 0 25 0 1 0 690209903 10641408 1924 4294967295 134512640 134714508 3221221792 3221220096 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2598 1924 1111 63 0 2535 0
vsize: 10392
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 89931 0 0 0 30761 238 0 0 25 0 1 0 690209903 10862592 1974 4294967295 134512640 134714508 3221221792 3221219576 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2652 1974 1111 63 0 2589 0
vsize: 10608
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 92049 0 0 0 31755 244 0 0 25 0 1 0 690209903 12304384 2088 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3004 2088 1111 63 0 2941 0
vsize: 12016
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 94292 0 0 0 32750 249 0 0 25 0 1 0 690209903 11931648 2117 4294967295 134512640 134714508 3221221792 3221218128 1075114268 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2913 2117 1111 63 0 2850 0
vsize: 11652
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 96830 0 0 0 33743 257 0 0 25 0 1 0 690209903 12099584 2133 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2954 2133 1111 63 0 2891 0
vsize: 11816
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 98966 0 0 0 34737 263 0 0 25 0 1 0 690209903 11280384 2040 4294967295 134512640 134714508 3221221792 3221219616 1075823337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2754 2040 1111 63 0 2691 0
vsize: 11016
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 101031 0 0 0 35732 268 0 0 25 0 1 0 690209903 11743232 2143 4294967295 134512640 134714508 3221221792 3221217628 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2867 2143 1111 63 0 2804 0
vsize: 11468
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 102882 0 0 0 36728 273 0 0 25 0 1 0 690209903 11726848 2139 4294967295 134512640 134714508 3221221792 3221217984 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2139 1111 63 0 2800 0
vsize: 11452
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 105116 0 0 0 37722 279 0 0 25 0 1 0 690209903 11157504 2050 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2724 2050 1111 63 0 2661 0
vsize: 10896
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 107675 0 0 0 38717 284 0 0 25 0 1 0 690209903 12091392 2193 4294967295 134512640 134714508 3221221792 3221217904 1074794472 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2952 2193 1111 63 0 2889 0
vsize: 11808
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 109605 0 0 0 39712 289 0 0 25 0 1 0 690209903 12464128 2137 4294967295 134512640 134714508 3221221792 3221217724 1074788143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3043 2137 1111 63 0 2980 0
vsize: 12172
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 111611 0 0 0 40707 294 0 0 25 0 1 0 690209903 12029952 2149 4294967295 134512640 134714508 3221221792 3221218728 1075066480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2937 2149 1111 63 0 2874 0
vsize: 11748
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 113835 0 0 0 41701 300 0 0 25 0 1 0 690209903 12500992 2142 4294967295 134512640 134714508 3221221792 3221218864 1074867206 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3052 2142 1111 63 0 2989 0
vsize: 12208
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 115969 0 0 0 42695 306 0 0 25 0 1 0 690209903 12230656 2162 4294967295 134512640 134714508 3221221792 3221217728 1075965256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2986 2162 1111 63 0 2923 0
vsize: 11944
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 118262 0 0 0 43689 312 0 0 25 0 1 0 690209903 12271616 2171 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2996 2171 1111 63 0 2933 0
vsize: 11984
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 120121 0 0 0 44685 316 0 0 25 0 1 0 690209903 12140544 2172 4294967295 134512640 134714508 3221221792 3221218128 1075114256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2964 2172 1111 63 0 2901 0
vsize: 11856
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 122081 0 0 0 45681 321 0 0 25 0 1 0 690209903 11378688 2045 4294967295 134512640 134714508 3221221792 3221219456 1075830006 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2778 2045 1111 63 0 2715 0
vsize: 11112
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 124623 0 0 0 46674 328 0 0 25 0 1 0 690209903 11132928 2044 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2718 2044 1111 63 0 2655 0
vsize: 10872
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 127191 0 0 0 47667 335 0 0 25 0 1 0 690209903 12623872 2154 4294967295 134512640 134714508 3221221792 3221217940 1075964398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3082 2154 1111 63 0 3019 0
vsize: 12328
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 129419 0 0 0 48662 340 0 0 25 0 1 0 690209903 12840960 2195 4294967295 134512640 134714508 3221221792 3221217936 1074969685 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3135 2195 1111 63 0 3072 0
vsize: 12540
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 131647 0 0 0 49655 347 0 0 25 0 1 0 690209903 12324864 2215 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3009 2215 1111 63 0 2946 0
vsize: 12036
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 134161 0 0 0 50650 353 0 0 25 0 1 0 690209903 11964416 2192 4294967295 134512640 134714508 3221221792 3221218184 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2921 2192 1111 63 0 2858 0
vsize: 11684
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 136337 0 0 0 51645 358 0 0 25 0 1 0 690209903 12402688 2217 4294967295 134512640 134714508 3221221792 3221217920 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2217 1111 63 0 2965 0
vsize: 12112
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 138547 0 0 0 52639 364 0 0 25 0 1 0 690209903 12210176 2223 4294967295 134512640 134714508 3221221792 3221217680 1075965250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2981 2223 1111 63 0 2918 0
vsize: 11924
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 141000 0 0 0 53633 371 0 0 25 0 1 0 690209903 12406784 2235 4294967295 134512640 134714508 3221221792 3221218000 1074815259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3029 2235 1111 63 0 2966 0
vsize: 12116
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 143398 0 0 0 54626 377 0 0 25 0 1 0 690209903 12972032 2223 4294967295 134512640 134714508 3221221792 3221218032 1075115762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3167 2223 1111 63 0 3104 0
vsize: 12668
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 145801 0 0 0 55620 383 0 0 25 0 1 0 690209903 12365824 2262 4294967295 134512640 134714508 3221221792 3221217972 1075114923 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3019 2262 1111 63 0 2956 0
vsize: 12076
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 148338 0 0 0 56612 391 0 0 25 0 1 0 690209903 12951552 2358 4294967295 134512640 134714508 3221221792 3221217920 1075112106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3162 2358 1111 63 0 3099 0
vsize: 12648
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 150748 0 0 0 57606 398 0 0 25 0 1 0 690209903 13078528 2241 4294967295 134512640 134714508 3221221792 3221218128 1075113511 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3193 2241 1111 63 0 3130 0
vsize: 12772
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 152936 0 0 0 58600 403 0 0 25 0 1 0 690209903 13123584 2258 4294967295 134512640 134714508 3221221792 3221217660 1074787632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3204 2258 1111 63 0 3141 0
vsize: 12816
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 155217 0 0 0 59595 409 0 0 25 0 1 0 690209903 12869632 2208 4294967295 134512640 134714508 3221221792 3221217740 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3142 2208 1111 63 0 3079 0
vsize: 12568
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 157768 0 0 0 60589 416 0 0 25 0 1 0 690209903 12935168 2242 4294967295 134512640 134714508 3221221792 3221217920 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3158 2242 1111 63 0 3095 0
vsize: 12632
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 160135 0 0 0 61582 422 0 0 25 0 1 0 690209903 12341248 2205 4294967295 134512640 134714508 3221221792 3221217760 1074872820 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3013 2205 1111 63 0 2950 0
vsize: 12052
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 162396 0 0 0 62575 429 0 0 25 0 1 0 690209903 11452416 2122 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2796 2122 1111 63 0 2733 0
vsize: 11184
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 164757 0 0 0 63569 436 0 0 25 0 1 0 690209903 13058048 2307 4294967295 134512640 134714508 3221221792 3221217876 1075964390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2307 1111 63 0 3125 0
vsize: 12752
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 167084 0 0 0 64563 442 0 0 25 0 1 0 690209903 13094912 2279 4294967295 134512640 134714508 3221221792 3221217936 1074969474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2279 1111 63 0 3134 0
vsize: 12788
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 169318 0 0 0 65558 447 0 0 25 0 1 0 690209903 13115392 2294 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3202 2294 1111 63 0 3139 0
vsize: 12808
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 171681 0 0 0 66552 453 0 0 25 0 1 0 690209903 11636736 2167 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2841 2167 1111 63 0 2778 0
vsize: 11364
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 173798 0 0 0 67547 459 0 0 25 0 1 0 690209903 13049856 2240 4294967295 134512640 134714508 3221221792 3221218064 1075112086 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3186 2240 1111 63 0 3123 0
vsize: 12744
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 176324 0 0 0 68541 465 0 0 25 0 1 0 690209903 13119488 2279 4294967295 134512640 134714508 3221221792 3221217836 1074873550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3203 2279 1111 63 0 3140 0
vsize: 12812
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 178673 0 0 0 69535 471 0 0 25 0 1 0 690209903 12374016 2293 4294967295 134512640 134714508 3221221792 3221217888 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3021 2293 1111 63 0 2958 0
vsize: 12084
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 181041 0 0 0 70531 475 0 0 25 0 1 0 690209903 12742656 2320 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3111 2320 1111 63 0 3048 0
vsize: 12444
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 183608 0 0 0 71524 482 0 0 25 0 1 0 690209903 11919360 2227 4294967295 134512640 134714508 3221221792 3221218984 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3063 2230 1111 63 0 3000 0
vsize: 11640
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 186139 0 0 0 72517 489 0 0 25 0 1 0 690209903 12402688 2300 4294967295 134512640 134714508 3221221792 3221217620 1074786588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2300 1111 63 0 2965 0
vsize: 12112
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 188601 0 0 0 73512 495 0 0 25 0 1 0 690209903 13352960 2320 4294967295 134512640 134714508 3221221792 3221218012 1075116508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2320 1111 63 0 3197 0
vsize: 13040
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 190844 0 0 0 74505 502 0 0 25 0 1 0 690209903 11743232 2193 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2867 2193 1111 63 0 2804 0
vsize: 11468
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 193236 0 0 0 75499 508 0 0 25 0 1 0 690209903 12996608 2374 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2374 1111 63 0 3110 0
vsize: 12692
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 195967 0 0 0 76492 515 0 0 25 0 1 0 690209903 13004800 2412 4294967295 134512640 134714508 3221221792 3221218284 1075084404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2412 1111 63 0 3112 0
vsize: 12700
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 197950 0 0 0 77488 520 0 0 25 0 1 0 690209903 12578816 2345 4294967295 134512640 134714508 3221221792 3221217920 1074882604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3071 2345 1111 63 0 3008 0
vsize: 12284
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 200078 0 0 0 78482 526 0 0 25 0 1 0 690209903 12013568 2259 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2933 2259 1111 63 0 2870 0
vsize: 11732
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 201960 0 0 0 79477 531 0 0 25 0 1 0 690209903 13402112 2338 4294967295 134512640 134714508 3221221792 3221218064 1074961382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3272 2338 1111 63 0 3209 0
vsize: 13088
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 204304 0 0 0 80471 537 0 0 25 0 1 0 690209903 13377536 2453 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3266 2453 1111 63 0 3203 0
vsize: 13064
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 206296 0 0 0 81467 541 0 0 25 0 1 0 690209903 13402112 2365 4294967295 134512640 134714508 3221221792 3221219152 1076066986 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3272 2365 1111 63 0 3209 0
vsize: 13088
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 208193 0 0 0 82462 546 0 0 25 0 1 0 690209903 13701120 2442 4294967295 134512640 134714508 3221221792 3221217660 1074787594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2442 1111 63 0 3282 0
vsize: 13380
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 210027 0 0 0 83457 551 0 0 25 0 1 0 690209903 13492224 2502 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3294 2502 1111 63 0 3231 0
vsize: 13176
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 211498 0 0 0 84453 555 0 0 25 0 1 0 690209903 13492224 2367 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3294 2367 1111 63 0 3231 0
vsize: 13176
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 213176 0 0 0 85449 560 0 0 25 0 1 0 690209903 13492224 2372 4294967295 134512640 134714508 3221221792 3221218912 1074835529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3294 2372 1111 63 0 3231 0
vsize: 13176
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 214835 0 0 0 86444 565 0 0 25 0 1 0 690209903 12238848 2314 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2988 2314 1111 63 0 2925 0
vsize: 11952
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 216305 0 0 0 87440 569 0 0 25 0 1 0 690209903 12238848 2314 4294967295 134512640 134714508 3221221792 3221220072 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2988 2314 1111 63 0 2925 0
vsize: 11952
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 218479 0 0 0 88435 574 0 0 25 0 1 0 690209903 13492224 2378 4294967295 134512640 134714508 3221221792 3221218624 1075115375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3294 2378 1111 63 0 3231 0
vsize: 13176
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 220289 0 0 0 89430 579 0 0 25 0 1 0 690209903 13074432 2399 4294967295 134512640 134714508 3221221792 3221217760 1075965240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3192 2399 1111 63 0 3129 0
vsize: 12768
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 222291 0 0 0 90425 585 0 0 25 0 1 0 690209903 13647872 2373 4294967295 134512640 134714508 3221221792 3221217740 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3332 2373 1111 63 0 3269 0
vsize: 13328
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 224062 0 0 0 91421 589 0 0 25 0 1 0 690209903 13627392 2410 4294967295 134512640 134714508 3221221792 3221217820 1074788098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3327 2410 1111 63 0 3264 0
vsize: 13308
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 225934 0 0 0 92416 594 0 0 25 0 1 0 690209903 13242368 2421 4294967295 134512640 134714508 3221221792 3221218032 1075115765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3233 2421 1111 63 0 3170 0
vsize: 12932
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 227621 0 0 0 93411 599 0 0 25 0 1 0 690209903 13660160 2392 4294967295 134512640 134714508 3221221792 3221218060 1075115504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3335 2392 1111 63 0 3272 0
vsize: 13340
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 229705 0 0 0 94407 604 0 0 25 0 1 0 690209903 13733888 2414 4294967295 134512640 134714508 3221221792 3221218320 1075120002 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2414 1111 63 0 3290 0
vsize: 13412
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 231505 0 0 0 95403 608 0 0 25 0 1 0 690209903 13656064 2377 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3334 2377 1111 63 0 3271 0
vsize: 13336
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 233633 0 0 0 96397 614 0 0 25 0 1 0 690209903 13291520 2449 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3245 2449 1111 63 0 3182 0
vsize: 12980
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 235216 0 0 0 97392 619 0 0 25 0 1 0 690209903 13266944 2473 4294967295 134512640 134714508 3221221792 3221217628 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3239 2473 1111 63 0 3176 0
vsize: 12956
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 236936 0 0 0 98387 624 0 0 25 0 1 0 690209903 13725696 2417 4294967295 134512640 134714508 3221221792 3221218020 1075115090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3351 2417 1111 63 0 3288 0
vsize: 13404
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 239238 0 0 0 99382 629 0 0 25 0 1 0 690209903 13307904 2435 4294967295 134512640 134714508 3221221792 3221217728 1075965250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3249 2435 1111 63 0 3186 0
vsize: 12996
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 241567 0 0 0 100377 635 0 0 25 0 1 0 690209903 13303808 2459 4294967295 134512640 134714508 3221221792 3221218912 1074834321 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3248 2459 1111 63 0 3185 0
vsize: 12992
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 243807 0 0 0 101373 639 0 0 25 0 1 0 690209903 12238848 2314 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2988 2314 1111 63 0 2925 0
vsize: 11952
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 245423 0 0 0 102369 643 0 0 25 0 1 0 690209903 13631488 2380 4294967295 134512640 134714508 3221221792 3221217740 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3328 2380 1111 63 0 3265 0
vsize: 13312
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 247168 0 0 0 103365 647 0 0 25 0 1 0 690209903 14016512 2476 4294967295 134512640 134714508 3221221792 3221218696 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3422 2476 1111 63 0 3359 0
vsize: 13688
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 249332 0 0 0 104360 653 0 0 25 0 1 0 690209903 12288000 2326 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2326 1111 63 0 2937 0
vsize: 12000
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 251568 0 0 0 105353 659 0 0 25 0 1 0 690209903 13746176 2423 4294967295 134512640 134714508 3221221792 3221217660 1074787744 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3356 2423 1111 63 0 3293 0
vsize: 13424
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 253953 0 0 0 106347 665 0 0 25 0 1 0 690209903 12783616 2415 4294967295 134512640 134714508 3221221792 3221218984 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3223 2415 1111 63 0 3160 0
vsize: 12484
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 255904 0 0 0 107343 669 0 0 25 0 1 0 690209903 13819904 2460 4294967295 134512640 134714508 3221221792 3221217952 1074794472 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2460 1111 63 0 3311 0
vsize: 13496
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 258257 0 0 0 108337 675 0 0 25 0 1 0 690209903 13991936 2441 4294967295 134512640 134714508 3221221792 3221217864 1074950192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2441 1111 63 0 3353 0
vsize: 13664
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 260162 0 0 0 109333 680 0 0 25 0 1 0 690209903 13402112 2481 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3272 2481 1111 63 0 3209 0
vsize: 13088
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 262066 0 0 0 110327 686 0 0 25 0 1 0 690209903 13934592 2493 4294967295 134512640 134714508 3221221792 3221218064 1074961149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2493 1111 63 0 3339 0
vsize: 13608
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 264514 0 0 0 111320 693 0 0 25 0 1 0 690209903 12419072 2358 4294967295 134512640 134714508 3221221792 3221219944 1074205872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2358 1111 63 0 2969 0
vsize: 12128
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 266918 0 0 0 112315 698 0 0 25 0 1 0 690209903 12492800 2376 4294967295 134512640 134714508 3221221792 3221220088 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3050 2376 1111 63 0 2987 0
vsize: 12200
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 269421 0 0 0 113309 704 0 0 25 0 1 0 690209903 13877248 2581 4294967295 134512640 134714508 3221221792 3221217836 1074873379 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3388 2581 1111 63 0 3325 0
vsize: 13552
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 271317 0 0 0 114304 709 0 0 25 0 1 0 690209903 14286848 2558 4294967295 134512640 134714508 3221221792 3221217876 1075964441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2558 1111 63 0 3425 0
vsize: 13952
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 273450 0 0 0 115299 714 0 0 25 0 1 0 690209903 13590528 2565 4294967295 134512640 134714508 3221221792 3221218076 1076111491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3318 2565 1111 63 0 3255 0
vsize: 13272
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 275889 0 0 0 116294 720 0 0 25 0 1 0 690209903 13795328 2551 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2551 1111 63 0 3305 0
vsize: 13472
[startup+1177.47 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 13159
Raw data (stat): 13159 (bsolo_lpr) R 13158 7876 7672 0 -1 0 275889 0 0 0 116294 720 0 0 25 0 1 0 690209903 13795328 2551 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2551 1111 63 0 3305 0
vsize: 0

Child status: 0
Real time (s): 1177.47
CPU time (s): 1177.59
CPU user time (s): 1170.33
CPU system time (s): 7.2569
CPU usage (%): 100.01
Max. virtual memory (Kb): 13952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####