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-fpga13_12_sat_pb.cnf.cr.opb
MD5SUM	b895465c3a135658947941250991e4de
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	14
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.100984
Number of variables	234
Total number of constraints	193
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	25
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 23297

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 06:17:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=280 boxname=wulflinc31 idbench=32 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b895465c3a135658947941250991e4de  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_12_sat_pb.cnf.cr.opb
IDLAUNCH: 280
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        928492 kB
Buffers:         37572 kB
Cached:          46496 kB
SwapCached:        864 kB
Active:          71552 kB
Inactive:        14944 kB
HighTotal:      131008 kB
HighFree:        83496 kB
LowTotal:       903652 kB
LowFree:        844996 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13968 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 06:37:21 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 280 7 1175.16 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 234 variables and 193 constraints.
c After prepocess the problem consists of 234 variables and 193 constraints.
c preprocess terminated 0.131 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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
Raw data (loadavg): 0.87 0.97 0.96 2/54 20554
Raw data (stat): 20554 (runsolver) R 20553 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 637893730 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.89 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 3484 0 0 0 983 12 0 0 25 0 1 0 637893730 17383424 3405 4294967295 134512640 134714508 3221221776 3221220496 134652809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4244 3405 1111 63 0 4181 0
vsize: 16976
[startup+20.0015 s]
Raw data (loadavg): 0.90 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 5063 0 0 0 1978 17 0 0 25 0 1 0 637893730 23871488 4984 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5828 4984 1111 63 0 5765 0
vsize: 23312
[startup+30.0025 s]
Raw data (loadavg): 0.92 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 6120 0 0 0 2973 22 0 0 25 0 1 0 637893730 28217344 6041 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6889 6041 1111 63 0 6826 0
vsize: 27556
[startup+40.0027 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 7337 0 0 0 3968 27 0 0 25 0 1 0 637893730 33218560 7258 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8110 7258 1111 63 0 8047 0
vsize: 32440
[startup+50.0037 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 8299 0 0 0 4964 32 0 0 25 0 1 0 637893730 37306368 8219 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9108 8219 1111 63 0 9045 0
vsize: 36432
[startup+60.0032 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 9386 0 0 0 5960 36 0 0 25 0 1 0 637893730 41783296 9305 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10201 9305 1111 63 0 10138 0
vsize: 40804
[startup+70.0035 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 10387 0 0 0 6956 40 0 0 25 0 1 0 637893730 45887488 10304 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11203 10304 1111 63 0 11140 0
vsize: 44812
[startup+80.0041 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 11252 0 0 0 7953 44 0 0 25 0 1 0 637893730 49401856 11167 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12061 11167 1111 63 0 11998 0
vsize: 48244
[startup+90.0041 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 12070 0 0 0 8949 48 0 0 25 0 1 0 637893730 52805632 11985 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12892 11985 1111 63 0 12829 0
vsize: 51568
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 12876 0 0 0 9946 51 0 0 25 0 1 0 637893730 56049664 12791 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13684 12791 1111 63 0 13621 0
vsize: 54736
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 13551 0 0 0 10943 54 0 0 25 0 1 0 637893730 58912768 13466 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14383 13466 1111 63 0 14320 0
vsize: 57532
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 14097 0 0 0 11941 56 0 0 25 0 1 0 637893730 61120512 14010 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14922 14010 1111 63 0 14859 0
vsize: 59688
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 14584 0 0 0 12939 58 0 0 25 0 1 0 637893730 63291392 14496 4294967295 134512640 134714508 3221221776 3221220432 134523856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15452 14496 1111 63 0 15389 0
vsize: 61808
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 15058 0 0 0 13938 60 0 0 25 0 1 0 637893730 65200128 14970 4294967295 134512640 134714508 3221221776 3221220512 134523985 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15918 14970 1111 63 0 15855 0
vsize: 63672
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 15840 0 0 0 14933 65 0 0 25 0 1 0 637893730 68308992 15752 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16677 15752 1111 63 0 16614 0
vsize: 66708
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 16434 0 0 0 15931 67 0 0 25 0 1 0 637893730 70791168 16345 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17283 16345 1111 63 0 17220 0
vsize: 69132
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 17174 0 0 0 16929 69 0 0 25 0 1 0 637893730 73969664 17081 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18059 17081 1111 63 0 17996 0
vsize: 72236
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 17649 0 0 0 17927 71 0 0 25 0 1 0 637893730 75862016 17556 4294967295 134512640 134714508 3221221776 3221220332 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18521 17556 1111 63 0 18458 0
vsize: 74084
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 18375 0 0 0 18925 74 0 0 25 0 1 0 637893730 78835712 18282 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19247 18282 1111 63 0 19184 0
vsize: 76988
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 19123 0 0 0 19920 79 0 0 25 0 1 0 637893730 81809408 19030 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19973 19030 1111 63 0 19910 0
vsize: 79892
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 19788 0 0 0 20917 82 0 0 25 0 1 0 637893730 84512768 19695 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20633 19695 1111 63 0 20570 0
vsize: 82532
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 20348 0 0 0 21914 85 0 0 25 0 1 0 637893730 86814720 20255 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21195 20255 1111 63 0 21132 0
vsize: 84780
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 20712 0 0 0 22913 87 0 0 25 0 1 0 637893730 88461312 20619 4294967295 134512640 134714508 3221221776 3221220440 134536851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21597 20619 1111 63 0 21534 0
vsize: 86388
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 21366 0 0 0 23910 89 0 0 25 0 1 0 637893730 91164672 21273 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22257 21273 1111 63 0 22194 0
vsize: 89028
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 21921 0 0 0 24909 91 0 0 25 0 1 0 637893730 93462528 21828 4294967295 134512640 134714508 3221221776 3221220368 134549600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22818 21828 1111 63 0 22755 0
vsize: 91272
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 22366 0 0 0 25906 94 0 0 25 0 1 0 637893730 95219712 22273 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23247 22273 1111 63 0 23184 0
vsize: 92988
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 22682 0 0 0 26905 95 0 0 25 0 1 0 637893730 96632832 22588 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23592 22588 1111 63 0 23529 0
vsize: 94368
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 23037 0 0 0 27904 96 0 0 25 0 1 0 637893730 98144256 22941 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23961 22941 1111 63 0 23898 0
vsize: 95844
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 23476 0 0 0 28902 98 0 0 25 0 1 0 637893730 100020224 23375 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24419 23375 1111 63 0 24356 0
vsize: 97676
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 23891 0 0 0 29901 100 0 0 25 0 1 0 637893730 101765120 23785 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24845 23785 1111 63 0 24782 0
vsize: 99380
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 24231 0 0 0 30900 101 0 0 25 0 1 0 637893730 103247872 24120 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25207 24120 1111 63 0 25144 0
vsize: 100828
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 24523 0 0 0 31898 103 0 0 25 0 1 0 637893730 104464384 24412 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25504 24412 1111 63 0 25441 0
vsize: 102016
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 24900 0 0 0 32897 104 0 0 25 0 1 0 637893730 105951232 24789 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25867 24789 1111 63 0 25804 0
vsize: 103468
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 25315 0 0 0 33895 106 0 0 25 0 1 0 637893730 107814912 25203 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26322 25203 1111 63 0 26259 0
vsize: 105288
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 25684 0 0 0 34894 108 0 0 25 0 1 0 637893730 109301760 25572 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26685 25572 1111 63 0 26622 0
vsize: 106740
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 26163 0 0 0 35892 109 0 0 25 0 1 0 637893730 111366144 26051 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27189 26051 1111 63 0 27126 0
vsize: 108756
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 26634 0 0 0 36891 111 0 0 25 0 1 0 637893730 113287168 26522 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27658 26522 1111 63 0 27595 0
vsize: 110632
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 27092 0 0 0 37890 112 0 0 25 0 1 0 637893730 115179520 26980 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28120 26980 1111 63 0 28057 0
vsize: 112480
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 27797 0 0 0 38886 116 0 0 25 0 1 0 637893730 118022144 27685 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28814 27685 1111 63 0 28751 0
vsize: 115256
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 28269 0 0 0 39885 118 0 0 25 0 1 0 637893730 119914496 28157 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29276 28157 1111 63 0 29213 0
vsize: 117104
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 28767 0 0 0 40883 120 0 0 25 0 1 0 637893730 121962496 28654 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29776 28654 1111 63 0 29713 0
vsize: 119104
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 29181 0 0 0 41882 121 0 0 25 0 1 0 637893730 123584512 29068 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30172 29068 1111 63 0 30109 0
vsize: 120688
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 29587 0 0 0 42880 123 0 0 25 0 1 0 637893730 125206528 29474 4294967295 134512640 134714508 3221221776 3221220416 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30568 29474 1111 63 0 30505 0
vsize: 122272
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 30064 0 0 0 43878 125 0 0 25 0 1 0 637893730 127123456 29950 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31036 29950 1111 63 0 30973 0
vsize: 124144
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 30534 0 0 0 44876 127 0 0 25 0 1 0 637893730 129171456 30420 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31536 30420 1111 63 0 31473 0
vsize: 126144
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 31051 0 0 0 45874 130 0 0 25 0 1 0 637893730 131198976 30937 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32031 30937 1111 63 0 31968 0
vsize: 128124
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 31409 0 0 0 46873 131 0 0 25 0 1 0 637893730 132726784 31295 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32404 31295 1111 63 0 32341 0
vsize: 129616
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 31702 0 0 0 47871 133 0 0 25 0 1 0 637893730 133976064 31586 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32709 31586 1111 63 0 32646 0
vsize: 130836
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 32185 0 0 0 48870 134 0 0 25 0 1 0 637893730 135905280 32068 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33180 32068 1111 63 0 33117 0
vsize: 132720
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 32609 0 0 0 49869 136 0 0 25 0 1 0 637893730 137797632 32490 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33642 32490 1111 63 0 33579 0
vsize: 134568
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 32903 0 0 0 50867 137 0 0 25 0 1 0 637893730 139026432 32784 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33942 32784 1111 63 0 33879 0
vsize: 135768
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 33218 0 0 0 51866 139 0 0 25 0 1 0 637893730 140242944 33098 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34239 33098 1111 63 0 34176 0
vsize: 136956
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 33527 0 0 0 52864 141 0 0 25 0 1 0 637893730 141594624 33407 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34569 33407 1111 63 0 34506 0
vsize: 138276
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 33814 0 0 0 53863 142 0 0 25 0 1 0 637893730 142725120 33693 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34845 33693 1111 63 0 34782 0
vsize: 139380
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 34122 0 0 0 54862 143 0 0 25 0 1 0 637893730 144080896 34001 4294967295 134512640 134714508 3221221776 3221220332 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35176 34001 1111 63 0 35113 0
vsize: 140704
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 34421 0 0 0 55861 145 0 0 25 0 1 0 637893730 145338368 34296 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35483 34296 1111 63 0 35420 0
vsize: 141932
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 34716 0 0 0 56860 145 0 0 25 0 1 0 637893730 146550784 34591 4294967295 134512640 134714508 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35779 34591 1111 63 0 35716 0
vsize: 143116
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 35113 0 0 0 57859 147 0 0 25 0 1 0 637893730 148176896 34988 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36176 34988 1111 63 0 36113 0
vsize: 144704
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 35404 0 0 0 58858 148 0 0 25 0 1 0 637893730 149524480 35279 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36505 35279 1111 63 0 36442 0
vsize: 146020
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 35677 0 0 0 59857 149 0 0 25 0 1 0 637893730 150650880 35552 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36780 35552 1111 63 0 36717 0
vsize: 147120
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 36201 0 0 0 60855 151 0 0 25 0 1 0 637893730 152813568 36076 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37308 36076 1111 63 0 37245 0
vsize: 149232
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 36557 0 0 0 61854 152 0 0 25 0 1 0 637893730 154300416 36432 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37671 36432 1111 63 0 37608 0
vsize: 150684
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 36842 0 0 0 62853 153 0 0 25 0 1 0 637893730 155533312 36715 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37972 36715 1111 63 0 37909 0
vsize: 151888
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 37066 0 0 0 63852 154 0 0 25 0 1 0 637893730 156344320 36939 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38170 36939 1111 63 0 38107 0
vsize: 152680
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 37283 0 0 0 64852 155 0 0 25 0 1 0 637893730 157290496 37156 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38401 37156 1111 63 0 38338 0
vsize: 153604
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 37576 0 0 0 65851 157 0 0 25 0 1 0 637893730 158507008 37449 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38698 37449 1111 63 0 38635 0
vsize: 154792
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 38317 0 0 0 66847 160 0 0 25 0 1 0 637893730 161480704 38190 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39424 38190 1111 63 0 39361 0
vsize: 157696
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 39098 0 0 0 67844 164 0 0 25 0 1 0 637893730 164724736 38969 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40216 38969 1111 63 0 40153 0
vsize: 160864
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 39685 0 0 0 68843 165 0 0 25 0 1 0 637893730 167157760 39556 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40810 39556 1111 63 0 40747 0
vsize: 163240
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 40147 0 0 0 69840 167 0 0 25 0 1 0 637893730 169123840 40014 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41290 40014 1111 63 0 41227 0
vsize: 165160
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 40498 0 0 0 70838 170 0 0 25 0 1 0 637893730 170475520 40365 4294967295 134512640 134714508 3221221776 3221220512 134535840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41620 40365 1111 63 0 41557 0
vsize: 166480
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 40780 0 0 0 71837 171 0 0 25 0 1 0 637893730 171692032 40647 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41917 40647 1111 63 0 41854 0
vsize: 167668
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 41048 0 0 0 72836 173 0 0 25 0 1 0 637893730 172773376 40915 4294967295 134512640 134714508 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42181 40915 1111 63 0 42118 0
vsize: 168724
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 41727 0 0 0 73833 175 0 0 25 0 1 0 637893730 175476736 41594 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42841 41594 1111 63 0 42778 0
vsize: 171364
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 42352 0 0 0 74831 178 0 0 25 0 1 0 637893730 178081792 42218 4294967295 134512640 134714508 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43477 42218 1111 63 0 43414 0
vsize: 173908
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 42726 0 0 0 75830 179 0 0 25 0 1 0 637893730 179568640 42592 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43840 42592 1111 63 0 43777 0
vsize: 175360
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 43034 0 0 0 76830 179 0 0 25 0 1 0 637893730 180789248 42896 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44138 42896 1111 63 0 44075 0
vsize: 176552
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 43375 0 0 0 77828 181 0 0 25 0 1 0 637893730 182276096 43237 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44501 43237 1111 63 0 44438 0
vsize: 178004
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 43725 0 0 0 78826 183 0 0 25 0 1 0 637893730 183627776 43587 4294967295 134512640 134714508 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44831 43587 1111 63 0 44768 0
vsize: 179324
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 43990 0 0 0 79825 185 0 0 25 0 1 0 637893730 184709120 43852 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45095 43852 1111 63 0 45032 0
vsize: 180380
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 44261 0 0 0 80824 186 0 0 25 0 1 0 637893730 185802752 44123 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45362 44123 1111 63 0 45299 0
vsize: 181448
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 44758 0 0 0 81822 188 0 0 25 0 1 0 637893730 187838464 44620 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45859 44620 1111 63 0 45796 0
vsize: 183436
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 45333 0 0 0 82820 191 0 0 25 0 1 0 637893730 190357504 45191 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46474 45191 1111 63 0 46411 0
vsize: 185896
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 45923 0 0 0 83817 194 0 0 25 0 1 0 637893730 192790528 45781 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47068 45781 1111 63 0 47005 0
vsize: 188272
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 46335 0 0 0 84815 196 0 0 25 0 1 0 637893730 194424832 46192 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47467 46192 1111 63 0 47404 0
vsize: 189868
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 46700 0 0 0 85814 197 0 0 25 0 1 0 637893730 195944448 46556 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47838 46556 1111 63 0 47775 0
vsize: 191352
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 47003 0 0 0 86813 198 0 0 25 0 1 0 637893730 197160960 46859 4294967295 134512640 134714508 3221221776 3221220340 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48135 46859 1111 63 0 48072 0
vsize: 192540
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 47236 0 0 0 87813 199 0 0 25 0 1 0 637893730 198107136 47092 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48366 47092 1111 63 0 48303 0
vsize: 193464
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 47539 0 0 0 88812 200 0 0 25 0 1 0 637893730 199458816 47395 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48696 47395 1111 63 0 48633 0
vsize: 194784
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 47836 0 0 0 89811 201 0 0 25 0 1 0 637893730 200744960 47687 4294967295 134512640 134714508 3221221776 3221220272 134535333 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49010 47687 1111 63 0 48947 0
vsize: 196040
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 48084 0 0 0 90810 202 0 0 25 0 1 0 637893730 201760768 47933 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49258 47933 1111 63 0 49195 0
vsize: 197032
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 48342 0 0 0 91809 203 0 0 25 0 1 0 637893730 202915840 48190 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49540 48190 1111 63 0 49477 0
vsize: 198160
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 48794 0 0 0 92808 205 0 0 25 0 1 0 637893730 204673024 48642 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49969 48642 1111 63 0 49906 0
vsize: 199876
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 49111 0 0 0 93806 206 0 0 25 0 1 0 637893730 206024704 48959 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50299 48959 1111 63 0 50236 0
vsize: 201196
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 49391 0 0 0 94806 207 0 0 25 0 1 0 637893730 207343616 49228 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50621 49228 1111 63 0 50558 0
vsize: 202484
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 49606 0 0 0 95805 208 0 0 25 0 1 0 637893730 208154624 49443 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50819 49443 1111 63 0 50756 0
vsize: 203276
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 49830 0 0 0 96805 208 0 0 25 0 1 0 637893730 209031168 49665 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51033 49665 1111 63 0 50970 0
vsize: 204132
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 50207 0 0 0 97803 210 0 0 25 0 1 0 637893730 210718720 50035 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51445 50035 1111 63 0 51382 0
vsize: 205780
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 50502 0 0 0 98802 212 0 0 25 0 1 0 637893730 212017152 50330 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51762 50330 1111 63 0 51699 0
vsize: 207048
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 50755 0 0 0 99801 213 0 0 25 0 1 0 637893730 212963328 50583 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51993 50583 1111 63 0 51930 0
vsize: 207972
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 50995 0 0 0 100800 214 0 0 25 0 1 0 637893730 214130688 50820 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52278 50820 1111 63 0 52215 0
vsize: 209112
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 51276 0 0 0 101799 215 0 0 25 0 1 0 637893730 215355392 51101 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52577 51101 1111 63 0 52514 0
vsize: 210308
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 51580 0 0 0 102798 216 0 0 25 0 1 0 637893730 216436736 51405 4294967295 134512640 134714508 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52841 51405 1111 63 0 52778 0
vsize: 211364
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 51841 0 0 0 103798 217 0 0 25 0 1 0 637893730 217583616 51657 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53121 51657 1111 63 0 53058 0
vsize: 212484
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 51998 0 0 0 104797 218 0 0 25 0 1 0 637893730 218259456 51814 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53286 51814 1111 63 0 53223 0
vsize: 213144
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 52135 0 0 0 105796 219 0 0 25 0 1 0 637893730 218800128 51951 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53418 51951 1111 63 0 53355 0
vsize: 213672
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 52258 0 0 0 106796 219 0 0 25 0 1 0 637893730 219402240 52074 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53565 52074 1111 63 0 53502 0
vsize: 214260
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 52421 0 0 0 107795 220 0 0 25 0 1 0 637893730 220078080 52231 4294967295 134512640 134714508 3221221776 3221220272 134535477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53730 52231 1111 63 0 53667 0
vsize: 214920
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 52594 0 0 0 108795 220 0 0 25 0 1 0 637893730 220954624 52397 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53944 52397 1111 63 0 53881 0
vsize: 215776
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 52737 0 0 0 109795 221 0 0 25 0 1 0 637893730 221495296 52540 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54076 52540 1111 63 0 54013 0
vsize: 216304
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 52887 0 0 0 110795 221 0 0 25 0 1 0 637893730 222158848 52689 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54238 52689 1111 63 0 54175 0
vsize: 216952
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 53003 0 0 0 111794 222 0 0 25 0 1 0 637893730 222699520 52805 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54370 52805 1111 63 0 54307 0
vsize: 217480
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 53246 0 0 0 112793 223 0 0 25 0 1 0 637893730 223711232 53042 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54617 53042 1111 63 0 54554 0
vsize: 218468
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 53454 0 0 0 113792 224 0 0 25 0 1 0 637893730 224690176 53250 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54856 53250 1111 63 0 54793 0
vsize: 219424
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 53607 0 0 0 114792 224 0 0 25 0 1 0 637893730 225280000 53400 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55000 53400 1111 63 0 54937 0
vsize: 220000
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 53796 0 0 0 115792 225 0 0 25 0 1 0 637893730 226017280 53588 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55180 53588 1111 63 0 55117 0
vsize: 220720
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 53980 0 0 0 116791 226 0 0 25 0 1 0 637893730 226893824 53763 4294967295 134512640 134714508 3221221776 3221220440 134543638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55394 53763 1111 63 0 55331 0
vsize: 221576
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 20554
Raw data (stat): 20554 (bsolo_lpr) R 20553 7876 7672 0 -1 0 53980 0 0 0 116791 226 0 0 25 0 1 0 637893730 226893824 53763 4294967295 134512640 134714508 3221221776 3221220440 134543638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55394 53763 1111 63 0 55331 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.16
CPU user time (s): 1172.79
CPU system time (s): 2.36564
CPU usage (%): 100.012
Max. virtual memory (Kb): 221576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####