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-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 23412

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 08:24:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=487 boxname=wulflinc31 idbench=55 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 487
/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:        922092 kB
Buffers:         39600 kB
Cached:          50780 kB
SwapCached:        944 kB
Active:          75404 kB
Inactive:        17444 kB
HighTotal:      131008 kB
HighFree:        79296 kB
LowTotal:       903652 kB
LowFree:        842796 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             288 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14272 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 08:44:02 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 487 7 1175.03 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 2903 variables and 2066 constraints.
c After prepocess the problem consists of 2903 variables and 2066 constraints.
c preprocess terminated 8.281 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.91 0.98 0.99 2/54 533
Raw data (stat): 533 (runsolver) R 532 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 647294936 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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+9.99963 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2220 0 0 0 988 6 0 0 25 0 1 0 647294936 12304384 2141 4294967295 134512640 134714508 3221221776 3221220448 134524434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3004 2141 1111 63 0 2941 0
vsize: 12016
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2305 0 0 0 1987 7 0 0 25 0 1 0 647294936 12574720 2226 4294967295 134512640 134714508 3221221776 3221220584 134558576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2226 1111 63 0 3007 0
vsize: 12280
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2360 0 0 0 2986 8 0 0 25 0 1 0 647294936 12808192 2281 4294967295 134512640 134714508 3221221776 3221220432 134536591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3127 2281 1111 63 0 3064 0
vsize: 12508
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2406 0 0 0 3985 10 0 0 25 0 1 0 647294936 13078528 2327 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3193 2327 1111 63 0 3130 0
vsize: 12772
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2451 0 0 0 4983 12 0 0 25 0 1 0 647294936 13213696 2372 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3226 2372 1111 63 0 3163 0
vsize: 12904
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2482 0 0 0 5981 14 0 0 25 0 1 0 647294936 13348864 2403 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3259 2403 1111 63 0 3196 0
vsize: 13036
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2495 0 0 0 6980 16 0 0 25 0 1 0 647294936 13348864 2416 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3259 2416 1111 63 0 3196 0
vsize: 13036
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2510 0 0 0 7978 18 0 0 25 0 1 0 647294936 13484032 2431 4294967295 134512640 134714508 3221221776 3221220256 134697444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3292 2431 1111 63 0 3229 0
vsize: 13168
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2545 0 0 0 8976 19 0 0 25 0 1 0 647294936 13619200 2466 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2466 1111 63 0 3262 0
vsize: 13300
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2593 0 0 0 9974 21 0 0 25 0 1 0 647294936 13737984 2514 4294967295 134512640 134714508 3221221776 3221220400 1077377136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2514 1111 63 0 3291 0
vsize: 13416
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2641 0 0 0 10973 23 0 0 25 0 1 0 647294936 14000128 2562 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2562 1111 63 0 3355 0
vsize: 13672
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2696 0 0 0 11972 24 0 0 25 0 1 0 647294936 14213120 2617 4294967295 134512640 134714508 3221221776 3221220384 134548659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3470 2617 1111 63 0 3407 0
vsize: 13880
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2740 0 0 0 12972 25 0 0 25 0 1 0 647294936 14344192 2661 4294967295 134512640 134714508 3221221776 3221220480 134591904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2661 1111 63 0 3439 0
vsize: 14008
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2752 0 0 0 13970 26 0 0 25 0 1 0 647294936 14479360 2673 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2673 1111 63 0 3472 0
vsize: 14140
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2801 0 0 0 14970 27 0 0 25 0 1 0 647294936 14614528 2722 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2722 1111 63 0 3505 0
vsize: 14272
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2846 0 0 0 15968 29 0 0 25 0 1 0 647294936 14884864 2767 4294967295 134512640 134714508 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3634 2767 1111 63 0 3571 0
vsize: 14536
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2856 0 0 0 16967 30 0 0 25 0 1 0 647294936 14880768 2777 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3633 2777 1111 63 0 3570 0
vsize: 14532
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2882 0 0 0 17966 31 0 0 25 0 1 0 647294936 14921728 2803 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3643 2803 1111 63 0 3580 0
vsize: 14572
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2915 0 0 0 18965 33 0 0 25 0 1 0 647294936 15056896 2836 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3676 2836 1111 63 0 3613 0
vsize: 14704
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2941 0 0 0 19964 34 0 0 25 0 1 0 647294936 15192064 2862 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3709 2862 1111 63 0 3646 0
vsize: 14836
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2978 0 0 0 20962 35 0 0 25 0 1 0 647294936 15327232 2899 4294967295 134512640 134714508 3221221776 3221220344 1077378425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3742 2899 1111 63 0 3679 0
vsize: 14968
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2988 0 0 0 21961 37 0 0 25 0 1 0 647294936 15462400 2909 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3775 2909 1111 63 0 3712 0
vsize: 15100
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2988 0 0 0 22960 38 0 0 25 0 1 0 647294936 15409152 2909 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2909 1111 63 0 3699 0
vsize: 15048
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2988 0 0 0 23959 39 0 0 25 0 1 0 647294936 15409152 2909 4294967295 134512640 134714508 3221221776 3221220448 134524431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2909 1111 63 0 3699 0
vsize: 15048
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 2988 0 0 0 24958 40 0 0 25 0 1 0 647294936 15409152 2909 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2909 1111 63 0 3699 0
vsize: 15048
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3001 0 0 0 25957 42 0 0 25 0 1 0 647294936 15409152 2922 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2922 1111 63 0 3699 0
vsize: 15048
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3011 0 0 0 26956 43 0 0 25 0 1 0 647294936 15544320 2932 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2932 1111 63 0 3732 0
vsize: 15180
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3011 0 0 0 27955 44 0 0 25 0 1 0 647294936 15544320 2932 4294967295 134512640 134714508 3221221776 3221220608 134551447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2932 1111 63 0 3732 0
vsize: 15180
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3016 0 0 0 28954 46 0 0 25 0 1 0 647294936 15544320 2937 4294967295 134512640 134714508 3221221776 3221220416 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2937 1111 63 0 3732 0
vsize: 15180
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3050 0 0 0 29952 48 0 0 25 0 1 0 647294936 15679488 2971 4294967295 134512640 134714508 3221221776 3221220316 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3828 2971 1111 63 0 3765 0
vsize: 15312
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3079 0 0 0 30950 49 0 0 25 0 1 0 647294936 15794176 3000 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 3000 1111 63 0 3793 0
vsize: 15424
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3081 0 0 0 31949 50 0 0 25 0 1 0 647294936 15794176 3002 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 3002 1111 63 0 3793 0
vsize: 15424
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3103 0 0 0 32948 51 0 0 25 0 1 0 647294936 15872000 3024 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3024 1111 63 0 3812 0
vsize: 15500
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3103 0 0 0 33947 53 0 0 25 0 1 0 647294936 15872000 3024 4294967295 134512640 134714508 3221221776 3221220344 1077377848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3024 1111 63 0 3812 0
vsize: 15500
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3103 0 0 0 34946 54 0 0 25 0 1 0 647294936 15872000 3024 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3024 1111 63 0 3812 0
vsize: 15500
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3108 0 0 0 35945 55 0 0 25 0 1 0 647294936 15872000 3029 4294967295 134512640 134714508 3221221776 3221220408 134696347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3029 1111 63 0 3812 0
vsize: 15500
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3126 0 0 0 36944 57 0 0 25 0 1 0 647294936 16007168 3047 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3047 1111 63 0 3845 0
vsize: 15632
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3126 0 0 0 37943 58 0 0 25 0 1 0 647294936 16007168 3047 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3047 1111 63 0 3845 0
vsize: 15632
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3126 0 0 0 38942 59 0 0 25 0 1 0 647294936 16007168 3047 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3047 1111 63 0 3845 0
vsize: 15632
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3152 0 0 0 39941 60 0 0 25 0 1 0 647294936 16097280 3073 4294967295 134512640 134714508 3221221776 3221220464 134613715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3930 3073 1111 63 0 3867 0
vsize: 15720
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3176 0 0 0 40940 61 0 0 25 0 1 0 647294936 16232448 3097 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3097 1111 63 0 3900 0
vsize: 15852
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3187 0 0 0 41938 63 0 0 25 0 1 0 647294936 16232448 3108 4294967295 134512640 134714508 3221221776 3221220552 134587939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3108 1111 63 0 3900 0
vsize: 15852
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3188 0 0 0 42937 64 0 0 25 0 1 0 647294936 16232448 3109 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3109 1111 63 0 3900 0
vsize: 15852
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3193 0 0 0 43935 67 0 0 25 0 1 0 647294936 16232448 3114 4294967295 134512640 134714508 3221221776 3221220172 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3114 1111 63 0 3900 0
vsize: 15852
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3232 0 0 0 44934 68 0 0 25 0 1 0 647294936 16367616 3153 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3996 3153 1111 63 0 3933 0
vsize: 15984
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3257 0 0 0 45933 69 0 0 25 0 1 0 647294936 16498688 3178 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4028 3178 1111 63 0 3965 0
vsize: 16112
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3281 0 0 0 46932 70 0 0 25 0 1 0 647294936 16633856 3202 4294967295 134512640 134714508 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4061 3202 1111 63 0 3998 0
vsize: 16244
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3311 0 0 0 47930 72 0 0 25 0 1 0 647294936 16769024 3232 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4094 3232 1111 63 0 4031 0
vsize: 16376
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3318 0 0 0 48930 73 0 0 25 0 1 0 647294936 16769024 3239 4294967295 134512640 134714508 3221221776 3221220480 134591898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4094 3239 1111 63 0 4031 0
vsize: 16376
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3323 0 0 0 49928 75 0 0 25 0 1 0 647294936 16769024 3244 4294967295 134512640 134714508 3221221776 3221220560 134594903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4094 3244 1111 63 0 4031 0
vsize: 16376
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3361 0 0 0 50927 76 0 0 25 0 1 0 647294936 16904192 3282 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3282 1111 63 0 4064 0
vsize: 16508
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3397 0 0 0 51926 78 0 0 25 0 1 0 647294936 17031168 3318 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3318 1111 63 0 4095 0
vsize: 16632
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3397 0 0 0 52924 79 0 0 25 0 1 0 647294936 17031168 3318 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3318 1111 63 0 4095 0
vsize: 16632
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3397 0 0 0 53922 81 0 0 25 0 1 0 647294936 17031168 3318 4294967295 134512640 134714508 3221221776 3221220344 1077377765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3318 1111 63 0 4095 0
vsize: 16632
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3397 0 0 0 54921 83 0 0 25 0 1 0 647294936 17031168 3318 4294967295 134512640 134714508 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3318 1111 63 0 4095 0
vsize: 16632
[startup+560.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3431 0 0 0 55919 84 0 0 25 0 1 0 647294936 17166336 3352 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3352 1111 63 0 4128 0
vsize: 16764
[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3445 0 0 0 56918 86 0 0 25 0 1 0 647294936 17301504 3366 4294967295 134512640 134714508 3221221776 3221220320 134542995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3445 0 0 0 57917 87 0 0 25 0 1 0 647294936 17301504 3366 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3445 0 0 0 58916 89 0 0 25 0 1 0 647294936 17301504 3366 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3445 0 0 0 59915 90 0 0 25 0 1 0 647294936 17301504 3366 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+610.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3445 0 0 0 60914 91 0 0 25 0 1 0 647294936 17301504 3366 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3445 0 0 0 61913 91 0 0 25 0 1 0 647294936 17301504 3366 4294967295 134512640 134714508 3221221776 3221220464 134534095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3445 0 0 0 62912 93 0 0 25 0 1 0 647294936 17301504 3366 4294967295 134512640 134714508 3221221776 3221220560 134584868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+640.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3445 0 0 0 63911 94 0 0 25 0 1 0 647294936 17301504 3366 4294967295 134512640 134714508 3221221776 3221220272 134535424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+650.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3469 0 0 0 64911 95 0 0 25 0 1 0 647294936 17436672 3390 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3390 1111 63 0 4194 0
vsize: 17028
[startup+660.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3471 0 0 0 65909 96 0 0 25 0 1 0 647294936 17436672 3392 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3392 1111 63 0 4194 0
vsize: 17028
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3495 0 0 0 66909 97 0 0 25 0 1 0 647294936 17436672 3416 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+680.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3495 0 0 0 67907 99 0 0 25 0 1 0 647294936 17436672 3416 4294967295 134512640 134714508 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+690.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3495 0 0 0 68906 100 0 0 25 0 1 0 647294936 17436672 3416 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+700.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3495 0 0 0 69905 101 0 0 25 0 1 0 647294936 17436672 3416 4294967295 134512640 134714508 3221221776 3221220452 134543731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+710.018 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3495 0 0 0 70904 102 0 0 25 0 1 0 647294936 17436672 3416 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+720.018 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3495 0 0 0 71903 104 0 0 25 0 1 0 647294936 17436672 3416 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+730.018 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3497 0 0 0 72902 105 0 0 25 0 1 0 647294936 17436672 3418 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3418 1111 63 0 4194 0
vsize: 17028
[startup+740.018 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3500 0 0 0 73901 106 0 0 25 0 1 0 647294936 17436672 3421 4294967295 134512640 134714508 3221221776 3221220388 134523392 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3421 1111 63 0 4194 0
vsize: 17028
[startup+750.018 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3507 0 0 0 74900 107 0 0 25 0 1 0 647294936 17571840 3428 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4290 3428 1111 63 0 4227 0
vsize: 17160
[startup+760.018 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3565 0 0 0 75899 108 0 0 25 0 1 0 647294936 17707008 3486 4294967295 134512640 134714508 3221221776 3221220344 134613761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+770.018 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3565 0 0 0 76898 109 0 0 25 0 1 0 647294936 17707008 3486 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+780.018 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3565 0 0 0 77897 110 0 0 25 0 1 0 647294936 17707008 3486 4294967295 134512640 134714508 3221221776 3221220544 134551796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+790.018 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3565 0 0 0 78896 112 0 0 25 0 1 0 647294936 17707008 3486 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+800.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3565 0 0 0 79895 113 0 0 25 0 1 0 647294936 17707008 3486 4294967295 134512640 134714508 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+810.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3601 0 0 0 80894 114 0 0 25 0 1 0 647294936 17977344 3522 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4389 3522 1111 63 0 4326 0
vsize: 17556
[startup+820.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3649 0 0 0 81893 115 0 0 25 0 1 0 647294936 18112512 3570 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4422 3570 1111 63 0 4359 0
vsize: 17688
[startup+830.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3653 0 0 0 82893 116 0 0 25 0 1 0 647294936 18112512 3574 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4422 3574 1111 63 0 4359 0
vsize: 17688
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3686 0 0 0 83891 117 0 0 25 0 1 0 647294936 18247680 3607 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3607 1111 63 0 4392 0
vsize: 17820
[startup+850.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3686 0 0 0 84890 118 0 0 25 0 1 0 647294936 18247680 3607 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3607 1111 63 0 4392 0
vsize: 17820
[startup+860.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3686 0 0 0 85889 120 0 0 25 0 1 0 647294936 18247680 3607 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3607 1111 63 0 4392 0
vsize: 17820
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3686 0 0 0 86888 121 0 0 25 0 1 0 647294936 18247680 3607 4294967295 134512640 134714508 3221221776 3221220100 134697199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3607 1111 63 0 4392 0
vsize: 17820
[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3712 0 0 0 87886 123 0 0 25 0 1 0 647294936 18382848 3633 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3633 1111 63 0 4425 0
vsize: 17952
[startup+890.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3712 0 0 0 88885 124 0 0 25 0 1 0 647294936 18382848 3633 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3633 1111 63 0 4425 0
vsize: 17952
[startup+900.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3726 0 0 0 89884 125 0 0 25 0 1 0 647294936 18382848 3647 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3647 1111 63 0 4425 0
vsize: 17952
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3743 0 0 0 90883 126 0 0 25 0 1 0 647294936 18518016 3664 4294967295 134512640 134714508 3221221776 3221220528 134592345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4521 3664 1111 63 0 4458 0
vsize: 18084
[startup+920.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3772 0 0 0 91882 128 0 0 25 0 1 0 647294936 18653184 3693 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3693 1111 63 0 4491 0
vsize: 18216
[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3772 0 0 0 92881 129 0 0 25 0 1 0 647294936 18653184 3693 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3693 1111 63 0 4491 0
vsize: 18216
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3772 0 0 0 93879 131 0 0 25 0 1 0 647294936 18653184 3693 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3693 1111 63 0 4491 0
vsize: 18216
[startup+950.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3819 0 0 0 94878 132 0 0 25 0 1 0 647294936 18776064 3740 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3740 1111 63 0 4521 0
vsize: 18336
[startup+960.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3819 0 0 0 95877 133 0 0 25 0 1 0 647294936 18776064 3740 4294967295 134512640 134714508 3221221776 3221220416 134536653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3740 1111 63 0 4521 0
vsize: 18336
[startup+970.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3819 0 0 0 96876 134 0 0 25 0 1 0 647294936 18776064 3740 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3740 1111 63 0 4521 0
vsize: 18336
[startup+980.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3819 0 0 0 97874 137 0 0 25 0 1 0 647294936 18776064 3740 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3740 1111 63 0 4521 0
vsize: 18336
[startup+990.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3848 0 0 0 98873 138 0 0 25 0 1 0 647294936 18886656 3769 4294967295 134512640 134714508 3221221776 3221220344 1077377254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3769 1111 63 0 4548 0
vsize: 18444
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3848 0 0 0 99872 139 0 0 25 0 1 0 647294936 18886656 3769 4294967295 134512640 134714508 3221221776 3221220404 1077374168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3769 1111 63 0 4548 0
vsize: 18444
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3848 0 0 0 100871 140 0 0 25 0 1 0 647294936 18886656 3769 4294967295 134512640 134714508 3221221776 3221220336 134696577 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3769 1111 63 0 4548 0
vsize: 18444
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3848 0 0 0 101870 141 0 0 25 0 1 0 647294936 18886656 3769 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3769 1111 63 0 4548 0
vsize: 18444
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3910 0 0 0 102869 142 0 0 25 0 1 0 647294936 19156992 3831 4294967295 134512640 134714508 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4677 3831 1111 63 0 4614 0
vsize: 18708
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3910 0 0 0 103868 144 0 0 25 0 1 0 647294936 19156992 3831 4294967295 134512640 134714508 3221221776 3221220584 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4677 3831 1111 63 0 4614 0
vsize: 18708
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3927 0 0 0 104866 146 0 0 25 0 1 0 647294936 19292160 3848 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4710 3848 1111 63 0 4647 0
vsize: 18840
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3956 0 0 0 105865 147 0 0 25 0 1 0 647294936 19427328 3877 4294967295 134512640 134714508 3221221776 3221220512 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4743 3877 1111 63 0 4680 0
vsize: 18972
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 3978 0 0 0 106863 149 0 0 25 0 1 0 647294936 19427328 3899 4294967295 134512640 134714508 3221221776 3221220320 134696418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4743 3899 1111 63 0 4680 0
vsize: 18972
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4010 0 0 0 107862 150 0 0 25 0 1 0 647294936 19562496 3931 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4776 3931 1111 63 0 4713 0
vsize: 19104
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4021 0 0 0 108861 152 0 0 25 0 1 0 647294936 19697664 3942 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4809 3942 1111 63 0 4746 0
vsize: 19236
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4031 0 0 0 109859 153 0 0 25 0 1 0 647294936 19697664 3952 4294967295 134512640 134714508 3221221776 3221220532 134652880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4809 3952 1111 63 0 4746 0
vsize: 19236
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4055 0 0 0 110859 154 0 0 25 0 1 0 647294936 19832832 3976 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4842 3976 1111 63 0 4779 0
vsize: 19368
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4084 0 0 0 111857 156 0 0 25 0 1 0 647294936 19832832 4005 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4842 4005 1111 63 0 4779 0
vsize: 19368
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4100 0 0 0 112856 157 0 0 25 0 1 0 647294936 19963904 4021 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4021 1111 63 0 4811 0
vsize: 19496
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4114 0 0 0 113856 158 0 0 25 0 1 0 647294936 19963904 4035 4294967295 134512640 134714508 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4035 1111 63 0 4811 0
vsize: 19496
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4129 0 0 0 114854 160 0 0 25 0 1 0 647294936 20099072 4050 4294967295 134512640 134714508 3221221776 3221220336 134696541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4050 1111 63 0 4844 0
vsize: 19628
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4151 0 0 0 115853 161 0 0 25 0 1 0 647294936 20099072 4072 4294967295 134512640 134714508 3221221776 3221220416 134696094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4072 1111 63 0 4844 0
vsize: 19628
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4164 0 0 0 116851 163 0 0 25 0 1 0 647294936 20234240 4085 4294967295 134512640 134714508 3221221776 3221220504 134536857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4940 4085 1111 63 0 4877 0
vsize: 19760
[startup+1174.91 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 533
Raw data (stat): 533 (bsolo_lpr) R 532 7876 7672 0 -1 0 4164 0 0 0 116851 163 0 0 25 0 1 0 647294936 20234240 4085 4294967295 134512640 134714508 3221221776 3221220504 134536857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4940 4085 1111 63 0 4877 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.03
CPU user time (s): 1173.38
CPU system time (s): 1.65175
CPU usage (%): 100.011
Max. virtual memory (Kb): 19760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####