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-chnl15_16_pb.cnf.cr.opb
MD5SUM	3f8902c4e8af50006f671e2bddb3e9aa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	17
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	480
Total number of constraints	62
Number of constraints which are clauses	32
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	16
Trace number 39381

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 07:11:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27447 boxname=wulflinc3 idbench=5 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  3f8902c4e8af50006f671e2bddb3e9aa  /oldhome/oroussel/tmp/wulflinc3/normalized-chnl15_16_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl15_16_pb.cnf.cr.opb
IDLAUNCH: 27447
/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:        282792 kB
Buffers:         33908 kB
Cached:         694744 kB
SwapCached:        240 kB
Active:          61368 kB
Inactive:       669732 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        282540 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15184 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:31:27 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 27447 7 1175.13 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 480 variables and 62 constraints.
c After prepocess the problem consists of 480 variables and 62 constraints.
c preprocess terminated 0.12 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.08 0.02 0.01 2/54 8238
Raw data (stat): 8238 (runsolver) R 8237 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891086101 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 3303 0 15 0 953 9 0 0 25 0 1 0 891086101 16707584 3236 4294967295 134512640 134716908 3221224576 3221223360 134529249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4079 3236 1111 63 0 4016 0
vsize: 16316
[startup+20.0014 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 4956 0 15 0 1946 16 0 0 25 0 1 0 891086101 23490560 4889 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5735 4889 1111 63 0 5672 0
vsize: 22940
[startup+30.0022 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 6375 0 15 0 2941 21 0 0 25 0 1 0 891086101 29302784 6308 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7154 6308 1111 63 0 7091 0
vsize: 28616
[startup+40.002 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 7313 0 15 0 3937 25 0 0 25 0 1 0 891086101 33251328 7246 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8118 7246 1111 63 0 8055 0
vsize: 32472
[startup+50.0029 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 8521 0 15 0 4932 30 0 0 25 0 1 0 891086101 38256640 8453 4294967295 134512640 134716908 3221224576 3221223072 134699621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9340 8453 1111 63 0 9277 0
vsize: 37360
[startup+60.0027 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 9587 0 15 0 5928 34 0 0 25 0 1 0 891086101 42586112 9517 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10397 9517 1111 63 0 10334 0
vsize: 41588
[startup+70.0035 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 10389 0 15 0 6926 36 0 0 25 0 1 0 891086101 45998080 10318 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11230 10318 1111 63 0 11167 0
vsize: 44920
[startup+80.0044 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 11302 0 15 0 7923 40 0 0 25 0 1 0 891086101 49692672 11227 4294967295 134512640 134716908 3221224576 3221223168 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12132 11227 1111 63 0 12069 0
vsize: 48528
[startup+90.0042 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 12131 0 15 0 8919 44 0 0 25 0 1 0 891086101 53071872 12056 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12957 12056 1111 63 0 12894 0
vsize: 51828
[startup+100.004 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 12905 0 15 0 9916 47 0 0 25 0 1 0 891086101 56180736 12830 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13716 12830 1111 63 0 13653 0
vsize: 54864
[startup+110.004 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 13469 0 15 0 10914 49 0 0 25 0 1 0 891086101 58662912 13393 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14322 13393 1111 63 0 14259 0
vsize: 57288
[startup+120.005 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 14049 0 15 0 11911 52 0 0 25 0 1 0 891086101 61009920 13973 4294967295 134512640 134716908 3221224576 3221223096 134535482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14895 13973 1111 63 0 14832 0
vsize: 59580
[startup+130.005 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 14577 0 15 0 12909 55 0 0 25 0 1 0 891086101 63209472 14501 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15432 14501 1111 63 0 15369 0
vsize: 61728
[startup+140.004 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 15052 0 15 0 13907 57 0 0 25 0 1 0 891086101 65138688 14974 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15903 14974 1111 63 0 15840 0
vsize: 63612
[startup+150.004 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 15520 0 15 0 14904 59 0 0 25 0 1 0 891086101 67235840 15439 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16415 15439 1111 63 0 16352 0
vsize: 65660
[startup+160.004 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 16797 0 15 0 15900 64 0 0 25 0 1 0 891086101 72552448 16717 4294967295 134512640 134716908 3221224576 3221223048 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17713 16717 1111 63 0 17650 0
vsize: 70852
[startup+170.005 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 17915 0 15 0 16897 68 0 0 25 0 1 0 891086101 77025280 17834 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18805 17834 1111 63 0 18742 0
vsize: 75220
[startup+180.005 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 18642 0 15 0 17893 71 0 0 25 0 1 0 891086101 80027648 18560 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19538 18560 1111 63 0 19475 0
vsize: 78152
[startup+190.004 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 19575 0 15 0 18890 74 0 0 25 0 1 0 891086101 83947520 19492 4294967295 134512640 134716908 3221224576 3221223336 134552570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20495 19492 1111 63 0 20432 0
vsize: 81980
[startup+200.005 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 20398 0 15 0 19887 78 0 0 25 0 1 0 891086101 87326720 20314 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21320 20314 1111 63 0 21257 0
vsize: 85280
[startup+210.005 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 21017 0 15 0 20885 80 0 0 25 0 1 0 891086101 89767936 20933 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21916 20933 1111 63 0 21853 0
vsize: 87664
[startup+220.006 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 21590 0 15 0 21883 82 0 0 25 0 1 0 891086101 92217344 21506 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22514 21506 1111 63 0 22451 0
vsize: 90056
[startup+230.007 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 22077 0 15 0 22881 85 0 0 25 0 1 0 891086101 94126080 21993 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22980 21993 1111 63 0 22917 0
vsize: 91920
[startup+240.007 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 22805 0 15 0 23879 87 0 0 25 0 1 0 891086101 97136640 22721 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23715 22721 1111 63 0 23652 0
vsize: 94860
[startup+250.006 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 23420 0 15 0 24877 89 0 0 25 0 1 0 891086101 99704832 23336 4294967295 134512640 134716908 3221224576 3221223084 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24342 23336 1111 63 0 24279 0
vsize: 97368
[startup+260.006 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 24066 0 15 0 25874 92 0 0 25 0 1 0 891086101 102313984 23982 4294967295 134512640 134716908 3221224576 3221223168 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24979 23982 1111 63 0 24916 0
vsize: 99916
[startup+270.008 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 24550 0 15 0 26872 94 0 0 25 0 1 0 891086101 104361984 24466 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25479 24466 1111 63 0 25416 0
vsize: 101916
[startup+280.008 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 25213 0 15 0 27870 97 0 0 25 0 1 0 891086101 107065344 25125 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26139 25125 1111 63 0 26076 0
vsize: 104556
[startup+290.008 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 25845 0 15 0 28868 99 0 0 25 0 1 0 891086101 109682688 25757 4294967295 134512640 134716908 3221224576 3221223344 134529138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26778 25757 1111 63 0 26715 0
vsize: 107112
[startup+300.009 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 26567 0 15 0 29865 102 0 0 25 0 1 0 891086101 112701440 26479 4294967295 134512640 134716908 3221224576 3221223032 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27515 26479 1111 63 0 27452 0
vsize: 110060
[startup+310.008 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 27011 0 15 0 30863 104 0 0 25 0 1 0 891086101 114675712 26920 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27997 26920 1111 63 0 27934 0
vsize: 111988
[startup+320.009 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 27394 0 15 0 31862 105 0 0 25 0 1 0 891086101 116219904 27302 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28374 27302 1111 63 0 28311 0
vsize: 113496
[startup+330.01 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 27745 0 15 0 32861 106 0 0 25 0 1 0 891086101 117784576 27651 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28756 27651 1111 63 0 28693 0
vsize: 115024
[startup+340.01 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 28252 0 15 0 33860 108 0 0 25 0 1 0 891086101 119943168 28156 4294967295 134512640 134716908 3221224576 3221223216 134698487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29283 28156 1111 63 0 29220 0
vsize: 117132
[startup+350.01 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 29177 0 15 0 34857 110 0 0 25 0 1 0 891086101 123727872 29081 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30207 29081 1111 63 0 30144 0
vsize: 120828
[startup+360.011 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 29807 0 15 0 35856 112 0 0 25 0 1 0 891086101 126296064 29711 4294967295 134512640 134716908 3221224576 3221223296 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30834 29711 1111 63 0 30771 0
vsize: 123336
[startup+370.011 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 30279 0 15 0 36854 114 0 0 25 0 1 0 891086101 128188416 30183 4294967295 134512640 134716908 3221224576 3221223196 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31296 30183 1111 63 0 31233 0
vsize: 125184
[startup+380.011 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 30949 0 15 0 37852 117 0 0 25 0 1 0 891086101 131125248 30853 4294967295 134512640 134716908 3221224576 3221223168 134698815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32013 30853 1111 63 0 31950 0
vsize: 128052
[startup+390.011 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 31522 0 15 0 38849 119 0 0 25 0 1 0 891086101 133476352 31424 4294967295 134512640 134716908 3221224576 3221223360 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32587 31424 1111 63 0 32524 0
vsize: 130348
[startup+400.012 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 31928 0 15 0 39848 121 0 0 25 0 1 0 891086101 135098368 31830 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32983 31830 1111 63 0 32920 0
vsize: 131932
[startup+410.012 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 32434 0 15 0 40846 122 0 0 25 0 1 0 891086101 137162752 32329 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33487 32329 1111 63 0 33424 0
vsize: 133948
[startup+420.012 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 32933 0 15 0 41844 125 0 0 25 0 1 0 891086101 139190272 32828 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33982 32828 1111 63 0 33919 0
vsize: 135928
[startup+430.012 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 33218 0 15 0 42843 126 0 0 25 0 1 0 891086101 140427264 33113 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34284 33113 1111 63 0 34221 0
vsize: 137136
[startup+440.012 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 33628 0 15 0 43842 128 0 0 25 0 1 0 891086101 142049280 33523 4294967295 134512640 134716908 3221224576 3221223168 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34680 33523 1111 63 0 34617 0
vsize: 138720
[startup+450.012 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 34061 0 15 0 44840 129 0 0 25 0 1 0 891086101 143941632 33950 4294967295 134512640 134716908 3221224576 3221223312 134523886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35142 33950 1111 63 0 35079 0
vsize: 140568
[startup+460.013 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 34439 0 15 0 45839 131 0 0 25 0 1 0 891086101 145489920 34328 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35520 34328 1111 63 0 35457 0
vsize: 142080
[startup+470.014 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 34734 0 15 0 46838 132 0 0 25 0 1 0 891086101 146812928 34620 4294967295 134512640 134716908 3221224576 3221223264 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35843 34620 1111 63 0 35780 0
vsize: 143372
[startup+480.013 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 35052 0 15 0 47837 133 0 0 25 0 1 0 891086101 148094976 34935 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36156 34935 1111 63 0 36093 0
vsize: 144624
[startup+490.013 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 35233 0 15 0 48837 134 0 0 25 0 1 0 891086101 148856832 35115 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36342 35115 1111 63 0 36279 0
vsize: 145368
[startup+500.013 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 35445 0 15 0 49836 134 0 0 25 0 1 0 891086101 149811200 35326 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36575 35326 1111 63 0 36512 0
vsize: 146300
[startup+510.013 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 35684 0 15 0 50836 135 0 0 25 0 1 0 891086101 150806528 35561 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36818 35561 1111 63 0 36755 0
vsize: 147272
[startup+520.014 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 36018 0 15 0 51834 137 0 0 25 0 1 0 891086101 152023040 35895 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37115 35895 1111 63 0 37052 0
vsize: 148460
[startup+530.015 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 36283 0 15 0 52833 138 0 0 25 0 1 0 891086101 153124864 36156 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37384 36156 1111 63 0 37321 0
vsize: 149536
[startup+540.014 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 36570 0 15 0 53832 139 0 0 25 0 1 0 891086101 154243072 36442 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37657 36442 1111 63 0 37594 0
vsize: 150628
[startup+550.014 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 36894 0 15 0 54830 141 0 0 25 0 1 0 891086101 155594752 36766 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37987 36766 1111 63 0 37924 0
vsize: 151948
[startup+560.014 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 37204 0 15 0 55830 142 0 0 25 0 1 0 891086101 156811264 37076 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38284 37076 1111 63 0 38221 0
vsize: 153136
[startup+570.015 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 37493 0 15 0 56829 143 0 0 25 0 1 0 891086101 158052352 37365 4294967295 134512640 134716908 3221224576 3221223320 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38587 37365 1111 63 0 38524 0
vsize: 154348
[startup+580.015 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 37755 0 15 0 57828 144 0 0 25 0 1 0 891086101 159105024 37626 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38844 37626 1111 63 0 38781 0
vsize: 155376
[startup+590.015 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 37972 0 15 0 58827 145 0 0 25 0 1 0 891086101 160092160 37839 4294967295 134512640 134716908 3221224576 3221223360 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39085 37839 1111 63 0 39022 0
vsize: 156340
[startup+600.015 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 38178 0 15 0 59826 146 0 0 25 0 1 0 891086101 160768000 38045 4294967295 134512640 134716908 3221224576 3221223132 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39250 38045 1111 63 0 39187 0
vsize: 157000
[startup+610.015 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 38415 0 15 0 60825 147 0 0 25 0 1 0 891086101 161714176 38282 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39481 38282 1111 63 0 39418 0
vsize: 157924
[startup+620.016 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 38607 0 15 0 61824 148 0 0 25 0 1 0 891086101 162533376 38472 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39681 38472 1111 63 0 39618 0
vsize: 158724
[startup+630.017 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 38761 0 15 0 62824 149 0 0 25 0 1 0 891086101 163209216 38626 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39846 38626 1111 63 0 39783 0
vsize: 159384
[startup+640.017 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 39072 0 15 0 63823 150 0 0 25 0 1 0 891086101 164425728 38937 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40143 38937 1111 63 0 40080 0
vsize: 160572
[startup+650.017 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 39317 0 15 0 64822 151 0 0 25 0 1 0 891086101 165371904 39182 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40374 39182 1111 63 0 40311 0
vsize: 161496
[startup+660.016 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 39525 0 15 0 65821 152 0 0 25 0 1 0 891086101 166252544 39390 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40589 39390 1111 63 0 40526 0
vsize: 162356
[startup+670.017 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 39702 0 15 0 66821 153 0 0 25 0 1 0 891086101 167051264 39565 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40784 39565 1111 63 0 40721 0
vsize: 163136
[startup+680.017 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 39880 0 15 0 67821 153 0 0 25 0 1 0 891086101 167878656 39741 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40986 39741 1111 63 0 40923 0
vsize: 163944
[startup+690.017 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 40126 0 15 0 68819 155 0 0 25 0 1 0 891086101 168960000 39987 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41250 39987 1111 63 0 41187 0
vsize: 165000
[startup+700.018 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 40384 0 15 0 69818 156 0 0 25 0 1 0 891086101 169906176 40245 4294967295 134512640 134716908 3221224576 3221223132 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41481 40245 1111 63 0 41418 0
vsize: 165924
[startup+710.018 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 40567 0 15 0 70817 157 0 0 25 0 1 0 891086101 170717184 40428 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41679 40428 1111 63 0 41616 0
vsize: 166716
[startup+720.018 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 40706 0 15 0 71817 158 0 0 25 0 1 0 891086101 171257856 40567 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41811 40567 1111 63 0 41748 0
vsize: 167244
[startup+730.018 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 41344 0 15 0 72814 160 0 0 25 0 1 0 891086101 173891584 41201 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42454 41201 1111 63 0 42391 0
vsize: 169816
[startup+740.018 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 41924 0 15 0 73813 162 0 0 25 0 1 0 891086101 176324608 41781 4294967295 134512640 134716908 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43048 41781 1111 63 0 42985 0
vsize: 172192
[startup+750.018 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 42340 0 15 0 74811 164 0 0 25 0 1 0 891086101 177946624 42197 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43444 42197 1111 63 0 43381 0
vsize: 173776
[startup+760.018 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 42916 0 15 0 75808 167 0 0 25 0 1 0 891086101 180379648 42773 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44038 42773 1111 63 0 43975 0
vsize: 176152
[startup+770.019 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 43381 0 15 0 76806 170 0 0 25 0 1 0 891086101 182272000 43238 4294967295 134512640 134716908 3221224576 3221223280 134528576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44500 43238 1111 63 0 44437 0
vsize: 178000
[startup+780.018 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 43862 0 15 0 77805 171 0 0 25 0 1 0 891086101 184164352 43719 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44962 43719 1111 63 0 44899 0
vsize: 179848
[startup+790.018 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 44269 0 15 0 78803 173 0 0 25 0 1 0 891086101 185921536 44126 4294967295 134512640 134716908 3221224576 3221223296 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45391 44126 1111 63 0 45328 0
vsize: 181564
[startup+800.018 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 44718 0 15 0 79801 175 0 0 25 0 1 0 891086101 187678720 44575 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45820 44575 1111 63 0 45757 0
vsize: 183280
[startup+810.019 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 45061 0 15 0 80801 176 0 0 25 0 1 0 891086101 189165568 44918 4294967295 134512640 134716908 3221224576 3221223296 134535762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46183 44918 1111 63 0 46120 0
vsize: 184732
[startup+820.02 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 45240 0 15 0 81800 176 0 0 25 0 1 0 891086101 189849600 45096 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46350 45096 1111 63 0 46287 0
vsize: 185400
[startup+830.019 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 45514 0 15 0 82799 178 0 0 25 0 1 0 891086101 190988288 45370 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46628 45370 1111 63 0 46565 0
vsize: 186512
[startup+840.019 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 46080 0 15 0 83797 179 0 0 25 0 1 0 891086101 193351680 45930 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47205 45930 1111 63 0 47142 0
vsize: 188820
[startup+850.019 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 46479 0 15 0 84797 180 0 0 25 0 1 0 891086101 194973696 46329 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47601 46329 1111 63 0 47538 0
vsize: 190404
[startup+860.019 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 46890 0 15 0 85795 182 0 0 25 0 1 0 891086101 196595712 46740 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47997 46740 1111 63 0 47934 0
vsize: 191988
[startup+870.02 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 47179 0 15 0 86795 183 0 0 25 0 1 0 891086101 197812224 47029 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48294 47029 1111 63 0 48231 0
vsize: 193176
[startup+880.021 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 47541 0 15 0 87793 185 0 0 25 0 1 0 891086101 199163904 47391 4294967295 134512640 134716908 3221224576 3221223196 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48624 47391 1111 63 0 48561 0
vsize: 194496
[startup+890.02 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 47816 0 15 0 88792 185 0 0 25 0 1 0 891086101 200458240 47666 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48940 47666 1111 63 0 48877 0
vsize: 195760
[startup+900.02 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 48009 0 15 0 89792 186 0 0 25 0 1 0 891086101 201134080 47859 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49105 47859 1111 63 0 49042 0
vsize: 196420
[startup+910.02 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 48305 0 15 0 90791 187 0 0 25 0 1 0 891086101 202518528 48151 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49443 48151 1111 63 0 49380 0
vsize: 197772
[startup+920.021 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 48599 0 15 0 91790 188 0 0 25 0 1 0 891086101 203747328 48445 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49743 48445 1111 63 0 49680 0
vsize: 198972
[startup+930.021 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 48822 0 15 0 92790 189 0 0 25 0 1 0 891086101 204693504 48668 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49974 48668 1111 63 0 49911 0
vsize: 199896
[startup+940.021 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 49052 0 15 0 93789 190 0 0 25 0 1 0 891086101 205725696 48893 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50226 48893 1111 63 0 50163 0
vsize: 200904
[startup+950.021 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 49364 0 15 0 94787 191 0 0 25 0 1 0 891086101 206942208 49205 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50523 49205 1111 63 0 50460 0
vsize: 202092
[startup+960.021 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 49536 0 15 0 95787 192 0 0 25 0 1 0 891086101 207683584 49377 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50704 49377 1111 63 0 50641 0
vsize: 202816
[startup+970.022 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 49824 0 15 0 96786 193 0 0 25 0 1 0 891086101 208965632 49656 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51017 49656 1111 63 0 50954 0
vsize: 204068
[startup+980.023 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 50081 0 15 0 97785 194 0 0 25 0 1 0 891086101 210112512 49909 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51297 49909 1111 63 0 51234 0
vsize: 205188
[startup+990.023 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 50374 0 15 0 98784 195 0 0 25 0 1 0 891086101 211263488 50202 4294967295 134512640 134716908 3221224576 3221223200 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51578 50202 1111 63 0 51515 0
vsize: 206312
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 50536 0 15 0 99784 196 0 0 25 0 1 0 891086101 211804160 50364 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51710 50364 1111 63 0 51647 0
vsize: 206840
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 50746 0 15 0 100784 196 0 0 25 0 1 0 891086101 212680704 50571 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51924 50571 1111 63 0 51861 0
vsize: 207696
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 50963 0 15 0 101783 197 0 0 25 0 1 0 891086101 213757952 50778 4294967295 134512640 134716908 3221224576 3221223264 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52187 50778 1111 63 0 52124 0
vsize: 208748
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 51121 0 15 0 102782 198 0 0 25 0 1 0 891086101 214499328 50936 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52368 50936 1111 63 0 52305 0
vsize: 209472
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 51469 0 15 0 103782 199 0 0 25 0 1 0 891086101 215916544 51282 4294967295 134512640 134716908 3221224576 3221223132 134535906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52714 51282 1111 63 0 52651 0
vsize: 210856
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 51831 0 15 0 104780 200 0 0 25 0 1 0 891086101 217403392 51644 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53077 51644 1111 63 0 53014 0
vsize: 212308
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 52031 0 15 0 105780 201 0 0 25 0 1 0 891086101 218214400 51844 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53275 51844 1111 63 0 53212 0
vsize: 213100
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 52195 0 15 0 106779 202 0 0 25 0 1 0 891086101 218755072 52008 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53407 52008 1111 63 0 53344 0
vsize: 213628
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 52414 0 15 0 107777 203 0 0 25 0 1 0 891086101 219795456 52224 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53661 52224 1111 63 0 53598 0
vsize: 214644
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 52618 0 15 0 108776 205 0 0 25 0 1 0 891086101 220606464 52428 4294967295 134512640 134716908 3221224576 3221223168 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53859 52428 1111 63 0 53796 0
vsize: 215436
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 52856 0 15 0 109775 206 0 0 25 0 1 0 891086101 221552640 52666 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54090 52666 1111 63 0 54027 0
vsize: 216360
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 53106 0 15 0 110774 207 0 0 25 0 1 0 891086101 222617600 52916 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54350 52916 1111 63 0 54287 0
vsize: 217400
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 53304 0 15 0 111773 209 0 0 25 0 1 0 891086101 223428608 53114 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54548 53114 1111 63 0 54485 0
vsize: 218192
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 53513 0 15 0 112772 210 0 0 25 0 1 0 891086101 224313344 53323 4294967295 134512640 134716908 3221224576 3221223064 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54764 53323 1111 63 0 54701 0
vsize: 219056
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 53796 0 15 0 113771 211 0 0 25 0 1 0 891086101 225570816 53605 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55071 53605 1111 63 0 55008 0
vsize: 220284
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 54060 0 15 0 114769 212 0 0 25 0 1 0 891086101 226779136 53867 4294967295 134512640 134716908 3221224576 3221223160 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55366 53867 1111 63 0 55303 0
vsize: 221464
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 54276 0 15 0 115769 213 0 0 25 0 1 0 891086101 227590144 54083 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55564 54083 1111 63 0 55501 0
vsize: 222256
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 54489 0 15 0 116768 214 0 0 25 0 1 0 891086101 228401152 54296 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55762 54296 1111 63 0 55699 0
vsize: 223048
[startup+1175.33 s]
Raw data (loadavg): 0.99 0.97 0.68 1/53 8238
Raw data (stat): 8238 (bsolo_lpr-v2) R 8237 20224 20223 0 -1 0 54489 0 15 0 116768 214 0 0 25 0 1 0 891086101 228401152 54296 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55762 54296 1111 63 0 55699 0
vsize: 0

Child status: 0
Real time (s): 1175.33
CPU time (s): 1175.13
CPU user time (s): 1172.87
CPU system time (s): 2.25166
CPU usage (%): 99.983
Max. virtual memory (Kb): 223048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####