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-chnl35_36_pb.cnf.cr.opb
MD5SUM	c779424bd1795a1e1adf6f4e7f38e307
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	37
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.075987
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	72
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	36
Trace number 23207

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 11:03:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=118 boxname=wulflinc31 idbench=14 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c779424bd1795a1e1adf6f4e7f38e307  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_36_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_36_pb.cnf.cr.opb
IDLAUNCH: 118
/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:        931420 kB
Buffers:         36060 kB
Cached:          45356 kB
SwapCached:        864 kB
Active:          70384 kB
Inactive:        13408 kB
HighTotal:      131008 kB
HighFree:        84672 kB
LowTotal:       903652 kB
LowFree:        846748 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              80 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13960 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 11:22:43 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 118 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 2520 variables and 142 constraints.
c After prepocess the problem consists of 2520 variables and 142 constraints.
c preprocess terminated 0.88 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.86 0.97 0.92 2/54 10891
Raw data (stat): 10891 (runsolver) R 10890 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 630965150 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 1442 0 0 0 987 8 0 0 25 0 1 0 630965150 9064448 1363 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2213 1363 1111 63 0 2150 0
vsize: 8852
[startup+20.0001 s]
Raw data (loadavg): 0.90 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 1582 0 0 0 1984 10 0 0 25 0 1 0 630965150 9596928 1503 4294967295 134512640 134714508 3221221776 3221220532 134652871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2343 1503 1111 63 0 2280 0
vsize: 9372
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 1648 0 0 0 2983 12 0 0 25 0 1 0 630965150 9846784 1569 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2404 1569 1111 63 0 2341 0
vsize: 9616
[startup+40.001 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 1723 0 0 0 3980 15 0 0 25 0 1 0 630965150 10252288 1644 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2503 1644 1111 63 0 2440 0
vsize: 10012
[startup+50.0019 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 1879 0 0 0 4978 18 0 0 25 0 1 0 630965150 10792960 1800 4294967295 134512640 134714508 3221221776 3221220416 134696094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1800 1111 63 0 2572 0
vsize: 10540
[startup+60.0021 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2070 0 0 0 5975 20 0 0 25 0 1 0 630965150 11603968 1991 4294967295 134512640 134714508 3221221776 3221220408 134696347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2833 1991 1111 63 0 2770 0
vsize: 11332
[startup+70.0018 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2139 0 0 0 6973 22 0 0 25 0 1 0 630965150 11874304 2060 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2060 1111 63 0 2836 0
vsize: 11596
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2177 0 0 0 7972 24 0 0 25 0 1 0 630965150 12091392 2098 4294967295 134512640 134714508 3221221776 3221220316 134539273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2098 1111 63 0 2889 0
vsize: 11808
[startup+90.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2211 0 0 0 8971 25 0 0 25 0 1 0 630965150 12226560 2132 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2985 2132 1111 63 0 2922 0
vsize: 11940
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2323 0 0 0 9969 27 0 0 25 0 1 0 630965150 12632064 2244 4294967295 134512640 134714508 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3084 2244 1111 63 0 3021 0
vsize: 12336
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2422 0 0 0 10969 28 0 0 25 0 1 0 630965150 13037568 2343 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3183 2343 1111 63 0 3120 0
vsize: 12732
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2523 0 0 0 11967 30 0 0 25 0 1 0 630965150 13438976 2444 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3281 2444 1111 63 0 3218 0
vsize: 13124
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2605 0 0 0 12965 32 0 0 25 0 1 0 630965150 13844480 2526 4294967295 134512640 134714508 3221221776 3221220532 134592367 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3380 2526 1111 63 0 3317 0
vsize: 13520
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2624 0 0 0 13964 33 0 0 25 0 1 0 630965150 13844480 2545 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3380 2545 1111 63 0 3317 0
vsize: 13520
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2646 0 0 0 14963 34 0 0 25 0 1 0 630965150 13979648 2567 4294967295 134512640 134714508 3221221776 3221220428 134536845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3413 2567 1111 63 0 3350 0
vsize: 13652
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2738 0 0 0 15962 36 0 0 25 0 1 0 630965150 14376960 2659 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3510 2659 1111 63 0 3447 0
vsize: 14040
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2812 0 0 0 16960 38 0 0 25 0 1 0 630965150 14647296 2733 4294967295 134512640 134714508 3221221776 3221220416 134696388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2733 1111 63 0 3513 0
vsize: 14304
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10891
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2899 0 0 0 17958 40 0 0 25 0 1 0 630965150 15044608 2820 4294967295 134512640 134714508 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2820 1111 63 0 3610 0
vsize: 14692
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 2947 0 0 0 18956 42 0 0 25 0 1 0 630965150 15179776 2868 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3706 2868 1111 63 0 3643 0
vsize: 14824
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3022 0 0 0 19954 44 0 0 25 0 1 0 630965150 15585280 2943 4294967295 134512640 134714508 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3805 2943 1111 63 0 3742 0
vsize: 15220
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3057 0 0 0 20953 46 0 0 25 0 1 0 630965150 15720448 2978 4294967295 134512640 134714508 3221221776 3221220172 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3838 2978 1111 63 0 3775 0
vsize: 15352
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3074 0 0 0 21952 47 0 0 25 0 1 0 630965150 15720448 2995 4294967295 134512640 134714508 3221221776 3221220564 134586138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3838 2995 1111 63 0 3775 0
vsize: 15352
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3099 0 0 0 22950 48 0 0 25 0 1 0 630965150 15851520 3020 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3870 3020 1111 63 0 3807 0
vsize: 15480
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3111 0 0 0 23949 50 0 0 25 0 1 0 630965150 15851520 3032 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3870 3032 1111 63 0 3807 0
vsize: 15480
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3133 0 0 0 24948 51 0 0 25 0 1 0 630965150 15986688 3054 4294967295 134512640 134714508 3221221776 3221220452 134542856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3903 3054 1111 63 0 3840 0
vsize: 15612
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3152 0 0 0 25947 53 0 0 25 0 1 0 630965150 16121856 3073 4294967295 134512640 134714508 3221221776 3221220496 1076648059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3936 3073 1111 63 0 3873 0
vsize: 15744
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3184 0 0 0 26945 55 0 0 25 0 1 0 630965150 16257024 3105 4294967295 134512640 134714508 3221221776 3221219732 134697343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3969 3105 1111 63 0 3906 0
vsize: 15876
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3315 0 0 0 27944 56 0 0 25 0 1 0 630965150 16797696 3236 4294967295 134512640 134714508 3221221776 3221220592 134590021 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3236 1111 63 0 4038 0
vsize: 16404
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3340 0 0 0 28943 57 0 0 25 0 1 0 630965150 16797696 3261 4294967295 134512640 134714508 3221221776 3221220368 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3261 1111 63 0 4038 0
vsize: 16404
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3367 0 0 0 29941 59 0 0 25 0 1 0 630965150 16932864 3288 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4134 3288 1111 63 0 4071 0
vsize: 16536
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3381 0 0 0 30940 60 0 0 25 0 1 0 630965150 17068032 3302 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4167 3302 1111 63 0 4104 0
vsize: 16668
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3409 0 0 0 31940 61 0 0 25 0 1 0 630965150 17068032 3330 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4167 3330 1111 63 0 4104 0
vsize: 16668
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3436 0 0 0 32938 63 0 0 25 0 1 0 630965150 17203200 3357 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4200 3357 1111 63 0 4137 0
vsize: 16800
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3459 0 0 0 33937 63 0 0 25 0 1 0 630965150 17338368 3380 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4233 3380 1111 63 0 4170 0
vsize: 16932
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3488 0 0 0 34936 65 0 0 25 0 1 0 630965150 17473536 3409 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4266 3409 1111 63 0 4203 0
vsize: 17064
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3529 0 0 0 35935 67 0 0 25 0 1 0 630965150 17608704 3450 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4299 3450 1111 63 0 4236 0
vsize: 17196
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3539 0 0 0 36933 68 0 0 25 0 1 0 630965150 17608704 3460 4294967295 134512640 134714508 3221221776 3221220192 134697255 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4299 3460 1111 63 0 4236 0
vsize: 17196
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3608 0 0 0 37931 71 0 0 25 0 1 0 630965150 17879040 3529 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4365 3529 1111 63 0 4302 0
vsize: 17460
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3621 0 0 0 38929 72 0 0 25 0 1 0 630965150 18014208 3542 4294967295 134512640 134714508 3221221776 3221220416 134696077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3542 1111 63 0 4335 0
vsize: 17592
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3630 0 0 0 39928 74 0 0 25 0 1 0 630965150 18014208 3551 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3551 1111 63 0 4335 0
vsize: 17592
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3651 0 0 0 40926 76 0 0 25 0 1 0 630965150 18145280 3572 4294967295 134512640 134714508 3221221776 3221220400 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4430 3572 1111 63 0 4367 0
vsize: 17720
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3686 0 0 0 41926 77 0 0 25 0 1 0 630965150 18264064 3607 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4459 3607 1111 63 0 4396 0
vsize: 17836
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3710 0 0 0 42924 79 0 0 25 0 1 0 630965150 18386944 3631 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4489 3631 1111 63 0 4426 0
vsize: 17956
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3770 0 0 0 43922 80 0 0 25 0 1 0 630965150 18657280 3691 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4555 3691 1111 63 0 4492 0
vsize: 18220
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3834 0 0 0 44921 82 0 0 25 0 1 0 630965150 18923520 3755 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3755 1111 63 0 4557 0
vsize: 18480
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3857 0 0 0 45919 84 0 0 25 0 1 0 630965150 18923520 3778 4294967295 134512640 134714508 3221221776 3221220544 134592134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3778 1111 63 0 4557 0
vsize: 18480
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3857 0 0 0 46918 85 0 0 25 0 1 0 630965150 18923520 3778 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3778 1111 63 0 4557 0
vsize: 18480
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3901 0 0 0 47916 87 0 0 25 0 1 0 630965150 19185664 3822 4294967295 134512640 134714508 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4684 3822 1111 63 0 4621 0
vsize: 18736
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3925 0 0 0 48914 89 0 0 25 0 1 0 630965150 19185664 3846 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4684 3846 1111 63 0 4621 0
vsize: 18736
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 3943 0 0 0 49913 91 0 0 25 0 1 0 630965150 19320832 3864 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4717 3864 1111 63 0 4654 0
vsize: 18868
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4015 0 0 0 50912 93 0 0 25 0 1 0 630965150 19582976 3936 4294967295 134512640 134714508 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4781 3936 1111 63 0 4718 0
vsize: 19124
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4093 0 0 0 51910 94 0 0 25 0 1 0 630965150 19988480 4014 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4880 4014 1111 63 0 4817 0
vsize: 19520
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4143 0 0 0 52908 96 0 0 25 0 1 0 630965150 20123648 4064 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4064 1111 63 0 4850 0
vsize: 19652
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4167 0 0 0 53907 98 0 0 25 0 1 0 630965150 20258816 4088 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4088 1111 63 0 4883 0
vsize: 19784
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4186 0 0 0 54905 100 0 0 25 0 1 0 630965150 20258816 4107 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4107 1111 63 0 4883 0
vsize: 19784
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4209 0 0 0 55904 101 0 0 25 0 1 0 630965150 20393984 4130 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4979 4130 1111 63 0 4916 0
vsize: 19916
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4241 0 0 0 56903 103 0 0 25 0 1 0 630965150 20516864 4162 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5009 4162 1111 63 0 4946 0
vsize: 20036
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4302 0 0 0 57901 104 0 0 25 0 1 0 630965150 20787200 4223 4294967295 134512640 134714508 3221221776 3221220316 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4223 1111 63 0 5012 0
vsize: 20300
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4338 0 0 0 58900 105 0 0 25 0 1 0 630965150 20910080 4259 4294967295 134512640 134714508 3221221776 3221220560 134529266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4259 1111 63 0 5042 0
vsize: 20420
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4346 0 0 0 59899 107 0 0 25 0 1 0 630965150 20910080 4267 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4267 1111 63 0 5042 0
vsize: 20420
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4383 0 0 0 60897 109 0 0 25 0 1 0 630965150 21143552 4304 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5162 4304 1111 63 0 5099 0
vsize: 20648
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4429 0 0 0 61896 110 0 0 25 0 1 0 630965150 21278720 4350 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5195 4350 1111 63 0 5132 0
vsize: 20780
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4461 0 0 0 62894 112 0 0 25 0 1 0 630965150 21409792 4382 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5227 4382 1111 63 0 5164 0
vsize: 20908
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4484 0 0 0 63893 114 0 0 25 0 1 0 630965150 21524480 4405 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5255 4405 1111 63 0 5192 0
vsize: 21020
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4503 0 0 0 64892 115 0 0 25 0 1 0 630965150 21659648 4424 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4424 1111 63 0 5225 0
vsize: 21152
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4522 0 0 0 65891 116 0 0 25 0 1 0 630965150 21659648 4443 4294967295 134512640 134714508 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4443 1111 63 0 5225 0
vsize: 21152
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4560 0 0 0 66889 118 0 0 25 0 1 0 630965150 21790720 4481 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5320 4481 1111 63 0 5257 0
vsize: 21280
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4583 0 0 0 67888 119 0 0 25 0 1 0 630965150 21925888 4504 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5353 4504 1111 63 0 5290 0
vsize: 21412
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4603 0 0 0 68888 120 0 0 25 0 1 0 630965150 22061056 4524 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5386 4524 1111 63 0 5323 0
vsize: 21544
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4631 0 0 0 69887 121 0 0 25 0 1 0 630965150 22196224 4552 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5419 4552 1111 63 0 5356 0
vsize: 21676
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4709 0 0 0 70886 122 0 0 25 0 1 0 630965150 22458368 4630 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5483 4630 1111 63 0 5420 0
vsize: 21932
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4712 0 0 0 71884 124 0 0 25 0 1 0 630965150 22458368 4633 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5483 4633 1111 63 0 5420 0
vsize: 21932
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4712 0 0 0 72883 126 0 0 25 0 1 0 630965150 22458368 4633 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5483 4633 1111 63 0 5420 0
vsize: 21932
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4720 0 0 0 73881 127 0 0 25 0 1 0 630965150 22458368 4641 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5483 4641 1111 63 0 5420 0
vsize: 21932
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4732 0 0 0 74881 128 0 0 25 0 1 0 630965150 22593536 4653 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5516 4653 1111 63 0 5453 0
vsize: 22064
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4744 0 0 0 75880 129 0 0 25 0 1 0 630965150 22593536 4665 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5516 4665 1111 63 0 5453 0
vsize: 22064
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4761 0 0 0 76879 130 0 0 25 0 1 0 630965150 22728704 4682 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5549 4682 1111 63 0 5486 0
vsize: 22196
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4780 0 0 0 77878 132 0 0 25 0 1 0 630965150 22708224 4701 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4701 1111 63 0 5481 0
vsize: 22176
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4791 0 0 0 78877 133 0 0 25 0 1 0 630965150 22843392 4712 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5577 4712 1111 63 0 5514 0
vsize: 22308
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4816 0 0 0 79876 134 0 0 25 0 1 0 630965150 22843392 4737 4294967295 134512640 134714508 3221221776 3221220336 134696552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5577 4737 1111 63 0 5514 0
vsize: 22308
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4841 0 0 0 80875 135 0 0 25 0 1 0 630965150 22978560 4762 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4762 1111 63 0 5547 0
vsize: 22440
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4841 0 0 0 81873 137 0 0 25 0 1 0 630965150 22978560 4762 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4762 1111 63 0 5547 0
vsize: 22440
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4864 0 0 0 82873 138 0 0 25 0 1 0 630965150 23113728 4785 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5643 4785 1111 63 0 5580 0
vsize: 22572
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4887 0 0 0 83872 139 0 0 25 0 1 0 630965150 23113728 4808 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5643 4808 1111 63 0 5580 0
vsize: 22572
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4904 0 0 0 84871 140 0 0 25 0 1 0 630965150 23244800 4825 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5675 4825 1111 63 0 5612 0
vsize: 22700
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4926 0 0 0 85869 141 0 0 25 0 1 0 630965150 23371776 4847 4294967295 134512640 134714508 3221221776 3221220428 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4847 1111 63 0 5643 0
vsize: 22824
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4963 0 0 0 86868 143 0 0 25 0 1 0 630965150 23506944 4884 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5739 4884 1111 63 0 5676 0
vsize: 22956
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4978 0 0 0 87867 144 0 0 25 0 1 0 630965150 23506944 4899 4294967295 134512640 134714508 3221221776 3221220432 134536600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5739 4899 1111 63 0 5676 0
vsize: 22956
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4991 0 0 0 88866 145 0 0 25 0 1 0 630965150 23642112 4912 4294967295 134512640 134714508 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5772 4912 1111 63 0 5709 0
vsize: 23088
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 4993 0 0 0 89866 146 0 0 25 0 1 0 630965150 23642112 4914 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5772 4914 1111 63 0 5709 0
vsize: 23088
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5020 0 0 0 90865 147 0 0 25 0 1 0 630965150 23777280 4941 4294967295 134512640 134714508 3221221776 3221220260 134697343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4941 1111 63 0 5742 0
vsize: 23220
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5020 0 0 0 91864 148 0 0 25 0 1 0 630965150 23777280 4941 4294967295 134512640 134714508 3221221776 3221220288 134535029 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4941 1111 63 0 5742 0
vsize: 23220
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5026 0 0 0 92864 149 0 0 25 0 1 0 630965150 23777280 4947 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4947 1111 63 0 5742 0
vsize: 23220
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5029 0 0 0 93863 150 0 0 25 0 1 0 630965150 23777280 4950 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4950 1111 63 0 5742 0
vsize: 23220
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5041 0 0 0 94862 151 0 0 25 0 1 0 630965150 23777280 4962 4294967295 134512640 134714508 3221221776 3221220256 134697483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4962 1111 63 0 5742 0
vsize: 23220
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5041 0 0 0 95861 152 0 0 25 0 1 0 630965150 23777280 4962 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4962 1111 63 0 5742 0
vsize: 23220
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5062 0 0 0 96860 153 0 0 25 0 1 0 630965150 23908352 4983 4294967295 134512640 134714508 3221221776 3221220496 134584757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5837 4983 1111 63 0 5774 0
vsize: 23348
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5062 0 0 0 97859 155 0 0 25 0 1 0 630965150 23908352 4983 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5837 4983 1111 63 0 5774 0
vsize: 23348
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5104 0 0 0 98857 156 0 0 25 0 1 0 630965150 24043520 5025 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5870 5025 1111 63 0 5807 0
vsize: 23480
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5229 0 0 0 99855 158 0 0 25 0 1 0 630965150 24555520 5150 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5995 5150 1111 63 0 5932 0
vsize: 23980
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5331 0 0 0 100854 160 0 0 25 0 1 0 630965150 24961024 5252 4294967295 134512640 134714508 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6094 5252 1111 63 0 6031 0
vsize: 24376
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5427 0 0 0 101853 161 0 0 25 0 1 0 630965150 25362432 5348 4294967295 134512640 134714508 3221221776 3221220584 134558609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5348 1111 63 0 6129 0
vsize: 24768
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5446 0 0 0 102852 162 0 0 25 0 1 0 630965150 25497600 5367 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6225 5367 1111 63 0 6162 0
vsize: 24900
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5466 0 0 0 103852 163 0 0 25 0 1 0 630965150 25497600 5387 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6225 5387 1111 63 0 6162 0
vsize: 24900
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5475 0 0 0 104851 163 0 0 25 0 1 0 630965150 25632768 5396 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6258 5396 1111 63 0 6195 0
vsize: 25032
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5485 0 0 0 105850 165 0 0 25 0 1 0 630965150 25632768 5406 4294967295 134512640 134714508 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6258 5406 1111 63 0 6195 0
vsize: 25032
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5485 0 0 0 106849 166 0 0 25 0 1 0 630965150 25632768 5406 4294967295 134512640 134714508 3221221776 3221220184 134697439 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5406 1111 63 0 6195 0
vsize: 25032
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5492 0 0 0 107846 167 0 0 25 0 1 0 630965150 25632768 5413 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6258 5413 1111 63 0 6195 0
vsize: 25032
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5513 0 0 0 108845 169 0 0 25 0 1 0 630965150 25767936 5434 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6291 5434 1111 63 0 6228 0
vsize: 25164
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5519 0 0 0 109843 171 0 0 25 0 1 0 630965150 25767936 5440 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6291 5440 1111 63 0 6228 0
vsize: 25164
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5536 0 0 0 110841 173 0 0 25 0 1 0 630965150 25903104 5457 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6324 5457 1111 63 0 6261 0
vsize: 25296
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5541 0 0 0 111840 175 0 0 25 0 1 0 630965150 25870336 5462 4294967295 134512640 134714508 3221221776 3221220512 134528434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6316 5462 1111 63 0 6253 0
vsize: 25264
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5568 0 0 0 112839 176 0 0 25 0 1 0 630965150 26005504 5489 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6349 5489 1111 63 0 6286 0
vsize: 25396
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5593 0 0 0 113837 178 0 0 25 0 1 0 630965150 26005504 5514 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6349 5514 1111 63 0 6286 0
vsize: 25396
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5660 0 0 0 114836 179 0 0 25 0 1 0 630965150 26390528 5581 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6443 5581 1111 63 0 6380 0
vsize: 25772
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5753 0 0 0 115835 181 0 0 25 0 1 0 630965150 26660864 5674 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6509 5674 1111 63 0 6446 0
vsize: 26036
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5821 0 0 0 116834 182 0 0 25 0 1 0 630965150 27066368 5742 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5742 1111 63 0 6545 0
vsize: 26432
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 10893
Raw data (stat): 10891 (bsolo_lpr) R 10890 7876 7672 0 -1 0 5821 0 0 0 116834 182 0 0 25 0 1 0 630965150 27066368 5742 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5742 1111 63 0 6545 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.04
CPU user time (s): 1173.2
CPU system time (s): 1.84272
CPU usage (%): 100.01
Max. virtual memory (Kb): 26432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####