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-fpga15_14_sat_pb.cnf.cr.opb
MD5SUM	6fc7fbb8e05218938564d50faef1e68f
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	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.222965
Number of variables	315
Total number of constraints	253
Number of constraints which are clauses	224
Number of constraints which are cardinality constraints (but not clauses)	29
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 23327

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 12:16:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=334 boxname=wulflinc31 idbench=38 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6fc7fbb8e05218938564d50faef1e68f  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_14_sat_pb.cnf.cr.opb
IDLAUNCH: 334
/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:        927684 kB
Buffers:         38076 kB
Cached:          46876 kB
SwapCached:        864 kB
Active:          71900 kB
Inactive:        15424 kB
HighTotal:      131008 kB
HighFree:        83104 kB
LowTotal:       903652 kB
LowFree:        844580 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 12:35:46 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 334 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 315 variables and 253 constraints.
c After prepocess the problem consists of 315 variables and 253 constraints.
c preprocess terminated 0.189 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.98 0.96 2/54 23756
Raw data (stat): 23756 (runsolver) R 23755 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 640044455 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.92 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 2966 0 0 0 984 11 0 0 25 0 1 0 640044455 15212544 2887 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3714 2887 1111 63 0 3651 0
vsize: 14856
[startup+20.0014 s]
Raw data (loadavg): 0.93 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 4430 0 0 0 1979 16 0 0 25 0 1 0 640044455 21299200 4351 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5200 4351 1111 63 0 5137 0
vsize: 20800
[startup+30.0024 s]
Raw data (loadavg): 0.94 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 5434 0 0 0 2976 20 0 0 25 0 1 0 640044455 25354240 5355 4294967295 134512640 134714508 3221221776 3221220464 134551903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6190 5355 1111 63 0 6127 0
vsize: 24760
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 6751 0 0 0 3971 25 0 0 25 0 1 0 640044455 30765056 6672 4294967295 134512640 134714508 3221221776 3221220536 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7511 6672 1111 63 0 7448 0
vsize: 30044
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 7588 0 0 0 4967 29 0 0 25 0 1 0 640044455 34279424 7509 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8369 7509 1111 63 0 8306 0
vsize: 33476
[startup+60.0032 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 8342 0 0 0 5965 31 0 0 25 0 1 0 640044455 37416960 8263 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9135 8263 1111 63 0 9072 0
vsize: 36540
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 8795 0 0 0 6964 33 0 0 25 0 1 0 640044455 39219200 8716 4294967295 134512640 134714508 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9575 8716 1111 63 0 9512 0
vsize: 38300
[startup+80.0041 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 9193 0 0 0 7961 36 0 0 25 0 1 0 640044455 40992768 9114 4294967295 134512640 134714508 3221221776 3221220568 134531231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10008 9114 1111 63 0 9945 0
vsize: 40032
[startup+90.004 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 9498 0 0 0 8961 36 0 0 25 0 1 0 640044455 42209280 9418 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 9418 1111 63 0 10242 0
vsize: 41220
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 9828 0 0 0 9958 39 0 0 25 0 1 0 640044455 43569152 9748 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10637 9748 1111 63 0 10574 0
vsize: 42548
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 10616 0 0 0 10954 43 0 0 25 0 1 0 640044455 46813184 10536 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11429 10536 1111 63 0 11366 0
vsize: 45716
[startup+120.006 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 12316 0 0 0 11947 51 0 0 25 0 1 0 640044455 53710848 12236 4294967295 134512640 134714508 3221221776 3221220416 134696073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13113 12236 1111 63 0 13050 0
vsize: 52452
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 13843 0 0 0 12940 58 0 0 25 0 1 0 640044455 60080128 13763 4294967295 134512640 134714508 3221221776 3221220336 134549730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14668 13763 1111 63 0 14605 0
vsize: 58672
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 15413 0 0 0 13934 64 0 0 25 0 1 0 640044455 66437120 15333 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16220 15333 1111 63 0 16157 0
vsize: 64880
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 16327 0 0 0 14930 68 0 0 25 0 1 0 640044455 70246400 16244 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16244 1111 63 0 17087 0
vsize: 68600
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 17869 0 0 0 15925 73 0 0 25 0 1 0 640044455 76599296 17784 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18701 17784 1111 63 0 18638 0
vsize: 74804
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 19020 0 0 0 16921 77 0 0 25 0 1 0 640044455 81371136 18934 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19866 18934 1111 63 0 19803 0
vsize: 79464
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 20052 0 0 0 17918 81 0 0 25 0 1 0 640044455 85573632 19965 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20892 19965 1111 63 0 20829 0
vsize: 83568
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 20544 0 0 0 18916 83 0 0 25 0 1 0 640044455 87601152 20457 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21387 20457 1111 63 0 21324 0
vsize: 85548
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 21028 0 0 0 19914 85 0 0 25 0 1 0 640044455 89505792 20941 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21852 20941 1111 63 0 21789 0
vsize: 87408
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 21549 0 0 0 20912 87 0 0 25 0 1 0 640044455 91676672 21462 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22382 21462 1111 63 0 22319 0
vsize: 89528
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 22021 0 0 0 21910 89 0 0 25 0 1 0 640044455 93569024 21934 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22844 21934 1111 63 0 22781 0
vsize: 91376
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 22430 0 0 0 22909 91 0 0 25 0 1 0 640044455 95391744 22343 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23289 22343 1111 63 0 23226 0
vsize: 93156
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 23022 0 0 0 23906 94 0 0 25 0 1 0 640044455 97824768 22935 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23883 22935 1111 63 0 23820 0
vsize: 95532
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 23443 0 0 0 24904 96 0 0 25 0 1 0 640044455 99549184 23355 4294967295 134512640 134714508 3221221776 3221219952 134697255 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24304 23355 1111 63 0 24241 0
vsize: 97216
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 23992 0 0 0 25902 98 0 0 25 0 1 0 640044455 101859328 23904 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24868 23904 1111 63 0 24805 0
vsize: 99472
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 24249 0 0 0 26901 99 0 0 25 0 1 0 640044455 102940672 24161 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25132 24161 1111 63 0 25069 0
vsize: 100528
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 24753 0 0 0 27898 102 0 0 25 0 1 0 640044455 104968192 24664 4294967295 134512640 134714508 3221221776 3221220360 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25627 24664 1111 63 0 25564 0
vsize: 102508
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 25050 0 0 0 28897 104 0 0 25 0 1 0 640044455 106184704 24961 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25924 24961 1111 63 0 25861 0
vsize: 103696
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 25572 0 0 0 29895 105 0 0 25 0 1 0 640044455 108347392 25483 4294967295 134512640 134714508 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26452 25483 1111 63 0 26389 0
vsize: 105808
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 25894 0 0 0 30894 107 0 0 25 0 1 0 640044455 109735936 25805 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25805 1111 63 0 26728 0
vsize: 107164
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 26320 0 0 0 31892 109 0 0 25 0 1 0 640044455 111493120 26229 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27220 26229 1111 63 0 27157 0
vsize: 108880
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 26698 0 0 0 32890 111 0 0 25 0 1 0 640044455 112979968 26607 4294967295 134512640 134714508 3221221776 3221220408 134696017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27583 26608 1111 63 0 27520 0
vsize: 110332
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 27115 0 0 0 33889 113 0 0 25 0 1 0 640044455 114741248 27024 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28013 27024 1111 63 0 27950 0
vsize: 112052
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 27679 0 0 0 34886 116 0 0 25 0 1 0 640044455 117039104 27587 4294967295 134512640 134714508 3221221776 3221220480 134524402 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28574 27587 1111 63 0 28511 0
vsize: 114296
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 28083 0 0 0 35885 117 0 0 25 0 1 0 640044455 118661120 27991 4294967295 134512640 134714508 3221221776 3221220488 134591888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28970 27991 1111 63 0 28907 0
vsize: 115880
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 28446 0 0 0 36883 119 0 0 25 0 1 0 640044455 120291328 28354 4294967295 134512640 134714508 3221221776 3221220368 134549782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28354 1111 63 0 29305 0
vsize: 117472
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 28785 0 0 0 37882 120 0 0 25 0 1 0 640044455 121655296 28691 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29701 28691 1111 63 0 29638 0
vsize: 118804
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 29037 0 0 0 38881 122 0 0 25 0 1 0 640044455 122753024 28943 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29969 28943 1111 63 0 29906 0
vsize: 119876
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 29287 0 0 0 39880 123 0 0 25 0 1 0 640044455 123715584 29193 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30204 29193 1111 63 0 30141 0
vsize: 120816
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 29529 0 0 0 40878 125 0 0 25 0 1 0 640044455 124665856 29435 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30436 29435 1111 63 0 30373 0
vsize: 121744
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 29738 0 0 0 41878 125 0 0 25 0 1 0 640044455 125612032 29644 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30667 29644 1111 63 0 30604 0
vsize: 122668
[startup+430.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 29968 0 0 0 42877 127 0 0 25 0 1 0 640044455 126558208 29874 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30898 29874 1111 63 0 30835 0
vsize: 123592
[startup+440.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 30181 0 0 0 43876 128 0 0 25 0 1 0 640044455 127377408 30087 4294967295 134512640 134714508 3221221776 3221220520 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31098 30087 1111 63 0 31035 0
vsize: 124392
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 30380 0 0 0 44874 129 0 0 25 0 1 0 640044455 128327680 30286 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31330 30286 1111 63 0 31267 0
vsize: 125320
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 30482 0 0 0 45874 130 0 0 25 0 1 0 640044455 128745472 30388 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31432 30388 1111 63 0 31369 0
vsize: 125728
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 31276 0 0 0 46871 133 0 0 25 0 1 0 640044455 132046848 31179 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32238 31179 1111 63 0 32175 0
vsize: 128952
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 31631 0 0 0 47870 135 0 0 25 0 1 0 640044455 133533696 31534 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32601 31534 1111 63 0 32538 0
vsize: 130404
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 32093 0 0 0 48868 137 0 0 25 0 1 0 640044455 135426048 31995 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33063 31995 1111 63 0 33000 0
vsize: 132252
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 33097 0 0 0 49863 142 0 0 25 0 1 0 640044455 139481088 32999 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34053 32999 1111 63 0 33990 0
vsize: 136212
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 33617 0 0 0 50861 143 0 0 25 0 1 0 640044455 141643776 33518 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34581 33518 1111 63 0 34518 0
vsize: 138324
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 33862 0 0 0 51860 145 0 0 25 0 1 0 640044455 142725120 33763 4294967295 134512640 134714508 3221221776 3221220272 134535391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34845 33763 1111 63 0 34782 0
vsize: 139380
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 34249 0 0 0 52858 147 0 0 25 0 1 0 640044455 144211968 34149 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35208 34149 1111 63 0 35145 0
vsize: 140832
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 34574 0 0 0 53858 148 0 0 25 0 1 0 640044455 145563648 34474 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35538 34474 1111 63 0 35475 0
vsize: 142152
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 35166 0 0 0 54855 150 0 0 25 0 1 0 640044455 148004864 35066 4294967295 134512640 134714508 3221221776 3221220540 134528756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36134 35066 1111 63 0 36071 0
vsize: 144536
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 35534 0 0 0 55854 152 0 0 25 0 1 0 640044455 149655552 35434 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36537 35434 1111 63 0 36474 0
vsize: 146148
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 35755 0 0 0 56853 153 0 0 25 0 1 0 640044455 150466560 35655 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36735 35655 1111 63 0 36672 0
vsize: 146940
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 35907 0 0 0 57852 154 0 0 25 0 1 0 640044455 151150592 35807 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36902 35807 1111 63 0 36839 0
vsize: 147608
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 36067 0 0 0 58852 154 0 0 25 0 1 0 640044455 151691264 35967 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37034 35967 1111 63 0 36971 0
vsize: 148136
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 36193 0 0 0 59852 155 0 0 25 0 1 0 640044455 152231936 36093 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37166 36093 1111 63 0 37103 0
vsize: 148664
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 36288 0 0 0 60851 155 0 0 25 0 1 0 640044455 152645632 36188 4294967295 134512640 134714508 3221221776 3221220336 134549725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37267 36188 1111 63 0 37204 0
vsize: 149068
[startup+620.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 36652 0 0 0 61850 157 0 0 25 0 1 0 640044455 154132480 36552 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37630 36552 1111 63 0 37567 0
vsize: 150520
[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 36857 0 0 0 62849 158 0 0 25 0 1 0 640044455 154943488 36757 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37828 36757 1111 63 0 37765 0
vsize: 151312
[startup+640.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 37252 0 0 0 63848 159 0 0 25 0 1 0 640044455 156602368 37148 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38233 37148 1111 63 0 38170 0
vsize: 152932
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 37620 0 0 0 64846 161 0 0 25 0 1 0 640044455 158085120 37516 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38595 37516 1111 63 0 38532 0
vsize: 154380
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 38096 0 0 0 65845 163 0 0 25 0 1 0 640044455 159977472 37992 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39057 37992 1111 63 0 38994 0
vsize: 156228
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 38352 0 0 0 66844 163 0 0 25 0 1 0 640044455 161058816 38248 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39321 38248 1111 63 0 39258 0
vsize: 157284
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 38480 0 0 0 67844 164 0 0 25 0 1 0 640044455 161599488 38376 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39453 38376 1111 63 0 39390 0
vsize: 157812
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 38825 0 0 0 68842 166 0 0 25 0 1 0 640044455 162951168 38721 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39783 38721 1111 63 0 39720 0
vsize: 159132
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 39163 0 0 0 69841 167 0 0 25 0 1 0 640044455 164438016 39059 4294967295 134512640 134714508 3221221776 3221220492 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40146 39059 1111 63 0 40083 0
vsize: 160584
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 39388 0 0 0 70841 168 0 0 25 0 1 0 640044455 165384192 39284 4294967295 134512640 134714508 3221221776 3221220428 134536839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40377 39284 1111 63 0 40314 0
vsize: 161508
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 39543 0 0 0 71840 169 0 0 25 0 1 0 640044455 165924864 39439 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40509 39439 1111 63 0 40446 0
vsize: 162036
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 39614 0 0 0 72839 169 0 0 25 0 1 0 640044455 166207488 39510 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40578 39510 1111 63 0 40515 0
vsize: 162312
[startup+740.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 39972 0 0 0 73838 171 0 0 25 0 1 0 640044455 167768064 39866 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40959 39866 1111 63 0 40896 0
vsize: 163836
[startup+750.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 40266 0 0 0 74837 172 0 0 25 0 1 0 640044455 168984576 40160 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41256 40160 1111 63 0 41193 0
vsize: 165024
[startup+760.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 40479 0 0 0 75837 172 0 0 25 0 1 0 640044455 169873408 40373 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41473 40373 1111 63 0 41410 0
vsize: 165892
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 40855 0 0 0 76835 174 0 0 25 0 1 0 640044455 171417600 40746 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41850 40746 1111 63 0 41787 0
vsize: 167400
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 41079 0 0 0 77835 175 0 0 25 0 1 0 640044455 172400640 40970 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42090 40970 1111 63 0 42027 0
vsize: 168360
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 41257 0 0 0 78834 175 0 0 25 0 1 0 640044455 173076480 41148 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42255 41148 1111 63 0 42192 0
vsize: 169020
[startup+800.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 41470 0 0 0 79833 176 0 0 25 0 1 0 640044455 174026752 41359 4294967295 134512640 134714508 3221221776 3221220420 134536694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42487 41359 1111 63 0 42424 0
vsize: 169948
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 41650 0 0 0 80833 177 0 0 25 0 1 0 640044455 174702592 41539 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42652 41539 1111 63 0 42589 0
vsize: 170608
[startup+820.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 41990 0 0 0 81831 179 0 0 25 0 1 0 640044455 176054272 41879 4294967295 134512640 134714508 3221221776 3221220368 134549616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42982 41879 1111 63 0 42919 0
vsize: 171928
[startup+830.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 42222 0 0 0 82830 180 0 0 25 0 1 0 640044455 177000448 42111 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43213 42111 1111 63 0 43150 0
vsize: 172852
[startup+840.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 42634 0 0 0 83828 182 0 0 25 0 1 0 640044455 178839552 42514 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43662 42514 1111 63 0 43599 0
vsize: 174648
[startup+850.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 42824 0 0 0 84828 183 0 0 25 0 1 0 640044455 179650560 42704 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43860 42704 1111 63 0 43797 0
vsize: 175440
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 43050 0 0 0 85826 184 0 0 25 0 1 0 640044455 180617216 42930 4294967295 134512640 134714508 3221221776 3221220272 134535468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44096 42930 1111 63 0 44033 0
vsize: 176384
[startup+870.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 43264 0 0 0 86825 186 0 0 25 0 1 0 640044455 181428224 43144 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44294 43144 1111 63 0 44231 0
vsize: 177176
[startup+880.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 43465 0 0 0 87824 187 0 0 25 0 1 0 640044455 182239232 43345 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44492 43345 1111 63 0 44429 0
vsize: 177968
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 43813 0 0 0 88822 189 0 0 25 0 1 0 640044455 183590912 43693 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44822 43693 1111 63 0 44759 0
vsize: 179288
[startup+900.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 44014 0 0 0 89821 190 0 0 25 0 1 0 640044455 184401920 43894 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45020 43894 1111 63 0 44957 0
vsize: 180080
[startup+910.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 44185 0 0 0 90820 191 0 0 25 0 1 0 640044455 185229312 44065 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45222 44065 1111 63 0 45159 0
vsize: 180888
[startup+920.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 44332 0 0 0 91820 192 0 0 25 0 1 0 640044455 185778176 44212 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45356 44212 1111 63 0 45293 0
vsize: 181424
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 44573 0 0 0 92819 193 0 0 25 0 1 0 640044455 186724352 44453 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45587 44453 1111 63 0 45524 0
vsize: 182348
[startup+940.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 45060 0 0 0 93817 195 0 0 25 0 1 0 640044455 188751872 44940 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46082 44940 1111 63 0 46019 0
vsize: 184328
[startup+950.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 45343 0 0 0 94815 197 0 0 25 0 1 0 640044455 189870080 45223 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46355 45223 1111 63 0 46292 0
vsize: 185420
[startup+960.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 45612 0 0 0 95815 198 0 0 25 0 1 0 640044455 190951424 45492 4294967295 134512640 134714508 3221221776 3221220368 134549550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46619 45492 1111 63 0 46556 0
vsize: 186476
[startup+970.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 45776 0 0 0 96814 199 0 0 25 0 1 0 640044455 191627264 45656 4294967295 134512640 134714508 3221221776 3221220440 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46784 45656 1111 63 0 46721 0
vsize: 187136
[startup+980.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 46095 0 0 0 97813 200 0 0 25 0 1 0 640044455 193011712 45975 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47122 45975 1111 63 0 47059 0
vsize: 188488
[startup+990.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 46362 0 0 0 98812 201 0 0 25 0 1 0 640044455 194113536 46242 4294967295 134512640 134714508 3221221776 3221220368 134549517 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47391 46242 1111 63 0 47328 0
vsize: 189564
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 46548 0 0 0 99812 202 0 0 25 0 1 0 640044455 194957312 46428 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47597 46428 1111 63 0 47534 0
vsize: 190388
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 46707 0 0 0 100812 202 0 0 25 0 1 0 640044455 195665920 46586 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47770 46586 1111 63 0 47707 0
vsize: 191080
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 46925 0 0 0 101811 203 0 0 25 0 1 0 640044455 196476928 46803 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47968 46803 1111 63 0 47905 0
vsize: 191872
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 47092 0 0 0 102811 203 0 0 25 0 1 0 640044455 197181440 46970 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48140 46970 1111 63 0 48077 0
vsize: 192560
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 47197 0 0 0 103810 205 0 0 25 0 1 0 640044455 197586944 47075 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48239 47075 1111 63 0 48176 0
vsize: 192956
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 47340 0 0 0 104809 205 0 0 25 0 1 0 640044455 198283264 47218 4294967295 134512640 134714508 3221221776 3221220528 134592438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48409 47218 1111 63 0 48346 0
vsize: 193636
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 47461 0 0 0 105809 206 0 0 25 0 1 0 640044455 198832128 47339 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48543 47339 1111 63 0 48480 0
vsize: 194172
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 47663 0 0 0 106808 207 0 0 25 0 1 0 640044455 199647232 47540 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48742 47540 1111 63 0 48679 0
vsize: 194968
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 47934 0 0 0 107807 208 0 0 25 0 1 0 640044455 200908800 47809 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49050 47809 1111 63 0 48987 0
vsize: 196200
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 48048 0 0 0 108806 209 0 0 25 0 1 0 640044455 201322496 47921 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49151 47921 1111 63 0 49088 0
vsize: 196604
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 48162 0 0 0 109806 209 0 0 25 0 1 0 640044455 201871360 48035 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49285 48035 1111 63 0 49222 0
vsize: 197140
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 48274 0 0 0 110805 210 0 0 25 0 1 0 640044455 202280960 48147 4294967295 134512640 134714508 3221221776 3221220512 134535740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49385 48147 1111 63 0 49322 0
vsize: 197540
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 48338 0 0 0 111805 211 0 0 25 0 1 0 640044455 202551296 48211 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49451 48211 1111 63 0 49388 0
vsize: 197804
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 48485 0 0 0 112805 211 0 0 25 0 1 0 640044455 203091968 48358 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49583 48358 1111 63 0 49520 0
vsize: 198332
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 48608 0 0 0 113804 212 0 0 25 0 1 0 640044455 203632640 48481 4294967295 134512640 134714508 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49715 48481 1111 63 0 49652 0
vsize: 198860
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 49001 0 0 0 114803 213 0 0 25 0 1 0 640044455 205254656 48874 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50111 48874 1111 63 0 50048 0
vsize: 200444
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 49554 0 0 0 115801 215 0 0 25 0 1 0 640044455 207417344 49427 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50639 49427 1111 63 0 50576 0
vsize: 202556
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 49974 0 0 0 116800 217 0 0 25 0 1 0 640044455 209174528 49847 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51068 49847 1111 63 0 51005 0
vsize: 204272
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.98 0.96 1/53 23756
Raw data (stat): 23756 (bsolo_lpr) R 23755 7876 7672 0 -1 0 49974 0 0 0 116800 217 0 0 25 0 1 0 640044455 209174528 49847 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51068 49847 1111 63 0 51005 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.13
CPU user time (s): 1172.86
CPU system time (s): 2.26766
CPU usage (%): 100.012
Max. virtual memory (Kb): 204272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####