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-fpga10_8_sat_pb.cnf.cr.opb
MD5SUM	159220fb0573bb17ad11cefe6a440cec
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	11
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.040992
Number of variables	120
Total number of constraints	106
Number of constraints which are clauses	88
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	10
Trace number 39401

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 08:11:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27465 boxname=wulflinc3 idbench=23 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  159220fb0573bb17ad11cefe6a440cec  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga10_8_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga10_8_sat_pb.cnf.cr.opb
IDLAUNCH: 27465
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        280268 kB
Buffers:         33956 kB
Cached:         697212 kB
SwapCached:        240 kB
Active:          63500 kB
Inactive:       670168 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        279988 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15156 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:30:40 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 27465 7 1175.1 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 120 variables and 106 constraints.
c After prepocess the problem consists of 120 variables and 106 constraints.
c preprocess terminated 0.061 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.93 1/54 8574
Raw data (stat): 8574 (runsolver) R 8573 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891441424 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0007 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 3145 0 0 0 986 10 0 0 25 0 1 0 891441424 16015360 3063 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3910 3063 1111 63 0 3847 0
vsize: 15640
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 4213 0 0 0 1982 15 0 0 25 0 1 0 891441424 20381696 4131 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4976 4131 1111 63 0 4913 0
vsize: 19904
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 5313 0 0 0 2977 21 0 0 25 0 1 0 891441424 24875008 5230 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6073 5230 1111 63 0 6010 0
vsize: 24292
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 6066 0 0 0 3974 23 0 0 25 0 1 0 891441424 27992064 5982 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 5982 1111 63 0 6771 0
vsize: 27336
[startup+50.003 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 6725 0 0 0 4971 27 0 0 25 0 1 0 891441424 30707712 6639 4294967295 134512640 134716908 3221224576 3221223248 134551978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7497 6639 1111 63 0 7434 0
vsize: 29988
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 7260 0 0 0 5968 29 0 0 25 0 1 0 891441424 33005568 7174 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7174 1111 63 0 7995 0
vsize: 32232
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 8419 0 0 0 6964 34 0 0 25 0 1 0 891441424 37736448 8333 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9213 8333 1111 63 0 9150 0
vsize: 36852
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 9198 0 0 0 7960 38 0 0 25 0 1 0 891441424 41009152 9111 4294967295 134512640 134716908 3221224576 3221223200 134549520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 9111 1111 63 0 9949 0
vsize: 40048
[startup+90.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 10328 0 0 0 8956 42 0 0 25 0 1 0 891441424 45604864 10241 4294967295 134512640 134716908 3221224576 3221223216 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11134 10241 1111 63 0 11071 0
vsize: 44536
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 11218 0 0 0 9952 46 0 0 25 0 1 0 891441424 49262592 11130 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12027 11130 1111 63 0 11964 0
vsize: 48108
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 11944 0 0 0 10949 49 0 0 25 0 1 0 891441424 52256768 11854 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12758 11854 1111 63 0 12695 0
vsize: 51032
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 12686 0 0 0 11946 53 0 0 25 0 1 0 891441424 55230464 12596 4294967295 134512640 134716908 3221224576 3221223340 134592410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13484 12596 1111 63 0 13421 0
vsize: 53936
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 13315 0 0 0 12944 55 0 0 25 0 1 0 891441424 57901056 13221 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14136 13221 1111 63 0 14073 0
vsize: 56544
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 13603 0 0 0 13943 56 0 0 25 0 1 0 891441424 59129856 13506 4294967295 134512640 134716908 3221224576 3221223216 134536655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14436 13506 1111 63 0 14373 0
vsize: 57744
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 14023 0 0 0 14942 58 0 0 25 0 1 0 891441424 60940288 13925 4294967295 134512640 134716908 3221224576 3221223504 134579454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14878 13925 1111 63 0 14815 0
vsize: 59512
[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 14777 0 0 0 15941 60 0 0 25 0 1 0 891441424 64057344 14679 4294967295 134512640 134716908 3221224576 3221223336 134592385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15639 14679 1111 63 0 15576 0
vsize: 62556
[startup+170.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 15251 0 0 0 16939 62 0 0 25 0 1 0 891441424 65957888 15152 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16103 15152 1111 63 0 16040 0
vsize: 64412
[startup+180.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 15640 0 0 0 17938 64 0 0 25 0 1 0 891441424 67584000 15541 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16500 15541 1111 63 0 16437 0
vsize: 66000
[startup+190.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 15988 0 0 0 18937 65 0 0 25 0 1 0 891441424 69070848 15889 4294967295 134512640 134716908 3221224576 3221223176 134535679 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16863 15889 1111 63 0 16800 0
vsize: 67452
[startup+200.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 16445 0 0 0 19934 68 0 0 25 0 1 0 891441424 70828032 16346 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17292 16346 1111 63 0 17229 0
vsize: 69168
[startup+210.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 17281 0 0 0 20932 70 0 0 25 0 1 0 891441424 74354688 17182 4294967295 134512640 134716908 3221224576 3221223308 134536922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18153 17182 1111 63 0 18090 0
vsize: 72612
[startup+220.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 17801 0 0 0 21930 72 0 0 25 0 1 0 891441424 76521472 17701 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18682 17701 1111 63 0 18619 0
vsize: 74728
[startup+230.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 18388 0 0 0 22927 75 0 0 25 0 1 0 891441424 78954496 18288 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19276 18288 1111 63 0 19213 0
vsize: 77104
[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 19015 0 0 0 23924 79 0 0 25 0 1 0 891441424 81522688 18915 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19903 18915 1111 63 0 19840 0
vsize: 79612
[startup+250.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 19541 0 0 0 24921 82 0 0 25 0 1 0 891441424 83685376 19441 4294967295 134512640 134716908 3221224576 3221223196 134549859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20431 19441 1111 63 0 20368 0
vsize: 81724
[startup+260.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 19938 0 0 0 25920 82 0 0 25 0 1 0 891441424 85307392 19836 4294967295 134512640 134716908 3221224576 3221223156 134549797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20827 19836 1111 63 0 20764 0
vsize: 83308
[startup+270.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 20437 0 0 0 26918 85 0 0 25 0 1 0 891441424 87334912 20334 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21322 20334 1111 63 0 21259 0
vsize: 85288
[startup+280.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 20929 0 0 0 27916 88 0 0 25 0 1 0 891441424 89300992 20826 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21802 20826 1111 63 0 21739 0
vsize: 87208
[startup+290.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 21270 0 0 0 28914 89 0 0 25 0 1 0 891441424 90800128 21166 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22168 21166 1111 63 0 22105 0
vsize: 88672
[startup+300.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 21794 0 0 0 29912 92 0 0 25 0 1 0 891441424 92987392 21690 4294967295 134512640 134716908 3221224576 3221223064 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22702 21690 1111 63 0 22639 0
vsize: 90808
[startup+310.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 22216 0 0 0 30910 94 0 0 25 0 1 0 891441424 94748672 22112 4294967295 134512640 134716908 3221224576 3221223200 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23132 22112 1111 63 0 23069 0
vsize: 92528
[startup+320.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 22569 0 0 0 31908 96 0 0 25 0 1 0 891441424 96100352 22465 4294967295 134512640 134716908 3221224576 3221223164 134535606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23462 22465 1111 63 0 23399 0
vsize: 93848
[startup+330.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 22966 0 0 0 32907 97 0 0 25 0 1 0 891441424 97865728 22861 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23893 22861 1111 63 0 23830 0
vsize: 95572
[startup+340.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 23411 0 0 0 33906 98 0 0 25 0 1 0 891441424 99622912 23306 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24322 23306 1111 63 0 24259 0
vsize: 97288
[startup+350.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 23771 0 0 0 34903 101 0 0 25 0 1 0 891441424 101109760 23666 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24685 23666 1111 63 0 24622 0
vsize: 98740
[startup+360.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 24151 0 0 0 35901 104 0 0 25 0 1 0 891441424 102625280 24046 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25055 24046 1111 63 0 24992 0
vsize: 100220
[startup+370.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 24592 0 0 0 36899 106 0 0 25 0 1 0 891441424 104443904 24483 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25499 24483 1111 63 0 25436 0
vsize: 101996
[startup+380.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 24956 0 0 0 37897 108 0 0 25 0 1 0 891441424 106065920 24847 4294967295 134512640 134716908 3221224576 3221223072 134535383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25895 24847 1111 63 0 25832 0
vsize: 103580
[startup+390.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 25321 0 0 0 38896 110 0 0 25 0 1 0 891441424 107552768 25212 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26258 25212 1111 63 0 26195 0
vsize: 105032
[startup+400.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 25685 0 0 0 39895 111 0 0 25 0 1 0 891441424 109043712 25576 4294967295 134512640 134716908 3221224576 3221223200 134698393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26622 25576 1111 63 0 26559 0
vsize: 106488
[startup+410.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 26014 0 0 0 40893 113 0 0 25 0 1 0 891441424 110260224 25905 4294967295 134512640 134716908 3221224576 3221223312 134523856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26919 25905 1111 63 0 26856 0
vsize: 107676
[startup+420.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 26391 0 0 0 41892 114 0 0 25 0 1 0 891441424 111947776 26281 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27331 26281 1111 63 0 27268 0
vsize: 109324
[startup+430.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 26691 0 0 0 42890 116 0 0 25 0 1 0 891441424 113172480 26581 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27630 26581 1111 63 0 27567 0
vsize: 110520
[startup+440.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 26986 0 0 0 43889 118 0 0 25 0 1 0 891441424 114388992 26876 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27927 26876 1111 63 0 27864 0
vsize: 111708
[startup+450.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 27241 0 0 0 44889 119 0 0 25 0 1 0 891441424 115470336 27130 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28191 27130 1111 63 0 28128 0
vsize: 112764
[startup+460.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 27461 0 0 0 45888 120 0 0 25 0 1 0 891441424 116281344 27349 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28389 27349 1111 63 0 28326 0
vsize: 113556
[startup+470.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 27761 0 0 0 46887 121 0 0 25 0 1 0 891441424 117641216 27648 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28721 27648 1111 63 0 28658 0
vsize: 114884
[startup+480.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 27988 0 0 0 47886 122 0 0 25 0 1 0 891441424 118599680 27872 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28955 27872 1111 63 0 28892 0
vsize: 115820
[startup+490.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 28209 0 0 0 48885 123 0 0 25 0 1 0 891441424 119443456 28090 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29161 28090 1111 63 0 29098 0
vsize: 116644
[startup+500.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 28554 0 0 0 49884 124 0 0 25 0 1 0 891441424 120946688 28432 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28432 1111 63 0 29465 0
vsize: 118112
[startup+510.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 28836 0 0 0 50883 125 0 0 25 0 1 0 891441424 122040320 28713 4294967295 134512640 134716908 3221224576 3221223312 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29795 28713 1111 63 0 29732 0
vsize: 119180
[startup+520.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 29100 0 0 0 51883 126 0 0 25 0 1 0 891441424 123174912 28977 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30072 28977 1111 63 0 30009 0
vsize: 120288
[startup+530.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 29334 0 0 0 52882 127 0 0 25 0 1 0 891441424 124121088 29211 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30303 29211 1111 63 0 30240 0
vsize: 121212
[startup+540.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 29546 0 0 0 53881 128 0 0 25 0 1 0 891441424 124932096 29423 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30501 29423 1111 63 0 30438 0
vsize: 122004
[startup+550.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 29790 0 0 0 54880 129 0 0 25 0 1 0 891441424 126046208 29666 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30773 29666 1111 63 0 30710 0
vsize: 123092
[startup+560.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 30108 0 0 0 55879 131 0 0 25 0 1 0 891441424 127410176 29984 4294967295 134512640 134716908 3221224576 3221223248 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31106 29984 1111 63 0 31043 0
vsize: 124424
[startup+570.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 30320 0 0 0 56878 131 0 0 25 0 1 0 891441424 128237568 30196 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31308 30196 1111 63 0 31245 0
vsize: 125232
[startup+580.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 30572 0 0 0 57878 133 0 0 25 0 1 0 891441424 129253376 30444 4294967295 134512640 134716908 3221224576 3221223216 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31556 30444 1111 63 0 31493 0
vsize: 126224
[startup+590.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 30812 0 0 0 58877 134 0 0 25 0 1 0 891441424 130199552 30684 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31787 30684 1111 63 0 31724 0
vsize: 127148
[startup+600.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31029 0 0 0 59875 135 0 0 25 0 1 0 891441424 131182592 30901 4294967295 134512640 134716908 3221224576 3221223216 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32027 30901 1111 63 0 31964 0
vsize: 128108
[startup+610.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31190 0 0 0 60875 136 0 0 25 0 1 0 891441424 131858432 31062 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32192 31062 1111 63 0 32129 0
vsize: 128768
[startup+620.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31333 0 0 0 61874 136 0 0 25 0 1 0 891441424 132399104 31205 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32324 31205 1111 63 0 32261 0
vsize: 129296
[startup+630.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31613 0 0 0 62873 138 0 0 25 0 1 0 891441424 133480448 31485 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32588 31485 1111 63 0 32525 0
vsize: 130352
[startup+640.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31832 0 0 0 63872 139 0 0 25 0 1 0 891441424 134426624 31704 4294967295 134512640 134716908 3221224576 3221223232 134536849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32819 31704 1111 63 0 32756 0
vsize: 131276
[startup+650.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 32163 0 0 0 64871 140 0 0 25 0 1 0 891441424 135778304 32035 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33149 32035 1111 63 0 33086 0
vsize: 132596
[startup+660.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 32328 0 0 0 65871 141 0 0 25 0 1 0 891441424 136544256 32198 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33336 32198 1111 63 0 33273 0
vsize: 133344
[startup+670.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 32534 0 0 0 66870 142 0 0 25 0 1 0 891441424 137355264 32404 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33534 32404 1111 63 0 33471 0
vsize: 134136
[startup+680.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 32800 0 0 0 67870 143 0 0 25 0 1 0 891441424 138506240 32670 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33815 32670 1111 63 0 33752 0
vsize: 135260
[startup+690.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33032 0 0 0 68870 143 0 0 25 0 1 0 891441424 139452416 32902 4294967295 134512640 134716908 3221224576 3221223236 134536752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34046 32902 1111 63 0 33983 0
vsize: 136184
[startup+700.061 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33313 0 0 0 69869 144 0 0 25 0 1 0 891441424 140632064 33175 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34334 33175 1111 63 0 34271 0
vsize: 137336
[startup+710.062 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33495 0 0 0 70869 145 0 0 25 0 1 0 891441424 141508608 33356 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34548 33356 1111 63 0 34485 0
vsize: 138192
[startup+720.061 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33674 0 0 0 71868 146 0 0 25 0 1 0 891441424 142209024 33535 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34719 33535 1111 63 0 34656 0
vsize: 138876
[startup+730.061 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33817 0 0 0 72868 147 0 0 25 0 1 0 891441424 142749696 33678 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34851 33678 1111 63 0 34788 0
vsize: 139404
[startup+740.062 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33951 0 0 0 73867 148 0 0 25 0 1 0 891441424 143314944 33810 4294967295 134512640 134716908 3221224576 3221223232 134524259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34989 33810 1111 63 0 34926 0
vsize: 139956
[startup+750.063 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 34126 0 0 0 74866 148 0 0 25 0 1 0 891441424 143990784 33985 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35154 33985 1111 63 0 35091 0
vsize: 140616
[startup+760.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 34361 0 0 0 75866 149 0 0 25 0 1 0 891441424 144936960 34220 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35385 34220 1111 63 0 35322 0
vsize: 141540
[startup+770.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 34582 0 0 0 76865 150 0 0 25 0 1 0 891441424 145948672 34435 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35632 34435 1111 63 0 35569 0
vsize: 142528
[startup+780.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 34821 0 0 0 77864 152 0 0 25 0 1 0 891441424 147030016 34674 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35896 34674 1111 63 0 35833 0
vsize: 143584
[startup+790.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 35081 0 0 0 78863 153 0 0 25 0 1 0 891441424 147976192 34934 4294967295 134512640 134716908 3221224576 3221223164 134535554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36127 34934 1111 63 0 36064 0
vsize: 144508
[startup+800.065 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 35348 0 0 0 79862 154 0 0 25 0 1 0 891441424 149057536 35201 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36391 35201 1111 63 0 36328 0
vsize: 145564
[startup+810.066 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 35577 0 0 0 80861 155 0 0 25 0 1 0 891441424 150003712 35429 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36622 35429 1111 63 0 36559 0
vsize: 146488
[startup+820.066 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 35799 0 0 0 81861 156 0 0 25 0 1 0 891441424 150949888 35651 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36853 35651 1111 63 0 36790 0
vsize: 147412
[startup+830.067 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 36005 0 0 0 82859 157 0 0 25 0 1 0 891441424 151777280 35857 4294967295 134512640 134716908 3221224576 3221223360 134529240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37055 35857 1111 63 0 36992 0
vsize: 148220
[startup+840.066 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 36222 0 0 0 83858 158 0 0 25 0 1 0 891441424 152727552 36074 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37287 36074 1111 63 0 37224 0
vsize: 149148
[startup+850.068 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 36473 0 0 0 84858 159 0 0 25 0 1 0 891441424 153739264 36316 4294967295 134512640 134716908 3221224576 3221223232 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37534 36316 1111 63 0 37471 0
vsize: 150136
[startup+860.068 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 36798 0 0 0 85857 160 0 0 25 0 1 0 891441424 155090944 36641 4294967295 134512640 134716908 3221224576 3221223208 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37864 36641 1111 63 0 37801 0
vsize: 151456
[startup+870.069 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 37134 0 0 0 86856 161 0 0 25 0 1 0 891441424 156487680 36977 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38205 36977 1111 63 0 38142 0
vsize: 152820
[startup+880.069 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 37432 0 0 0 87855 163 0 0 25 0 1 0 891441424 157720576 37274 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38506 37274 1111 63 0 38443 0
vsize: 154024
[startup+890.069 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 37736 0 0 0 88854 164 0 0 25 0 1 0 891441424 159129600 37578 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38850 37578 1111 63 0 38787 0
vsize: 155400
[startup+900.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 37995 0 0 0 89853 165 0 0 25 0 1 0 891441424 160141312 37828 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39097 37828 1111 63 0 39034 0
vsize: 156388
[startup+910.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38227 0 0 0 90853 165 0 0 25 0 1 0 891441424 161087488 38060 4294967295 134512640 134716908 3221224576 3221223164 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39328 38060 1111 63 0 39265 0
vsize: 157312
[startup+920.071 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38427 0 0 0 91853 166 0 0 25 0 1 0 891441424 162103296 38259 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39576 38259 1111 63 0 39513 0
vsize: 158304
[startup+930.072 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38566 0 0 0 92853 166 0 0 25 0 1 0 891441424 162672640 38396 4294967295 134512640 134716908 3221224576 3221223168 134549751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39715 38396 1111 63 0 39652 0
vsize: 158860
[startup+940.072 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38683 0 0 0 93852 166 0 0 25 0 1 0 891441424 163115008 38512 4294967295 134512640 134716908 3221224576 3221223228 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39823 38512 1111 63 0 39760 0
vsize: 159292
[startup+950.072 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38800 0 0 0 94852 167 0 0 25 0 1 0 891441424 163520512 38629 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39922 38629 1111 63 0 39859 0
vsize: 159688
[startup+960.073 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39012 0 0 0 95852 167 0 0 25 0 1 0 891441424 164466688 38841 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40153 38842 1111 63 0 40090 0
vsize: 160612
[startup+970.073 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39224 0 0 0 96851 168 0 0 25 0 1 0 891441424 165343232 39053 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40367 39053 1111 63 0 40304 0
vsize: 161468
[startup+980.074 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39437 0 0 0 97850 170 0 0 25 0 1 0 891441424 166154240 39266 4294967295 134512640 134716908 3221224576 3221223244 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40565 39266 1111 63 0 40502 0
vsize: 162260
[startup+990.075 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39631 0 0 0 98849 171 0 0 25 0 1 0 891441424 166965248 39460 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40763 39460 1111 63 0 40700 0
vsize: 163052
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39816 0 0 0 99848 172 0 0 25 0 1 0 891441424 167776256 39645 4294967295 134512640 134716908 3221224576 3221223280 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40961 39645 1111 63 0 40898 0
vsize: 163844
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 40027 0 0 0 100847 173 0 0 25 0 1 0 891441424 168587264 39856 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41159 39856 1111 63 0 41096 0
vsize: 164636
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 40430 0 0 0 101846 175 0 0 25 0 1 0 891441424 170209280 40259 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41555 40259 1111 63 0 41492 0
vsize: 166220
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 40623 0 0 0 102845 175 0 0 25 0 1 0 891441424 171020288 40452 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41753 40452 1111 63 0 41690 0
vsize: 167012
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 40936 0 0 0 103844 176 0 0 25 0 1 0 891441424 172224512 40683 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42047 40683 1111 63 0 41984 0
vsize: 168188
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41101 0 0 0 104844 178 0 0 25 0 1 0 891441424 172900352 40848 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42212 40848 1111 63 0 42149 0
vsize: 168848
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41255 0 0 0 105844 178 0 0 25 0 1 0 891441424 173625344 41002 4294967295 134512640 134716908 3221224576 3221223192 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42389 41002 1111 63 0 42326 0
vsize: 169556
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41387 0 0 0 106843 179 0 0 25 0 1 0 891441424 174166016 41134 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42521 41134 1111 63 0 42458 0
vsize: 170084
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41523 0 0 0 107842 180 0 0 25 0 1 0 891441424 174710784 41270 4294967295 134512640 134716908 3221224576 3221223216 134536655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42654 41270 1111 63 0 42591 0
vsize: 170616
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41687 0 0 0 108842 180 0 0 25 0 1 0 891441424 175251456 41434 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42786 41434 1111 63 0 42723 0
vsize: 171144
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41848 0 0 0 109842 181 0 0 25 0 1 0 891441424 175955968 41593 4294967295 134512640 134716908 3221224576 3221223200 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42958 41593 1111 63 0 42895 0
vsize: 171832
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41980 0 0 0 110841 182 0 0 25 0 1 0 891441424 176496640 41725 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43090 41725 1111 63 0 43027 0
vsize: 172360
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42136 0 0 0 111841 182 0 0 25 0 1 0 891441424 177172480 41881 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43255 41881 1111 63 0 43192 0
vsize: 173020
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42248 0 0 0 112840 183 0 0 25 0 1 0 891441424 177577984 41993 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43354 41993 1111 63 0 43291 0
vsize: 173416
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42412 0 0 0 113840 184 0 0 25 0 1 0 891441424 178282496 42154 4294967295 134512640 134716908 3221224576 3221223360 134529075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43526 42154 1111 63 0 43463 0
vsize: 174104
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42537 0 0 0 114840 184 0 0 25 0 1 0 891441424 178823168 42279 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43658 42279 1111 63 0 43595 0
vsize: 174632
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42630 0 0 0 115840 185 0 0 25 0 1 0 891441424 179232768 42372 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43758 42372 1111 63 0 43695 0
vsize: 175032
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42936 0 0 0 116838 186 0 0 25 0 1 0 891441424 180449280 42678 4294967295 134512640 134716908 3221224576 3221223184 134548641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44055 42678 1111 63 0 43992 0
vsize: 176220
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 8574
Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42936 0 0 0 116838 186 0 0 25 0 1 0 891441424 180449280 42678 4294967295 134512640 134716908 3221224576 3221223184 134548641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44055 42678 1111 63 0 43992 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.1
CPU user time (s): 1173.14
CPU system time (s): 1.9527
CPU usage (%): 100.014
Max. virtual memory (Kb): 176220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####