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-fpga25_23_sat_pb.cnf.cr.opb
MD5SUM	002d92124dd96ccf471b7e05fe08f2d6
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	26
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.252961
Number of variables	863
Total number of constraints	646
Number of constraints which are clauses	598
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 23352

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 17:15:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=379 boxname=wulflinc31 idbench=43 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  002d92124dd96ccf471b7e05fe08f2d6  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_23_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_23_sat_pb.cnf.cr.opb
IDLAUNCH: 379
/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:        926716 kB
Buffers:         38500 kB
Cached:          47324 kB
SwapCached:        944 kB
Active:          72392 kB
Inactive:        15880 kB
HighTotal:      131008 kB
HighFree:        82656 kB
LowTotal:       903652 kB
LowFree:        844060 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14048 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 17:34:48 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 379 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 863 variables and 646 constraints.
c After prepocess the problem consists of 863 variables and 646 constraints.
c preprocess terminated 0.877 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.88 0.97 0.98 2/54 26442
Raw data (stat): 26442 (runsolver) R 26441 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 641838848 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.0002 s]
Raw data (loadavg): 0.90 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 1778 0 0 0 987 8 0 0 25 0 1 0 641838848 10350592 1699 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2527 1699 1111 63 0 2464 0
vsize: 10108
[startup+20.0003 s]
Raw data (loadavg): 0.91 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2026 0 0 0 1986 10 0 0 25 0 1 0 641838848 11419648 1947 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2788 1947 1111 63 0 2725 0
vsize: 11152
[startup+30.0009 s]
Raw data (loadavg): 0.92 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2148 0 0 0 2984 11 0 0 25 0 1 0 641838848 11956224 2069 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2919 2069 1111 63 0 2856 0
vsize: 11676
[startup+40.0008 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2256 0 0 0 3983 12 0 0 25 0 1 0 641838848 12361728 2177 4294967295 134512640 134714508 3221221776 3221220316 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3018 2177 1111 63 0 2955 0
vsize: 12072
[startup+50.0024 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2475 0 0 0 4982 14 0 0 25 0 1 0 641838848 13307904 2396 4294967295 134512640 134714508 3221221776 3221220332 134539341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3249 2396 1111 63 0 3186 0
vsize: 12996
[startup+60.0027 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2475 0 0 0 5981 15 0 0 25 0 1 0 641838848 13131776 2383 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 2383 1111 63 0 3143 0
vsize: 12824
[startup+70.0026 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2537 0 0 0 6980 16 0 0 25 0 1 0 641838848 13389824 2445 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2445 1111 63 0 3206 0
vsize: 13076
[startup+80.0039 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2537 0 0 0 7980 17 0 0 25 0 1 0 641838848 13389824 2445 4294967295 134512640 134714508 3221221776 3221220452 1077374568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2445 1111 63 0 3206 0
vsize: 13076
[startup+90.0038 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2564 0 0 0 8979 18 0 0 25 0 1 0 641838848 13524992 2472 4294967295 134512640 134714508 3221221776 3221220368 134696077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3302 2472 1111 63 0 3239 0
vsize: 13208
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2959 0 0 0 9977 20 0 0 25 0 1 0 641838848 15147008 2867 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3698 2867 1111 63 0 3635 0
vsize: 14792
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 3498 0 0 0 10974 23 0 0 25 0 1 0 641838848 17436672 3406 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3406 1111 63 0 4194 0
vsize: 17028
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 3869 0 0 0 11972 25 0 0 25 0 1 0 641838848 18919424 3777 4294967295 134512640 134714508 3221221776 3221220260 134697199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4619 3777 1111 63 0 4556 0
vsize: 18476
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 4347 0 0 0 12970 28 0 0 25 0 1 0 641838848 20811776 4255 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4255 1111 63 0 5018 0
vsize: 20324
[startup+140.007 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 4715 0 0 0 13968 30 0 0 25 0 1 0 641838848 22433792 4623 4294967295 134512640 134714508 3221221776 3221220512 134588000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5477 4623 1111 63 0 5414 0
vsize: 21908
[startup+150.008 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5024 0 0 0 14967 32 0 0 25 0 1 0 641838848 23650304 4932 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5774 4932 1111 63 0 5711 0
vsize: 23096
[startup+160.008 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5071 0 0 0 15966 33 0 0 25 0 1 0 641838848 23785472 4979 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4979 1111 63 0 5744 0
vsize: 23228
[startup+170.009 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5104 0 0 0 16965 34 0 0 25 0 1 0 641838848 23920640 5012 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5840 5012 1111 63 0 5777 0
vsize: 23360
[startup+180.009 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5158 0 0 0 17964 35 0 0 25 0 1 0 641838848 24190976 5066 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5906 5066 1111 63 0 5843 0
vsize: 23624
[startup+190.009 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5190 0 0 0 18963 36 0 0 25 0 1 0 641838848 24326144 5098 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5939 5098 1111 63 0 5876 0
vsize: 23756
[startup+200.009 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5190 0 0 0 19962 37 0 0 25 0 1 0 641838848 24326144 5098 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5939 5098 1111 63 0 5876 0
vsize: 23756
[startup+210.009 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5303 0 0 0 20961 38 0 0 25 0 1 0 641838848 24731648 5211 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6038 5211 1111 63 0 5975 0
vsize: 24152
[startup+220.009 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5326 0 0 0 21960 40 0 0 25 0 1 0 641838848 24862720 5234 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6070 5234 1111 63 0 6007 0
vsize: 24280
[startup+230.009 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5679 0 0 0 22958 42 0 0 25 0 1 0 641838848 26349568 5587 4294967295 134512640 134714508 3221221776 3221220504 1076647541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6433 5587 1111 63 0 6370 0
vsize: 25732
[startup+240.009 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5928 0 0 0 23956 44 0 0 25 0 1 0 641838848 27291648 5836 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6663 5836 1111 63 0 6600 0
vsize: 26652
[startup+250.008 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6096 0 0 0 24954 46 0 0 25 0 1 0 641838848 27967488 6004 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6828 6004 1111 63 0 6765 0
vsize: 27312
[startup+260.01 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6242 0 0 0 25953 47 0 0 25 0 1 0 641838848 28643328 6150 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6993 6150 1111 63 0 6930 0
vsize: 27972
[startup+270.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6308 0 0 0 26952 48 0 0 25 0 1 0 641838848 28913664 6216 4294967295 134512640 134714508 3221221776 3221220352 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6216 1111 63 0 6996 0
vsize: 28236
[startup+280.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6356 0 0 0 27951 49 0 0 25 0 1 0 641838848 29048832 6264 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7092 6264 1111 63 0 7029 0
vsize: 28368
[startup+290.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6503 0 0 0 28950 51 0 0 25 0 1 0 641838848 29704192 6411 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7252 6411 1111 63 0 7189 0
vsize: 29008
[startup+300.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6601 0 0 0 29948 52 0 0 25 0 1 0 641838848 30109696 6509 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7351 6509 1111 63 0 7288 0
vsize: 29404
[startup+310.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6986 0 0 0 30947 54 0 0 25 0 1 0 641838848 31711232 6894 4294967295 134512640 134714508 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7742 6894 1111 63 0 7679 0
vsize: 30968
[startup+320.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7118 0 0 0 31945 56 0 0 25 0 1 0 641838848 32251904 7026 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7874 7026 1111 63 0 7811 0
vsize: 31496
[startup+330.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7329 0 0 0 32944 57 0 0 25 0 1 0 641838848 33050624 7237 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8069 7237 1111 63 0 8006 0
vsize: 32276
[startup+340.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7613 0 0 0 33942 59 0 0 25 0 1 0 641838848 34267136 7521 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8366 7521 1111 63 0 8303 0
vsize: 33464
[startup+350.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7774 0 0 0 34939 62 0 0 25 0 1 0 641838848 34942976 7682 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8531 7682 1111 63 0 8468 0
vsize: 34124
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7832 0 0 0 35938 64 0 0 25 0 1 0 641838848 35078144 7740 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8564 7740 1111 63 0 8501 0
vsize: 34256
[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8081 0 0 0 36937 65 0 0 25 0 1 0 641838848 36159488 7989 4294967295 134512640 134714508 3221221776 3221220492 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8828 7989 1111 63 0 8765 0
vsize: 35312
[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8233 0 0 0 37936 66 0 0 25 0 1 0 641838848 36835328 8141 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8993 8141 1111 63 0 8930 0
vsize: 35972
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8333 0 0 0 38935 68 0 0 25 0 1 0 641838848 37208064 8241 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9084 8241 1111 63 0 9021 0
vsize: 36336
[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8413 0 0 0 39934 69 0 0 25 0 1 0 641838848 37478400 8321 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9150 8321 1111 63 0 9087 0
vsize: 36600
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8545 0 0 0 40932 71 0 0 25 0 1 0 641838848 38019072 8453 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9282 8453 1111 63 0 9219 0
vsize: 37128
[startup+420.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8666 0 0 0 41931 72 0 0 25 0 1 0 641838848 38559744 8574 4294967295 134512640 134714508 3221221776 3221220352 134549852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9414 8574 1111 63 0 9351 0
vsize: 37656
[startup+430.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8723 0 0 0 42930 73 0 0 25 0 1 0 641838848 38817792 8631 4294967295 134512640 134714508 3221221776 3221220316 134539273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9477 8631 1111 63 0 9414 0
vsize: 37908
[startup+440.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8779 0 0 0 43930 74 0 0 25 0 1 0 641838848 39088128 8687 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9543 8687 1111 63 0 9480 0
vsize: 38172
[startup+450.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8858 0 0 0 44928 75 0 0 25 0 1 0 641838848 39358464 8766 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9609 8766 1111 63 0 9546 0
vsize: 38436
[startup+460.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9062 0 0 0 45927 76 0 0 25 0 1 0 641838848 40153088 8970 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9803 8970 1111 63 0 9740 0
vsize: 39212
[startup+470.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9154 0 0 0 46926 78 0 0 25 0 1 0 641838848 40558592 9062 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9902 9062 1111 63 0 9839 0
vsize: 39608
[startup+480.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9245 0 0 0 47925 79 0 0 25 0 1 0 641838848 40960000 9153 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10000 9153 1111 63 0 9937 0
vsize: 40000
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9266 0 0 0 48924 80 0 0 25 0 1 0 641838848 40960000 9174 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10000 9174 1111 63 0 9937 0
vsize: 40000
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9303 0 0 0 49923 81 0 0 25 0 1 0 641838848 41213952 9211 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10062 9211 1111 63 0 9999 0
vsize: 40248
[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9371 0 0 0 50923 82 0 0 25 0 1 0 641838848 41484288 9279 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10128 9279 1111 63 0 10065 0
vsize: 40512
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9519 0 0 0 51922 83 0 0 25 0 1 0 641838848 42020864 9427 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10259 9427 1111 63 0 10196 0
vsize: 41036
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9829 0 0 0 52919 86 0 0 25 0 1 0 641838848 43360256 9737 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9737 1111 63 0 10523 0
vsize: 42344
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10183 0 0 0 53918 87 0 0 25 0 1 0 641838848 44711936 10091 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10916 10091 1111 63 0 10853 0
vsize: 43664
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10313 0 0 0 54917 88 0 0 25 0 1 0 641838848 45256704 10221 4294967295 134512640 134714508 3221221776 3221220272 134697382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11049 10221 1111 63 0 10986 0
vsize: 44196
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10465 0 0 0 55915 90 0 0 25 0 1 0 641838848 45920256 10373 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11211 10373 1111 63 0 11148 0
vsize: 44844
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10567 0 0 0 56914 92 0 0 25 0 1 0 641838848 46325760 10475 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11310 10475 1111 63 0 11247 0
vsize: 45240
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10608 0 0 0 57913 93 0 0 25 0 1 0 641838848 46460928 10516 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11343 10516 1111 63 0 11280 0
vsize: 45372
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.98 3/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10854 0 0 0 58913 93 0 0 25 0 1 0 641838848 47542272 10762 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11607 10762 1111 63 0 11544 0
vsize: 46428
[startup+600.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10979 0 0 0 59911 95 0 0 25 0 1 0 641838848 48078848 10887 4294967295 134512640 134714508 3221221776 3221220368 134549517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11738 10887 1111 63 0 11675 0
vsize: 46952
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11084 0 0 0 60910 96 0 0 25 0 1 0 641838848 48484352 10992 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11837 10992 1111 63 0 11774 0
vsize: 47348
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11156 0 0 0 61909 97 0 0 25 0 1 0 641838848 48750592 11064 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11902 11064 1111 63 0 11839 0
vsize: 47608
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11207 0 0 0 62908 99 0 0 25 0 1 0 641838848 49012736 11115 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11966 11115 1111 63 0 11903 0
vsize: 47864
[startup+640.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11238 0 0 0 63907 99 0 0 25 0 1 0 641838848 49147904 11146 4294967295 134512640 134714508 3221221776 3221220416 134539359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11999 11146 1111 63 0 11936 0
vsize: 47996
[startup+650.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11282 0 0 0 64906 101 0 0 25 0 1 0 641838848 49266688 11190 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12028 11190 1111 63 0 11965 0
vsize: 48112
[startup+660.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11405 0 0 0 65905 102 0 0 25 0 1 0 641838848 49807360 11313 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12160 11313 1111 63 0 12097 0
vsize: 48640
[startup+670.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11444 0 0 0 66904 103 0 0 25 0 1 0 641838848 49942528 11352 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12193 11352 1111 63 0 12130 0
vsize: 48772
[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11556 0 0 0 67903 104 0 0 25 0 1 0 641838848 50348032 11464 4294967295 134512640 134714508 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12292 11464 1111 63 0 12229 0
vsize: 49168
[startup+690.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11769 0 0 0 68902 106 0 0 25 0 1 0 641838848 51290112 11677 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12522 11677 1111 63 0 12459 0
vsize: 50088
[startup+700.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11858 0 0 0 69900 107 0 0 25 0 1 0 641838848 51695616 11766 4294967295 134512640 134714508 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12621 11766 1111 63 0 12558 0
vsize: 50484
[startup+710.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12038 0 0 0 70899 109 0 0 25 0 1 0 641838848 52371456 11946 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12786 11946 1111 63 0 12723 0
vsize: 51144
[startup+720.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12273 0 0 0 71898 110 0 0 25 0 1 0 641838848 53317632 12181 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13017 12181 1111 63 0 12954 0
vsize: 52068
[startup+730.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12386 0 0 0 72897 112 0 0 25 0 1 0 641838848 53858304 12294 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13149 12294 1111 63 0 13086 0
vsize: 52596
[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12505 0 0 0 73896 113 0 0 25 0 1 0 641838848 54251520 12413 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13245 12413 1111 63 0 13182 0
vsize: 52980
[startup+750.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12725 0 0 0 74894 114 0 0 25 0 1 0 641838848 55193600 12633 4294967295 134512640 134714508 3221221776 3221220528 134592007 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13475 12633 1111 63 0 13412 0
vsize: 53900
[startup+760.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12829 0 0 0 75893 115 0 0 25 0 1 0 641838848 55599104 12737 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13574 12737 1111 63 0 13511 0
vsize: 54296
[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12945 0 0 0 76892 117 0 0 25 0 1 0 641838848 56139776 12853 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13706 12853 1111 63 0 13643 0
vsize: 54824
[startup+780.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12974 0 0 0 77891 118 0 0 25 0 1 0 641838848 56274944 12882 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13739 12882 1111 63 0 13676 0
vsize: 54956
[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13126 0 0 0 78890 119 0 0 25 0 1 0 641838848 56832000 13034 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13875 13034 1111 63 0 13812 0
vsize: 55500
[startup+800.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13181 0 0 0 79889 120 0 0 25 0 1 0 641838848 57098240 13089 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13940 13089 1111 63 0 13877 0
vsize: 55760
[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13199 0 0 0 80888 122 0 0 25 0 1 0 641838848 57212928 13107 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13968 13107 1111 63 0 13905 0
vsize: 55872
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13274 0 0 0 81887 122 0 0 25 0 1 0 641838848 57483264 13182 4294967295 134512640 134714508 3221221776 3221220432 134524085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14034 13182 1111 63 0 13971 0
vsize: 56136
[startup+830.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13333 0 0 0 82886 124 0 0 25 0 1 0 641838848 57753600 13241 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14100 13241 1111 63 0 14037 0
vsize: 56400
[startup+840.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13358 0 0 0 83886 125 0 0 25 0 1 0 641838848 57753600 13266 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14100 13266 1111 63 0 14037 0
vsize: 56400
[startup+850.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13370 0 0 0 84885 126 0 0 25 0 1 0 641838848 57872384 13278 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14129 13278 1111 63 0 14066 0
vsize: 56516
[startup+860.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13388 0 0 0 85884 127 0 0 25 0 1 0 641838848 57872384 13296 4294967295 134512640 134714508 3221221776 3221220420 134536694 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14129 13296 1111 63 0 14066 0
vsize: 56516
[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13409 0 0 0 86883 128 0 0 25 0 1 0 641838848 58007552 13317 4294967295 134512640 134714508 3221221776 3221220416 134696094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14162 13317 1111 63 0 14099 0
vsize: 56648
[startup+880.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13491 0 0 0 87881 130 0 0 25 0 1 0 641838848 58413056 13399 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14261 13399 1111 63 0 14198 0
vsize: 57044
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13525 0 0 0 88881 130 0 0 25 0 1 0 641838848 58544128 13433 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14293 13433 1111 63 0 14230 0
vsize: 57172
[startup+900.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13550 0 0 0 89880 131 0 0 25 0 1 0 641838848 58544128 13458 4294967295 134512640 134714508 3221221776 3221220368 134549821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14293 13458 1111 63 0 14230 0
vsize: 57172
[startup+910.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13577 0 0 0 90879 132 0 0 25 0 1 0 641838848 58679296 13485 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14326 13485 1111 63 0 14263 0
vsize: 57304
[startup+920.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13601 0 0 0 91878 134 0 0 25 0 1 0 641838848 58818560 13509 4294967295 134512640 134714508 3221221776 3221220432 134536713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14360 13509 1111 63 0 14297 0
vsize: 57440
[startup+930.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13601 0 0 0 92877 134 0 0 25 0 1 0 641838848 58818560 13509 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14360 13509 1111 63 0 14297 0
vsize: 57440
[startup+940.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13618 0 0 0 93877 135 0 0 25 0 1 0 641838848 58949632 13526 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14392 13526 1111 63 0 14329 0
vsize: 57568
[startup+950.024 s]
Raw data (loadavg): 1.00 0.99 0.98 3/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13640 0 0 0 94875 137 0 0 25 0 1 0 641838848 58949632 13548 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14392 13548 1111 63 0 14329 0
vsize: 57568
[startup+960.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13651 0 0 0 95875 137 0 0 25 0 1 0 641838848 59084800 13559 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14425 13559 1111 63 0 14362 0
vsize: 57700
[startup+970.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13657 0 0 0 96875 138 0 0 25 0 1 0 641838848 59084800 13565 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14425 13565 1111 63 0 14362 0
vsize: 57700
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13678 0 0 0 97874 139 0 0 25 0 1 0 641838848 59219968 13586 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14458 13586 1111 63 0 14395 0
vsize: 57832
[startup+990.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13697 0 0 0 98872 141 0 0 25 0 1 0 641838848 59219968 13605 4294967295 134512640 134714508 3221221776 3221220336 134549725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14458 13605 1111 63 0 14395 0
vsize: 57832
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13709 0 0 0 99872 141 0 0 25 0 1 0 641838848 59363328 13617 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14493 13617 1111 63 0 14430 0
vsize: 57972
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13733 0 0 0 100871 142 0 0 25 0 1 0 641838848 59363328 13641 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14493 13641 1111 63 0 14430 0
vsize: 57972
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13764 0 0 0 101870 143 0 0 25 0 1 0 641838848 59498496 13672 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14526 13672 1111 63 0 14463 0
vsize: 58104
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13793 0 0 0 102870 144 0 0 25 0 1 0 641838848 59629568 13701 4294967295 134512640 134714508 3221221776 3221220332 134535959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14558 13701 1111 63 0 14495 0
vsize: 58232
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13798 0 0 0 103870 144 0 0 25 0 1 0 641838848 59629568 13706 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14558 13706 1111 63 0 14495 0
vsize: 58232
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13803 0 0 0 104869 145 0 0 25 0 1 0 641838848 59629568 13711 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14558 13711 1111 63 0 14495 0
vsize: 58232
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13813 0 0 0 105869 146 0 0 25 0 1 0 641838848 59772928 13721 4294967295 134512640 134714508 3221221776 3221220368 134535881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14593 13721 1111 63 0 14530 0
vsize: 58372
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13858 0 0 0 106868 146 0 0 25 0 1 0 641838848 59908096 13766 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14626 13766 1111 63 0 14563 0
vsize: 58504
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13877 0 0 0 107868 147 0 0 25 0 1 0 641838848 60043264 13785 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14659 13785 1111 63 0 14596 0
vsize: 58636
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13897 0 0 0 108867 148 0 0 25 0 1 0 641838848 60043264 13805 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14659 13805 1111 63 0 14596 0
vsize: 58636
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13949 0 0 0 109866 148 0 0 25 0 1 0 641838848 60313600 13857 4294967295 134512640 134714508 3221221776 3221220492 134552557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14725 13857 1111 63 0 14662 0
vsize: 58900
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14151 0 0 0 110866 149 0 0 25 0 1 0 641838848 61124608 14059 4294967295 134512640 134714508 3221221776 3221220416 134536653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14923 14059 1111 63 0 14860 0
vsize: 59692
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14359 0 0 0 111864 151 0 0 25 0 1 0 641838848 61923328 14267 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15118 14267 1111 63 0 15055 0
vsize: 60472
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14542 0 0 0 112863 152 0 0 25 0 1 0 641838848 62734336 14450 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15316 14450 1111 63 0 15253 0
vsize: 61264
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14665 0 0 0 113862 154 0 0 25 0 1 0 641838848 63266816 14573 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15446 14573 1111 63 0 15383 0
vsize: 61784
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14760 0 0 0 114861 155 0 0 25 0 1 0 641838848 63537152 14668 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15512 14668 1111 63 0 15449 0
vsize: 62048
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14949 0 0 0 115860 157 0 0 25 0 1 0 641838848 64348160 14857 4294967295 134512640 134714508 3221221776 3221220352 134549718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15710 14857 1111 63 0 15647 0
vsize: 62840
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 15111 0 0 0 116858 158 0 0 25 0 1 0 641838848 65007616 15019 4294967295 134512640 134714508 3221221776 3221220512 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15871 15019 1111 63 0 15808 0
vsize: 63484
[startup+1174.92 s]
Raw data (loadavg): 1.00 0.99 0.98 1/53 26442
Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 15111 0 0 0 116858 158 0 0 25 0 1 0 641838848 65007616 15019 4294967295 134512640 134714508 3221221776 3221220512 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15871 15019 1111 63 0 15808 0
vsize: 0

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