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_13_sat_pb.cnf.cr.opb
MD5SUM	477af24fc30fd084c6281beb06bd14f4
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.05599
Number of variables	254
Total number of constraints	208
Number of constraints which are clauses	182
Number of constraints which are cardinality constraints (but not clauses)	26
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 23302

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 07:17:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=289 boxname=wulflinc31 idbench=33 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  477af24fc30fd084c6281beb06bd14f4  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_13_sat_pb.cnf.cr.opb
IDLAUNCH: 289
/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:        928320 kB
Buffers:         37656 kB
Cached:          46616 kB
SwapCached:        864 kB
Active:          71604 kB
Inactive:        15028 kB
HighTotal:      131008 kB
HighFree:        83356 kB
LowTotal:       903652 kB
LowFree:        844964 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13984 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 07:37:01 (client local time) WITH STATUS 0 IN 1175.21 SECONDS
stats: 289 7 1175.21 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 254 variables and 208 constraints.
c After prepocess the problem consists of 254 variables and 208 constraints.
c preprocess terminated 0.146 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.11 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.80 0.95 0.96 2/54 21089
Raw data (stat): 21089 (runsolver) R 21088 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638251751 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.83 0.95 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 3065 0 0 0 982 12 0 0 25 0 1 0 638251751 15618048 2986 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3813 2986 1111 63 0 3750 0
vsize: 15252
[startup+20.0003 s]
Raw data (loadavg): 0.86 0.95 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 4572 0 0 0 1976 18 0 0 25 0 1 0 638251751 21868544 4492 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5339 4492 1111 63 0 5276 0
vsize: 21356
[startup+30.0016 s]
Raw data (loadavg): 0.88 0.95 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 6369 0 0 0 2970 25 0 0 25 0 1 0 638251751 29175808 6288 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7123 6288 1111 63 0 7060 0
vsize: 28492
[startup+40.0012 s]
Raw data (loadavg): 0.90 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 7550 0 0 0 3965 29 0 0 25 0 1 0 638251751 34209792 7466 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8352 7466 1111 63 0 8289 0
vsize: 33408
[startup+50.0024 s]
Raw data (loadavg): 0.91 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 8663 0 0 0 4962 33 0 0 25 0 1 0 638251751 38686720 8579 4294967295 134512640 134714508 3221221776 3221220488 134535776 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9445 8579 1111 63 0 9382 0
vsize: 37780
[startup+60.0024 s]
Raw data (loadavg): 0.93 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 9427 0 0 0 5958 37 0 0 25 0 1 0 638251751 41930752 9342 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10237 9342 1111 63 0 10174 0
vsize: 40948
[startup+70.002 s]
Raw data (loadavg): 0.94 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 10027 0 0 0 6955 41 0 0 25 0 1 0 638251751 44363776 9942 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10831 9942 1111 63 0 10768 0
vsize: 43324
[startup+80.003 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 10887 0 0 0 7952 44 0 0 25 0 1 0 638251751 47878144 10802 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11689 10802 1111 63 0 11626 0
vsize: 46756
[startup+90.0032 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 11705 0 0 0 8949 47 0 0 25 0 1 0 638251751 51265536 11620 4294967295 134512640 134714508 3221221776 3221220356 134696725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12516 11620 1111 63 0 12453 0
vsize: 50064
[startup+100.004 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 12503 0 0 0 9944 52 0 0 25 0 1 0 638251751 54579200 12417 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13325 12417 1111 63 0 13262 0
vsize: 53300
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 13200 0 0 0 10941 56 0 0 25 0 1 0 638251751 57417728 13114 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14018 13114 1111 63 0 13955 0
vsize: 56072
[startup+120.004 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 13788 0 0 0 11939 57 0 0 25 0 1 0 638251751 59772928 13699 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14593 13699 1111 63 0 14530 0
vsize: 58372
[startup+130.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 14482 0 0 0 12936 60 0 0 25 0 1 0 638251751 62648320 14391 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15295 14391 1111 63 0 15232 0
vsize: 61180
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 15073 0 0 0 13935 62 0 0 25 0 1 0 638251751 65241088 14980 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15928 14980 1111 63 0 15865 0
vsize: 63712
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 15512 0 0 0 14934 63 0 0 25 0 1 0 638251751 66998272 15419 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16357 15419 1111 63 0 16294 0
vsize: 65428
[startup+160.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 16081 0 0 0 15932 65 0 0 25 0 1 0 638251751 69312512 15988 4294967295 134512640 134714508 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16922 15988 1111 63 0 16859 0
vsize: 67688
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 16651 0 0 0 16930 67 0 0 25 0 1 0 638251751 71622656 16558 4294967295 134512640 134714508 3221221776 3221220364 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17486 16558 1111 63 0 17423 0
vsize: 69944
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 17202 0 0 0 17928 69 0 0 25 0 1 0 638251751 73945088 17109 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18053 17109 1111 63 0 17990 0
vsize: 72212
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 17726 0 0 0 18926 72 0 0 25 0 1 0 638251751 76107776 17633 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18581 17633 1111 63 0 18518 0
vsize: 74324
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 18364 0 0 0 19923 75 0 0 25 0 1 0 638251751 78675968 18271 4294967295 134512640 134714508 3221221776 3221220440 134536851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19208 18271 1111 63 0 19145 0
vsize: 76832
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 19051 0 0 0 20920 79 0 0 25 0 1 0 638251751 81514496 18958 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19901 18958 1111 63 0 19838 0
vsize: 79604
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 19755 0 0 0 21916 82 0 0 25 0 1 0 638251751 84369408 19658 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20598 19658 1111 63 0 20535 0
vsize: 82392
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 20538 0 0 0 22913 86 0 0 25 0 1 0 638251751 87678976 20440 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21406 20440 1111 63 0 21343 0
vsize: 85624
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 21125 0 0 0 23911 88 0 0 25 0 1 0 638251751 89976832 21027 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21967 21027 1111 63 0 21904 0
vsize: 87868
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 21773 0 0 0 24909 90 0 0 25 0 1 0 638251751 92762112 21675 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22647 21675 1111 63 0 22584 0
vsize: 90588
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 22657 0 0 0 25906 93 0 0 25 0 1 0 638251751 96411648 22559 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23538 22559 1111 63 0 23475 0
vsize: 94152
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 23403 0 0 0 26903 97 0 0 25 0 1 0 638251751 99430400 23305 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24275 23305 1111 63 0 24212 0
vsize: 97100
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 24095 0 0 0 27900 99 0 0 25 0 1 0 638251751 102309888 23997 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24978 23997 1111 63 0 24915 0
vsize: 99912
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 24813 0 0 0 28898 101 0 0 25 0 1 0 638251751 105185280 24714 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25680 24714 1111 63 0 25617 0
vsize: 102720
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 25512 0 0 0 29895 105 0 0 25 0 1 0 638251751 108158976 25413 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26406 25413 1111 63 0 26343 0
vsize: 105624
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 26100 0 0 0 30893 107 0 0 25 0 1 0 638251751 110608384 26000 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27004 26000 1111 63 0 26941 0
vsize: 108016
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 26561 0 0 0 31891 109 0 0 25 0 1 0 638251751 112381952 26459 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27437 26459 1111 63 0 27374 0
vsize: 109748
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 26911 0 0 0 32890 110 0 0 25 0 1 0 638251751 113868800 26809 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27800 26809 1111 63 0 27737 0
vsize: 111200
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 27263 0 0 0 33888 112 0 0 25 0 1 0 638251751 115408896 27158 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28176 27158 1111 63 0 28113 0
vsize: 112704
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 27604 0 0 0 34887 113 0 0 25 0 1 0 638251751 116760576 27499 4294967295 134512640 134714508 3221221776 3221220180 134697358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28506 27499 1111 63 0 28443 0
vsize: 114024
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 28070 0 0 0 35885 115 0 0 25 0 1 0 638251751 118652928 27965 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28968 27965 1111 63 0 28905 0
vsize: 115872
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 28412 0 0 0 36884 117 0 0 25 0 1 0 638251751 120074240 28307 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29315 28307 1111 63 0 29252 0
vsize: 117260
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 28706 0 0 0 37883 118 0 0 25 0 1 0 638251751 121307136 28601 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29616 28601 1111 63 0 29553 0
vsize: 118464
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 28939 0 0 0 38882 119 0 0 25 0 1 0 638251751 122253312 28834 4294967295 134512640 134714508 3221221776 3221220448 134551978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29847 28834 1111 63 0 29784 0
vsize: 119388
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 29207 0 0 0 39882 119 0 0 25 0 1 0 638251751 123334656 29102 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30111 29102 1111 63 0 30048 0
vsize: 120444
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 29441 0 0 0 40881 121 0 0 25 0 1 0 638251751 124280832 29336 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30342 29336 1111 63 0 30279 0
vsize: 121368
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 29648 0 0 0 41880 121 0 0 25 0 1 0 638251751 125292544 29540 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30589 29540 1111 63 0 30526 0
vsize: 122356
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 29859 0 0 0 42879 122 0 0 25 0 1 0 638251751 126107648 29751 4294967295 134512640 134714508 3221221776 3221220464 134551890 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30788 29751 1111 63 0 30725 0
vsize: 123152
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 30062 0 0 0 43879 123 0 0 25 0 1 0 638251751 126918656 29953 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30986 29953 1111 63 0 30923 0
vsize: 123944
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 30253 0 0 0 44878 124 0 0 25 0 1 0 638251751 127733760 30144 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31185 30144 1111 63 0 31122 0
vsize: 124740
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 30456 0 0 0 45878 125 0 0 25 0 1 0 638251751 128544768 30347 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31383 30347 1111 63 0 31320 0
vsize: 125532
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 30698 0 0 0 46876 126 0 0 25 0 1 0 638251751 129679360 30589 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31660 30589 1111 63 0 31597 0
vsize: 126640
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 30941 0 0 0 47876 127 0 0 25 0 1 0 638251751 130625536 30832 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31891 30832 1111 63 0 31828 0
vsize: 127564
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 31182 0 0 0 48875 128 0 0 25 0 1 0 638251751 131645440 31070 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32140 31070 1111 63 0 32077 0
vsize: 128560
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 31390 0 0 0 49875 128 0 0 25 0 1 0 638251751 132481024 31278 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32344 31278 1111 63 0 32281 0
vsize: 129376
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 31621 0 0 0 50874 129 0 0 25 0 1 0 638251751 133443584 31509 4294967295 134512640 134714508 3221221776 3221220468 134528706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32579 31509 1111 63 0 32516 0
vsize: 130316
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 31886 0 0 0 51873 131 0 0 25 0 1 0 638251751 134524928 31774 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32843 31774 1111 63 0 32780 0
vsize: 131372
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 32072 0 0 0 52872 131 0 0 25 0 1 0 638251751 135335936 31960 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33041 31960 1111 63 0 32978 0
vsize: 132164
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 32286 0 0 0 53871 133 0 0 25 0 1 0 638251751 136142848 32174 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33238 32174 1111 63 0 33175 0
vsize: 132952
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 32603 0 0 0 54871 133 0 0 25 0 1 0 638251751 137547776 32489 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33581 32489 1111 63 0 33518 0
vsize: 134324
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 32819 0 0 0 55870 134 0 0 25 0 1 0 638251751 138465280 32697 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33805 32697 1111 63 0 33742 0
vsize: 135220
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 32970 0 0 0 56870 134 0 0 25 0 1 0 638251751 139141120 32848 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33970 32848 1111 63 0 33907 0
vsize: 135880
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 33152 0 0 0 57870 135 0 0 25 0 1 0 638251751 139886592 33026 4294967295 134512640 134714508 3221221776 3221220536 134552549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34152 33026 1111 63 0 34089 0
vsize: 136608
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 33292 0 0 0 58869 135 0 0 25 0 1 0 638251751 140427264 33166 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34284 33166 1111 63 0 34221 0
vsize: 137136
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 33430 0 0 0 59869 136 0 0 25 0 1 0 638251751 140972032 33304 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34417 33304 1111 63 0 34354 0
vsize: 137668
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 33575 0 0 0 60868 137 0 0 25 0 1 0 638251751 141647872 33449 4294967295 134512640 134714508 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34582 33449 1111 63 0 34519 0
vsize: 138328
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 33724 0 0 0 61867 138 0 0 25 0 1 0 638251751 142188544 33598 4294967295 134512640 134714508 3221221776 3221220540 134552693 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34714 33598 1111 63 0 34651 0
vsize: 138856
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 33904 0 0 0 62866 139 0 0 25 0 1 0 638251751 143056896 33777 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34926 33777 1111 63 0 34863 0
vsize: 139704
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 34029 0 0 0 63866 140 0 0 25 0 1 0 638251751 143462400 33902 4294967295 134512640 134714508 3221221776 3221220468 134528706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35025 33902 1111 63 0 34962 0
vsize: 140100
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 34179 0 0 0 64866 140 0 0 25 0 1 0 638251751 144076800 34049 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35175 34049 1111 63 0 35112 0
vsize: 140700
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 34335 0 0 0 65865 141 0 0 25 0 1 0 638251751 144752640 34205 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35340 34205 1111 63 0 35277 0
vsize: 141360
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 34479 0 0 0 66864 142 0 0 25 0 1 0 638251751 145293312 34349 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35472 34349 1111 63 0 35409 0
vsize: 141888
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 34612 0 0 0 67864 143 0 0 25 0 1 0 638251751 145833984 34482 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35604 34482 1111 63 0 35541 0
vsize: 142416
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 34743 0 0 0 68863 143 0 0 25 0 1 0 638251751 146374656 34613 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35736 34613 1111 63 0 35673 0
vsize: 142944
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 34895 0 0 0 69863 144 0 0 25 0 1 0 638251751 147070976 34764 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35906 34764 1111 63 0 35843 0
vsize: 143624
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 35089 0 0 0 70863 144 0 0 25 0 1 0 638251751 147939328 34953 4294967295 134512640 134714508 3221221776 3221220480 134528680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36118 34953 1111 63 0 36055 0
vsize: 144472
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 35244 0 0 0 71862 145 0 0 25 0 1 0 638251751 148488192 35108 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36252 35108 1111 63 0 36189 0
vsize: 145008
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 35404 0 0 0 72862 146 0 0 25 0 1 0 638251751 149176320 35268 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36420 35268 1111 63 0 36357 0
vsize: 145680
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 35555 0 0 0 73861 146 0 0 25 0 1 0 638251751 149716992 35419 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36552 35419 1111 63 0 36489 0
vsize: 146208
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 35702 0 0 0 74861 147 0 0 25 0 1 0 638251751 150392832 35566 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36717 35566 1111 63 0 36654 0
vsize: 146868
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 35900 0 0 0 75860 148 0 0 25 0 1 0 638251751 151220224 35764 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36919 35764 1111 63 0 36856 0
vsize: 147676
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 36020 0 0 0 76859 149 0 0 25 0 1 0 638251751 151760896 35884 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37051 35884 1111 63 0 36988 0
vsize: 148204
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 36178 0 0 0 77859 149 0 0 25 0 1 0 638251751 152301568 36042 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37183 36042 1111 63 0 37120 0
vsize: 148732
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 36345 0 0 0 78859 150 0 0 25 0 1 0 638251751 152977408 36209 4294967295 134512640 134714508 3221221776 3221220512 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37348 36209 1111 63 0 37285 0
vsize: 149392
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 36515 0 0 0 79858 150 0 0 25 0 1 0 638251751 153653248 36379 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37513 36379 1111 63 0 37450 0
vsize: 150052
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 36662 0 0 0 80858 151 0 0 25 0 1 0 638251751 154329088 36526 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37678 36526 1111 63 0 37615 0
vsize: 150712
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 36908 0 0 0 81857 152 0 0 25 0 1 0 638251751 155275264 36772 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37909 36772 1111 63 0 37846 0
vsize: 151636
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 37110 0 0 0 82857 152 0 0 25 0 1 0 638251751 156241920 36974 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38145 36974 1111 63 0 38082 0
vsize: 152580
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 37261 0 0 0 83857 153 0 0 25 0 1 0 638251751 156782592 37125 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38277 37125 1111 63 0 38214 0
vsize: 153108
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 37445 0 0 0 84856 153 0 0 25 0 1 0 638251751 157593600 37309 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38475 37309 1111 63 0 38412 0
vsize: 153900
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 37632 0 0 0 85856 154 0 0 25 0 1 0 638251751 158400512 37496 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38672 37496 1111 63 0 38609 0
vsize: 154688
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 37832 0 0 0 86855 155 0 0 25 0 1 0 638251751 159211520 37696 4294967295 134512640 134714508 3221221776 3221220492 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38870 37696 1111 63 0 38807 0
vsize: 155480
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 38089 0 0 0 87854 156 0 0 25 0 1 0 638251751 160157696 37953 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39101 37953 1111 63 0 39038 0
vsize: 156404
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 38324 0 0 0 88854 157 0 0 25 0 1 0 638251751 161239040 38188 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39365 38188 1111 63 0 39302 0
vsize: 157460
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 38549 0 0 0 89853 158 0 0 25 0 1 0 638251751 162050048 38413 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39563 38413 1111 63 0 39500 0
vsize: 158252
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 38778 0 0 0 90852 159 0 0 25 0 1 0 638251751 163008512 38642 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39797 38642 1111 63 0 39734 0
vsize: 159188
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 39015 0 0 0 91851 160 0 0 25 0 1 0 638251751 164089856 38879 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40061 38879 1111 63 0 39998 0
vsize: 160244
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 39244 0 0 0 92850 161 0 0 25 0 1 0 638251751 165036032 39108 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40292 39108 1111 63 0 40229 0
vsize: 161168
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 39443 0 0 0 93850 162 0 0 25 0 1 0 638251751 165711872 39307 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40457 39307 1111 63 0 40394 0
vsize: 161828
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 39630 0 0 0 94848 163 0 0 25 0 1 0 638251751 166526976 39491 4294967295 134512640 134714508 3221221776 3221220560 134529410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40656 39491 1111 63 0 40593 0
vsize: 162624
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 39819 0 0 0 95848 163 0 0 25 0 1 0 638251751 167337984 39680 4294967295 134512640 134714508 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40854 39680 1111 63 0 40791 0
vsize: 163416
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 40002 0 0 0 96847 164 0 0 25 0 1 0 638251751 168148992 39863 4294967295 134512640 134714508 3221221776 3221220480 134528647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41052 39863 1111 63 0 40989 0
vsize: 164208
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 40184 0 0 0 97847 165 0 0 25 0 1 0 638251751 168824832 40045 4294967295 134512640 134714508 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41217 40045 1111 63 0 41154 0
vsize: 164868
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 40317 0 0 0 98846 165 0 0 25 0 1 0 638251751 169365504 40178 4294967295 134512640 134714508 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41349 40178 1111 63 0 41286 0
vsize: 165396
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 40536 0 0 0 99846 166 0 0 25 0 1 0 638251751 170385408 40397 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41598 40397 1111 63 0 41535 0
vsize: 166392
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 41081 0 0 0 100844 168 0 0 25 0 1 0 638251751 172548096 40942 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42126 40942 1111 63 0 42063 0
vsize: 168504
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 41589 0 0 0 101841 171 0 0 25 0 1 0 638251751 174575616 41450 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42621 41450 1111 63 0 42558 0
vsize: 170484
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 42182 0 0 0 102839 174 0 0 25 0 1 0 638251751 177147904 42034 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43249 42034 1111 63 0 43186 0
vsize: 172996
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 42795 0 0 0 103835 177 0 0 25 0 1 0 638251751 179716096 42647 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43876 42647 1111 63 0 43813 0
vsize: 175504
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 43316 0 0 0 104834 179 0 0 25 0 1 0 638251751 181878784 43168 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44404 43168 1111 63 0 44341 0
vsize: 177616
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 43777 0 0 0 105832 181 0 0 25 0 1 0 638251751 183771136 43629 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44866 43629 1111 63 0 44803 0
vsize: 179464
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 44137 0 0 0 106832 182 0 0 25 0 1 0 638251751 185257984 43989 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45229 43989 1111 63 0 45166 0
vsize: 180916
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 44491 0 0 0 107830 183 0 0 25 0 1 0 638251751 186613760 44343 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45560 44343 1111 63 0 45497 0
vsize: 182240
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 44848 0 0 0 108829 184 0 0 25 0 1 0 638251751 188137472 44700 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45932 44700 1111 63 0 45869 0
vsize: 183728
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 45299 0 0 0 109828 185 0 0 25 0 1 0 638251751 190029824 45151 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46394 45151 1111 63 0 46331 0
vsize: 185576
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 45652 0 0 0 110827 187 0 0 25 0 1 0 638251751 191516672 45504 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46757 45504 1111 63 0 46694 0
vsize: 187028
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 46094 0 0 0 111825 189 0 0 25 0 1 0 638251751 193318912 45945 4294967295 134512640 134714508 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47197 45945 1111 63 0 47134 0
vsize: 188788
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 46498 0 0 0 112824 191 0 0 25 0 1 0 638251751 194940928 46349 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47593 46349 1111 63 0 47530 0
vsize: 190372
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 47009 0 0 0 113823 192 0 0 25 0 1 0 638251751 197103616 46860 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48121 46860 1111 63 0 48058 0
vsize: 192484
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 47435 0 0 0 114822 193 0 0 25 0 1 0 638251751 198860800 47286 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48550 47286 1111 63 0 48487 0
vsize: 194200
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 47686 0 0 0 115821 194 0 0 25 0 1 0 638251751 199806976 47537 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48781 47537 1111 63 0 48718 0
vsize: 195124
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 47934 0 0 0 116820 195 0 0 25 0 1 0 638251751 200888320 47785 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49045 47785 1111 63 0 48982 0
vsize: 196180
[startup+1175.09 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 21089
Raw data (stat): 21089 (bsolo_lpr) R 21088 7876 7672 0 -1 0 47934 0 0 0 116820 195 0 0 25 0 1 0 638251751 200888320 47785 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49045 47785 1111 63 0 48982 0
vsize: 0

Child status: 0
Real time (s): 1175.09
CPU time (s): 1175.21
CPU user time (s): 1173.17
CPU system time (s): 2.04269
CPU usage (%): 100.01
Max. virtual memory (Kb): 196180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####