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/manquinho/ttp/normalized-circ8_3.opb
MD5SUM	2ea3853c4fb57dccc00d289069858df9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	172
Optimality of the best value was proved	NO
Number of terms in the objective function	448
Biggest coefficient in the objective function	4
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	1024
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	24
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	1024
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.06
Number of variables	1344
Total number of constraints	16096
Number of constraints which are clauses	8208
Number of constraints which are cardinality constraints (but not clauses)	496
Number of constraints which are nor clauses,nor cardinality constraints	7392
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 39636

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 15:20:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27701 boxname=wulflinc3 idbench=259 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  2ea3853c4fb57dccc00d289069858df9  /oldhome/oroussel/tmp/wulflinc3/normalized-circ8_3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-circ8_3.opb
IDLAUNCH: 27701
/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:        272712 kB
Buffers:         34500 kB
Cached:         703740 kB
SwapCached:        240 kB
Active:          65196 kB
Inactive:       675496 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        272460 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15520 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:40:08 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 27701 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1344 variables and 16376 constraints.
c After prepocess the problem consists of 1344 variables and 15618 constraints.
c preprocess terminated 52.691 s
c Initial Lower Bound: 96
c Lower Bound Elapsed time: 69.3205
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.85 0.97 0.93 1/54 12322
Raw data (stat): 12322 (runsolver) R 12321 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894018547 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.0009 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 6037 0 0 0 982 14 0 0 25 0 1 0 894018547 25317376 5317 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6181 5317 1111 63 0 6118 0
vsize: 24724
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 6727 0 0 0 1980 17 0 0 25 0 1 0 894018547 26238976 5570 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6406 5570 1111 63 0 6343 0
vsize: 25624
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 7198 0 0 0 2980 17 0 0 25 0 1 0 894018547 27766784 5938 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 5938 1111 63 0 6716 0
vsize: 27116
[startup+40.0021 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 7430 0 0 0 3979 18 0 0 25 0 1 0 894018547 28479488 6110 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6110 1111 63 0 6890 0
vsize: 27812
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 7430 0 0 0 4979 19 0 0 25 0 1 0 894018547 28479488 6110 4294967295 134512640 134716908 3221224576 3221223356 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6110 1111 63 0 6890 0
vsize: 27812
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 7635 0 0 0 5977 20 0 0 25 0 1 0 894018547 29270016 6315 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7146 6315 1111 63 0 7083 0
vsize: 28584
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 7778 0 0 0 6975 22 0 0 25 0 1 0 894018547 29523968 6395 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7208 6395 1111 63 0 7145 0
vsize: 28832
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 7861 0 0 0 7974 23 0 0 25 0 1 0 894018547 29880320 6478 4294967295 134512640 134716908 3221224576 3221222672 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7295 6478 1111 63 0 7232 0
vsize: 29180
[startup+90.003 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 7906 0 0 0 8974 24 0 0 25 0 1 0 894018547 30064640 6523 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7340 6523 1111 63 0 7277 0
vsize: 29360
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 8080 0 0 0 9973 24 0 0 25 0 1 0 894018547 30699520 6682 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 6682 1111 63 0 7432 0
vsize: 29980
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 8116 0 0 0 10972 26 0 0 25 0 1 0 894018547 30846976 6718 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7531 6718 1111 63 0 7468 0
vsize: 30124
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 8147 0 0 0 11972 26 0 0 25 0 1 0 894018547 30973952 6749 4294967295 134512640 134716908 3221224576 3221222688 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7562 6749 1111 63 0 7499 0
vsize: 30248
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 11892 0 0 0 12964 34 0 0 25 0 1 0 894018547 44552192 8899 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10877 8899 1111 63 0 10814 0
vsize: 43508
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 12589 0 0 0 13963 35 0 0 25 0 1 0 894018547 42999808 9139 4294967295 134512640 134716908 3221224576 3221220688 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10498 9139 1111 63 0 10435 0
vsize: 41992
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 12707 0 0 0 14962 36 0 0 25 0 1 0 894018547 43429888 9257 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10603 9257 1111 63 0 10540 0
vsize: 42412
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 12848 0 0 0 15962 37 0 0 25 0 1 0 894018547 43921408 9398 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10723 9398 1111 63 0 10660 0
vsize: 42892
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 12907 0 0 0 16962 37 0 0 25 0 1 0 894018547 44183552 9457 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 9457 1111 63 0 10724 0
vsize: 43148
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 12965 0 0 0 17962 37 0 0 25 0 1 0 894018547 44457984 9515 4294967295 134512640 134716908 3221224576 3221220624 1074969440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10854 9515 1111 63 0 10791 0
vsize: 43416
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13011 0 0 0 18962 38 0 0 25 0 1 0 894018547 44752896 9561 4294967295 134512640 134716908 3221224576 3221220524 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10926 9561 1111 63 0 10863 0
vsize: 43704
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13083 0 0 0 19961 38 0 0 25 0 1 0 894018547 45051904 9633 4294967295 134512640 134716908 3221224576 3221221136 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10999 9633 1111 63 0 10936 0
vsize: 43996
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13084 0 0 0 20962 38 0 0 25 0 1 0 894018547 45051904 9634 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10999 9634 1111 63 0 10936 0
vsize: 43996
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13126 0 0 0 21962 38 0 0 25 0 1 0 894018547 45363200 9676 4294967295 134512640 134716908 3221224576 3221220752 1074961290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9676 1111 63 0 11012 0
vsize: 44300
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13131 0 0 0 22962 38 0 0 25 0 1 0 894018547 45363200 9681 4294967295 134512640 134716908 3221224576 3221220524 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9681 1111 63 0 11012 0
vsize: 44300
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13131 0 0 0 23962 38 0 0 25 0 1 0 894018547 45363200 9681 4294967295 134512640 134716908 3221224576 3221221400 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9681 1111 63 0 11012 0
vsize: 44300
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13131 0 0 0 24962 38 0 0 25 0 1 0 894018547 45363200 9681 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9681 1111 63 0 11012 0
vsize: 44300
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13131 0 0 0 25963 38 0 0 25 0 1 0 894018547 45363200 9681 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9681 1111 63 0 11012 0
vsize: 44300
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13131 0 0 0 26963 38 0 0 25 0 1 0 894018547 45363200 9681 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9681 1111 63 0 11012 0
vsize: 44300
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13171 0 0 0 27963 38 0 0 25 0 1 0 894018547 45703168 9721 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9721 1111 63 0 11095 0
vsize: 44632
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13190 0 0 0 28963 38 0 0 25 0 1 0 894018547 45703168 9736 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9736 1111 63 0 11095 0
vsize: 44632
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13190 0 0 0 29963 38 0 0 25 0 1 0 894018547 45703168 9736 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9736 1111 63 0 11095 0
vsize: 44632
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13190 0 0 0 30963 38 0 0 25 0 1 0 894018547 45703168 9736 4294967295 134512640 134716908 3221224576 3221221024 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9736 1111 63 0 11095 0
vsize: 44632
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 13190 0 0 0 31963 38 0 0 25 0 1 0 894018547 45703168 9736 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9736 1111 63 0 11095 0
vsize: 44632
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36408 0 0 0 32915 87 0 0 25 0 1 0 894018547 31526912 6970 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 6970 1111 63 0 7634 0
vsize: 30788
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36410 0 0 0 33913 88 0 0 25 0 1 0 894018547 31526912 6972 4294967295 134512640 134716908 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 6972 1111 63 0 7634 0
vsize: 30788
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36411 0 0 0 34913 88 0 0 25 0 1 0 894018547 31526912 6973 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 6973 1111 63 0 7634 0
vsize: 30788
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36411 0 0 0 35913 88 0 0 25 0 1 0 894018547 31526912 6973 4294967295 134512640 134716908 3221224576 3221223120 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 6973 1111 63 0 7634 0
vsize: 30788
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36446 0 0 0 36912 89 0 0 25 0 1 0 894018547 31657984 7008 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7729 7008 1111 63 0 7666 0
vsize: 30916
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36507 0 0 0 37912 90 0 0 25 0 1 0 894018547 31924224 7069 4294967295 134512640 134716908 3221224576 3221223152 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7794 7069 1111 63 0 7731 0
vsize: 31176
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36599 0 0 0 38911 91 0 0 25 0 1 0 894018547 32329728 7161 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 7161 1111 63 0 7830 0
vsize: 31572
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36638 0 0 0 39911 91 0 0 25 0 1 0 894018547 32464896 7200 4294967295 134512640 134716908 3221224576 3221223168 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7926 7200 1111 63 0 7863 0
vsize: 31704
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36692 0 0 0 40911 91 0 0 25 0 1 0 894018547 32735232 7254 4294967295 134512640 134716908 3221224576 3221223376 134597733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7992 7254 1111 63 0 7929 0
vsize: 31968
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36757 0 0 0 41910 92 0 0 25 0 1 0 894018547 33005568 7319 4294967295 134512640 134716908 3221224576 3221223228 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7319 1111 63 0 7995 0
vsize: 32232
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36822 0 0 0 42910 92 0 0 25 0 1 0 894018547 33275904 7384 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8124 7384 1111 63 0 8061 0
vsize: 32496
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36891 0 0 0 43910 93 0 0 25 0 1 0 894018547 33546240 7453 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8190 7453 1111 63 0 8127 0
vsize: 32760
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 36954 0 0 0 44909 93 0 0 25 0 1 0 894018547 33816576 7516 4294967295 134512640 134716908 3221224576 3221223120 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 7516 1111 63 0 8193 0
vsize: 33024
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37026 0 0 0 45909 94 0 0 25 0 1 0 894018547 34086912 7588 4294967295 134512640 134716908 3221224576 3221223160 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8322 7588 1111 63 0 8259 0
vsize: 33288
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37111 0 0 0 46908 95 0 0 25 0 1 0 894018547 34492416 7673 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8421 7673 1111 63 0 8358 0
vsize: 33684
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37180 0 0 0 47908 96 0 0 25 0 1 0 894018547 34762752 7742 4294967295 134512640 134716908 3221224576 3221223136 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8487 7742 1111 63 0 8424 0
vsize: 33948
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37241 0 0 0 48907 97 0 0 25 0 1 0 894018547 35033088 7803 4294967295 134512640 134716908 3221224576 3221223168 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8553 7803 1111 63 0 8490 0
vsize: 34212
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37328 0 0 0 49906 97 0 0 25 0 1 0 894018547 35303424 7890 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8619 7890 1111 63 0 8556 0
vsize: 34476
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37413 0 0 0 50906 97 0 0 25 0 1 0 894018547 35708928 7975 4294967295 134512640 134716908 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8718 7975 1111 63 0 8655 0
vsize: 34872
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37463 0 0 0 51906 98 0 0 25 0 1 0 894018547 35844096 8025 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8751 8025 1111 63 0 8688 0
vsize: 35004
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37512 0 0 0 52906 98 0 0 25 0 1 0 894018547 36114432 8074 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8817 8074 1111 63 0 8754 0
vsize: 35268
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37587 0 0 0 53905 99 0 0 25 0 1 0 894018547 36384768 8149 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8883 8149 1111 63 0 8820 0
vsize: 35532
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37658 0 0 0 54905 100 0 0 25 0 1 0 894018547 36655104 8220 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8949 8220 1111 63 0 8886 0
vsize: 35796
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37734 0 0 0 55904 100 0 0 25 0 1 0 894018547 37060608 8296 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9048 8296 1111 63 0 8985 0
vsize: 36192
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37805 0 0 0 56904 101 0 0 25 0 1 0 894018547 37330944 8367 4294967295 134512640 134716908 3221224576 3221223164 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9114 8367 1111 63 0 9051 0
vsize: 36456
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37891 0 0 0 57904 101 0 0 25 0 1 0 894018547 37601280 8453 4294967295 134512640 134716908 3221224576 3221223232 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9180 8453 1111 63 0 9117 0
vsize: 36720
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 37936 0 0 0 58903 102 0 0 25 0 1 0 894018547 37871616 8498 4294967295 134512640 134716908 3221224576 3221223136 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9246 8498 1111 63 0 9183 0
vsize: 36984
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38013 0 0 0 59903 102 0 0 25 0 1 0 894018547 38141952 8575 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9312 8575 1111 63 0 9249 0
vsize: 37248
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38070 0 0 0 60902 103 0 0 25 0 1 0 894018547 38408192 8632 4294967295 134512640 134716908 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9377 8632 1111 63 0 9314 0
vsize: 37508
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38136 0 0 0 61901 104 0 0 25 0 1 0 894018547 38678528 8698 4294967295 134512640 134716908 3221224576 3221223168 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9443 8698 1111 63 0 9380 0
vsize: 37772
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38207 0 0 0 62901 105 0 0 25 0 1 0 894018547 38948864 8769 4294967295 134512640 134716908 3221224576 3221223280 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9509 8769 1111 63 0 9446 0
vsize: 38036
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38287 0 0 0 63901 105 0 0 25 0 1 0 894018547 39219200 8849 4294967295 134512640 134716908 3221224576 3221223332 134655251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9575 8849 1111 63 0 9512 0
vsize: 38300
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38357 0 0 0 64900 106 0 0 25 0 1 0 894018547 39489536 8919 4294967295 134512640 134716908 3221224576 3221223352 134613525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9641 8919 1111 63 0 9578 0
vsize: 38564
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38428 0 0 0 65900 106 0 0 25 0 1 0 894018547 39895040 8990 4294967295 134512640 134716908 3221224576 3221223136 134698818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9740 8990 1111 63 0 9677 0
vsize: 38960
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38498 0 0 0 66900 107 0 0 25 0 1 0 894018547 40165376 9060 4294967295 134512640 134716908 3221224576 3221223200 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9806 9060 1111 63 0 9743 0
vsize: 39224
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38571 0 0 0 67899 108 0 0 25 0 1 0 894018547 40435712 9133 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9872 9133 1111 63 0 9809 0
vsize: 39488
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38631 0 0 0 68899 108 0 0 25 0 1 0 894018547 40706048 9193 4294967295 134512640 134716908 3221224576 3221223172 134543703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9938 9193 1111 63 0 9875 0
vsize: 39752
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38702 0 0 0 69898 109 0 0 25 0 1 0 894018547 40976384 9264 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10004 9264 1111 63 0 9941 0
vsize: 40016
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38764 0 0 0 70898 109 0 0 25 0 1 0 894018547 41246720 9326 4294967295 134512640 134716908 3221224576 3221223216 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10070 9326 1111 63 0 10007 0
vsize: 40280
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38805 0 0 0 71898 110 0 0 25 0 1 0 894018547 41381888 9367 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10103 9367 1111 63 0 10040 0
vsize: 40412
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38860 0 0 0 72897 110 0 0 25 0 1 0 894018547 41652224 9422 4294967295 134512640 134716908 3221224576 3221223248 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10169 9422 1111 63 0 10106 0
vsize: 40676
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38915 0 0 0 73897 110 0 0 25 0 1 0 894018547 41787392 9477 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10202 9477 1111 63 0 10139 0
vsize: 40808
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 38986 0 0 0 74897 111 0 0 25 0 1 0 894018547 42192896 9548 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10301 9548 1111 63 0 10238 0
vsize: 41204
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39065 0 0 0 75897 111 0 0 25 0 1 0 894018547 42463232 9627 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10367 9627 1111 63 0 10304 0
vsize: 41468
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39143 0 0 0 76897 111 0 0 25 0 1 0 894018547 42733568 9705 4294967295 134512640 134716908 3221224576 3221223168 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10433 9705 1111 63 0 10370 0
vsize: 41732
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39222 0 0 0 77897 112 0 0 25 0 1 0 894018547 43139072 9784 4294967295 134512640 134716908 3221224576 3221223152 134542748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 9784 1111 63 0 10469 0
vsize: 42128
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39289 0 0 0 78897 112 0 0 25 0 1 0 894018547 43409408 9851 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10598 9851 1111 63 0 10535 0
vsize: 42392
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39361 0 0 0 79896 113 0 0 25 0 1 0 894018547 43679744 9923 4294967295 134512640 134716908 3221224576 3221223348 134597630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10664 9923 1111 63 0 10601 0
vsize: 42656
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39431 0 0 0 80896 113 0 0 25 0 1 0 894018547 43950080 9993 4294967295 134512640 134716908 3221224576 3221223196 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10730 9993 1111 63 0 10667 0
vsize: 42920
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39480 0 0 0 81896 114 0 0 25 0 1 0 894018547 44085248 10042 4294967295 134512640 134716908 3221224576 3221223328 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10763 10042 1111 63 0 10700 0
vsize: 43052
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39540 0 0 0 82895 114 0 0 25 0 1 0 894018547 44355584 10102 4294967295 134512640 134716908 3221224576 3221223328 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10829 10102 1111 63 0 10766 0
vsize: 43316
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39607 0 0 0 83895 114 0 0 25 0 1 0 894018547 44625920 10169 4294967295 134512640 134716908 3221224576 3221223328 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10895 10169 1111 63 0 10832 0
vsize: 43580
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39679 0 0 0 84895 115 0 0 25 0 1 0 894018547 45031424 10241 4294967295 134512640 134716908 3221224576 3221223168 134539446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10994 10241 1111 63 0 10931 0
vsize: 43976
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39759 0 0 0 85894 115 0 0 25 0 1 0 894018547 45301760 10321 4294967295 134512640 134716908 3221224576 3221223304 134543834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11060 10321 1111 63 0 10997 0
vsize: 44240
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39828 0 0 0 86894 116 0 0 25 0 1 0 894018547 45572096 10390 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11126 10390 1111 63 0 11063 0
vsize: 44504
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 39909 0 0 0 87893 117 0 0 25 0 1 0 894018547 45973504 10471 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 10471 1111 63 0 11161 0
vsize: 44896
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40012 0 0 0 88893 117 0 0 25 0 1 0 894018547 46379008 10574 4294967295 134512640 134716908 3221224576 3221223116 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11323 10574 1111 63 0 11260 0
vsize: 45292
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40092 0 0 0 89893 118 0 0 25 0 1 0 894018547 46649344 10654 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11389 10654 1111 63 0 11326 0
vsize: 45556
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40164 0 0 0 90893 118 0 0 25 0 1 0 894018547 46919680 10726 4294967295 134512640 134716908 3221224576 3221223192 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11455 10726 1111 63 0 11392 0
vsize: 45820
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40225 0 0 0 91893 118 0 0 25 0 1 0 894018547 47190016 10787 4294967295 134512640 134716908 3221224576 3221223216 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11521 10787 1111 63 0 11458 0
vsize: 46084
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40298 0 0 0 92892 119 0 0 25 0 1 0 894018547 47460352 10860 4294967295 134512640 134716908 3221224576 3221223216 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11587 10860 1111 63 0 11524 0
vsize: 46348
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40368 0 0 0 93892 119 0 0 25 0 1 0 894018547 47730688 10930 4294967295 134512640 134716908 3221224576 3221223108 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11653 10930 1111 63 0 11590 0
vsize: 46612
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40426 0 0 0 94892 120 0 0 25 0 1 0 894018547 48001024 10988 4294967295 134512640 134716908 3221224576 3221223332 134655248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11719 10988 1111 63 0 11656 0
vsize: 46876
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40474 0 0 0 95891 120 0 0 25 0 1 0 894018547 48271360 11036 4294967295 134512640 134716908 3221224576 3221223120 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11785 11036 1111 63 0 11722 0
vsize: 47140
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40525 0 0 0 96891 121 0 0 25 0 1 0 894018547 48406528 11087 4294967295 134512640 134716908 3221224576 3221223160 134549708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11818 11087 1111 63 0 11755 0
vsize: 47272
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40598 0 0 0 97891 121 0 0 25 0 1 0 894018547 48676864 11160 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11884 11160 1111 63 0 11821 0
vsize: 47536
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40669 0 0 0 98891 121 0 0 25 0 1 0 894018547 49078272 11231 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11982 11231 1111 63 0 11919 0
vsize: 47928
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40756 0 0 0 99890 122 0 0 25 0 1 0 894018547 49348608 11318 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12048 11318 1111 63 0 11985 0
vsize: 48192
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40834 0 0 0 100890 123 0 0 25 0 1 0 894018547 49754112 11396 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12147 11396 1111 63 0 12084 0
vsize: 48588
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40905 0 0 0 101890 123 0 0 25 0 1 0 894018547 50024448 11467 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12213 11467 1111 63 0 12150 0
vsize: 48852
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 40966 0 0 0 102890 123 0 0 25 0 1 0 894018547 50294784 11528 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12279 11528 1111 63 0 12216 0
vsize: 49116
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41030 0 0 0 103890 123 0 0 25 0 1 0 894018547 50565120 11592 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12345 11592 1111 63 0 12282 0
vsize: 49380
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41101 0 0 0 104889 124 0 0 25 0 1 0 894018547 50835456 11663 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12411 11663 1111 63 0 12348 0
vsize: 49644
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41168 0 0 0 105888 125 0 0 25 0 1 0 894018547 51101696 11730 4294967295 134512640 134716908 3221224576 3221223232 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 11730 1111 63 0 12413 0
vsize: 49904
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41226 0 0 0 106888 126 0 0 25 0 1 0 894018547 51236864 11788 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12509 11788 1111 63 0 12446 0
vsize: 50036
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41295 0 0 0 107887 126 0 0 25 0 1 0 894018547 51642368 11857 4294967295 134512640 134716908 3221224576 3221223084 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12608 11857 1111 63 0 12545 0
vsize: 50432
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41368 0 0 0 108887 127 0 0 25 0 1 0 894018547 51912704 11930 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12674 11930 1111 63 0 12611 0
vsize: 50696
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41433 0 0 0 109886 127 0 0 25 0 1 0 894018547 52183040 11995 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12740 11995 1111 63 0 12677 0
vsize: 50960
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41474 0 0 0 110886 128 0 0 25 0 1 0 894018547 52318208 12036 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12773 12036 1111 63 0 12710 0
vsize: 51092
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41523 0 0 0 111886 128 0 0 25 0 1 0 894018547 52453376 12085 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12806 12085 1111 63 0 12743 0
vsize: 51224
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41565 0 0 0 112886 128 0 0 25 0 1 0 894018547 52723712 12127 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12872 12127 1111 63 0 12809 0
vsize: 51488
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41612 0 0 0 113886 129 0 0 25 0 1 0 894018547 52858880 12174 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12905 12174 1111 63 0 12842 0
vsize: 51620
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41676 0 0 0 114885 129 0 0 25 0 1 0 894018547 53125120 12238 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12970 12238 1111 63 0 12907 0
vsize: 51880
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41720 0 0 0 115885 130 0 0 25 0 1 0 894018547 53260288 12282 4294967295 134512640 134716908 3221224576 3221223084 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13003 12282 1111 63 0 12940 0
vsize: 52012
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41772 0 0 0 116884 131 0 0 25 0 1 0 894018547 53530624 12334 4294967295 134512640 134716908 3221224576 3221223168 134542682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13069 12334 1111 63 0 13006 0
vsize: 52276
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 12322
Raw data (stat): 12322 (bsolo_lpr-v2) R 12321 20224 20223 0 -1 0 41772 0 0 0 116884 131 0 0 25 0 1 0 894018547 53530624 12334 4294967295 134512640 134716908 3221224576 3221223168 134542682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13069 12334 1111 63 0 13006 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.7
CPU system time (s): 1.3398
CPU usage (%): 100.012
Max. virtual memory (Kb): 52276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####