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-fpga30_29_sat_pb.cnf.cr.opb
MD5SUM	99cab377899feaa32c19b4b5cf94d7d4
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	31
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.871866
Number of variables	1305
Total number of constraints	958
Number of constraints which are clauses	899
Number of constraints which are cardinality constraints (but not clauses)	59
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 23373

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 22:01:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=416 boxname=wulflinc31 idbench=47 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  99cab377899feaa32c19b4b5cf94d7d4  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_29_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_29_sat_pb.cnf.cr.opb
IDLAUNCH: 416
/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:        925544 kB
Buffers:         38860 kB
Cached:          48188 kB
SwapCached:        944 kB
Active:          73108 kB
Inactive:        16496 kB
HighTotal:      131008 kB
HighFree:        81732 kB
LowTotal:       903652 kB
LowFree:        843812 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14088 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 22:21:20 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 416 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 1305 variables and 958 constraints.
c After prepocess the problem consists of 1305 variables and 958 constraints.
c preprocess terminated 1.867 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.92 0.95 0.94 2/54 28726
Raw data (stat): 28726 (runsolver) R 28725 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 643558311 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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.0016 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 2082 0 0 0 987 9 0 0 25 0 1 0 643558311 11702272 2003 4294967295 134512640 134714508 3221221760 3221220516 134652874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2857 2003 1111 63 0 2794 0
vsize: 11428
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 2939 0 0 0 1984 12 0 0 25 0 1 0 643558311 15216640 2860 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3715 2860 1111 63 0 3652 0
vsize: 14860
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 3255 0 0 0 2982 14 0 0 25 0 1 0 643558311 16429056 3176 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4011 3176 1111 63 0 3948 0
vsize: 16044
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 3960 0 0 0 3980 17 0 0 25 0 1 0 643558311 19398656 3881 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4736 3881 1111 63 0 4673 0
vsize: 18944
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 4186 0 0 0 4979 18 0 0 25 0 1 0 643558311 20209664 4107 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4934 4107 1111 63 0 4871 0
vsize: 19736
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 4900 0 0 0 5977 20 0 0 25 0 1 0 643558311 23187456 4821 4294967295 134512640 134714508 3221221760 3221220244 134697183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5661 4821 1111 63 0 5598 0
vsize: 22644
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 5584 0 0 0 6974 23 0 0 25 0 1 0 643558311 26021888 5505 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6353 5505 1111 63 0 6290 0
vsize: 25412
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 6095 0 0 0 7971 26 0 0 25 0 1 0 643558311 28045312 6016 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6847 6016 1111 63 0 6784 0
vsize: 27388
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 6734 0 0 0 8968 29 0 0 25 0 1 0 643558311 30748672 6655 4294967295 134512640 134714508 3221221760 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7507 6655 1111 63 0 7444 0
vsize: 30028
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 7090 0 0 0 9966 32 0 0 25 0 1 0 643558311 32100352 7011 4294967295 134512640 134714508 3221221760 3221220412 134536831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7837 7011 1111 63 0 7774 0
vsize: 31348
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 7521 0 0 0 10964 33 0 0 25 0 1 0 643558311 33992704 7442 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8299 7442 1111 63 0 8236 0
vsize: 33196
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 8000 0 0 0 11962 36 0 0 25 0 1 0 643558311 35880960 7921 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8760 7921 1111 63 0 8697 0
vsize: 35040
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 8186 0 0 0 12961 37 0 0 25 0 1 0 643558311 36696064 8107 4294967295 134512640 134714508 3221221760 3221220416 134523904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8959 8107 1111 63 0 8896 0
vsize: 35836
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 8534 0 0 0 13959 39 0 0 25 0 1 0 643558311 38043648 8455 4294967295 134512640 134714508 3221221760 3221220396 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9288 8455 1111 63 0 9225 0
vsize: 37152
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 8994 0 0 0 14958 40 0 0 25 0 1 0 643558311 39931904 8915 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9749 8915 1111 63 0 9686 0
vsize: 38996
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 9567 0 0 0 15956 42 0 0 25 0 1 0 643558311 42364928 9488 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9488 1111 63 0 10280 0
vsize: 41372
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 9732 0 0 0 16955 44 0 0 25 0 1 0 643558311 43036672 9653 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10507 9653 1111 63 0 10444 0
vsize: 42028
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 9923 0 0 0 17954 45 0 0 25 0 1 0 643558311 43712512 9844 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10672 9844 1111 63 0 10609 0
vsize: 42688
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 10052 0 0 0 18953 46 0 0 25 0 1 0 643558311 44388352 9973 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10837 9973 1111 63 0 10774 0
vsize: 43348
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 10326 0 0 0 19952 47 0 0 25 0 1 0 643558311 45461504 10247 4294967295 134512640 134714508 3221221760 3221220524 134552557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11099 10247 1111 63 0 11036 0
vsize: 44396
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 10619 0 0 0 20951 49 0 0 25 0 1 0 643558311 46673920 10540 4294967295 134512640 134714508 3221221760 3221220448 134528707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11395 10540 1111 63 0 11332 0
vsize: 45580
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 10988 0 0 0 21950 50 0 0 25 0 1 0 643558311 48160768 10909 4294967295 134512640 134714508 3221221760 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11758 10909 1111 63 0 11695 0
vsize: 47032
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 11335 0 0 0 22948 52 0 0 25 0 1 0 643558311 49639424 11256 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12119 11256 1111 63 0 12056 0
vsize: 48476
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 11381 0 0 0 23948 52 0 0 25 0 1 0 643558311 49774592 11302 4294967295 134512640 134714508 3221221760 3221220232 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12152 11302 1111 63 0 12089 0
vsize: 48608
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28726
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 11695 0 0 0 24947 53 0 0 25 0 1 0 643558311 50991104 11616 4294967295 134512640 134714508 3221221760 3221220544 134529395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12449 11616 1111 63 0 12386 0
vsize: 49796
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 12055 0 0 0 25945 55 0 0 25 0 1 0 643558311 52473856 11976 4294967295 134512640 134714508 3221221760 3221220288 134535376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12811 11976 1111 63 0 12748 0
vsize: 51244
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 12449 0 0 0 26943 58 0 0 25 0 1 0 643558311 54095872 12370 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13207 12370 1111 63 0 13144 0
vsize: 52828
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 12823 0 0 0 27941 59 0 0 25 0 1 0 643558311 55717888 12744 4294967295 134512640 134714508 3221221760 3221220400 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13603 12744 1111 63 0 13540 0
vsize: 54412
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 12912 0 0 0 28941 60 0 0 25 0 1 0 643558311 55988224 12833 4294967295 134512640 134714508 3221221760 3221220412 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13669 12833 1111 63 0 13606 0
vsize: 54676
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 13016 0 0 0 29940 61 0 0 25 0 1 0 643558311 56528896 12937 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13801 12937 1111 63 0 13738 0
vsize: 55204
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 13270 0 0 0 30939 62 0 0 25 0 1 0 643558311 57470976 13191 4294967295 134512640 134714508 3221221760 3221220464 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14031 13191 1111 63 0 13968 0
vsize: 56124
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 13549 0 0 0 31938 64 0 0 25 0 1 0 643558311 58687488 13470 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14328 13470 1111 63 0 14265 0
vsize: 57312
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 13917 0 0 0 32936 65 0 0 25 0 1 0 643558311 60174336 13838 4294967295 134512640 134714508 3221221760 3221220200 1077377760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14691 13838 1111 63 0 14628 0
vsize: 58764
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 14461 0 0 0 33935 67 0 0 25 0 1 0 643558311 62337024 14382 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15219 14382 1111 63 0 15156 0
vsize: 60876
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 14531 0 0 0 34934 68 0 0 25 0 1 0 643558311 62742528 14452 4294967295 134512640 134714508 3221221760 3221220520 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15318 14452 1111 63 0 15255 0
vsize: 61272
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 14841 0 0 0 35933 70 0 0 25 0 1 0 643558311 63950848 14762 4294967295 134512640 134714508 3221221760 3221220488 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15613 14762 1111 63 0 15550 0
vsize: 62452
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 15031 0 0 0 36931 72 0 0 25 0 1 0 643558311 64761856 14952 4294967295 134512640 134714508 3221221760 3221220400 134613424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15811 14952 1111 63 0 15748 0
vsize: 63244
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 15278 0 0 0 37928 74 0 0 25 0 1 0 643558311 65699840 15199 4294967295 134512640 134714508 3221221760 3221220424 134551632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16040 15199 1111 63 0 15977 0
vsize: 64160
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 15675 0 0 0 38925 77 0 0 25 0 1 0 643558311 67313664 15596 4294967295 134512640 134714508 3221221760 3221220388 134696209 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16434 15596 1111 63 0 16371 0
vsize: 65736
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 15764 0 0 0 39924 79 0 0 25 0 1 0 643558311 67715072 15685 4294967295 134512640 134714508 3221221760 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16532 15685 1111 63 0 16469 0
vsize: 66128
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 16098 0 0 0 40922 81 0 0 25 0 1 0 643558311 69058560 16019 4294967295 134512640 134714508 3221221760 3221220368 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16860 16020 1111 63 0 16797 0
vsize: 67440
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 16232 0 0 0 41921 83 0 0 25 0 1 0 643558311 69713920 16153 4294967295 134512640 134714508 3221221760 3221220368 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17020 16153 1111 63 0 16957 0
vsize: 68080
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 16305 0 0 0 42920 84 0 0 25 0 1 0 643558311 69984256 16226 4294967295 134512640 134714508 3221221760 3221220504 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17086 16226 1111 63 0 17023 0
vsize: 68344
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 16383 0 0 0 43919 85 0 0 25 0 1 0 643558311 70238208 16304 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17148 16304 1111 63 0 17085 0
vsize: 68592
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 16492 0 0 0 44917 86 0 0 25 0 1 0 643558311 70778880 16413 4294967295 134512640 134714508 3221221760 3221220444 1076533396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17280 16413 1111 63 0 17217 0
vsize: 69120
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 16569 0 0 0 45915 88 0 0 25 0 1 0 643558311 71049216 16490 4294967295 134512640 134714508 3221221760 3221220460 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17346 16490 1111 63 0 17283 0
vsize: 69384
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 16643 0 0 0 46913 91 0 0 25 0 1 0 643558311 71319552 16564 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17412 16564 1111 63 0 17349 0
vsize: 69648
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 16740 0 0 0 47911 92 0 0 25 0 1 0 643558311 71725056 16661 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17511 16661 1111 63 0 17448 0
vsize: 70044
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 16944 0 0 0 48910 94 0 0 25 0 1 0 643558311 72536064 16865 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17709 16865 1111 63 0 17646 0
vsize: 70836
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17089 0 0 0 49908 96 0 0 25 0 1 0 643558311 73170944 17010 4294967295 134512640 134714508 3221221760 3221220368 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17864 17010 1111 63 0 17801 0
vsize: 71456
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17214 0 0 0 50907 97 0 0 25 0 1 0 643558311 73682944 17135 4294967295 134512640 134714508 3221221760 3221220324 1077379572 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17989 17135 1111 63 0 17926 0
vsize: 71956
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17343 0 0 0 51906 98 0 0 25 0 1 0 643558311 74219520 17264 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18120 17264 1111 63 0 18057 0
vsize: 72480
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17420 0 0 0 52905 99 0 0 25 0 1 0 643558311 74489856 17341 4294967295 134512640 134714508 3221221760 3221220504 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18186 17341 1111 63 0 18123 0
vsize: 72744
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17453 0 0 0 53905 100 0 0 25 0 1 0 643558311 74616832 17374 4294967295 134512640 134714508 3221221760 3221220448 134542980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18217 17374 1111 63 0 18154 0
vsize: 72868
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17467 0 0 0 54904 101 0 0 25 0 1 0 643558311 74735616 17388 4294967295 134512640 134714508 3221221760 3221220528 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18246 17388 1111 63 0 18183 0
vsize: 72984
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17523 0 0 0 55903 102 0 0 25 0 1 0 643558311 74993664 17444 4294967295 134512640 134714508 3221221760 3221220320 134696528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18309 17444 1111 63 0 18246 0
vsize: 73236
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17551 0 0 0 56902 103 0 0 25 0 1 0 643558311 75055104 17472 4294967295 134512640 134714508 3221221760 3221220376 134613763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18324 17472 1111 63 0 18261 0
vsize: 73296
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17596 0 0 0 57902 103 0 0 25 0 1 0 643558311 75190272 17517 4294967295 134512640 134714508 3221221760 3221220400 134613431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18357 17517 1111 63 0 18294 0
vsize: 73428
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17648 0 0 0 58901 105 0 0 25 0 1 0 643558311 75460608 17569 4294967295 134512640 134714508 3221221760 3221220528 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18423 17569 1111 63 0 18360 0
vsize: 73692
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17684 0 0 0 59899 106 0 0 25 0 1 0 643558311 75595776 17605 4294967295 134512640 134714508 3221221760 3221220388 134696214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18456 17605 1111 63 0 18393 0
vsize: 73824
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17784 0 0 0 60899 107 0 0 25 0 1 0 643558311 76001280 17705 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18555 17705 1111 63 0 18492 0
vsize: 74220
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17887 0 0 0 61898 108 0 0 25 0 1 0 643558311 76406784 17808 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18654 17808 1111 63 0 18591 0
vsize: 74616
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 17977 0 0 0 62897 109 0 0 25 0 1 0 643558311 76812288 17898 4294967295 134512640 134714508 3221221760 3221220400 134696069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18753 17898 1111 63 0 18690 0
vsize: 75012
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18077 0 0 0 63895 111 0 0 25 0 1 0 643558311 77217792 17998 4294967295 134512640 134714508 3221221760 3221220348 134552072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18852 17998 1111 63 0 18789 0
vsize: 75408
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18165 0 0 0 64894 113 0 0 25 0 1 0 643558311 77623296 18086 4294967295 134512640 134714508 3221221760 3221220368 134523184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18951 18086 1111 63 0 18888 0
vsize: 75804
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18245 0 0 0 65893 114 0 0 25 0 1 0 643558311 77893632 18166 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19017 18166 1111 63 0 18954 0
vsize: 76068
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18298 0 0 0 66893 115 0 0 25 0 1 0 643558311 78163968 18219 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19083 18219 1111 63 0 19020 0
vsize: 76332
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18332 0 0 0 67892 115 0 0 25 0 1 0 643558311 78299136 18253 4294967295 134512640 134714508 3221221760 3221220464 134528623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19116 18253 1111 63 0 19053 0
vsize: 76464
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18344 0 0 0 68890 117 0 0 25 0 1 0 643558311 78299136 18265 4294967295 134512640 134714508 3221221760 3221220400 134613418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19116 18265 1111 63 0 19053 0
vsize: 76464
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18355 0 0 0 69889 118 0 0 25 0 1 0 643558311 78299136 18276 4294967295 134512640 134714508 3221221760 3221220392 134696001 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19116 18276 1111 63 0 19053 0
vsize: 76464
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18374 0 0 0 70888 120 0 0 25 0 1 0 643558311 78434304 18295 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19149 18295 1111 63 0 19086 0
vsize: 76596
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18450 0 0 0 71887 121 0 0 25 0 1 0 643558311 78704640 18371 4294967295 134512640 134714508 3221221760 3221220480 134584818 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19215 18371 1111 63 0 19152 0
vsize: 76860
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18578 0 0 0 72885 123 0 0 25 0 1 0 643558311 79233024 18499 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19344 18499 1111 63 0 19281 0
vsize: 77376
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18619 0 0 0 73884 124 0 0 25 0 1 0 643558311 79491072 18540 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19407 18540 1111 63 0 19344 0
vsize: 77628
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18661 0 0 0 74883 125 0 0 25 0 1 0 643558311 79626240 18582 4294967295 134512640 134714508 3221221760 3221220356 134549856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19440 18582 1111 63 0 19377 0
vsize: 77760
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18688 0 0 0 75882 126 0 0 25 0 1 0 643558311 79761408 18609 4294967295 134512640 134714508 3221221760 3221220200 134697454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19473 18609 1111 63 0 19410 0
vsize: 77892
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18717 0 0 0 76881 128 0 0 25 0 1 0 643558311 79761408 18638 4294967295 134512640 134714508 3221221760 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19473 18638 1111 63 0 19410 0
vsize: 77892
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18743 0 0 0 77879 130 0 0 25 0 1 0 643558311 79896576 18664 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19506 18664 1111 63 0 19443 0
vsize: 78024
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18749 0 0 0 78878 131 0 0 25 0 1 0 643558311 79896576 18670 4294967295 134512640 134714508 3221221760 3221220544 134529088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19506 18670 1111 63 0 19443 0
vsize: 78024
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18753 0 0 0 79878 132 0 0 25 0 1 0 643558311 80031744 18674 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19539 18674 1111 63 0 19476 0
vsize: 78156
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18772 0 0 0 80876 133 0 0 25 0 1 0 643558311 80031744 18693 4294967295 134512640 134714508 3221221760 3221220576 134590054 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19539 18693 1111 63 0 19476 0
vsize: 78156
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18772 0 0 0 81876 134 0 0 25 0 1 0 643558311 80031744 18693 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19539 18693 1111 63 0 19476 0
vsize: 78156
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18790 0 0 0 82875 135 0 0 25 0 1 0 643558311 80166912 18711 4294967295 134512640 134714508 3221221760 3221220564 134557760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19572 18711 1111 63 0 19509 0
vsize: 78288
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18808 0 0 0 83874 136 0 0 25 0 1 0 643558311 80166912 18729 4294967295 134512640 134714508 3221221760 3221220316 134535497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19572 18729 1111 63 0 19509 0
vsize: 78288
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18823 0 0 0 84873 138 0 0 25 0 1 0 643558311 80302080 18744 4294967295 134512640 134714508 3221221760 3221220300 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19605 18744 1111 63 0 19542 0
vsize: 78420
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18830 0 0 0 85871 139 0 0 25 0 1 0 643558311 80302080 18751 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19605 18751 1111 63 0 19542 0
vsize: 78420
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18831 0 0 0 86870 141 0 0 25 0 1 0 643558311 80302080 18752 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19605 18752 1111 63 0 19542 0
vsize: 78420
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18864 0 0 0 87869 142 0 0 25 0 1 0 643558311 80437248 18785 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19638 18785 1111 63 0 19575 0
vsize: 78552
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18903 0 0 0 88869 143 0 0 25 0 1 0 643558311 80572416 18824 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19671 18824 1111 63 0 19608 0
vsize: 78684
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18939 0 0 0 89868 143 0 0 25 0 1 0 643558311 80707584 18860 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19704 18860 1111 63 0 19641 0
vsize: 78816
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18939 0 0 0 90868 144 0 0 25 0 1 0 643558311 80707584 18860 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19704 18860 1111 63 0 19641 0
vsize: 78816
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 18961 0 0 0 91866 145 0 0 25 0 1 0 643558311 80842752 18882 4294967295 134512640 134714508 3221221760 3221220484 1076648040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19737 18882 1111 63 0 19674 0
vsize: 78948
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19020 0 0 0 92865 147 0 0 25 0 1 0 643558311 81113088 18941 4294967295 134512640 134714508 3221221760 3221220496 134523932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19803 18941 1111 63 0 19740 0
vsize: 79212
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19080 0 0 0 93864 148 0 0 25 0 1 0 643558311 81248256 19001 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19836 19001 1111 63 0 19773 0
vsize: 79344
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19128 0 0 0 94863 149 0 0 25 0 1 0 643558311 81518592 19049 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19902 19049 1111 63 0 19839 0
vsize: 79608
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19151 0 0 0 95863 150 0 0 25 0 1 0 643558311 81653760 19072 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19935 19072 1111 63 0 19872 0
vsize: 79740
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19182 0 0 0 96862 151 0 0 25 0 1 0 643558311 81788928 19103 4294967295 134512640 134714508 3221221760 3221220328 1077377643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19968 19103 1111 63 0 19905 0
vsize: 79872
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19222 0 0 0 97861 152 0 0 25 0 1 0 643558311 81854464 19143 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19984 19143 1111 63 0 19921 0
vsize: 79936
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19264 0 0 0 98860 153 0 0 25 0 1 0 643558311 82124800 19185 4294967295 134512640 134714508 3221221760 3221220400 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20050 19185 1111 63 0 19987 0
vsize: 80200
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19308 0 0 0 99859 154 0 0 25 0 1 0 643558311 82235392 19229 4294967295 134512640 134714508 3221221760 3221220244 134697327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20077 19229 1111 63 0 20014 0
vsize: 80308
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19328 0 0 0 100859 155 0 0 25 0 1 0 643558311 82370560 19249 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20110 19249 1111 63 0 20047 0
vsize: 80440
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19338 0 0 0 101858 155 0 0 25 0 1 0 643558311 82370560 19259 4294967295 134512640 134714508 3221221760 3221220396 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20110 19259 1111 63 0 20047 0
vsize: 80440
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19351 0 0 0 102858 156 0 0 25 0 1 0 643558311 82370560 19272 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20110 19272 1111 63 0 20047 0
vsize: 80440
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19360 0 0 0 103857 157 0 0 25 0 1 0 643558311 82505728 19281 4294967295 134512640 134714508 3221221760 3221220336 134696310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20143 19281 1111 63 0 20080 0
vsize: 80572
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19368 0 0 0 104857 158 0 0 25 0 1 0 643558311 82505728 19289 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20143 19289 1111 63 0 20080 0
vsize: 80572
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19376 0 0 0 105855 159 0 0 25 0 1 0 643558311 82505728 19297 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20143 19297 1111 63 0 20080 0
vsize: 80572
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19398 0 0 0 106854 160 0 0 25 0 1 0 643558311 82636800 19319 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20175 19319 1111 63 0 20112 0
vsize: 80700
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19409 0 0 0 107853 162 0 0 25 0 1 0 643558311 82636800 19330 4294967295 134512640 134714508 3221221760 3221220400 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20175 19330 1111 63 0 20112 0
vsize: 80700
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19418 0 0 0 108853 162 0 0 25 0 1 0 643558311 82636800 19339 4294967295 134512640 134714508 3221221760 3221220544 134528840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20175 19339 1111 63 0 20112 0
vsize: 80700
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19437 0 0 0 109852 163 0 0 25 0 1 0 643558311 82767872 19358 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20207 19358 1111 63 0 20144 0
vsize: 80828
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19459 0 0 0 110851 164 0 0 25 0 1 0 643558311 82903040 19380 4294967295 134512640 134714508 3221221760 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20240 19380 1111 63 0 20177 0
vsize: 80960
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19477 0 0 0 111850 165 0 0 25 0 1 0 643558311 82890752 19398 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20237 19398 1111 63 0 20174 0
vsize: 80948
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19494 0 0 0 112850 166 0 0 25 0 1 0 643558311 83025920 19415 4294967295 134512640 134714508 3221221760 3221220464 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20270 19415 1111 63 0 20207 0
vsize: 81080
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19501 0 0 0 113849 167 0 0 25 0 1 0 643558311 83025920 19422 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20270 19422 1111 63 0 20207 0
vsize: 81080
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19514 0 0 0 114848 168 0 0 25 0 1 0 643558311 83025920 19435 4294967295 134512640 134714508 3221221760 3221220400 134536698 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20270 19435 1111 63 0 20207 0
vsize: 81080
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19553 0 0 0 115847 169 0 0 25 0 1 0 643558311 83292160 19474 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20335 19474 1111 63 0 20272 0
vsize: 81340
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19571 0 0 0 116846 170 0 0 25 0 1 0 643558311 83292160 19492 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20335 19492 1111 63 0 20272 0
vsize: 81340
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 28728
Raw data (stat): 28726 (bsolo_lpr_cuts) R 28725 7876 7672 0 -1 0 19571 0 0 0 116846 170 0 0 25 0 1 0 643558311 83292160 19492 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20335 19492 1111 63 0 20272 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.07
CPU user time (s): 1173.33
CPU system time (s): 1.74673
CPU usage (%): 100.011
Max. virtual memory (Kb): 81340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####