PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
MD5SUM	32e3ba70c369e104da40b8d0cd94d02f
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	14
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.051991
Number of variables	215
Total number of constraints	178
Number of constraints which are clauses	154
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 23293

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 05:37:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=272 boxname=wulflinc31 idbench=31 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  32e3ba70c369e104da40b8d0cd94d02f  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_11_sat_pb.cnf.cr.opb
IDLAUNCH: 272
/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:        928728 kB
Buffers:         37516 kB
Cached:          46552 kB
SwapCached:        864 kB
Active:          71488 kB
Inactive:        14876 kB
HighTotal:      131008 kB
HighFree:        83524 kB
LowTotal:       903652 kB
LowFree:        845204 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13856 kB
Committed_AS:    63684 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 05:57:27 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 272 7 1175.11 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 215 variables and 178 constraints.
c After prepocess the problem consists of 215 variables and 178 constraints.
c preprocess terminated 0.119 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.91 0.97 0.94 2/54 20112
Raw data (stat): 20112 (runsolver) R 20111 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 637654322 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.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 2934 0 0 0 983 13 0 0 25 0 1 0 637654322 15081472 2855 4294967295 134512640 134714508 3221221760 3221220516 134652874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3682 2855 1111 63 0 3619 0
vsize: 14728
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 4439 0 0 0 1978 18 0 0 25 0 1 0 637654322 21303296 4360 4294967295 134512640 134714508 3221221760 3221220544 134528818 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5201 4360 1111 63 0 5138 0
vsize: 20804
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 5422 0 0 0 2973 23 0 0 25 0 1 0 637654322 25358336 5343 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6191 5343 1111 63 0 6128 0
vsize: 24764
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 6256 0 0 0 3969 27 0 0 25 0 1 0 637654322 28741632 6177 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7017 6177 1111 63 0 6954 0
vsize: 28068
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 6920 0 0 0 4966 30 0 0 25 0 1 0 637654322 31444992 6841 4294967295 134512640 134714508 3221221760 3221220448 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7677 6841 1111 63 0 7614 0
vsize: 30708
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 7672 0 0 0 5964 33 0 0 25 0 1 0 637654322 34598912 7593 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8447 7593 1111 63 0 8384 0
vsize: 33788
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 8772 0 0 0 6959 37 0 0 25 0 1 0 637654322 39194624 8693 4294967295 134512640 134714508 3221221760 3221220544 134529192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9569 8693 1111 63 0 9506 0
vsize: 38276
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 9520 0 0 0 7957 40 0 0 25 0 1 0 637654322 42180608 9441 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10298 9441 1111 63 0 10235 0
vsize: 41192
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 10334 0 0 0 8954 43 0 0 25 0 1 0 637654322 45576192 10254 4294967295 134512640 134714508 3221221760 3221220384 134696218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11127 10254 1111 63 0 11064 0
vsize: 44508
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 11069 0 0 0 9951 46 0 0 25 0 1 0 637654322 48685056 10989 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11886 10989 1111 63 0 11823 0
vsize: 47544
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 11640 0 0 0 10949 49 0 0 25 0 1 0 637654322 50987008 11559 4294967295 134512640 134714508 3221221760 3221220480 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12448 11559 1111 63 0 12385 0
vsize: 49792
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 12206 0 0 0 11947 51 0 0 25 0 1 0 637654322 53342208 12124 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13023 12124 1111 63 0 12960 0
vsize: 52092
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 12651 0 0 0 12945 53 0 0 25 0 1 0 637654322 55234560 12569 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13485 12569 1111 63 0 13422 0
vsize: 53940
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 13090 0 0 0 13943 55 0 0 25 0 1 0 637654322 57094144 13008 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13939 13008 1111 63 0 13876 0
vsize: 55756
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 13644 0 0 0 14941 58 0 0 25 0 1 0 637654322 59465728 13558 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14518 13558 1111 63 0 14455 0
vsize: 58072
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 13970 0 0 0 15939 59 0 0 25 0 1 0 637654322 60837888 13883 4294967295 134512640 134714508 3221221760 3221220416 134536849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14853 13883 1111 63 0 14790 0
vsize: 59412
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 14342 0 0 0 16939 60 0 0 25 0 1 0 637654322 62345216 14254 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15221 14254 1111 63 0 15158 0
vsize: 60884
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 14755 0 0 0 17938 61 0 0 25 0 1 0 637654322 64217088 14663 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15678 14663 1111 63 0 15615 0
vsize: 62712
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 15076 0 0 0 18936 63 0 0 25 0 1 0 637654322 65482752 14980 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15987 14980 1111 63 0 15924 0
vsize: 63948
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 15358 0 0 0 19935 64 0 0 25 0 1 0 637654322 66580480 15261 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16255 15261 1111 63 0 16192 0
vsize: 65020
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 15638 0 0 0 20935 65 0 0 25 0 1 0 637654322 67883008 15541 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16573 15541 1111 63 0 16510 0
vsize: 66292
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 15876 0 0 0 21934 66 0 0 25 0 1 0 637654322 68730880 15779 4294967295 134512640 134714508 3221221760 3221220420 134536752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16780 15779 1111 63 0 16717 0
vsize: 67120
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 16044 0 0 0 22934 66 0 0 25 0 1 0 637654322 69406720 15946 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16945 15946 1111 63 0 16882 0
vsize: 67780
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 16826 0 0 0 23930 70 0 0 25 0 1 0 637654322 72720384 16727 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17754 16727 1111 63 0 17691 0
vsize: 71016
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 17262 0 0 0 24929 71 0 0 25 0 1 0 637654322 74477568 17163 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18183 17163 1111 63 0 18120 0
vsize: 72732
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 17593 0 0 0 25928 73 0 0 25 0 1 0 637654322 75829248 17494 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18513 17494 1111 63 0 18450 0
vsize: 74052
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 17904 0 0 0 26927 74 0 0 25 0 1 0 637654322 77062144 17805 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18814 17805 1111 63 0 18751 0
vsize: 75256
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 18256 0 0 0 27926 75 0 0 25 0 1 0 637654322 78610432 18152 4294967295 134512640 134714508 3221221760 3221220444 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19192 18152 1111 63 0 19129 0
vsize: 76768
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 18674 0 0 0 28924 77 0 0 25 0 1 0 637654322 80232448 18570 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19588 18570 1111 63 0 19525 0
vsize: 78352
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 18937 0 0 0 29923 78 0 0 25 0 1 0 637654322 81313792 18833 4294967295 134512640 134714508 3221221760 3221220580 134590259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19852 18833 1111 63 0 19789 0
vsize: 79408
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 19196 0 0 0 30922 79 0 0 25 0 1 0 637654322 82411520 19092 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20120 19092 1111 63 0 20057 0
vsize: 80480
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 19555 0 0 0 31921 80 0 0 25 0 1 0 637654322 83906560 19451 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20485 19451 1111 63 0 20422 0
vsize: 81940
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 19790 0 0 0 32919 82 0 0 25 0 1 0 637654322 84881408 19682 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20723 19682 1111 63 0 20660 0
vsize: 82892
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 20345 0 0 0 33917 85 0 0 25 0 1 0 637654322 87179264 20237 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21284 20237 1111 63 0 21221 0
vsize: 85136
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 20799 0 0 0 34916 86 0 0 25 0 1 0 637654322 89071616 20690 4294967295 134512640 134714508 3221221760 3221220164 134697327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21746 20690 1111 63 0 21683 0
vsize: 86984
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 21253 0 0 0 35914 88 0 0 25 0 1 0 637654322 90963968 21144 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22208 21144 1111 63 0 22145 0
vsize: 88832
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 21701 0 0 0 36912 90 0 0 25 0 1 0 637654322 92745728 21592 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22643 21592 1111 63 0 22580 0
vsize: 90572
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 22383 0 0 0 37910 93 0 0 25 0 1 0 637654322 95584256 22274 4294967295 134512640 134714508 3221221760 3221220464 134528623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23336 22274 1111 63 0 23273 0
vsize: 93344
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 22889 0 0 0 38909 94 0 0 25 0 1 0 637654322 97611776 22780 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23831 22780 1111 63 0 23768 0
vsize: 95324
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 23301 0 0 0 39907 96 0 0 25 0 1 0 637654322 99368960 23192 4294967295 134512640 134714508 3221221760 3221220348 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24260 23192 1111 63 0 24197 0
vsize: 97040
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 23601 0 0 0 40906 97 0 0 25 0 1 0 637654322 100659200 23488 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24575 23488 1111 63 0 24512 0
vsize: 98300
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 23770 0 0 0 41905 98 0 0 25 0 1 0 637654322 101335040 23657 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24740 23657 1111 63 0 24677 0
vsize: 98960
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 23989 0 0 0 42904 99 0 0 25 0 1 0 637654322 102187008 23874 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24948 23874 1111 63 0 24885 0
vsize: 99792
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 24222 0 0 0 43903 101 0 0 25 0 1 0 637654322 103378944 24105 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25239 24105 1111 63 0 25176 0
vsize: 100956
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 24386 0 0 0 44902 101 0 0 25 0 1 0 637654322 104099840 24268 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25415 24268 1111 63 0 25352 0
vsize: 101660
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 24581 0 0 0 45902 102 0 0 25 0 1 0 637654322 104808448 24463 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25588 24463 1111 63 0 25525 0
vsize: 102352
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 24836 0 0 0 46900 104 0 0 25 0 1 0 637654322 105959424 24714 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25869 24714 1111 63 0 25806 0
vsize: 103476
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 24977 0 0 0 47900 104 0 0 25 0 1 0 637654322 106635264 24855 4294967295 134512640 134714508 3221221760 3221220316 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26034 24855 1111 63 0 25971 0
vsize: 104136
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 25217 0 0 0 48899 106 0 0 25 0 1 0 637654322 107524096 25095 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26251 25095 1111 63 0 26188 0
vsize: 105004
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 25370 0 0 0 49898 107 0 0 25 0 1 0 637654322 108331008 25245 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26448 25245 1111 63 0 26385 0
vsize: 105792
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 25577 0 0 0 50898 107 0 0 25 0 1 0 637654322 109182976 25451 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26656 25451 1111 63 0 26593 0
vsize: 106624
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 25739 0 0 0 51897 108 0 0 25 0 1 0 637654322 109920256 25612 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26836 25612 1111 63 0 26773 0
vsize: 107344
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 25894 0 0 0 52896 109 0 0 25 0 1 0 637654322 110460928 25767 4294967295 134512640 134714508 3221221760 3221220544 134529252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26968 25767 1111 63 0 26905 0
vsize: 107872
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 26048 0 0 0 53896 109 0 0 25 0 1 0 637654322 111251456 25921 4294967295 134512640 134714508 3221221760 3221220464 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27161 25921 1111 63 0 27098 0
vsize: 108644
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 26132 0 0 0 54896 110 0 0 25 0 1 0 637654322 111521792 26005 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27227 26005 1111 63 0 27164 0
vsize: 108908
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 26440 0 0 0 55894 111 0 0 25 0 1 0 637654322 112771072 26311 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27532 26311 1111 63 0 27469 0
vsize: 110128
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 26799 0 0 0 56893 113 0 0 25 0 1 0 637654322 114348032 26664 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27917 26664 1111 63 0 27854 0
vsize: 111668
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 27307 0 0 0 57891 115 0 0 25 0 1 0 637654322 116379648 27172 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28413 27172 1111 63 0 28350 0
vsize: 113652
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 27654 0 0 0 58890 116 0 0 25 0 1 0 637654322 117895168 27515 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28783 27515 1111 63 0 28720 0
vsize: 115132
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 27924 0 0 0 59889 117 0 0 25 0 1 0 637654322 118976512 27785 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29047 27785 1111 63 0 28984 0
vsize: 116188
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 28211 0 0 0 60888 119 0 0 25 0 1 0 637654322 120193024 28071 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29344 28071 1111 63 0 29281 0
vsize: 117376
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 28612 0 0 0 61886 121 0 0 25 0 1 0 637654322 121815040 28472 4294967295 134512640 134714508 3221221760 3221219924 134697461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29740 28472 1111 63 0 29677 0
vsize: 118960
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 28855 0 0 0 62885 122 0 0 25 0 1 0 637654322 122761216 28715 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29971 28715 1111 63 0 29908 0
vsize: 119884
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 29003 0 0 0 63884 123 0 0 25 0 1 0 637654322 123457536 28863 4294967295 134512640 134714508 3221221760 3221220348 134535942 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30141 28863 1111 63 0 30078 0
vsize: 120564
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 29221 0 0 0 64883 124 0 0 25 0 1 0 637654322 124432384 29079 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30379 29079 1111 63 0 30316 0
vsize: 121516
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 29388 0 0 0 65882 125 0 0 25 0 1 0 637654322 125120512 29245 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30547 29245 1111 63 0 30484 0
vsize: 122188
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 29559 0 0 0 66882 126 0 0 25 0 1 0 637654322 125796352 29416 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30712 29416 1111 63 0 30649 0
vsize: 122848
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 29729 0 0 0 67881 127 0 0 25 0 1 0 637654322 126492672 29585 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30882 29585 1111 63 0 30819 0
vsize: 123528
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 29807 0 0 0 68881 127 0 0 25 0 1 0 637654322 126763008 29663 4294967295 134512640 134714508 3221221760 3221220496 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30948 29663 1111 63 0 30885 0
vsize: 123792
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 30068 0 0 0 69880 128 0 0 25 0 1 0 637654322 127909888 29921 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31228 29921 1111 63 0 31165 0
vsize: 124912
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 30319 0 0 0 70880 129 0 0 25 0 1 0 637654322 128856064 30172 4294967295 134512640 134714508 3221221760 3221220348 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31459 30172 1111 63 0 31396 0
vsize: 125836
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 30474 0 0 0 71879 130 0 0 25 0 1 0 637654322 129560576 30323 4294967295 134512640 134714508 3221221760 3221220368 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31631 30323 1111 63 0 31568 0
vsize: 126524
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 30587 0 0 0 72878 131 0 0 25 0 1 0 637654322 129966080 30436 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31730 30436 1111 63 0 31667 0
vsize: 126920
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 30904 0 0 0 73876 133 0 0 25 0 1 0 637654322 131317760 30753 4294967295 134512640 134714508 3221221760 3221220356 134549516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32060 30753 1111 63 0 31997 0
vsize: 128240
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 31042 0 0 0 74875 134 0 0 25 0 1 0 637654322 131858432 30891 4294967295 134512640 134714508 3221221760 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32192 30891 1111 63 0 32129 0
vsize: 128768
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 31285 0 0 0 75874 136 0 0 25 0 1 0 637654322 132804608 31134 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32423 31134 1111 63 0 32360 0
vsize: 129692
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 31423 0 0 0 76873 136 0 0 25 0 1 0 637654322 133480448 31272 4294967295 134512640 134714508 3221221760 3221220496 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32588 31272 1111 63 0 32525 0
vsize: 130352
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 31595 0 0 0 77873 137 0 0 25 0 1 0 637654322 134156288 31444 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32753 31444 1111 63 0 32690 0
vsize: 131012
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 31729 0 0 0 78872 138 0 0 25 0 1 0 637654322 134713344 31578 4294967295 134512640 134714508 3221221760 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32889 31578 1111 63 0 32826 0
vsize: 131556
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 31889 0 0 0 79872 138 0 0 25 0 1 0 637654322 135254016 31738 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33021 31738 1111 63 0 32958 0
vsize: 132084
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 32000 0 0 0 80871 139 0 0 25 0 1 0 637654322 135794688 31849 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33153 31849 1111 63 0 33090 0
vsize: 132612
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 32101 0 0 0 81871 139 0 0 25 0 1 0 637654322 136232960 31949 4294967295 134512640 134714508 3221221760 3221220504 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33260 31949 1111 63 0 33197 0
vsize: 133040
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 32186 0 0 0 82871 140 0 0 25 0 1 0 637654322 136503296 32034 4294967295 134512640 134714508 3221221760 3221220472 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33326 32034 1111 63 0 33263 0
vsize: 133304
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 32460 0 0 0 83870 141 0 0 25 0 1 0 637654322 137719808 32308 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33623 32308 1111 63 0 33560 0
vsize: 134492
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 32699 0 0 0 84868 143 0 0 25 0 1 0 637654322 138665984 32547 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33854 32547 1111 63 0 33791 0
vsize: 135416
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 32965 0 0 0 85867 144 0 0 25 0 1 0 637654322 139747328 32813 4294967295 134512640 134714508 3221221760 3221220348 134535906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34118 32813 1111 63 0 34055 0
vsize: 136472
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 33252 0 0 0 86866 145 0 0 25 0 1 0 637654322 140828672 33100 4294967295 134512640 134714508 3221221760 3221220484 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34382 33100 1111 63 0 34319 0
vsize: 137528
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 33497 0 0 0 87864 147 0 0 25 0 1 0 637654322 141910016 33345 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34646 33345 1111 63 0 34583 0
vsize: 138584
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 33623 0 0 0 88864 147 0 0 25 0 1 0 637654322 142516224 33465 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34794 33465 1111 63 0 34731 0
vsize: 139176
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 33796 0 0 0 89863 148 0 0 25 0 1 0 637654322 143196160 33637 4294967295 134512640 134714508 3221221760 3221220380 134549859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34960 33637 1111 63 0 34897 0
vsize: 139840
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 33937 0 0 0 90863 149 0 0 25 0 1 0 637654322 143872000 33778 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35125 33778 1111 63 0 35062 0
vsize: 140500
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 34102 0 0 0 91862 150 0 0 25 0 1 0 637654322 144412672 33943 4294967295 134512640 134714508 3221221760 3221220528 134529381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35257 33943 1111 63 0 35194 0
vsize: 141028
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 34264 0 0 0 92862 150 0 0 25 0 1 0 637654322 145092608 34105 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35423 34105 1111 63 0 35360 0
vsize: 141692
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 34500 0 0 0 93861 151 0 0 25 0 1 0 637654322 146255872 34336 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35707 34336 1111 63 0 35644 0
vsize: 142828
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 34767 0 0 0 94860 153 0 0 25 0 1 0 637654322 147345408 34601 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35973 34601 1111 63 0 35910 0
vsize: 143892
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 34997 0 0 0 95859 154 0 0 25 0 1 0 637654322 148291584 34830 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36204 34830 1111 63 0 36141 0
vsize: 144816
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 35148 0 0 0 96858 154 0 0 25 0 1 0 637654322 148967424 34981 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36369 34981 1111 63 0 36306 0
vsize: 145476
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 35280 0 0 0 97858 155 0 0 25 0 1 0 637654322 149508096 35113 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36501 35113 1111 63 0 36438 0
vsize: 146004
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 35442 0 0 0 98857 156 0 0 25 0 1 0 637654322 150208512 35275 4294967295 134512640 134714508 3221221760 3221220480 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36672 35275 1111 63 0 36609 0
vsize: 146688
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 35636 0 0 0 99857 156 0 0 25 0 1 0 637654322 151085056 35460 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36886 35460 1111 63 0 36823 0
vsize: 147544
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 35779 0 0 0 100856 157 0 0 25 0 1 0 637654322 151625728 35603 4294967295 134512640 134714508 3221221760 3221220424 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37018 35603 1111 63 0 36955 0
vsize: 148072
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 35917 0 0 0 101856 158 0 0 25 0 1 0 637654322 152174592 35739 4294967295 134512640 134714508 3221221760 3221220480 134529110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37152 35739 1111 63 0 37089 0
vsize: 148608
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36033 0 0 0 102856 158 0 0 25 0 1 0 637654322 152715264 35854 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37284 35854 1111 63 0 37221 0
vsize: 149136
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36122 0 0 0 103856 158 0 0 25 0 1 0 637654322 153153536 35943 4294967295 134512640 134714508 3221221760 3221220412 134536771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37391 35943 1111 63 0 37328 0
vsize: 149564
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36153 0 0 0 104856 159 0 0 25 0 1 0 637654322 153317376 35972 4294967295 134512640 134714508 3221221760 3221220496 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37431 35972 1111 63 0 37368 0
vsize: 149724
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36201 0 0 0 105855 159 0 0 25 0 1 0 637654322 153452544 36020 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37464 36020 1111 63 0 37401 0
vsize: 149856
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36286 0 0 0 106855 159 0 0 25 0 1 0 637654322 153722880 36105 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37530 36105 1111 63 0 37467 0
vsize: 150120
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36471 0 0 0 107855 159 0 0 25 0 1 0 637654322 154603520 36288 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37745 36288 1111 63 0 37682 0
vsize: 150980
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36578 0 0 0 108855 160 0 0 25 0 1 0 637654322 155086848 36389 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37863 36389 1111 63 0 37800 0
vsize: 151452
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36691 0 0 0 109854 161 0 0 25 0 1 0 637654322 155508736 36502 4294967295 134512640 134714508 3221221760 3221220528 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37966 36502 1111 63 0 37903 0
vsize: 151864
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36775 0 0 0 110854 161 0 0 25 0 1 0 637654322 155914240 36586 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38065 36586 1111 63 0 38002 0
vsize: 152260
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 36914 0 0 0 111854 161 0 0 25 0 1 0 637654322 156454912 36725 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38197 36725 1111 63 0 38134 0
vsize: 152788
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 37043 0 0 0 112853 162 0 0 25 0 1 0 637654322 156995584 36854 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38329 36854 1111 63 0 38266 0
vsize: 153316
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 37150 0 0 0 113853 163 0 0 25 0 1 0 637654322 157503488 36958 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38453 36958 1111 63 0 38390 0
vsize: 153812
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 37250 0 0 0 114852 164 0 0 25 0 1 0 637654322 157908992 37058 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38552 37058 1111 63 0 38489 0
vsize: 154208
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 37353 0 0 0 115852 164 0 0 25 0 1 0 637654322 158380032 37152 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38667 37152 1111 63 0 38604 0
vsize: 154668
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 37491 0 0 0 116852 165 0 0 25 0 1 0 637654322 158920704 37290 4294967295 134512640 134714508 3221221760 3221220464 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38799 37290 1111 63 0 38736 0
vsize: 155196
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 20112
Raw data (stat): 20112 (bsolo_lpr_cuts) R 20111 7876 7672 0 -1 0 37491 0 0 0 116852 165 0 0 25 0 1 0 637654322 158920704 37290 4294967295 134512640 134714508 3221221760 3221220464 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38799 37290 1111 63 0 38736 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.11
CPU user time (s): 1173.39
CPU system time (s): 1.72274
CPU usage (%): 100.012
Max. virtual memory (Kb): 155196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####