PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
MD5SUM	6a0000bd3257094a387dbf208b4df8cf
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.073987
Number of variables	2400
Total number of constraints	140
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	40
Trace number 23202

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 09:43:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=109 boxname=wulflinc31 idbench=13 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6a0000bd3257094a387dbf208b4df8cf  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_40_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_40_pb.cnf.cr.opb
IDLAUNCH: 109
/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:        931576 kB
Buffers:         35972 kB
Cached:          45240 kB
SwapCached:        864 kB
Active:          70296 kB
Inactive:        13296 kB
HighTotal:      131008 kB
HighFree:        84700 kB
LowTotal:       903652 kB
LowFree:        846876 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              76 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13892 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 10:02:35 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 109 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2400 variables and 140 constraints.
c After prepocess the problem consists of 2400 variables and 140 constraints.
c preprocess terminated 0.886 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.92 2/54 10305
Raw data (stat): 10305 (runsolver) R 10304 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 630484285 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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): 0.93 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1486 0 0 0 989 7 0 0 25 0 1 0 630484285 9297920 1407 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2270 1407 1111 63 0 2207 0
vsize: 9080
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1603 0 0 0 1986 9 0 0 25 0 1 0 630484285 9703424 1524 4294967295 134512640 134714508 3221221776 3221220432 134536591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2369 1524 1111 63 0 2306 0
vsize: 9476
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1690 0 0 0 2984 12 0 0 25 0 1 0 630484285 10088448 1611 4294967295 134512640 134714508 3221221776 3221220408 134696311 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2463 1611 1111 63 0 2400 0
vsize: 9852
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1822 0 0 0 3982 14 0 0 25 0 1 0 630484285 10620928 1743 4294967295 134512640 134714508 3221221776 3221220440 134613401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2593 1743 1111 63 0 2530 0
vsize: 10372
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1885 0 0 0 4981 16 0 0 25 0 1 0 630484285 10878976 1806 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2656 1806 1111 63 0 2593 0
vsize: 10624
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1904 0 0 0 5979 17 0 0 25 0 1 0 630484285 11005952 1825 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2687 1825 1111 63 0 2624 0
vsize: 10748
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1916 0 0 0 6977 19 0 0 25 0 1 0 630484285 11005952 1837 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2687 1837 1111 63 0 2624 0
vsize: 10748
[startup+80.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1937 0 0 0 7975 21 0 0 25 0 1 0 630484285 11137024 1858 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2719 1858 1111 63 0 2656 0
vsize: 10876
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1954 0 0 0 8973 24 0 0 25 0 1 0 630484285 11137024 1875 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2719 1875 1111 63 0 2656 0
vsize: 10876
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 1983 0 0 0 9971 26 0 0 25 0 1 0 630484285 11268096 1904 4294967295 134512640 134714508 3221221776 3221220448 134594364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2751 1904 1111 63 0 2688 0
vsize: 11004
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2061 0 0 0 10969 29 0 0 25 0 1 0 630484285 11538432 1982 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2817 1982 1111 63 0 2754 0
vsize: 11268
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2149 0 0 0 11967 31 0 0 25 0 1 0 630484285 11943936 2070 4294967295 134512640 134714508 3221221776 3221220532 134652846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2916 2070 1111 63 0 2853 0
vsize: 11664
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2217 0 0 0 12964 33 0 0 25 0 1 0 630484285 12214272 2138 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2982 2138 1111 63 0 2919 0
vsize: 11928
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2241 0 0 0 13962 35 0 0 25 0 1 0 630484285 12349440 2162 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3015 2162 1111 63 0 2952 0
vsize: 12060
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2249 0 0 0 14961 37 0 0 25 0 1 0 630484285 12349440 2170 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3015 2170 1111 63 0 2952 0
vsize: 12060
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2261 0 0 0 15959 39 0 0 25 0 1 0 630484285 12476416 2182 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3046 2182 1111 63 0 2983 0
vsize: 12184
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2290 0 0 0 16958 40 0 0 25 0 1 0 630484285 12476416 2211 4294967295 134512640 134714508 3221221776 3221220480 134528487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3046 2211 1111 63 0 2983 0
vsize: 12184
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2303 0 0 0 17957 41 0 0 25 0 1 0 630484285 12611584 2224 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3079 2224 1111 63 0 3016 0
vsize: 12316
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2347 0 0 0 18956 43 0 0 25 0 1 0 630484285 12746752 2268 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 2268 1111 63 0 3049 0
vsize: 12448
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2393 0 0 0 19955 44 0 0 25 0 1 0 630484285 13017088 2314 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3178 2314 1111 63 0 3115 0
vsize: 12712
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2425 0 0 0 20953 46 0 0 25 0 1 0 630484285 13152256 2346 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3211 2346 1111 63 0 3148 0
vsize: 12844
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2425 0 0 0 21951 48 0 0 25 0 1 0 630484285 13152256 2346 4294967295 134512640 134714508 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3211 2346 1111 63 0 3148 0
vsize: 12844
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2472 0 0 0 22951 49 0 0 25 0 1 0 630484285 13287424 2393 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3244 2393 1111 63 0 3181 0
vsize: 12976
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2527 0 0 0 23950 50 0 0 25 0 1 0 630484285 13549568 2448 4294967295 134512640 134714508 3221221776 3221220464 134528605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2448 1111 63 0 3245 0
vsize: 13232
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2555 0 0 0 24948 52 0 0 25 0 1 0 630484285 13684736 2476 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2476 1111 63 0 3278 0
vsize: 13364
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2576 0 0 0 25946 54 0 0 25 0 1 0 630484285 13684736 2497 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2497 1111 63 0 3278 0
vsize: 13364
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2591 0 0 0 26945 55 0 0 25 0 1 0 630484285 13819904 2512 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2512 1111 63 0 3311 0
vsize: 13496
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2609 0 0 0 27943 57 0 0 25 0 1 0 630484285 13819904 2530 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2530 1111 63 0 3311 0
vsize: 13496
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2612 0 0 0 28942 59 0 0 25 0 1 0 630484285 13819904 2533 4294967295 134512640 134714508 3221221776 3221220524 134672949 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2533 1111 63 0 3311 0
vsize: 13496
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2629 0 0 0 29940 60 0 0 25 0 1 0 630484285 13955072 2550 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2550 1111 63 0 3344 0
vsize: 13628
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2706 0 0 0 30937 63 0 0 25 0 1 0 630484285 14225408 2627 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3473 2627 1111 63 0 3410 0
vsize: 13892
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2739 0 0 0 31936 64 0 0 25 0 1 0 630484285 14360576 2660 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3506 2660 1111 63 0 3443 0
vsize: 14024
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2752 0 0 0 32935 66 0 0 25 0 1 0 630484285 14487552 2673 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2673 1111 63 0 3474 0
vsize: 14148
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2767 0 0 0 33934 67 0 0 25 0 1 0 630484285 14487552 2688 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2688 1111 63 0 3474 0
vsize: 14148
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2769 0 0 0 34933 68 0 0 25 0 1 0 630484285 14487552 2690 4294967295 134512640 134714508 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2690 1111 63 0 3474 0
vsize: 14148
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2787 0 0 0 35932 70 0 0 25 0 1 0 630484285 14622720 2708 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2807 0 0 0 36930 72 0 0 25 0 1 0 630484285 14622720 2728 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2728 1111 63 0 3507 0
vsize: 14280
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2817 0 0 0 37929 73 0 0 25 0 1 0 630484285 14757888 2738 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2738 1111 63 0 3540 0
vsize: 14412
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2825 0 0 0 38927 75 0 0 25 0 1 0 630484285 14757888 2746 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2746 1111 63 0 3540 0
vsize: 14412
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2869 0 0 0 39926 76 0 0 25 0 1 0 630484285 14872576 2790 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3631 2790 1111 63 0 3568 0
vsize: 14524
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2900 0 0 0 40924 78 0 0 25 0 1 0 630484285 15007744 2821 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3664 2821 1111 63 0 3601 0
vsize: 14656
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2947 0 0 0 41922 80 0 0 25 0 1 0 630484285 15278080 2868 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2868 1111 63 0 3667 0
vsize: 14920
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2971 0 0 0 42921 82 0 0 25 0 1 0 630484285 15278080 2892 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2892 1111 63 0 3667 0
vsize: 14920
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 2991 0 0 0 43919 84 0 0 25 0 1 0 630484285 15409152 2912 4294967295 134512640 134714508 3221221776 3221220384 1077377147 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3762 2912 1111 63 0 3699 0
vsize: 15048
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3038 0 0 0 44917 86 0 0 25 0 1 0 630484285 15544320 2959 4294967295 134512640 134714508 3221221776 3221220480 134528732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2959 1111 63 0 3732 0
vsize: 15180
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3058 0 0 0 45917 87 0 0 25 0 1 0 630484285 15679488 2979 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3828 2979 1111 63 0 3765 0
vsize: 15312
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3060 0 0 0 46916 88 0 0 25 0 1 0 630484285 15679488 2981 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3828 2981 1111 63 0 3765 0
vsize: 15312
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3062 0 0 0 47914 89 0 0 25 0 1 0 630484285 15679488 2983 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3828 2983 1111 63 0 3765 0
vsize: 15312
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3068 0 0 0 48913 91 0 0 25 0 1 0 630484285 15679488 2989 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3828 2989 1111 63 0 3765 0
vsize: 15312
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3070 0 0 0 49911 93 0 0 25 0 1 0 630484285 15679488 2991 4294967295 134512640 134714508 3221221776 3221220528 134591920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3828 2991 1111 63 0 3765 0
vsize: 15312
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3090 0 0 0 50910 94 0 0 25 0 1 0 630484285 15814656 3011 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 3011 1111 63 0 3798 0
vsize: 15444
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3096 0 0 0 51908 96 0 0 25 0 1 0 630484285 15814656 3017 4294967295 134512640 134714508 3221221776 3221220416 134536655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 3017 1111 63 0 3798 0
vsize: 15444
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3119 0 0 0 52907 98 0 0 25 0 1 0 630484285 15949824 3040 4294967295 134512640 134714508 3221221776 3221220172 1077379810 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3040 1111 63 0 3831 0
vsize: 15576
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3139 0 0 0 53905 100 0 0 25 0 1 0 630484285 16084992 3060 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3060 1111 63 0 3864 0
vsize: 15708
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3151 0 0 0 54904 101 0 0 25 0 1 0 630484285 16084992 3072 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3072 1111 63 0 3864 0
vsize: 15708
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3212 0 0 0 55903 102 0 0 25 0 1 0 630484285 16355328 3133 4294967295 134512640 134714508 3221221776 3221220352 134542753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3993 3133 1111 63 0 3930 0
vsize: 15972
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3259 0 0 0 56901 104 0 0 25 0 1 0 630484285 16490496 3180 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4026 3180 1111 63 0 3963 0
vsize: 16104
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3277 0 0 0 57900 105 0 0 25 0 1 0 630484285 16625664 3198 4294967295 134512640 134714508 3221221776 3221220404 134696230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3198 1111 63 0 3996 0
vsize: 16236
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3281 0 0 0 58899 107 0 0 25 0 1 0 630484285 16625664 3202 4294967295 134512640 134714508 3221221776 3221220336 134696546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3202 1111 63 0 3996 0
vsize: 16236
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3298 0 0 0 59898 108 0 0 25 0 1 0 630484285 16625664 3219 4294967295 134512640 134714508 3221221776 3221220332 134535606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3219 1111 63 0 3996 0
vsize: 16236
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3317 0 0 0 60896 110 0 0 25 0 1 0 630484285 16760832 3238 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4092 3238 1111 63 0 4029 0
vsize: 16368
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3326 0 0 0 61894 112 0 0 25 0 1 0 630484285 16760832 3247 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4092 3247 1111 63 0 4029 0
vsize: 16368
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3345 0 0 0 62893 113 0 0 25 0 1 0 630484285 16896000 3266 4294967295 134512640 134714508 3221221776 3221220600 134590243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4125 3266 1111 63 0 4062 0
vsize: 16500
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3363 0 0 0 63891 115 0 0 25 0 1 0 630484285 16896000 3284 4294967295 134512640 134714508 3221221776 3221220480 134524477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4125 3284 1111 63 0 4062 0
vsize: 16500
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3402 0 0 0 64890 117 0 0 25 0 1 0 630484285 17162240 3323 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4190 3323 1111 63 0 4127 0
vsize: 16760
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3419 0 0 0 65889 118 0 0 25 0 1 0 630484285 17162240 3340 4294967295 134512640 134714508 3221221776 3221220508 134558784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4190 3340 1111 63 0 4127 0
vsize: 16760
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3438 0 0 0 66888 119 0 0 25 0 1 0 630484285 17297408 3359 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3359 1111 63 0 4160 0
vsize: 16892
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3438 0 0 0 67887 121 0 0 25 0 1 0 630484285 17297408 3359 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3359 1111 63 0 4160 0
vsize: 16892
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3451 0 0 0 68885 122 0 0 25 0 1 0 630484285 17297408 3372 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3372 1111 63 0 4160 0
vsize: 16892
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3451 0 0 0 69885 122 0 0 25 0 1 0 630484285 17297408 3372 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3372 1111 63 0 4160 0
vsize: 16892
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3451 0 0 0 70884 124 0 0 25 0 1 0 630484285 17297408 3372 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3372 1111 63 0 4160 0
vsize: 16892
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3453 0 0 0 71883 125 0 0 25 0 1 0 630484285 17297408 3374 4294967295 134512640 134714508 3221221776 3221220504 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3374 1111 63 0 4160 0
vsize: 16892
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3464 0 0 0 72882 126 0 0 25 0 1 0 630484285 17297408 3385 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3385 1111 63 0 4160 0
vsize: 16892
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3532 0 0 0 73881 128 0 0 25 0 1 0 630484285 17563648 3453 4294967295 134512640 134714508 3221221776 3221220544 134592134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4321 3454 1111 63 0 4258 0
vsize: 17152
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3560 0 0 0 74880 129 0 0 25 0 1 0 630484285 17694720 3481 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4320 3481 1111 63 0 4257 0
vsize: 17280
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3566 0 0 0 75879 130 0 0 25 0 1 0 630484285 17829888 3487 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4353 3487 1111 63 0 4290 0
vsize: 17412
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3569 0 0 0 76878 131 0 0 25 0 1 0 630484285 17829888 3490 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4353 3490 1111 63 0 4290 0
vsize: 17412
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3570 0 0 0 77877 132 0 0 25 0 1 0 630484285 17829888 3491 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4353 3491 1111 63 0 4290 0
vsize: 17412
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3576 0 0 0 78876 133 0 0 25 0 1 0 630484285 17829888 3497 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4353 3497 1111 63 0 4290 0
vsize: 17412
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3589 0 0 0 79875 134 0 0 25 0 1 0 630484285 17829888 3510 4294967295 134512640 134714508 3221221776 3221220544 134592098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4353 3510 1111 63 0 4290 0
vsize: 17412
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3613 0 0 0 80874 136 0 0 25 0 1 0 630484285 17960960 3534 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4385 3534 1111 63 0 4322 0
vsize: 17540
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3648 0 0 0 81872 138 0 0 25 0 1 0 630484285 18096128 3569 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4418 3569 1111 63 0 4355 0
vsize: 17672
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3655 0 0 0 82871 139 0 0 25 0 1 0 630484285 18096128 3576 4294967295 134512640 134714508 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4418 3576 1111 63 0 4355 0
vsize: 17672
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3669 0 0 0 83869 141 0 0 25 0 1 0 630484285 18219008 3590 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4448 3590 1111 63 0 4385 0
vsize: 17792
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3712 0 0 0 84868 143 0 0 25 0 1 0 630484285 18354176 3633 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4481 3633 1111 63 0 4418 0
vsize: 17924
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3775 0 0 0 85866 144 0 0 25 0 1 0 630484285 18624512 3696 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4547 3696 1111 63 0 4484 0
vsize: 18188
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3803 0 0 0 86864 147 0 0 25 0 1 0 630484285 18759680 3724 4294967295 134512640 134714508 3221221776 3221220420 134524197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4580 3724 1111 63 0 4517 0
vsize: 18320
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3837 0 0 0 87862 149 0 0 25 0 1 0 630484285 18894848 3758 4294967295 134512640 134714508 3221221776 3221220568 134531231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4613 3758 1111 63 0 4550 0
vsize: 18452
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3849 0 0 0 88861 150 0 0 25 0 1 0 630484285 18894848 3770 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4613 3770 1111 63 0 4550 0
vsize: 18452
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3860 0 0 0 89860 152 0 0 25 0 1 0 630484285 19017728 3781 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4643 3781 1111 63 0 4580 0
vsize: 18572
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3874 0 0 0 90857 154 0 0 25 0 1 0 630484285 19017728 3795 4294967295 134512640 134714508 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4643 3795 1111 63 0 4580 0
vsize: 18572
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3930 0 0 0 91855 157 0 0 25 0 1 0 630484285 19283968 3851 4294967295 134512640 134714508 3221221776 3221220464 134534092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4708 3851 1111 63 0 4645 0
vsize: 18832
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 3963 0 0 0 92854 158 0 0 25 0 1 0 630484285 19419136 3884 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4741 3884 1111 63 0 4678 0
vsize: 18964
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4001 0 0 0 93852 160 0 0 25 0 1 0 630484285 19529728 3922 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4768 3922 1111 63 0 4705 0
vsize: 19072
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4080 0 0 0 94851 162 0 0 25 0 1 0 630484285 19927040 4001 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4865 4001 1111 63 0 4802 0
vsize: 19460
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4109 0 0 0 95849 164 0 0 25 0 1 0 630484285 19927040 4030 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4865 4030 1111 63 0 4802 0
vsize: 19460
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4115 0 0 0 96848 165 0 0 25 0 1 0 630484285 20062208 4036 4294967295 134512640 134714508 3221221776 3221220336 134549725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4898 4036 1111 63 0 4835 0
vsize: 19592
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4127 0 0 0 97846 167 0 0 25 0 1 0 630484285 20062208 4048 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4898 4048 1111 63 0 4835 0
vsize: 19592
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4145 0 0 0 98845 168 0 0 25 0 1 0 630484285 20197376 4066 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4931 4066 1111 63 0 4868 0
vsize: 19724
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4152 0 0 0 99844 169 0 0 25 0 1 0 630484285 20197376 4073 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4931 4073 1111 63 0 4868 0
vsize: 19724
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4168 0 0 0 100843 171 0 0 25 0 1 0 630484285 20197376 4089 4294967295 134512640 134714508 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4931 4089 1111 63 0 4868 0
vsize: 19724
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10305
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4173 0 0 0 101842 172 0 0 25 0 1 0 630484285 20197376 4094 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4931 4094 1111 63 0 4868 0
vsize: 19724
[startup+1030.03 s]
Raw data (loadavg): 1.07 0.99 0.93 3/58 10350
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4185 0 0 0 102840 174 0 0 25 0 1 0 630484285 20328448 4106 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4106 1111 63 0 4900 0
vsize: 19852
[startup+1040.03 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 10358
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4185 0 0 0 103839 175 0 0 25 0 1 0 630484285 20328448 4106 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4106 1111 63 0 4900 0
vsize: 19852
[startup+1050.03 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 10358
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4185 0 0 0 104837 176 0 0 25 0 1 0 630484285 20328448 4106 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4106 1111 63 0 4900 0
vsize: 19852
[startup+1060.03 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 10358
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4185 0 0 0 105837 177 0 0 25 0 1 0 630484285 20328448 4106 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4106 1111 63 0 4900 0
vsize: 19852
[startup+1070.03 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 10358
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4188 0 0 0 106835 179 0 0 25 0 1 0 630484285 20328448 4109 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4109 1111 63 0 4900 0
vsize: 19852
[startup+1080.03 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 10358
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4201 0 0 0 107834 180 0 0 25 0 1 0 630484285 20328448 4122 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4122 1111 63 0 4900 0
vsize: 19852
[startup+1090.03 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 10358
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4221 0 0 0 108833 182 0 0 25 0 1 0 630484285 20459520 4142 4294967295 134512640 134714508 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4995 4142 1111 63 0 4932 0
vsize: 19980
[startup+1100.04 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 10360
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4221 0 0 0 109832 183 0 0 25 0 1 0 630484285 20459520 4142 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4995 4142 1111 63 0 4932 0
vsize: 19980
[startup+1110.04 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 10360
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4223 0 0 0 110832 184 0 0 25 0 1 0 630484285 20459520 4144 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4995 4144 1111 63 0 4932 0
vsize: 19980
[startup+1120.04 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 10360
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4223 0 0 0 111830 185 0 0 25 0 1 0 630484285 20459520 4144 4294967295 134512640 134714508 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4995 4144 1111 63 0 4932 0
vsize: 19980
[startup+1130.04 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 10360
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4224 0 0 0 112829 186 0 0 25 0 1 0 630484285 20459520 4145 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4995 4145 1111 63 0 4932 0
vsize: 19980
[startup+1140.04 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 10360
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4233 0 0 0 113828 188 0 0 25 0 1 0 630484285 20459520 4154 4294967295 134512640 134714508 3221221776 3221220368 134696002 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4995 4154 1111 63 0 4932 0
vsize: 19980
[startup+1150.04 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 10360
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4240 0 0 0 114827 189 0 0 25 0 1 0 630484285 20594688 4161 4294967295 134512640 134714508 3221221776 3221220248 1077378649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5028 4161 1111 63 0 4965 0
vsize: 20112
[startup+1160.04 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 10360
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4247 0 0 0 115826 190 0 0 25 0 1 0 630484285 20594688 4168 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5028 4168 1111 63 0 4965 0
vsize: 20112
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 10360
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4260 0 0 0 116825 192 0 0 25 0 1 0 630484285 20594688 4181 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5028 4181 1111 63 0 4965 0
vsize: 20112
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 10360
Raw data (stat): 10305 (bsolo_lpr) R 10304 7876 7672 0 -1 0 4260 0 0 0 116825 192 0 0 25 0 1 0 630484285 20594688 4181 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5028 4181 1111 63 0 4965 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.1
CPU system time (s): 1.93271
CPU usage (%): 100.011
Max. virtual memory (Kb): 20112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####