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-fpga30_29_sat_pb.cnf.cr.opb
MD5SUM	99cab377899feaa32c19b4b5cf94d7d4
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.871866
Number of variables	1305
Total number of constraints	958
Number of constraints which are clauses	899
Number of constraints which are cardinality constraints (but not clauses)	59
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 39423

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 09:21:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27489 boxname=wulflinc1 idbench=47 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  99cab377899feaa32c19b4b5cf94d7d4  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga30_29_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga30_29_sat_pb.cnf.cr.opb
IDLAUNCH: 27489
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        293320 kB
Buffers:         34484 kB
Cached:         681364 kB
SwapCached:        668 kB
Active:          70876 kB
Inactive:       647232 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        293040 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17272 kB
Committed_AS:    92780 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:40:59 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 27489 7 1175.05 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 1305 variables and 958 constraints.
c After prepocess the problem consists of 1305 variables and 958 constraints.
c preprocess terminated 1.832 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 4203
Raw data (stat): 4203 (runsolver) R 4202 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 835014979 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 2102 0 0 0 989 8 0 0 25 0 1 0 835014979 11698176 2020 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2856 2020 1111 63 0 2793 0
vsize: 11424
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 2959 0 0 0 1986 11 0 0 25 0 1 0 835014979 15212544 2877 4294967295 134512640 134716908 3221224560 3221223184 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3714 2877 1111 63 0 3651 0
vsize: 14856
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 3298 0 0 0 2985 12 0 0 25 0 1 0 835014979 16695296 3216 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 3216 1111 63 0 4013 0
vsize: 16304
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 3994 0 0 0 3982 15 0 0 25 0 1 0 835014979 19529728 3912 4294967295 134512640 134716908 3221224560 3221223148 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4768 3912 1111 63 0 4705 0
vsize: 19072
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 4296 0 0 0 4981 17 0 0 25 0 1 0 835014979 20746240 4214 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5065 4214 1111 63 0 5002 0
vsize: 20260
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 5039 0 0 0 5978 19 0 0 25 0 1 0 835014979 23724032 4957 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5792 4957 1111 63 0 5729 0
vsize: 23168
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 5584 0 0 0 6976 22 0 0 25 0 1 0 835014979 26017792 5502 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6352 5502 1111 63 0 6289 0
vsize: 25408
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 6204 0 0 0 7973 24 0 0 25 0 1 0 835014979 28577792 6122 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6977 6122 1111 63 0 6914 0
vsize: 27908
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 6945 0 0 0 8970 28 0 0 25 0 1 0 835014979 31551488 6863 4294967295 134512640 134716908 3221224560 3221223264 134591898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7703 6863 1111 63 0 7640 0
vsize: 30812
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 7168 0 0 0 9968 30 0 0 25 0 1 0 835014979 32477184 7086 4294967295 134512640 134716908 3221224560 3221223324 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7929 7086 1111 63 0 7866 0
vsize: 31716
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 7706 0 0 0 10966 32 0 0 25 0 1 0 835014979 34648064 7624 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8459 7624 1111 63 0 8396 0
vsize: 33836
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 8000 0 0 0 11965 33 0 0 25 0 1 0 835014979 35864576 7918 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8756 7918 1111 63 0 8693 0
vsize: 35024
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 8326 0 0 0 12964 35 0 0 25 0 1 0 835014979 37216256 8244 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9086 8244 1111 63 0 9023 0
vsize: 36344
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 8743 0 0 0 13962 36 0 0 25 0 1 0 835014979 38977536 8661 4294967295 134512640 134716908 3221224560 3221223152 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9516 8661 1111 63 0 9453 0
vsize: 38064
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 9283 0 0 0 14960 39 0 0 25 0 1 0 835014979 41136128 9201 4294967295 134512640 134716908 3221224560 3221223120 134698773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10043 9201 1111 63 0 9980 0
vsize: 40172
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 9571 0 0 0 15959 40 0 0 25 0 1 0 835014979 42352640 9489 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10340 9489 1111 63 0 10277 0
vsize: 41360
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 9923 0 0 0 16958 41 0 0 25 0 1 0 835014979 43835392 9841 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10702 9841 1111 63 0 10639 0
vsize: 42808
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 9976 0 0 0 17958 42 0 0 25 0 1 0 835014979 43970560 9894 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10735 9894 1111 63 0 10672 0
vsize: 42940
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 10263 0 0 0 18957 43 0 0 25 0 1 0 835014979 45195264 10181 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11034 10181 1111 63 0 10971 0
vsize: 44136
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 10541 0 0 0 19955 44 0 0 25 0 1 0 835014979 46276608 10459 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11298 10459 1111 63 0 11235 0
vsize: 45192
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 10915 0 0 0 20954 46 0 0 25 0 1 0 835014979 47898624 10833 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11694 10833 1111 63 0 11631 0
vsize: 46776
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 11290 0 0 0 21953 47 0 0 25 0 1 0 835014979 49377280 11208 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12055 11208 1111 63 0 11992 0
vsize: 48220
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 11370 0 0 0 22953 47 0 0 25 0 1 0 835014979 49647616 11288 4294967295 134512640 134716908 3221224560 3221223200 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12121 11288 1111 63 0 12058 0
vsize: 48484
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 11674 0 0 0 23951 49 0 0 25 0 1 0 835014979 50995200 11592 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12450 11592 1111 63 0 12387 0
vsize: 49800
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 12058 0 0 0 24950 51 0 0 25 0 1 0 835014979 52482048 11976 4294967295 134512640 134716908 3221224560 3221223244 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12813 11976 1111 63 0 12750 0
vsize: 51252
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 12467 0 0 0 25948 53 0 0 25 0 1 0 835014979 54239232 12385 4294967295 134512640 134716908 3221224560 3221223216 134536740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13242 12385 1111 63 0 13179 0
vsize: 52968
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 12826 0 0 0 26946 55 0 0 25 0 1 0 835014979 55726080 12744 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13605 12744 1111 63 0 13542 0
vsize: 54420
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 12914 0 0 0 27945 56 0 0 25 0 1 0 835014979 55996416 12832 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13671 12832 1111 63 0 13608 0
vsize: 54684
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 13091 0 0 0 28944 57 0 0 25 0 1 0 835014979 56807424 13009 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13869 13009 1111 63 0 13806 0
vsize: 55476
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 13317 0 0 0 29943 59 0 0 25 0 1 0 835014979 57753600 13235 4294967295 134512640 134716908 3221224560 3221223200 134698431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14100 13235 1111 63 0 14037 0
vsize: 56400
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 13652 0 0 0 30942 60 0 0 25 0 1 0 835014979 59105280 13570 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14430 13570 1111 63 0 14367 0
vsize: 57720
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 14064 0 0 0 31940 62 0 0 25 0 1 0 835014979 60727296 13982 4294967295 134512640 134716908 3221224560 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14826 13982 1111 63 0 14763 0
vsize: 59304
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 14525 0 0 0 32938 64 0 0 25 0 1 0 835014979 62619648 14443 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15288 14443 1111 63 0 15225 0
vsize: 61152
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 14600 0 0 0 33937 65 0 0 25 0 1 0 835014979 62889984 14518 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15354 14518 1111 63 0 15291 0
vsize: 61416
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 14961 0 0 0 34935 67 0 0 25 0 1 0 835014979 64372736 14879 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15716 14879 1111 63 0 15653 0
vsize: 62864
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 15084 0 0 0 35934 69 0 0 25 0 1 0 835014979 64909312 15002 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15847 15002 1111 63 0 15784 0
vsize: 63388
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 15460 0 0 0 36932 71 0 0 25 0 1 0 835014979 66523136 15378 4294967295 134512640 134716908 3221224560 3221223200 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16241 15378 1111 63 0 16178 0
vsize: 64964
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 15747 0 0 0 37930 73 0 0 25 0 1 0 835014979 67604480 15665 4294967295 134512640 134716908 3221224560 3221223200 134698416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16505 15665 1111 63 0 16442 0
vsize: 66020
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 15975 0 0 0 38928 75 0 0 25 0 1 0 835014979 68550656 15893 4294967295 134512640 134716908 3221224560 3221223232 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16736 15893 1111 63 0 16673 0
vsize: 66944
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 16182 0 0 0 39926 77 0 0 25 0 1 0 835014979 69496832 16100 4294967295 134512640 134716908 3221224560 3221223344 134529365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16967 16100 1111 63 0 16904 0
vsize: 67868
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 16302 0 0 0 40925 78 0 0 25 0 1 0 835014979 69902336 16220 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17066 16220 1111 63 0 17003 0
vsize: 68264
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 16353 0 0 0 41924 80 0 0 25 0 1 0 835014979 70127616 16271 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17121 16271 1111 63 0 17058 0
vsize: 68484
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 16461 0 0 0 42922 81 0 0 25 0 1 0 835014979 70639616 16379 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17246 16379 1111 63 0 17183 0
vsize: 68984
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 16551 0 0 0 43921 83 0 0 25 0 1 0 835014979 70909952 16469 4294967295 134512640 134716908 3221224560 3221223200 134698335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17312 16469 1111 63 0 17249 0
vsize: 69248
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 16614 0 0 0 44920 85 0 0 25 0 1 0 835014979 71180288 16532 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17378 16532 1111 63 0 17315 0
vsize: 69512
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 16712 0 0 0 45918 86 0 0 25 0 1 0 835014979 71585792 16630 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17477 16630 1111 63 0 17414 0
vsize: 69908
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 16924 0 0 0 46917 88 0 0 25 0 1 0 835014979 72527872 16842 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17707 16842 1111 63 0 17644 0
vsize: 70828
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17067 0 0 0 47915 89 0 0 25 0 1 0 835014979 73039872 16985 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17832 16985 1111 63 0 17769 0
vsize: 71328
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17193 0 0 0 48913 91 0 0 25 0 1 0 835014979 73543680 17111 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17955 17111 1111 63 0 17892 0
vsize: 71820
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17328 0 0 0 49913 92 0 0 25 0 1 0 835014979 74084352 17246 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18087 17246 1111 63 0 18024 0
vsize: 72348
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17402 0 0 0 50912 93 0 0 25 0 1 0 835014979 74489856 17320 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18186 17320 1111 63 0 18123 0
vsize: 72744
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17455 0 0 0 51911 95 0 0 25 0 1 0 835014979 74616832 17373 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18217 17373 1111 63 0 18154 0
vsize: 72868
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17470 0 0 0 52910 96 0 0 25 0 1 0 835014979 74739712 17388 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18247 17388 1111 63 0 18184 0
vsize: 72988
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17525 0 0 0 53909 96 0 0 25 0 1 0 835014979 74866688 17443 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18278 17443 1111 63 0 18215 0
vsize: 73112
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17556 0 0 0 54909 97 0 0 25 0 1 0 835014979 74993664 17474 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18309 17474 1111 63 0 18246 0
vsize: 73236
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17602 0 0 0 55908 98 0 0 25 0 1 0 835014979 75264000 17520 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18375 17520 1111 63 0 18312 0
vsize: 73500
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17653 0 0 0 56907 100 0 0 25 0 1 0 835014979 75399168 17571 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18408 17571 1111 63 0 18345 0
vsize: 73632
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17687 0 0 0 57906 101 0 0 25 0 1 0 835014979 75534336 17605 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18441 17605 1111 63 0 18378 0
vsize: 73764
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17798 0 0 0 58904 103 0 0 25 0 1 0 835014979 76070912 17716 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18572 17716 1111 63 0 18509 0
vsize: 74288
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17908 0 0 0 59903 104 0 0 25 0 1 0 835014979 76464128 17826 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18668 17826 1111 63 0 18605 0
vsize: 74672
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 17999 0 0 0 60902 105 0 0 25 0 1 0 835014979 76861440 17917 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18765 17917 1111 63 0 18702 0
vsize: 75060
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18094 0 0 0 61901 106 0 0 25 0 1 0 835014979 77266944 18012 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18864 18012 1111 63 0 18801 0
vsize: 75456
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18185 0 0 0 62900 107 0 0 25 0 1 0 835014979 77651968 18103 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18958 18103 1111 63 0 18895 0
vsize: 75832
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18268 0 0 0 63900 108 0 0 25 0 1 0 835014979 77918208 18186 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19023 18186 1111 63 0 18960 0
vsize: 76092
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18305 0 0 0 64898 110 0 0 25 0 1 0 835014979 78159872 18223 4294967295 134512640 134716908 3221224560 3221223256 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19082 18223 1111 63 0 19019 0
vsize: 76328
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18335 0 0 0 65897 111 0 0 25 0 1 0 835014979 78295040 18253 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19115 18253 1111 63 0 19052 0
vsize: 76460
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18348 0 0 0 66895 113 0 0 25 0 1 0 835014979 78295040 18266 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19115 18266 1111 63 0 19052 0
vsize: 76460
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18369 0 0 0 67894 114 0 0 25 0 1 0 835014979 78430208 18287 4294967295 134512640 134716908 3221224560 3221223292 134524384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19148 18287 1111 63 0 19085 0
vsize: 76592
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18427 0 0 0 68893 115 0 0 25 0 1 0 835014979 78561280 18345 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19180 18345 1111 63 0 19117 0
vsize: 76720
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18528 0 0 0 69892 117 0 0 25 0 1 0 835014979 79101952 18446 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19312 18446 1111 63 0 19249 0
vsize: 77248
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18600 0 0 0 70891 118 0 0 25 0 1 0 835014979 79351808 18518 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19373 18518 1111 63 0 19310 0
vsize: 77492
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18649 0 0 0 71890 119 0 0 25 0 1 0 835014979 79486976 18567 4294967295 134512640 134716908 3221224560 3221223132 134535488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19406 18567 1111 63 0 19343 0
vsize: 77624
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18691 0 0 0 72889 120 0 0 25 0 1 0 835014979 79757312 18609 4294967295 134512640 134716908 3221224560 3221223200 134539437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19472 18609 1111 63 0 19409 0
vsize: 77888
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18710 0 0 0 73888 121 0 0 25 0 1 0 835014979 79757312 18628 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19472 18628 1111 63 0 19409 0
vsize: 77888
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18746 0 0 0 74887 122 0 0 25 0 1 0 835014979 79892480 18664 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19505 18664 1111 63 0 19442 0
vsize: 78020
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18747 0 0 0 75886 123 0 0 25 0 1 0 835014979 79892480 18665 4294967295 134512640 134716908 3221224560 3221223200 134698431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19505 18665 1111 63 0 19442 0
vsize: 78020
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18754 0 0 0 76886 124 0 0 25 0 1 0 835014979 80027648 18672 4294967295 134512640 134716908 3221224560 3221223196 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19538 18672 1111 63 0 19475 0
vsize: 78152
[startup+780.006 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18767 0 0 0 77885 125 0 0 25 0 1 0 835014979 80027648 18685 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19538 18685 1111 63 0 19475 0
vsize: 78152
[startup+790.007 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18774 0 0 0 78884 126 0 0 25 0 1 0 835014979 80027648 18692 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19538 18692 1111 63 0 19475 0
vsize: 78152
[startup+800.006 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18787 0 0 0 79883 127 0 0 25 0 1 0 835014979 80162816 18705 4294967295 134512640 134716908 3221224560 3221223344 134529174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19571 18705 1111 63 0 19508 0
vsize: 78284
[startup+810.006 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18810 0 0 0 80882 128 0 0 25 0 1 0 835014979 80162816 18728 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19571 18728 1111 63 0 19508 0
vsize: 78284
[startup+820.006 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18826 0 0 0 81880 131 0 0 25 0 1 0 835014979 80297984 18744 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19604 18744 1111 63 0 19541 0
vsize: 78416
[startup+830.007 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18833 0 0 0 82879 132 0 0 25 0 1 0 835014979 80297984 18751 4294967295 134512640 134716908 3221224560 3221223128 1077377714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19604 18751 1111 63 0 19541 0
vsize: 78416
[startup+840.006 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18834 0 0 0 83878 133 0 0 25 0 1 0 835014979 80297984 18752 4294967295 134512640 134716908 3221224560 3221223232 134655199 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19604 18752 1111 63 0 19541 0
vsize: 78416
[startup+850.007 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18866 0 0 0 84877 135 0 0 25 0 1 0 835014979 80433152 18784 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19637 18784 1111 63 0 19574 0
vsize: 78548
[startup+860.007 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18906 0 0 0 85876 135 0 0 25 0 1 0 835014979 80568320 18824 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19670 18824 1111 63 0 19607 0
vsize: 78680
[startup+870.007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18941 0 0 0 86875 136 0 0 25 0 1 0 835014979 80703488 18859 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19703 18859 1111 63 0 19640 0
vsize: 78812
[startup+880.007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18941 0 0 0 87875 137 0 0 25 0 1 0 835014979 80703488 18859 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19703 18859 1111 63 0 19640 0
vsize: 78812
[startup+890.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 18981 0 0 0 88873 139 0 0 25 0 1 0 835014979 80838656 18899 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19736 18899 1111 63 0 19673 0
vsize: 78944
[startup+900.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19029 0 0 0 89872 140 0 0 25 0 1 0 835014979 81108992 18947 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19802 18947 1111 63 0 19739 0
vsize: 79208
[startup+910.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19083 0 0 0 90871 142 0 0 25 0 1 0 835014979 81379328 19001 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19868 19001 1111 63 0 19805 0
vsize: 79472
[startup+920.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19132 0 0 0 91870 143 0 0 25 0 1 0 835014979 81514496 19050 4294967295 134512640 134716908 3221224560 3221223188 134536674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19901 19050 1111 63 0 19838 0
vsize: 79604
[startup+930.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19168 0 0 0 92869 144 0 0 25 0 1 0 835014979 81649664 19086 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19934 19086 1111 63 0 19871 0
vsize: 79736
[startup+940.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19188 0 0 0 93868 145 0 0 25 0 1 0 835014979 81727488 19106 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19953 19106 1111 63 0 19890 0
vsize: 79812
[startup+950.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19234 0 0 0 94868 145 0 0 25 0 1 0 835014979 81985536 19152 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20016 19152 1111 63 0 19953 0
vsize: 80064
[startup+960.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19281 0 0 0 95867 146 0 0 25 0 1 0 835014979 82120704 19199 4294967295 134512640 134716908 3221224560 3221223200 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20049 19199 1111 63 0 19986 0
vsize: 80196
[startup+970.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19314 0 0 0 96866 147 0 0 25 0 1 0 835014979 82255872 19232 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20082 19232 1111 63 0 20019 0
vsize: 80328
[startup+980.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19333 0 0 0 97866 147 0 0 25 0 1 0 835014979 82391040 19251 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20115 19251 1111 63 0 20052 0
vsize: 80460
[startup+990.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19346 0 0 0 98866 148 0 0 25 0 1 0 835014979 82391040 19264 4294967295 134512640 134716908 3221224560 3221223188 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20115 19264 1111 63 0 20052 0
vsize: 80460
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19355 0 0 0 99864 150 0 0 25 0 1 0 835014979 82391040 19273 4294967295 134512640 134716908 3221224560 3221223128 1077377185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20115 19273 1111 63 0 20052 0
vsize: 80460
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19363 0 0 0 100863 151 0 0 25 0 1 0 835014979 82513920 19281 4294967295 134512640 134716908 3221224560 3221223184 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20145 19281 1111 63 0 20082 0
vsize: 80580
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19371 0 0 0 101862 152 0 0 25 0 1 0 835014979 82513920 19289 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20145 19289 1111 63 0 20082 0
vsize: 80580
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19398 0 0 0 102861 154 0 0 25 0 1 0 835014979 82636800 19316 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20175 19316 1111 63 0 20112 0
vsize: 80700
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19403 0 0 0 103861 154 0 0 25 0 1 0 835014979 82636800 19321 4294967295 134512640 134716908 3221224560 3221223312 134592393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20175 19321 1111 63 0 20112 0
vsize: 80700
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19412 0 0 0 104859 155 0 0 25 0 1 0 835014979 82636800 19330 4294967295 134512640 134716908 3221224560 3221223248 134528425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20175 19330 1111 63 0 20112 0
vsize: 80700
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19426 0 0 0 105859 156 0 0 25 0 1 0 835014979 82771968 19344 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20208 19344 1111 63 0 20145 0
vsize: 80832
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19452 0 0 0 106858 157 0 0 25 0 1 0 835014979 82771968 19370 4294967295 134512640 134716908 3221224560 3221223116 134535661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20208 19370 1111 63 0 20145 0
vsize: 80832
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19476 0 0 0 107857 158 0 0 25 0 1 0 835014979 82907136 19394 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20241 19394 1111 63 0 20178 0
vsize: 80964
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19488 0 0 0 108856 159 0 0 25 0 1 0 835014979 82907136 19406 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20241 19406 1111 63 0 20178 0
vsize: 80964
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19503 0 0 0 109856 160 0 0 25 0 1 0 835014979 83042304 19421 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19421 1111 63 0 20211 0
vsize: 81096
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19517 0 0 0 110854 162 0 0 25 0 1 0 835014979 83042304 19435 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19435 1111 63 0 20211 0
vsize: 81096
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19532 0 0 0 111853 162 0 0 25 0 1 0 835014979 83177472 19450 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20307 19450 1111 63 0 20244 0
vsize: 81228
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19572 0 0 0 112853 163 0 0 25 0 1 0 835014979 83312640 19490 4294967295 134512640 134716908 3221224560 3221223200 134698481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20340 19490 1111 63 0 20277 0
vsize: 81360
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19593 0 0 0 113852 165 0 0 25 0 1 0 835014979 83447808 19511 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20373 19511 1111 63 0 20310 0
vsize: 81492
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19629 0 0 0 114851 166 0 0 25 0 1 0 835014979 83582976 19547 4294967295 134512640 134716908 3221224560 3221223092 1077374062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20406 19547 1111 63 0 20343 0
vsize: 81624
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19646 0 0 0 115850 166 0 0 25 0 1 0 835014979 83582976 19564 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20406 19564 1111 63 0 20343 0
vsize: 81624
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19663 0 0 0 116850 167 0 0 25 0 1 0 835014979 83718144 19581 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20439 19581 1111 63 0 20376 0
vsize: 81756
[startup+1174.88 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 4203
Raw data (stat): 4203 (bsolo_lpr-v2) R 4202 8378 8377 0 -1 0 19663 0 0 0 116850 167 0 0 25 0 1 0 835014979 83718144 19581 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20439 19581 1111 63 0 20376 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.05
CPU user time (s): 1173.33
CPU system time (s): 1.71874
CPU usage (%): 100.014
Max. virtual memory (Kb): 81756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####