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-chnl20_30_pb.cnf.cr.opb
MD5SUM	afcc4289aafaea265ed2d465965a3342
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.036993
Number of variables	1200
Total number of constraints	100
Number of constraints which are clauses	60
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	30
Trace number 23188

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 06:02:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=83 boxname=wulflinc31 idbench=10 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  afcc4289aafaea265ed2d465965a3342  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_30_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_30_pb.cnf.cr.opb
IDLAUNCH: 83
/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:        932100 kB
Buffers:         35720 kB
Cached:          45016 kB
SwapCached:        864 kB
Active:          70108 kB
Inactive:        13040 kB
HighTotal:      131008 kB
HighFree:        84952 kB
LowTotal:       903652 kB
LowFree:        847148 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13864 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 06:21:58 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 83 7 1175.08 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 1200 variables and 100 constraints.
c After prepocess the problem consists of 1200 variables and 100 constraints.
c preprocess terminated 0.353 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.02 1.01 0.93 2/54 8803
Raw data (stat): 8803 (runsolver) R 8802 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 629160381 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0003 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 2446 0 0 0 987 9 0 0 25 0 1 0 629160381 13172736 2367 4294967295 134512640 134714508 3221221776 3221220416 134696032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3216 2368 1111 63 0 3153 0
vsize: 12864
[startup+20.0008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 3618 0 0 0 1984 13 0 0 25 0 1 0 629160381 17911808 3539 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4373 3539 1111 63 0 4310 0
vsize: 17492
[startup+30.0007 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 4075 0 0 0 2981 15 0 0 25 0 1 0 629160381 19804160 3996 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4835 3996 1111 63 0 4772 0
vsize: 19340
[startup+40.001 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 4705 0 0 0 3979 18 0 0 25 0 1 0 629160381 22372352 4626 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5462 4626 1111 63 0 5399 0
vsize: 21848
[startup+50.0016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 5067 0 0 0 4977 20 0 0 25 0 1 0 629160381 23846912 4988 4294967295 134512640 134714508 3221221776 3221220464 134524578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5822 4988 1111 63 0 5759 0
vsize: 23288
[startup+60.0015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 5354 0 0 0 5975 22 0 0 25 0 1 0 629160381 25063424 5275 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6119 5275 1111 63 0 6056 0
vsize: 24476
[startup+70.0027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 5536 0 0 0 6974 23 0 0 25 0 1 0 629160381 25739264 5457 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5457 1111 63 0 6221 0
vsize: 25136
[startup+80.0033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 5760 0 0 0 7973 24 0 0 25 0 1 0 629160381 26685440 5681 4294967295 134512640 134714508 3221221776 3221220416 134696103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6515 5681 1111 63 0 6452 0
vsize: 26060
[startup+90.0033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 5913 0 0 0 8972 25 0 0 25 0 1 0 629160381 27357184 5834 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6679 5834 1111 63 0 6616 0
vsize: 26716
[startup+100.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 6180 0 0 0 9971 27 0 0 25 0 1 0 629160381 28438528 6101 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6943 6101 1111 63 0 6880 0
vsize: 27772
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 6443 0 0 0 10969 29 0 0 25 0 1 0 629160381 29511680 6364 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7205 6365 1111 63 0 7142 0
vsize: 28820
[startup+120.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 6815 0 0 0 11967 31 0 0 25 0 1 0 629160381 30998528 6736 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7568 6736 1111 63 0 7505 0
vsize: 30272
[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 7165 0 0 0 12965 33 0 0 25 0 1 0 629160381 32468992 7086 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7927 7086 1111 63 0 7864 0
vsize: 31708
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 7370 0 0 0 13964 35 0 0 25 0 1 0 629160381 33280000 7291 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8125 7291 1111 63 0 8062 0
vsize: 32500
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 7593 0 0 0 14963 36 0 0 25 0 1 0 629160381 34222080 7514 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8355 7514 1111 63 0 8292 0
vsize: 33420
[startup+160.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 7786 0 0 0 15962 37 0 0 25 0 1 0 629160381 35049472 7707 4294967295 134512640 134714508 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8557 7707 1111 63 0 8494 0
vsize: 34228
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 7972 0 0 0 16960 39 0 0 25 0 1 0 629160381 35856384 7893 4294967295 134512640 134714508 3221221776 3221220560 134529404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8754 7893 1111 63 0 8691 0
vsize: 35016
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 8106 0 0 0 17959 40 0 0 25 0 1 0 629160381 36397056 8027 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8886 8027 1111 63 0 8823 0
vsize: 35544
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 8327 0 0 0 18959 41 0 0 25 0 1 0 629160381 37208064 8248 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9084 8248 1111 63 0 9021 0
vsize: 36336
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 8436 0 0 0 19958 42 0 0 25 0 1 0 629160381 37761024 8357 4294967295 134512640 134714508 3221221776 3221220388 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9219 8357 1111 63 0 9156 0
vsize: 36876
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 8540 0 0 0 20957 43 0 0 25 0 1 0 629160381 38166528 8461 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9318 8461 1111 63 0 9255 0
vsize: 37272
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 9031 0 0 0 21954 46 0 0 25 0 1 0 629160381 40194048 8952 4294967295 134512640 134714508 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9813 8952 1111 63 0 9750 0
vsize: 39252
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8803
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 9196 0 0 0 22954 47 0 0 25 0 1 0 629160381 40865792 9117 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9117 1111 63 0 9914 0
vsize: 39908
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 9271 0 0 0 23952 48 0 0 25 0 1 0 629160381 41136128 9192 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10043 9192 1111 63 0 9980 0
vsize: 40172
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 9439 0 0 0 24951 50 0 0 25 0 1 0 629160381 41811968 9360 4294967295 134512640 134714508 3221221776 3221220528 134592441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10208 9360 1111 63 0 10145 0
vsize: 40832
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 9648 0 0 0 25950 51 0 0 25 0 1 0 629160381 42758144 9569 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10439 9569 1111 63 0 10376 0
vsize: 41756
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 9856 0 0 0 26950 51 0 0 25 0 1 0 629160381 43569152 9777 4294967295 134512640 134714508 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10637 9777 1111 63 0 10574 0
vsize: 42548
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 10047 0 0 0 27949 53 0 0 25 0 1 0 629160381 44380160 9968 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10835 9968 1111 63 0 10772 0
vsize: 43340
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 10250 0 0 0 28947 54 0 0 25 0 1 0 629160381 45195264 10171 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11034 10171 1111 63 0 10971 0
vsize: 44136
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 10382 0 0 0 29946 55 0 0 25 0 1 0 629160381 45748224 10303 4294967295 134512640 134714508 3221221776 3221220368 134549745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11169 10303 1111 63 0 11106 0
vsize: 44676
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 10452 0 0 0 30946 56 0 0 25 0 1 0 629160381 46153728 10373 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10373 1111 63 0 11205 0
vsize: 45072
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 10556 0 0 0 31945 56 0 0 25 0 1 0 629160381 46546944 10477 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11364 10477 1111 63 0 11301 0
vsize: 45456
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 10693 0 0 0 32944 58 0 0 25 0 1 0 629160381 47083520 10614 4294967295 134512640 134714508 3221221776 3221220400 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11495 10614 1111 63 0 11432 0
vsize: 45980
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 10793 0 0 0 33943 59 0 0 25 0 1 0 629160381 47468544 10714 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11589 10714 1111 63 0 11526 0
vsize: 46356
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 10863 0 0 0 34943 60 0 0 25 0 1 0 629160381 47730688 10784 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11653 10784 1111 63 0 11590 0
vsize: 46612
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 10885 0 0 0 35942 61 0 0 25 0 1 0 629160381 47865856 10806 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11686 10806 1111 63 0 11623 0
vsize: 46744
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 11004 0 0 0 36941 62 0 0 25 0 1 0 629160381 48365568 10925 4294967295 134512640 134714508 3221221776 3221220512 134588000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11808 10925 1111 63 0 11745 0
vsize: 47232
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 11156 0 0 0 37940 63 0 0 25 0 1 0 629160381 48906240 11077 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11940 11077 1111 63 0 11877 0
vsize: 47760
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 11457 0 0 0 38938 65 0 0 25 0 1 0 629160381 50253824 11378 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12269 11378 1111 63 0 12206 0
vsize: 49076
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 11666 0 0 0 39936 67 0 0 25 0 1 0 629160381 51064832 11587 4294967295 134512640 134714508 3221221776 3221220540 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12467 11587 1111 63 0 12404 0
vsize: 49868
[startup+410.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 11848 0 0 0 40935 68 0 0 25 0 1 0 629160381 51867648 11769 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12663 11769 1111 63 0 12600 0
vsize: 50652
[startup+420.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 12037 0 0 0 41934 69 0 0 25 0 1 0 629160381 52531200 11958 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12825 11958 1111 63 0 12762 0
vsize: 51300
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 12201 0 0 0 42933 71 0 0 25 0 1 0 629160381 53198848 12122 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12988 12122 1111 63 0 12925 0
vsize: 51952
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 12286 0 0 0 43932 72 0 0 25 0 1 0 629160381 53604352 12207 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13087 12207 1111 63 0 13024 0
vsize: 52348
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 12419 0 0 0 44931 73 0 0 25 0 1 0 629160381 54145024 12340 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13219 12340 1111 63 0 13156 0
vsize: 52876
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 12759 0 0 0 45929 75 0 0 25 0 1 0 629160381 55517184 12680 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13554 12680 1111 63 0 13491 0
vsize: 54216
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 13114 0 0 0 46928 77 0 0 25 0 1 0 629160381 56999936 13035 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13916 13035 1111 63 0 13853 0
vsize: 55664
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 13299 0 0 0 47926 79 0 0 25 0 1 0 629160381 57810944 13220 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14114 13220 1111 63 0 14051 0
vsize: 56456
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 13445 0 0 0 48925 80 0 0 25 0 1 0 629160381 58351616 13366 4294967295 134512640 134714508 3221221776 3221220464 134594338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14246 13366 1111 63 0 14183 0
vsize: 56984
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 13560 0 0 0 49925 80 0 0 25 0 1 0 629160381 58892288 13481 4294967295 134512640 134714508 3221221776 3221220428 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14378 13481 1111 63 0 14315 0
vsize: 57512
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 14320 0 0 0 50922 83 0 0 25 0 1 0 629160381 61976576 14240 4294967295 134512640 134714508 3221221776 3221220480 134524402 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15131 14240 1111 63 0 15068 0
vsize: 60524
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 14586 0 0 0 51921 85 0 0 25 0 1 0 629160381 63057920 14506 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15395 14506 1111 63 0 15332 0
vsize: 61580
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 14781 0 0 0 52920 86 0 0 25 0 1 0 629160381 63868928 14701 4294967295 134512640 134714508 3221221776 3221220480 134528562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15593 14701 1111 63 0 15530 0
vsize: 62372
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 14898 0 0 0 53919 87 0 0 25 0 1 0 629160381 64409600 14818 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15725 14818 1111 63 0 15662 0
vsize: 62900
[startup+550.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 14975 0 0 0 54931 88 0 0 25 0 1 0 629160381 64679936 14895 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14895 1111 63 0 15728 0
vsize: 63164
[startup+560.189 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 15352 0 0 0 55933 90 0 0 25 0 1 0 629160381 66166784 15272 4294967295 134512640 134714508 3221221776 3221220368 134549560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16154 15272 1111 63 0 16091 0
vsize: 64616
[startup+570.189 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 15675 0 0 0 56932 92 0 0 25 0 1 0 629160381 67518464 15595 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16484 15595 1111 63 0 16421 0
vsize: 65936
[startup+580.189 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 15878 0 0 0 57931 93 0 0 25 0 1 0 629160381 68329472 15798 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16682 15798 1111 63 0 16619 0
vsize: 66728
[startup+590.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 15988 0 0 0 58931 93 0 0 25 0 1 0 629160381 68870144 15908 4294967295 134512640 134714508 3221221776 3221220560 134529390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16814 15908 1111 63 0 16751 0
vsize: 67256
[startup+600.191 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 16108 0 0 0 59930 95 0 0 25 0 1 0 629160381 69275648 16026 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16913 16026 1111 63 0 16850 0
vsize: 67652
[startup+610.191 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 16354 0 0 0 60928 96 0 0 25 0 1 0 629160381 70373376 16272 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17181 16272 1111 63 0 17118 0
vsize: 68724
[startup+620.192 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 16501 0 0 0 61928 97 0 0 25 0 1 0 629160381 70914048 16419 4294967295 134512640 134714508 3221221776 3221220404 134696229 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17313 16419 1111 63 0 17250 0
vsize: 69252
[startup+630.192 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 16584 0 0 0 62927 98 0 0 25 0 1 0 629160381 71319552 16502 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17412 16502 1111 63 0 17349 0
vsize: 69648
[startup+640.193 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 16671 0 0 0 63926 99 0 0 25 0 1 0 629160381 71725056 16589 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17511 16589 1111 63 0 17448 0
vsize: 70044
[startup+650.192 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 16799 0 0 0 64926 99 0 0 25 0 1 0 629160381 72130560 16717 4294967295 134512640 134714508 3221221776 3221220404 1077374174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17610 16717 1111 63 0 17547 0
vsize: 70440
[startup+660.192 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 16898 0 0 0 65925 100 0 0 25 0 1 0 629160381 72536064 16816 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17709 16816 1111 63 0 17646 0
vsize: 70836
[startup+670.194 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17094 0 0 0 66925 101 0 0 25 0 1 0 629160381 73347072 17012 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17907 17012 1111 63 0 17844 0
vsize: 71628
[startup+680.193 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17174 0 0 0 67924 102 0 0 25 0 1 0 629160381 73752576 17092 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18006 17092 1111 63 0 17943 0
vsize: 72024
[startup+690.194 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17355 0 0 0 68922 104 0 0 25 0 1 0 629160381 74428416 17273 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18171 17273 1111 63 0 18108 0
vsize: 72684
[startup+700.195 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17517 0 0 0 69921 105 0 0 25 0 1 0 629160381 75104256 17435 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18336 17435 1111 63 0 18273 0
vsize: 73344
[startup+710.195 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17629 0 0 0 70920 107 0 0 25 0 1 0 629160381 75644928 17547 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18468 17547 1111 63 0 18405 0
vsize: 73872
[startup+720.196 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17698 0 0 0 71919 107 0 0 25 0 1 0 629160381 75915264 17616 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18534 17616 1111 63 0 18471 0
vsize: 74136
[startup+730.196 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17780 0 0 0 72919 108 0 0 25 0 1 0 629160381 76185600 17698 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18600 17698 1111 63 0 18537 0
vsize: 74400
[startup+740.197 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17890 0 0 0 73918 109 0 0 25 0 1 0 629160381 76722176 17808 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18731 17808 1111 63 0 18668 0
vsize: 74924
[startup+750.198 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17959 0 0 0 74917 110 0 0 25 0 1 0 629160381 76992512 17877 4294967295 134512640 134714508 3221221776 3221220460 134524382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18797 17877 1111 63 0 18734 0
vsize: 75188
[startup+760.198 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 17996 0 0 0 75917 111 0 0 25 0 1 0 629160381 77127680 17914 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 17914 1111 63 0 18767 0
vsize: 75320
[startup+770.199 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 18056 0 0 0 76917 111 0 0 25 0 1 0 629160381 77398016 17974 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18896 17974 1111 63 0 18833 0
vsize: 75584
[startup+780.199 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 18194 0 0 0 77915 112 0 0 25 0 1 0 629160381 77938688 18112 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19028 18112 1111 63 0 18965 0
vsize: 76112
[startup+790.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 18358 0 0 0 78914 114 0 0 25 0 1 0 629160381 78606336 18276 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19191 18276 1111 63 0 19128 0
vsize: 76764
[startup+800.201 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 18512 0 0 0 79913 115 0 0 25 0 1 0 629160381 79147008 18430 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19323 18430 1111 63 0 19260 0
vsize: 77292
[startup+810.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 18707 0 0 0 80912 116 0 0 25 0 1 0 629160381 79958016 18625 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19521 18625 1111 63 0 19458 0
vsize: 78084
[startup+820.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 18793 0 0 0 81912 117 0 0 25 0 1 0 629160381 80363520 18711 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19620 18711 1111 63 0 19557 0
vsize: 78480
[startup+830.201 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 18936 0 0 0 82911 118 0 0 25 0 1 0 629160381 81018880 18854 4294967295 134512640 134714508 3221221776 3221220560 134528896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19780 18854 1111 63 0 19717 0
vsize: 79120
[startup+840.201 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19008 0 0 0 83910 119 0 0 25 0 1 0 629160381 81289216 18926 4294967295 134512640 134714508 3221221776 3221220560 134529174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19846 18926 1111 63 0 19783 0
vsize: 79384
[startup+850.201 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19055 0 0 0 84909 120 0 0 25 0 1 0 629160381 81424384 18973 4294967295 134512640 134714508 3221221776 3221220320 134551650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19879 18973 1111 63 0 19816 0
vsize: 79516
[startup+860.201 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19135 0 0 0 85909 120 0 0 25 0 1 0 629160381 81838080 19053 4294967295 134512640 134714508 3221221776 3221220536 134588015 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19980 19053 1111 63 0 19917 0
vsize: 79920
[startup+870.202 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19252 0 0 0 86908 121 0 0 25 0 1 0 629160381 82239488 19170 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20078 19170 1111 63 0 20015 0
vsize: 80312
[startup+880.202 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19312 0 0 0 87908 122 0 0 25 0 1 0 629160381 82509824 19230 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20144 19230 1111 63 0 20081 0
vsize: 80576
[startup+890.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19406 0 0 0 88907 123 0 0 25 0 1 0 629160381 82915328 19324 4294967295 134512640 134714508 3221221776 3221220512 134523956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20243 19324 1111 63 0 20180 0
vsize: 80972
[startup+900.204 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19461 0 0 0 89906 124 0 0 25 0 1 0 629160381 83050496 19379 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20276 19379 1111 63 0 20213 0
vsize: 81104
[startup+910.204 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19501 0 0 0 90906 125 0 0 25 0 1 0 629160381 83320832 19419 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20342 19419 1111 63 0 20279 0
vsize: 81368
[startup+920.205 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19567 0 0 0 91906 125 0 0 25 0 1 0 629160381 83591168 19485 4294967295 134512640 134714508 3221221776 3221220416 134696035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20408 19485 1111 63 0 20345 0
vsize: 81632
[startup+930.206 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19647 0 0 0 92905 126 0 0 25 0 1 0 629160381 83861504 19565 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20474 19565 1111 63 0 20411 0
vsize: 81896
[startup+940.206 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19745 0 0 0 93905 126 0 0 25 0 1 0 629160381 84283392 19663 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20577 19663 1111 63 0 20514 0
vsize: 82308
[startup+950.207 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19794 0 0 0 94904 127 0 0 25 0 1 0 629160381 84418560 19712 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20610 19712 1111 63 0 20547 0
vsize: 82440
[startup+960.206 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19858 0 0 0 95904 127 0 0 25 0 1 0 629160381 84688896 19776 4294967295 134512640 134714508 3221221776 3221220528 134592345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20676 19776 1111 63 0 20613 0
vsize: 82704
[startup+970.208 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 19902 0 0 0 96904 128 0 0 25 0 1 0 629160381 84959232 19820 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20742 19820 1111 63 0 20679 0
vsize: 82968
[startup+980.207 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20024 0 0 0 97903 129 0 0 25 0 1 0 629160381 85364736 19942 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20841 19942 1111 63 0 20778 0
vsize: 83364
[startup+990.208 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20143 0 0 0 98902 130 0 0 25 0 1 0 629160381 85905408 20061 4294967295 134512640 134714508 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20973 20061 1111 63 0 20910 0
vsize: 83892
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20201 0 0 0 99902 130 0 0 25 0 1 0 629160381 86175744 20119 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21039 20119 1111 63 0 20976 0
vsize: 84156
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20220 0 0 0 100902 130 0 0 25 0 1 0 629160381 86310912 20138 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21072 20138 1111 63 0 21009 0
vsize: 84288
[startup+1020.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20258 0 0 0 101902 131 0 0 25 0 1 0 629160381 86441984 20176 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21104 20176 1111 63 0 21041 0
vsize: 84416
[startup+1030.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20313 0 0 0 102901 132 0 0 25 0 1 0 629160381 86577152 20231 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21137 20231 1111 63 0 21074 0
vsize: 84548
[startup+1040.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20389 0 0 0 103900 133 0 0 25 0 1 0 629160381 86982656 20307 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21236 20307 1111 63 0 21173 0
vsize: 84944
[startup+1050.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20462 0 0 0 104899 134 0 0 25 0 1 0 629160381 87252992 20380 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21302 20380 1111 63 0 21239 0
vsize: 85208
[startup+1060.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20521 0 0 0 105899 135 0 0 25 0 1 0 629160381 87523328 20439 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21368 20439 1111 63 0 21305 0
vsize: 85472
[startup+1070.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20563 0 0 0 106899 135 0 0 25 0 1 0 629160381 87658496 20481 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21401 20481 1111 63 0 21338 0
vsize: 85604
[startup+1080.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20609 0 0 0 107898 136 0 0 25 0 1 0 629160381 87793664 20527 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21434 20527 1111 63 0 21371 0
vsize: 85736
[startup+1090.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20652 0 0 0 108897 137 0 0 25 0 1 0 629160381 88055808 20570 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21498 20570 1111 63 0 21435 0
vsize: 85992
[startup+1100.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20864 0 0 0 109895 139 0 0 25 0 1 0 629160381 88854528 20782 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21693 20782 1111 63 0 21630 0
vsize: 86772
[startup+1110.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 20925 0 0 0 110894 140 0 0 25 0 1 0 629160381 89124864 20843 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21759 20843 1111 63 0 21696 0
vsize: 87036
[startup+1120.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 21080 0 0 0 111894 141 0 0 25 0 1 0 629160381 89796608 20998 4294967295 134512640 134714508 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21923 20998 1111 63 0 21860 0
vsize: 87692
[startup+1130.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 21252 0 0 0 112893 142 0 0 25 0 1 0 629160381 90484736 21170 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22091 21170 1111 63 0 22028 0
vsize: 88364
[startup+1140.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 21425 0 0 0 113892 142 0 0 25 0 1 0 629160381 91295744 21343 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22289 21343 1111 63 0 22226 0
vsize: 89156
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 21525 0 0 0 114892 143 0 0 25 0 1 0 629160381 91709440 21443 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22390 21443 1111 63 0 22327 0
vsize: 89560
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 21599 0 0 0 115891 144 0 0 25 0 1 0 629160381 91975680 21517 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22455 21517 1111 63 0 22392 0
vsize: 89820
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 21754 0 0 0 116891 145 0 0 25 0 1 0 629160381 92651520 21672 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22620 21672 1111 63 0 22557 0
vsize: 90480
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 8805
Raw data (stat): 8803 (bsolo_lpr_cuts) R 8802 7876 7672 0 -1 0 21754 0 0 0 116891 145 0 0 25 0 1 0 629160381 92651520 21672 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22620 21672 1111 63 0 22557 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.08
CPU user time (s): 1173.57
CPU system time (s): 1.50377
CPU usage (%): 100.013
Max. virtual memory (Kb): 90480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####