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-fpga20_18_sat_pb.cnf.cr.opb
MD5SUM	9a6b2ea126808a63a93c96774aab88a9
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	21
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.148976
Number of variables	540
Total number of constraints	416
Number of constraints which are clauses	378
Number of constraints which are cardinality constraints (but not clauses)	38
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 23337

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 14:15:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=352 boxname=wulflinc31 idbench=40 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9a6b2ea126808a63a93c96774aab88a9  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_18_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_18_sat_pb.cnf.cr.opb
IDLAUNCH: 352
/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:        927384 kB
Buffers:         38232 kB
Cached:          47048 kB
SwapCached:        944 kB
Active:          72096 kB
Inactive:        15604 kB
HighTotal:      131008 kB
HighFree:        83020 kB
LowTotal:       903652 kB
LowFree:        844364 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13968 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 14:35:07 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 352 7 1175.07 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 540 variables and 416 constraints.
c After prepocess the problem consists of 540 variables and 416 constraints.
c preprocess terminated 0.4 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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 24837
Raw data (stat): 24837 (runsolver) R 24836 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 640760605 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 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 3010 0 0 0 985 11 0 0 25 0 1 0 640760605 15486976 2931 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3781 2931 1111 63 0 3718 0
vsize: 15124
[startup+20.0019 s]
Raw data (loadavg): 0.91 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 4113 0 0 0 1981 15 0 0 25 0 1 0 640760605 19947520 4034 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4870 4034 1111 63 0 4807 0
vsize: 19480
[startup+30.0019 s]
Raw data (loadavg): 0.92 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 5303 0 0 0 2976 20 0 0 25 0 1 0 640760605 24813568 5224 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6058 5224 1111 63 0 5995 0
vsize: 24232
[startup+40.0019 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 6239 0 0 0 3972 24 0 0 25 0 1 0 640760605 28602368 6160 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6983 6160 1111 63 0 6920 0
vsize: 27932
[startup+50.0021 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 6746 0 0 0 4970 26 0 0 25 0 1 0 640760605 30765056 6667 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7511 6667 1111 63 0 7448 0
vsize: 30044
[startup+60.0027 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 7073 0 0 0 5969 28 0 0 25 0 1 0 640760605 32116736 6994 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7841 6994 1111 63 0 7778 0
vsize: 31364
[startup+70.0026 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 7266 0 0 0 6968 28 0 0 25 0 1 0 640760605 32931840 7187 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8040 7187 1111 63 0 7977 0
vsize: 32160
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 7354 0 0 0 7968 29 0 0 25 0 1 0 640760605 33214464 7275 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8109 7275 1111 63 0 8046 0
vsize: 32436
[startup+90.0025 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 7476 0 0 0 8968 30 0 0 25 0 1 0 640760605 33894400 7397 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8275 7397 1111 63 0 8212 0
vsize: 33100
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 7690 0 0 0 9966 31 0 0 25 0 1 0 640760605 34709504 7607 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8474 7607 1111 63 0 8411 0
vsize: 33896
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 7854 0 0 0 10965 32 0 0 25 0 1 0 640760605 35385344 7771 4294967295 134512640 134714508 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8639 7771 1111 63 0 8576 0
vsize: 34556
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 8167 0 0 0 11964 34 0 0 25 0 1 0 640760605 36741120 8084 4294967295 134512640 134714508 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8970 8084 1111 63 0 8907 0
vsize: 35880
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 8459 0 0 0 12962 35 0 0 25 0 1 0 640760605 37961728 8376 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9268 8376 1111 63 0 9205 0
vsize: 37072
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 8783 0 0 0 13961 37 0 0 25 0 1 0 640760605 39178240 8700 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9565 8700 1111 63 0 9502 0
vsize: 38260
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9060 0 0 0 14960 39 0 0 25 0 1 0 640760605 40394752 8977 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9862 8977 1111 63 0 9799 0
vsize: 39448
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9224 0 0 0 15959 40 0 0 25 0 1 0 640760605 41070592 9141 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10027 9141 1111 63 0 9964 0
vsize: 40108
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9331 0 0 0 16958 41 0 0 25 0 1 0 640760605 41476096 9248 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10126 9248 1111 63 0 10063 0
vsize: 40504
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9391 0 0 0 17958 41 0 0 25 0 1 0 640760605 41734144 9308 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10189 9308 1111 63 0 10126 0
vsize: 40756
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9469 0 0 0 18957 42 0 0 25 0 1 0 640760605 42004480 9386 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10255 9386 1111 63 0 10192 0
vsize: 41020
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9495 0 0 0 19956 43 0 0 25 0 1 0 640760605 42147840 9412 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10290 9412 1111 63 0 10227 0
vsize: 41160
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9570 0 0 0 20956 43 0 0 25 0 1 0 640760605 42418176 9487 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10356 9487 1111 63 0 10293 0
vsize: 41424
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9652 0 0 0 21955 44 0 0 25 0 1 0 640760605 42823680 9569 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10455 9569 1111 63 0 10392 0
vsize: 41820
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9792 0 0 0 22954 46 0 0 25 0 1 0 640760605 43364352 9709 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10587 9709 1111 63 0 10524 0
vsize: 42348
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9901 0 0 0 23953 47 0 0 25 0 1 0 640760605 43769856 9818 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10686 9818 1111 63 0 10623 0
vsize: 42744
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 9949 0 0 0 24953 47 0 0 25 0 1 0 640760605 44040192 9866 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10752 9866 1111 63 0 10689 0
vsize: 43008
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 10082 0 0 0 25952 48 0 0 25 0 1 0 640760605 44580864 9999 4294967295 134512640 134714508 3221221776 3221220544 134529133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10884 9999 1111 63 0 10821 0
vsize: 43536
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 10219 0 0 0 26951 50 0 0 25 0 1 0 640760605 45121536 10136 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11016 10136 1111 63 0 10953 0
vsize: 44064
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 10296 0 0 0 27950 50 0 0 25 0 1 0 640760605 45391872 10213 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11082 10213 1111 63 0 11019 0
vsize: 44328
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 10538 0 0 0 28949 52 0 0 25 0 1 0 640760605 46477312 10455 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11347 10455 1111 63 0 11284 0
vsize: 45388
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 10717 0 0 0 29949 52 0 0 25 0 1 0 640760605 47153152 10634 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11512 10634 1111 63 0 11449 0
vsize: 46048
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 10820 0 0 0 30948 53 0 0 25 0 1 0 640760605 47558656 10737 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11611 10737 1111 63 0 11548 0
vsize: 46444
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 10951 0 0 0 31947 54 0 0 25 0 1 0 640760605 48099328 10868 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11743 10868 1111 63 0 11680 0
vsize: 46972
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 11057 0 0 0 32946 56 0 0 25 0 1 0 640760605 48631808 10974 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11873 10974 1111 63 0 11810 0
vsize: 47492
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 11135 0 0 0 33946 56 0 0 25 0 1 0 640760605 48902144 11052 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11939 11052 1111 63 0 11876 0
vsize: 47756
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 11276 0 0 0 34945 57 0 0 25 0 1 0 640760605 49442816 11193 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12071 11193 1111 63 0 12008 0
vsize: 48284
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 11391 0 0 0 35944 59 0 0 25 0 1 0 640760605 49983488 11308 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12203 11308 1111 63 0 12140 0
vsize: 48812
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 11530 0 0 0 36943 59 0 0 25 0 1 0 640760605 50524160 11447 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12335 11447 1111 63 0 12272 0
vsize: 49340
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 11645 0 0 0 37943 60 0 0 25 0 1 0 640760605 50933760 11562 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12435 11562 1111 63 0 12372 0
vsize: 49740
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 11829 0 0 0 38942 62 0 0 25 0 1 0 640760605 51744768 11746 4294967295 134512640 134714508 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12633 11746 1111 63 0 12570 0
vsize: 50532
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12042 0 0 0 39941 63 0 0 25 0 1 0 640760605 52555776 11959 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12831 11959 1111 63 0 12768 0
vsize: 51324
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12185 0 0 0 40941 63 0 0 25 0 1 0 640760605 53248000 12102 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13000 12102 1111 63 0 12937 0
vsize: 52000
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12376 0 0 0 41940 64 0 0 25 0 1 0 640760605 53923840 12293 4294967295 134512640 134714508 3221221776 3221220540 134552557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13165 12293 1111 63 0 13102 0
vsize: 52660
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12468 0 0 0 42940 64 0 0 25 0 1 0 640760605 54329344 12385 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13264 12385 1111 63 0 13201 0
vsize: 53056
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12529 0 0 0 43940 65 0 0 25 0 1 0 640760605 54607872 12446 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13332 12446 1111 63 0 13269 0
vsize: 53328
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12639 0 0 0 44938 66 0 0 25 0 1 0 640760605 55025664 12556 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13434 12556 1111 63 0 13371 0
vsize: 53736
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12711 0 0 0 45938 67 0 0 25 0 1 0 640760605 55418880 12628 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13530 12628 1111 63 0 13467 0
vsize: 54120
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12794 0 0 0 46937 68 0 0 25 0 1 0 640760605 55668736 12711 4294967295 134512640 134714508 3221221776 3221220448 134551968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13591 12711 1111 63 0 13528 0
vsize: 54364
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12880 0 0 0 47937 68 0 0 25 0 1 0 640760605 56074240 12797 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13690 12797 1111 63 0 13627 0
vsize: 54760
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 12963 0 0 0 48936 69 0 0 25 0 1 0 640760605 56344576 12880 4294967295 134512640 134714508 3221221776 3221220332 134535634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13756 12880 1111 63 0 13693 0
vsize: 55024
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 13046 0 0 0 49936 69 0 0 25 0 1 0 640760605 56750080 12963 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13855 12963 1111 63 0 13792 0
vsize: 55420
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 13140 0 0 0 50935 70 0 0 25 0 1 0 640760605 57155584 13057 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13954 13057 1111 63 0 13891 0
vsize: 55816
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 13264 0 0 0 51935 71 0 0 25 0 1 0 640760605 57573376 13181 4294967295 134512640 134714508 3221221776 3221220332 134535503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14056 13181 1111 63 0 13993 0
vsize: 56224
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 13412 0 0 0 52934 72 0 0 25 0 1 0 640760605 58249216 13329 4294967295 134512640 134714508 3221221776 3221220504 134558807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14221 13329 1111 63 0 14158 0
vsize: 56884
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 13526 0 0 0 53934 73 0 0 25 0 1 0 640760605 58654720 13443 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14320 13443 1111 63 0 14257 0
vsize: 57280
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 13865 0 0 0 54933 74 0 0 25 0 1 0 640760605 60006400 13782 4294967295 134512640 134714508 3221221776 3221220460 134536568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14650 13782 1111 63 0 14587 0
vsize: 58600
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 14145 0 0 0 55932 75 0 0 25 0 1 0 640760605 61222912 14062 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14947 14062 1111 63 0 14884 0
vsize: 59788
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 14518 0 0 0 56929 78 0 0 25 0 1 0 640760605 62730240 14435 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15315 14435 1111 63 0 15252 0
vsize: 61260
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 14697 0 0 0 57929 78 0 0 25 0 1 0 640760605 63565824 14614 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15519 14614 1111 63 0 15456 0
vsize: 62076
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 14820 0 0 0 58928 79 0 0 25 0 1 0 640760605 63971328 14737 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15618 14737 1111 63 0 15555 0
vsize: 62472
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 14914 0 0 0 59928 80 0 0 25 0 1 0 640760605 64364544 14831 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15714 14831 1111 63 0 15651 0
vsize: 62856
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15042 0 0 0 60927 81 0 0 25 0 1 0 640760605 64917504 14959 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15849 14959 1111 63 0 15786 0
vsize: 63396
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15250 0 0 0 61926 82 0 0 25 0 1 0 640760605 65728512 15167 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16047 15167 1111 63 0 15984 0
vsize: 64188
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15333 0 0 0 62925 83 0 0 25 0 1 0 640760605 66134016 15250 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16146 15250 1111 63 0 16083 0
vsize: 64584
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15376 0 0 0 63925 83 0 0 25 0 1 0 640760605 66269184 15293 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16179 15293 1111 63 0 16116 0
vsize: 64716
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15409 0 0 0 64925 84 0 0 25 0 1 0 640760605 66404352 15326 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16212 15326 1111 63 0 16149 0
vsize: 64848
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15571 0 0 0 65924 85 0 0 25 0 1 0 640760605 67088384 15488 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16379 15488 1111 63 0 16316 0
vsize: 65516
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15705 0 0 0 66923 86 0 0 25 0 1 0 640760605 67629056 15622 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16511 15622 1111 63 0 16448 0
vsize: 66044
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15797 0 0 0 67922 87 0 0 25 0 1 0 640760605 68034560 15714 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16610 15714 1111 63 0 16547 0
vsize: 66440
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15913 0 0 0 68922 88 0 0 25 0 1 0 640760605 68579328 15830 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16743 15830 1111 63 0 16680 0
vsize: 66972
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 15952 0 0 0 69922 88 0 0 25 0 1 0 640760605 68714496 15869 4294967295 134512640 134714508 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16776 15869 1111 63 0 16713 0
vsize: 67104
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16099 0 0 0 70921 89 0 0 25 0 1 0 640760605 69255168 16016 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16908 16016 1111 63 0 16845 0
vsize: 67632
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16164 0 0 0 71921 89 0 0 25 0 1 0 640760605 69537792 16080 4294967295 134512640 134714508 3221221776 3221220528 134592388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16977 16080 1111 63 0 16914 0
vsize: 67908
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16224 0 0 0 72921 90 0 0 25 0 1 0 640760605 69808128 16140 4294967295 134512640 134714508 3221221776 3221220512 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17043 16140 1111 63 0 16980 0
vsize: 68172
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16291 0 0 0 73920 90 0 0 25 0 1 0 640760605 70078464 16207 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17109 16207 1111 63 0 17046 0
vsize: 68436
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16346 0 0 0 74920 91 0 0 25 0 1 0 640760605 70377472 16262 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17182 16262 1111 63 0 17119 0
vsize: 68728
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16423 0 0 0 75919 91 0 0 25 0 1 0 640760605 70639616 16339 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17246 16339 1111 63 0 17183 0
vsize: 68984
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16465 0 0 0 76919 92 0 0 25 0 1 0 640760605 70909952 16381 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17312 16381 1111 63 0 17249 0
vsize: 69248
[startup+780.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16557 0 0 0 77920 93 0 0 25 0 1 0 640760605 71180288 16473 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17378 16473 1111 63 0 17315 0
vsize: 69512
[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16599 0 0 0 78920 93 0 0 25 0 1 0 640760605 71483392 16515 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17452 16515 1111 63 0 17389 0
vsize: 69808
[startup+800.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16672 0 0 0 79919 94 0 0 25 0 1 0 640760605 71749632 16588 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17517 16588 1111 63 0 17454 0
vsize: 70068
[startup+810.056 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16751 0 0 0 80919 95 0 0 25 0 1 0 640760605 72011776 16667 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17581 16667 1111 63 0 17518 0
vsize: 70324
[startup+820.056 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16793 0 0 0 81918 96 0 0 25 0 1 0 640760605 72282112 16709 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17647 16709 1111 63 0 17584 0
vsize: 70588
[startup+830.056 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16848 0 0 0 82918 96 0 0 25 0 1 0 640760605 72552448 16764 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17713 16764 1111 63 0 17650 0
vsize: 70852
[startup+840.057 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16908 0 0 0 83918 97 0 0 25 0 1 0 640760605 72851456 16822 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17786 16822 1111 63 0 17723 0
vsize: 71144
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 16957 0 0 0 84917 98 0 0 25 0 1 0 640760605 72986624 16871 4294967295 134512640 134714508 3221221776 3221220352 134549852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17819 16871 1111 63 0 17756 0
vsize: 71276
[startup+860.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17002 0 0 0 85917 98 0 0 25 0 1 0 640760605 73121792 16916 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17852 16916 1111 63 0 17789 0
vsize: 71408
[startup+870.061 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17052 0 0 0 86916 99 0 0 25 0 1 0 640760605 73408512 16965 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17922 16965 1111 63 0 17859 0
vsize: 71688
[startup+880.061 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17094 0 0 0 87916 99 0 0 25 0 1 0 640760605 73543680 17007 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17955 17007 1111 63 0 17892 0
vsize: 71820
[startup+890.062 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17174 0 0 0 88916 100 0 0 25 0 1 0 640760605 73949184 17086 4294967295 134512640 134714508 3221221776 3221220532 134587950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17086 1111 63 0 17991 0
vsize: 72216
[startup+900.062 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17225 0 0 0 89915 100 0 0 25 0 1 0 640760605 74219520 17137 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18120 17137 1111 63 0 18057 0
vsize: 72480
[startup+910.063 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17265 0 0 0 90915 101 0 0 25 0 1 0 640760605 74366976 17176 4294967295 134512640 134714508 3221221776 3221220332 134535962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18156 17176 1111 63 0 18093 0
vsize: 72624
[startup+920.064 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17311 0 0 0 91915 101 0 0 25 0 1 0 640760605 74665984 17221 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18229 17221 1111 63 0 18166 0
vsize: 72916
[startup+930.064 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17371 0 0 0 92914 102 0 0 25 0 1 0 640760605 74936320 17281 4294967295 134512640 134714508 3221221776 3221220520 134523854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18295 17281 1111 63 0 18232 0
vsize: 73180
[startup+940.065 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17428 0 0 0 93914 103 0 0 25 0 1 0 640760605 75206656 17338 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18361 17338 1111 63 0 18298 0
vsize: 73444
[startup+950.066 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17498 0 0 0 94914 103 0 0 25 0 1 0 640760605 75481088 17408 4294967295 134512640 134714508 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18428 17408 1111 63 0 18365 0
vsize: 73712
[startup+960.066 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17549 0 0 0 95913 104 0 0 25 0 1 0 640760605 75616256 17459 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18461 17459 1111 63 0 18398 0
vsize: 73844
[startup+970.067 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17604 0 0 0 96913 104 0 0 25 0 1 0 640760605 75886592 17514 4294967295 134512640 134714508 3221221776 3221220428 134536771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18527 17514 1111 63 0 18464 0
vsize: 74108
[startup+980.067 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17635 0 0 0 97913 105 0 0 25 0 1 0 640760605 76021760 17545 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18560 17545 1111 63 0 18497 0
vsize: 74240
[startup+990.068 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17674 0 0 0 98912 105 0 0 25 0 1 0 640760605 76156928 17584 4294967295 134512640 134714508 3221221776 3221220316 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18593 17584 1111 63 0 18530 0
vsize: 74372
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17702 0 0 0 99912 106 0 0 25 0 1 0 640760605 76292096 17612 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18626 17612 1111 63 0 18563 0
vsize: 74504
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17726 0 0 0 100912 106 0 0 25 0 1 0 640760605 76427264 17636 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18659 17636 1111 63 0 18596 0
vsize: 74636
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17747 0 0 0 101912 106 0 0 25 0 1 0 640760605 76427264 17657 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18659 17657 1111 63 0 18596 0
vsize: 74636
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17814 0 0 0 102912 107 0 0 25 0 1 0 640760605 76697600 17724 4294967295 134512640 134714508 3221221776 3221220500 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17724 1111 63 0 18662 0
vsize: 74900
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17907 0 0 0 103911 107 0 0 25 0 1 0 640760605 77103104 17817 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18824 17817 1111 63 0 18761 0
vsize: 75296
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 17974 0 0 0 104911 108 0 0 25 0 1 0 640760605 77373440 17884 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18890 17884 1111 63 0 18827 0
vsize: 75560
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18034 0 0 0 105910 109 0 0 25 0 1 0 640760605 77643776 17944 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18956 17944 1111 63 0 18893 0
vsize: 75824
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18105 0 0 0 106910 109 0 0 25 0 1 0 640760605 77910016 18015 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19021 18015 1111 63 0 18958 0
vsize: 76084
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18166 0 0 0 107910 110 0 0 25 0 1 0 640760605 78180352 18076 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19087 18076 1111 63 0 19024 0
vsize: 76348
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18166 0 0 0 108910 110 0 0 25 0 1 0 640760605 78180352 18076 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19087 18076 1111 63 0 19024 0
vsize: 76348
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18166 0 0 0 109910 110 0 0 25 0 1 0 640760605 78180352 18076 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19087 18076 1111 63 0 19024 0
vsize: 76348
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18246 0 0 0 110909 111 0 0 25 0 1 0 640760605 78594048 18156 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19188 18156 1111 63 0 19125 0
vsize: 76752
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18321 0 0 0 111909 112 0 0 25 0 1 0 640760605 78864384 18231 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19254 18231 1111 63 0 19191 0
vsize: 77016
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18443 0 0 0 112908 113 0 0 25 0 1 0 640760605 79405056 18353 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19386 18353 1111 63 0 19323 0
vsize: 77544
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18615 0 0 0 113907 114 0 0 25 0 1 0 640760605 80080896 18525 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19551 18525 1111 63 0 19488 0
vsize: 78204
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18775 0 0 0 114906 115 0 0 25 0 1 0 640760605 80756736 18685 4294967295 134512640 134714508 3221221776 3221220432 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19716 18685 1111 63 0 19653 0
vsize: 78864
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18891 0 0 0 115905 116 0 0 25 0 1 0 640760605 81162240 18801 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19815 18801 1111 63 0 19752 0
vsize: 79260
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18970 0 0 0 116905 116 0 0 25 0 1 0 640760605 81571840 18880 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19915 18880 1111 63 0 19852 0
vsize: 79660
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 24837
Raw data (stat): 24837 (bsolo_lpr) R 24836 7876 7672 0 -1 0 18970 0 0 0 116905 116 0 0 25 0 1 0 640760605 81571840 18880 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19915 18880 1111 63 0 19852 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1173.87
CPU system time (s): 1.20782
CPU usage (%): 100.012
Max. virtual memory (Kb): 79660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####