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-chnl10_20_pb.cnf.cr.opb
MD5SUM	f6063d1ff7b0ba7c7cab7a438daedff8
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	21
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	400
Total number of constraints	60
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 39380

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 07:11:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27446 boxname=wulflinc4 idbench=4 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  f6063d1ff7b0ba7c7cab7a438daedff8  /oldhome/oroussel/tmp/wulflinc4/normalized-chnl10_20_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl10_20_pb.cnf.cr.opb
IDLAUNCH: 27446
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        405088 kB
Buffers:         34304 kB
Cached:         571620 kB
SwapCached:        568 kB
Active:          45876 kB
Inactive:       562164 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        404836 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15896 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:28:22 (client local time) WITH STATUS 20 IN 1022.8 SECONDS
stats: 27446 7 1022.8 20
#### 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 400 variables and 60 constraints.
c After prepocess the problem consists of 400 variables and 60 constraints.
c preprocess terminated 0.104 s
c Not use computed LB before first solution.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 1022.73 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.87 0.44 0.17 2/54 11572
Raw data (stat): 11572 (runsolver) R 11571 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891081827 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.89 0.46 0.18 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 2725 0 0 0 988 9 0 0 25 0 1 0 891081827 14258176 2643 4294967295 134512640 134716908 3221224576 3221223360 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3481 2643 1111 63 0 3418 0
vsize: 13924
[startup+20.0025 s]
Raw data (loadavg): 0.91 0.47 0.18 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 3693 0 0 0 1984 13 0 0 25 0 1 0 891081827 18178048 3611 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 3611 1111 63 0 4375 0
vsize: 17752
[startup+30.0028 s]
Raw data (loadavg): 0.92 0.49 0.19 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 4566 0 0 0 2980 17 0 0 25 0 1 0 891081827 21827584 4484 4294967295 134512640 134716908 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 4484 1111 63 0 5266 0
vsize: 21316
[startup+40.0041 s]
Raw data (loadavg): 0.93 0.51 0.20 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 5199 0 0 0 3977 20 0 0 25 0 1 0 891081827 24403968 5117 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5958 5117 1111 63 0 5895 0
vsize: 23832
[startup+50.0049 s]
Raw data (loadavg): 0.94 0.52 0.21 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 5913 0 0 0 4975 22 0 0 25 0 1 0 891081827 27410432 5831 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6692 5831 1111 63 0 6629 0
vsize: 26768
[startup+60.0051 s]
Raw data (loadavg): 0.95 0.54 0.22 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 6442 0 0 0 5972 25 0 0 25 0 1 0 891081827 29605888 6360 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7228 6360 1111 63 0 7165 0
vsize: 28912
[startup+70.0056 s]
Raw data (loadavg): 0.96 0.55 0.22 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 6851 0 0 0 6971 26 0 0 25 0 1 0 891081827 31305728 6768 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6768 1111 63 0 7580 0
vsize: 30572
[startup+80.0064 s]
Raw data (loadavg): 0.96 0.57 0.23 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 8003 0 0 0 7966 31 0 0 25 0 1 0 891081827 36036608 7919 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 7919 1111 63 0 8735 0
vsize: 35192
[startup+90.0072 s]
Raw data (loadavg): 0.97 0.58 0.24 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 8838 0 0 0 8962 35 0 0 25 0 1 0 891081827 39575552 8753 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9662 8753 1111 63 0 9599 0
vsize: 38648
[startup+100.008 s]
Raw data (loadavg): 0.97 0.59 0.25 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 9514 0 0 0 9960 37 0 0 25 0 1 0 891081827 42323968 9426 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10333 9426 1111 63 0 10270 0
vsize: 41332
[startup+110.009 s]
Raw data (loadavg): 0.98 0.61 0.25 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 10039 0 0 0 10958 39 0 0 25 0 1 0 891081827 44527616 9951 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10871 9951 1111 63 0 10808 0
vsize: 43484
[startup+120.01 s]
Raw data (loadavg): 0.98 0.62 0.26 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 10537 0 0 0 11956 41 0 0 25 0 1 0 891081827 46596096 10449 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11376 10449 1111 63 0 11313 0
vsize: 45504
[startup+130.011 s]
Raw data (loadavg): 0.98 0.63 0.27 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 11015 0 0 0 12954 43 0 0 25 0 1 0 891081827 48644096 10927 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11876 10927 1111 63 0 11813 0
vsize: 47504
[startup+140.011 s]
Raw data (loadavg): 0.98 0.64 0.28 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 11452 0 0 0 13952 45 0 0 25 0 1 0 891081827 50405376 11362 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12306 11362 1111 63 0 12243 0
vsize: 49224
[startup+150.012 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 11770 0 0 0 14951 46 0 0 25 0 1 0 891081827 51810304 11678 4294967295 134512640 134716908 3221224576 3221223216 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12649 11678 1111 63 0 12586 0
vsize: 50596
[startup+160.012 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 12214 0 0 0 15948 49 0 0 25 0 1 0 891081827 53821440 12118 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13140 12118 1111 63 0 13077 0
vsize: 52560
[startup+170.013 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 12752 0 0 0 16946 51 0 0 25 0 1 0 891081827 55988224 12654 4294967295 134512640 134716908 3221224576 3221223252 134536694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13669 12654 1111 63 0 13606 0
vsize: 54676
[startup+180.013 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 13288 0 0 0 17944 54 0 0 25 0 1 0 891081827 58183680 13186 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14205 13186 1111 63 0 14142 0
vsize: 56820
[startup+190.013 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 13701 0 0 0 18942 56 0 0 25 0 1 0 891081827 59805696 13599 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 13599 1111 63 0 14538 0
vsize: 58404
[startup+200.014 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 14022 0 0 0 19940 57 0 0 25 0 1 0 891081827 61161472 13920 4294967295 134512640 134716908 3221224576 3221223344 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14932 13920 1111 63 0 14869 0
vsize: 59728
[startup+210.014 s]
Raw data (loadavg): 0.99 0.71 0.33 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 14339 0 0 0 20939 58 0 0 25 0 1 0 891081827 62513152 14237 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15262 14237 1111 63 0 15199 0
vsize: 61048
[startup+220.015 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 14629 0 0 0 21938 59 0 0 25 0 1 0 891081827 63758336 14526 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15566 14526 1111 63 0 15503 0
vsize: 62264
[startup+230.015 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 14860 0 0 0 22937 60 0 0 25 0 1 0 891081827 64774144 14755 4294967295 134512640 134716908 3221224576 3221223168 134549648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15814 14755 1111 63 0 15751 0
vsize: 63256
[startup+240.016 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 15150 0 0 0 23936 61 0 0 25 0 1 0 891081827 65990656 15044 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16111 15044 1111 63 0 16048 0
vsize: 64444
[startup+250.016 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 15414 0 0 0 24935 63 0 0 25 0 1 0 891081827 67108864 15304 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16384 15304 1111 63 0 16321 0
vsize: 65536
[startup+260.017 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 15707 0 0 0 25933 64 0 0 25 0 1 0 891081827 68268032 15593 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16667 15593 1111 63 0 16604 0
vsize: 66668
[startup+270.018 s]
Raw data (loadavg): 0.99 0.76 0.37 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 16035 0 0 0 26932 66 0 0 25 0 1 0 891081827 69758976 15916 4294967295 134512640 134716908 3221224576 3221223336 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17031 15916 1111 63 0 16968 0
vsize: 68124
[startup+280.018 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 16352 0 0 0 27930 68 0 0 25 0 1 0 891081827 70995968 16233 4294967295 134512640 134716908 3221224576 3221223336 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17333 16233 1111 63 0 17270 0
vsize: 69332
[startup+290.031 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 16607 0 0 0 28931 68 0 0 25 0 1 0 891081827 72105984 16486 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17604 16486 1111 63 0 17541 0
vsize: 70416
[startup+300.032 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 17057 0 0 0 29929 70 0 0 25 0 1 0 891081827 73961472 16933 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18057 16933 1111 63 0 17994 0
vsize: 72228
[startup+310.032 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 17564 0 0 0 30926 73 0 0 25 0 1 0 891081827 75988992 17440 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18552 17440 1111 63 0 18489 0
vsize: 74208
[startup+320.032 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 17961 0 0 0 31925 74 0 0 25 0 1 0 891081827 77647872 17835 4294967295 134512640 134716908 3221224576 3221223132 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18957 17835 1111 63 0 18894 0
vsize: 75828
[startup+330.033 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 18281 0 0 0 32924 76 0 0 25 0 1 0 891081827 79003648 18155 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19288 18155 1111 63 0 19225 0
vsize: 77152
[startup+340.034 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 18663 0 0 0 33922 78 0 0 25 0 1 0 891081827 80490496 18537 4294967295 134512640 134716908 3221224576 3221223392 134590080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19651 18537 1111 63 0 19588 0
vsize: 78604
[startup+350.035 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 19034 0 0 0 34921 79 0 0 25 0 1 0 891081827 82206720 18899 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 18899 1111 63 0 20007 0
vsize: 80280
[startup+360.036 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 19312 0 0 0 35920 80 0 0 25 0 1 0 891081827 83288064 19177 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20334 19177 1111 63 0 20271 0
vsize: 81336
[startup+370.036 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 19541 0 0 0 36918 82 0 0 25 0 1 0 891081827 84234240 19406 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20565 19406 1111 63 0 20502 0
vsize: 82260
[startup+380.036 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 19704 0 0 0 37917 83 0 0 25 0 1 0 891081827 84774912 19569 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20697 19569 1111 63 0 20634 0
vsize: 82788
[startup+390.037 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 20126 0 0 0 38915 85 0 0 25 0 1 0 891081827 86790144 19987 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21189 19987 1111 63 0 21126 0
vsize: 84756
[startup+400.038 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 20395 0 0 0 39913 87 0 0 25 0 1 0 891081827 87871488 20256 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21453 20256 1111 63 0 21390 0
vsize: 85812
[startup+410.038 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 20756 0 0 0 40911 89 0 0 25 0 1 0 891081827 89358336 20617 4294967295 134512640 134716908 3221224576 3221223344 134529157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21816 20617 1111 63 0 21753 0
vsize: 87264
[startup+420.038 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 21020 0 0 0 41910 91 0 0 25 0 1 0 891081827 90439680 20881 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22080 20881 1111 63 0 22017 0
vsize: 88320
[startup+430.039 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 21316 0 0 0 42909 92 0 0 25 0 1 0 891081827 91660288 21177 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22378 21177 1111 63 0 22315 0
vsize: 89512
[startup+440.04 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 21618 0 0 0 43907 93 0 0 25 0 1 0 891081827 92876800 21479 4294967295 134512640 134716908 3221224576 3221223236 134536752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22675 21479 1111 63 0 22612 0
vsize: 90700
[startup+450.041 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 21775 0 0 0 44906 95 0 0 25 0 1 0 891081827 93597696 21636 4294967295 134512640 134716908 3221224576 3221223200 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22851 21636 1111 63 0 22788 0
vsize: 91404
[startup+460.041 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 22071 0 0 0 45905 96 0 0 25 0 1 0 891081827 94916608 21924 4294967295 134512640 134716908 3221224576 3221223200 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23173 21924 1111 63 0 23110 0
vsize: 92692
[startup+470.041 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 22364 0 0 0 46903 98 0 0 25 0 1 0 891081827 96161792 22216 4294967295 134512640 134716908 3221224576 3221223184 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23477 22216 1111 63 0 23414 0
vsize: 93908
[startup+480.042 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 22612 0 0 0 47902 99 0 0 25 0 1 0 891081827 97263616 22461 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23746 22461 1111 63 0 23683 0
vsize: 94984
[startup+490.042 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 22793 0 0 0 48901 100 0 0 25 0 1 0 891081827 98091008 22641 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23948 22641 1111 63 0 23885 0
vsize: 95792
[startup+500.043 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 22941 0 0 0 49901 101 0 0 25 0 1 0 891081827 98885632 22785 4294967295 134512640 134716908 3221224576 3221223280 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24142 22785 1111 63 0 24079 0
vsize: 96568
[startup+510.042 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 23117 0 0 0 50900 102 0 0 25 0 1 0 891081827 99590144 22961 4294967295 134512640 134716908 3221224576 3221223280 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24314 22961 1111 63 0 24251 0
vsize: 97256
[startup+520.043 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 23350 0 0 0 51899 103 0 0 25 0 1 0 891081827 100466688 23190 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24528 23190 1111 63 0 24465 0
vsize: 98112
[startup+530.042 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 23602 0 0 0 52898 104 0 0 25 0 1 0 891081827 101797888 23426 4294967295 134512640 134716908 3221224576 3221223228 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24853 23426 1111 63 0 24790 0
vsize: 99412
[startup+540.044 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 23901 0 0 0 53897 105 0 0 25 0 1 0 891081827 103133184 23713 4294967295 134512640 134716908 3221224576 3221223132 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25179 23713 1111 63 0 25116 0
vsize: 100716
[startup+550.045 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 24236 0 0 0 54895 107 0 0 25 0 1 0 891081827 104484864 24048 4294967295 134512640 134716908 3221224576 3221223132 134535494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25509 24048 1111 63 0 25446 0
vsize: 102036
[startup+560.045 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 24482 0 0 0 55893 109 0 0 25 0 1 0 891081827 105431040 24294 4294967295 134512640 134716908 3221224576 3221223360 134529359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25740 24294 1111 63 0 25677 0
vsize: 102960
[startup+570.046 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 24731 0 0 0 56893 110 0 0 25 0 1 0 891081827 106512384 24543 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26004 24543 1111 63 0 25941 0
vsize: 104016
[startup+580.045 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 24918 0 0 0 57891 111 0 0 25 0 1 0 891081827 107188224 24730 4294967295 134512640 134716908 3221224576 3221223160 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26169 24730 1111 63 0 26106 0
vsize: 104676
[startup+590.046 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 25058 0 0 0 58890 112 0 0 25 0 1 0 891081827 107728896 24870 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26301 24870 1111 63 0 26238 0
vsize: 105204
[startup+600.048 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 25278 0 0 0 59889 113 0 0 25 0 1 0 891081827 108875776 25080 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26581 25080 1111 63 0 26518 0
vsize: 106324
[startup+610.048 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 25475 0 0 0 60888 114 0 0 25 0 1 0 891081827 109789184 25274 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26804 25274 1111 63 0 26741 0
vsize: 107216
[startup+620.049 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 25640 0 0 0 61888 115 0 0 25 0 1 0 891081827 110510080 25437 4294967295 134512640 134716908 3221224576 3221223072 134535442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26980 25437 1111 63 0 26917 0
vsize: 107920
[startup+630.049 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 25879 0 0 0 62886 117 0 0 25 0 1 0 891081827 111575040 25667 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27240 25667 1111 63 0 27177 0
vsize: 108960
[startup+640.049 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 26046 0 0 0 63886 117 0 0 25 0 1 0 891081827 112189440 25834 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27390 25834 1111 63 0 27327 0
vsize: 109560
[startup+650.051 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 26280 0 0 0 64885 118 0 0 25 0 1 0 891081827 113201152 26063 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27637 26063 1111 63 0 27574 0
vsize: 110548
[startup+660.051 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 26514 0 0 0 65884 119 0 0 25 0 1 0 891081827 114147328 26297 4294967295 134512640 134716908 3221224576 3221223360 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27868 26297 1111 63 0 27805 0
vsize: 111472
[startup+670.052 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 26705 0 0 0 66883 120 0 0 25 0 1 0 891081827 115003392 26488 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28077 26488 1111 63 0 28014 0
vsize: 112308
[startup+680.052 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 26952 0 0 0 67882 122 0 0 25 0 1 0 891081827 116150272 26731 4294967295 134512640 134716908 3221224576 3221223360 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28357 26731 1111 63 0 28294 0
vsize: 113428
[startup+690.053 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 27189 0 0 0 68881 123 0 0 25 0 1 0 891081827 116961280 26968 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28555 26968 1111 63 0 28492 0
vsize: 114220
[startup+700.053 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 27356 0 0 0 69880 124 0 0 25 0 1 0 891081827 117800960 27135 4294967295 134512640 134716908 3221224576 3221223340 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28760 27135 1111 63 0 28697 0
vsize: 115040
[startup+710.053 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 27562 0 0 0 70879 125 0 0 25 0 1 0 891081827 118714368 27329 4294967295 134512640 134716908 3221224576 3221223164 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28983 27329 1111 63 0 28920 0
vsize: 115932
[startup+720.055 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 27751 0 0 0 71877 127 0 0 25 0 1 0 891081827 119525376 27518 4294967295 134512640 134716908 3221224576 3221222980 134699567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29181 27518 1111 63 0 29118 0
vsize: 116724
[startup+730.055 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 27892 0 0 0 72877 127 0 0 25 0 1 0 891081827 120086528 27659 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29318 27659 1111 63 0 29255 0
vsize: 117272
[startup+740.056 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 28048 0 0 0 73876 128 0 0 25 0 1 0 891081827 120893440 27807 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29515 27807 1111 63 0 29452 0
vsize: 118060
[startup+750.057 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 28156 0 0 0 74875 129 0 0 25 0 1 0 891081827 121339904 27915 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29624 27915 1111 63 0 29561 0
vsize: 118496
[startup+760.057 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 28330 0 0 0 75874 130 0 0 25 0 1 0 891081827 122216448 28080 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29838 28080 1111 63 0 29775 0
vsize: 119352
[startup+770.057 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 28512 0 0 0 76874 131 0 0 25 0 1 0 891081827 122957824 28254 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30019 28254 1111 63 0 29956 0
vsize: 120076
[startup+780.057 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 28679 0 0 0 77873 131 0 0 25 0 1 0 891081827 123682816 28421 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30196 28421 1111 63 0 30133 0
vsize: 120784
[startup+790.058 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 28807 0 0 0 78873 132 0 0 25 0 1 0 891081827 124223488 28549 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30328 28549 1111 63 0 30265 0
vsize: 121312
[startup+800.059 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 28951 0 0 0 79872 133 0 0 25 0 1 0 891081827 124829696 28688 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30476 28688 1111 63 0 30413 0
vsize: 121904
[startup+810.059 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 29077 0 0 0 80872 133 0 0 25 0 1 0 891081827 125370368 28814 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30608 28814 1111 63 0 30545 0
vsize: 122432
[startup+820.059 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 29248 0 0 0 81872 134 0 0 25 0 1 0 891081827 126111744 28980 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30789 28980 1111 63 0 30726 0
vsize: 123156
[startup+830.06 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 29387 0 0 0 82871 135 0 0 25 0 1 0 891081827 126566400 29118 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30900 29118 1111 63 0 30837 0
vsize: 123600
[startup+840.062 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 29554 0 0 0 83871 135 0 0 25 0 1 0 891081827 127479808 29275 4294967295 134512640 134716908 3221224576 3221223088 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31123 29275 1111 63 0 31060 0
vsize: 124492
[startup+850.062 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 29651 0 0 0 84871 136 0 0 25 0 1 0 891081827 127979520 29363 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31245 29363 1111 63 0 31182 0
vsize: 124980
[startup+860.062 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 29756 0 0 0 85870 136 0 0 25 0 1 0 891081827 128327680 29468 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31330 29468 1111 63 0 31267 0
vsize: 125320
[startup+870.062 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 29939 0 0 0 86870 137 0 0 25 0 1 0 891081827 129069056 29642 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31511 29642 1111 63 0 31448 0
vsize: 126044
[startup+880.063 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 30225 0 0 0 87868 138 0 0 25 0 1 0 891081827 130351104 29919 4294967295 134512640 134716908 3221224576 3221223160 134549705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31824 29919 1111 63 0 31761 0
vsize: 127296
[startup+890.063 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 30401 0 0 0 88868 139 0 0 25 0 1 0 891081827 131026944 30095 4294967295 134512640 134716908 3221224576 3221223132 134535936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31989 30095 1111 63 0 31926 0
vsize: 127956
[startup+900.064 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 30525 0 0 0 89868 140 0 0 25 0 1 0 891081827 131567616 30219 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32121 30219 1111 63 0 32058 0
vsize: 128484
[startup+910.063 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 30639 0 0 0 90867 140 0 0 25 0 1 0 891081827 132026368 30333 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32233 30333 1111 63 0 32170 0
vsize: 128932
[startup+920.064 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 30753 0 0 0 91867 141 0 0 25 0 1 0 891081827 132636672 30447 4294967295 134512640 134716908 3221224576 3221223264 134528707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32382 30447 1111 63 0 32319 0
vsize: 129528
[startup+930.064 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 30843 0 0 0 92867 141 0 0 25 0 1 0 891081827 133087232 30537 4294967295 134512640 134716908 3221224576 3221223160 134549705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32492 30537 1111 63 0 32429 0
vsize: 129968
[startup+940.065 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 30942 0 0 0 93867 141 0 0 25 0 1 0 891081827 133357568 30636 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32558 30636 1111 63 0 32495 0
vsize: 130232
[startup+950.066 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 31057 0 0 0 94866 143 0 0 25 0 1 0 891081827 133898240 30751 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32690 30751 1111 63 0 32627 0
vsize: 130760
[startup+960.066 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 31182 0 0 0 95866 143 0 0 25 0 1 0 891081827 134303744 30876 4294967295 134512640 134716908 3221224576 3221223176 134549515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32789 30876 1111 63 0 32726 0
vsize: 131156
[startup+970.067 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 31328 0 0 0 96865 144 0 0 25 0 1 0 891081827 134844416 31022 4294967295 134512640 134716908 3221224576 3221223132 134535952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 31022 1111 63 0 32858 0
vsize: 131684
[startup+980.067 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 31466 0 0 0 97865 144 0 0 25 0 1 0 891081827 135446528 31157 4294967295 134512640 134716908 3221224576 3221223360 134529240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33068 31157 1111 63 0 33005 0
vsize: 132272
[startup+990.068 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 31561 0 0 0 98865 145 0 0 25 0 1 0 891081827 135888896 31252 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33176 31252 1111 63 0 33113 0
vsize: 132704
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 31634 0 0 0 99864 145 0 0 25 0 1 0 891081827 136159232 31325 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33242 31325 1111 63 0 33179 0
vsize: 132968
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 31709 0 0 0 100864 145 0 0 25 0 1 0 891081827 136429568 31400 4294967295 134512640 134716908 3221224576 3221223280 134528738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33308 31400 1111 63 0 33245 0
vsize: 133232
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 31791 0 0 0 101864 145 0 0 25 0 1 0 891081827 136708096 31482 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33376 31482 1111 63 0 33313 0
vsize: 133504
[startup+1022.76 s]
Raw data (loadavg): 0.99 0.97 0.69 1/53 11572
Raw data (stat): 11572 (bsolo_lpr-v2) R 11571 21152 21151 0 -1 0 31791 0 0 0 101864 145 0 0 25 0 1 0 891081827 136708096 31482 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33376 31482 1111 63 0 33313 0
vsize: 0

Child status: 20
Real time (s): 1022.76
CPU time (s): 1022.8
CPU user time (s): 1021.28
CPU system time (s): 1.51877
CPU usage (%): 100.003
Max. virtual memory (Kb): 133504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####