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-fpga10_8_sat_pb.cnf.cr.opb
MD5SUM	159220fb0573bb17ad11cefe6a440cec
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	11
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.040992
Number of variables	120
Total number of constraints	106
Number of constraints which are clauses	88
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	10
Trace number 23253

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 23:24:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=200 boxname=wulflinc31 idbench=23 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  159220fb0573bb17ad11cefe6a440cec  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb
IDLAUNCH: 200
/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:        929672 kB
Buffers:         36932 kB
Cached:          46184 kB
SwapCached:        864 kB
Active:          71332 kB
Inactive:        14172 kB
HighTotal:      131008 kB
HighFree:        83804 kB
LowTotal:       903652 kB
LowFree:        845868 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13836 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 23:43:52 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 200 7 1175.14 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 120 variables and 106 constraints.
c After prepocess the problem consists of 120 variables and 106 constraints.
c preprocess terminated 0.064 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.93 0.98 0.91 2/54 15946
Raw data (stat): 15946 (runsolver) R 15945 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 635412569 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.001 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 3138 0 0 0 984 12 0 0 25 0 1 0 635412569 16019456 3059 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3911 3059 1111 63 0 3848 0
vsize: 15644
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 4179 0 0 0 1980 16 0 0 25 0 1 0 635412569 20250624 4100 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4100 1111 63 0 4881 0
vsize: 19776
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 5222 0 0 0 2975 21 0 0 25 0 1 0 635412569 24608768 5142 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6008 5142 1111 63 0 5945 0
vsize: 24032
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 5977 0 0 0 3972 25 0 0 25 0 1 0 635412569 27725824 5896 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6769 5896 1111 63 0 6706 0
vsize: 27076
[startup+50.0027 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 6620 0 0 0 4969 27 0 0 25 0 1 0 635412569 30306304 6537 4294967295 134512640 134714508 3221221776 3221220560 134528889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7399 6537 1111 63 0 7336 0
vsize: 29596
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 7127 0 0 0 5967 30 0 0 25 0 1 0 635412569 32468992 7044 4294967295 134512640 134714508 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7927 7044 1111 63 0 7864 0
vsize: 31708
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 8164 0 0 0 6963 35 0 0 25 0 1 0 635412569 36659200 8081 4294967295 134512640 134714508 3221221776 3221220464 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8950 8081 1111 63 0 8887 0
vsize: 35800
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 8947 0 0 0 7958 39 0 0 25 0 1 0 635412569 39931904 8863 4294967295 134512640 134714508 3221221776 3221220432 134524069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9749 8863 1111 63 0 9686 0
vsize: 38996
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 10051 0 0 0 8955 43 0 0 25 0 1 0 635412569 44392448 9967 4294967295 134512640 134714508 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10838 9967 1111 63 0 10775 0
vsize: 43352
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 10849 0 0 0 9951 47 0 0 25 0 1 0 635412569 47779840 10764 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11665 10764 1111 63 0 11602 0
vsize: 46660
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 11787 0 0 0 10947 51 0 0 25 0 1 0 635412569 51568640 11702 4294967295 134512640 134714508 3221221776 3221220528 134587954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12590 11702 1111 63 0 12527 0
vsize: 50360
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 12320 0 0 0 11945 53 0 0 25 0 1 0 635412569 53747712 12233 4294967295 134512640 134714508 3221221776 3221220540 134552693 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13122 12233 1111 63 0 13059 0
vsize: 52488
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 13088 0 0 0 12941 58 0 0 25 0 1 0 635412569 56934400 12997 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13900 12997 1111 63 0 13837 0
vsize: 55600
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 13475 0 0 0 13939 60 0 0 25 0 1 0 635412569 58589184 13384 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14304 13384 1111 63 0 14241 0
vsize: 57216
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 13693 0 0 0 14937 61 0 0 25 0 1 0 635412569 59576320 13599 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14545 13599 1111 63 0 14482 0
vsize: 58180
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 14357 0 0 0 15935 64 0 0 25 0 1 0 635412569 62304256 14262 4294967295 134512640 134714508 3221221776 3221220464 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15211 14262 1111 63 0 15148 0
vsize: 60844
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 14950 0 0 0 16933 66 0 0 25 0 1 0 635412569 64745472 14854 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15807 14854 1111 63 0 15744 0
vsize: 63228
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 15338 0 0 0 17930 69 0 0 25 0 1 0 635412569 66367488 15242 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16203 15242 1111 63 0 16140 0
vsize: 64812
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 15709 0 0 0 18928 71 0 0 25 0 1 0 635412569 67858432 15613 4294967295 134512640 134714508 3221221776 3221220560 134529291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16567 15613 1111 63 0 16504 0
vsize: 66268
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 16051 0 0 0 19927 73 0 0 25 0 1 0 635412569 69345280 15955 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16930 15955 1111 63 0 16867 0
vsize: 67720
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 16547 0 0 0 20925 75 0 0 25 0 1 0 635412569 71372800 16451 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17425 16452 1111 63 0 17362 0
vsize: 69700
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 17354 0 0 0 21923 78 0 0 25 0 1 0 635412569 74629120 17258 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18220 17258 1111 63 0 18157 0
vsize: 72880
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 17832 0 0 0 22920 80 0 0 25 0 1 0 635412569 76660736 17735 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18716 17735 1111 63 0 18653 0
vsize: 74864
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 18406 0 0 0 23919 82 0 0 25 0 1 0 635412569 78958592 18309 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19277 18309 1111 63 0 19214 0
vsize: 77108
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 19005 0 0 0 24917 84 0 0 25 0 1 0 635412569 81391616 18908 4294967295 134512640 134714508 3221221776 3221220248 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19871 18908 1111 63 0 19808 0
vsize: 79484
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 19515 0 0 0 25914 87 0 0 25 0 1 0 635412569 83554304 19418 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20399 19418 1111 63 0 20336 0
vsize: 81596
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 19902 0 0 0 26912 89 0 0 25 0 1 0 635412569 85176320 19803 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20795 19803 1111 63 0 20732 0
vsize: 83180
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 20332 0 0 0 27910 91 0 0 25 0 1 0 635412569 86933504 20233 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21224 20233 1111 63 0 21161 0
vsize: 84896
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 20849 0 0 0 28908 94 0 0 25 0 1 0 635412569 89034752 20749 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21737 20749 1111 63 0 21674 0
vsize: 86948
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 21176 0 0 0 29907 95 0 0 25 0 1 0 635412569 90398720 21075 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22070 21075 1111 63 0 22007 0
vsize: 88280
[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 21654 0 0 0 30905 97 0 0 25 0 1 0 635412569 92442624 21553 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22569 21553 1111 63 0 22506 0
vsize: 90276
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 22015 0 0 0 31903 99 0 0 25 0 1 0 635412569 93937664 21914 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22934 21914 1111 63 0 22871 0
vsize: 91736
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 22439 0 0 0 32901 102 0 0 25 0 1 0 635412569 95698944 22337 4294967295 134512640 134714508 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23364 22337 1111 63 0 23301 0
vsize: 93456
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 22818 0 0 0 33899 103 0 0 25 0 1 0 635412569 97185792 22716 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23727 22716 1111 63 0 23664 0
vsize: 94908
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 23208 0 0 0 34897 105 0 0 25 0 1 0 635412569 98816000 23105 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24125 23105 1111 63 0 24062 0
vsize: 96500
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 23623 0 0 0 35895 108 0 0 25 0 1 0 635412569 100438016 23520 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24521 23520 1111 63 0 24458 0
vsize: 98084
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 23926 0 0 0 36894 109 0 0 25 0 1 0 635412569 101683200 23823 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24825 23823 1111 63 0 24762 0
vsize: 99300
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 24324 0 0 0 37892 111 0 0 25 0 1 0 635412569 103305216 24221 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25221 24221 1111 63 0 25158 0
vsize: 100884
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 24714 0 0 0 38891 113 0 0 25 0 1 0 635412569 104988672 24607 4294967295 134512640 134714508 3221221776 3221220512 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25632 24607 1111 63 0 25569 0
vsize: 102528
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 25060 0 0 0 39889 114 0 0 25 0 1 0 635412569 106475520 24953 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25995 24953 1111 63 0 25932 0
vsize: 103980
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 25396 0 0 0 40888 116 0 0 25 0 1 0 635412569 107831296 25289 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26326 25289 1111 63 0 26263 0
vsize: 105304
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 25755 0 0 0 41886 118 0 0 25 0 1 0 635412569 109318144 25648 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26689 25648 1111 63 0 26626 0
vsize: 106756
[startup+430.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 26084 0 0 0 42885 119 0 0 25 0 1 0 635412569 110735360 25976 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27035 25976 1111 63 0 26972 0
vsize: 108140
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 26419 0 0 0 43884 121 0 0 25 0 1 0 635412569 112087040 26311 4294967295 134512640 134714508 3221221776 3221220428 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27365 26312 1111 63 0 27302 0
vsize: 109460
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 26714 0 0 0 44882 123 0 0 25 0 1 0 635412569 113311744 26606 4294967295 134512640 134714508 3221221776 3221220360 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27664 26606 1111 63 0 27601 0
vsize: 110656
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 26993 0 0 0 45881 124 0 0 25 0 1 0 635412569 114393088 26885 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27928 26885 1111 63 0 27865 0
vsize: 111712
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 27234 0 0 0 46881 125 0 0 25 0 1 0 635412569 115474432 27125 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28192 27125 1111 63 0 28129 0
vsize: 112768
[startup+480.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 27447 0 0 0 47880 125 0 0 25 0 1 0 635412569 116285440 27337 4294967295 134512640 134714508 3221221776 3221220428 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28390 27337 1111 63 0 28327 0
vsize: 113560
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 27722 0 0 0 48879 127 0 0 25 0 1 0 635412569 117510144 27611 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28689 27611 1111 63 0 28626 0
vsize: 114756
[startup+500.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 27962 0 0 0 49878 127 0 0 25 0 1 0 635412569 118468608 27848 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28923 27848 1111 63 0 28860 0
vsize: 115692
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 28170 0 0 0 50877 129 0 0 25 0 1 0 635412569 119312384 28053 4294967295 134512640 134714508 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29129 28053 1111 63 0 29066 0
vsize: 116516
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 28466 0 0 0 51876 130 0 0 25 0 1 0 635412569 120528896 28349 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29426 28349 1111 63 0 29363 0
vsize: 117704
[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 28753 0 0 0 52875 131 0 0 25 0 1 0 635412569 121774080 28632 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29730 28632 1111 63 0 29667 0
vsize: 118920
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 29018 0 0 0 53874 133 0 0 25 0 1 0 635412569 122908672 28897 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30007 28897 1111 63 0 29944 0
vsize: 120028
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 29262 0 0 0 54873 134 0 0 25 0 1 0 635412569 123854848 29141 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30238 29141 1111 63 0 30175 0
vsize: 120952
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 29373 0 0 0 55872 135 0 0 25 0 1 0 635412569 124260352 29252 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30337 29252 1111 63 0 30274 0
vsize: 121348
[startup+570.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 29660 0 0 0 56871 136 0 0 25 0 1 0 635412569 125476864 29539 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30634 29539 1111 63 0 30571 0
vsize: 122536
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 29878 0 0 0 57870 137 0 0 25 0 1 0 635412569 126468096 29756 4294967295 134512640 134714508 3221221776 3221220544 134529279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30876 29756 1111 63 0 30813 0
vsize: 123504
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 30224 0 0 0 58868 139 0 0 25 0 1 0 635412569 127836160 30102 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31210 30102 1111 63 0 31147 0
vsize: 124840
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 30454 0 0 0 59867 140 0 0 25 0 1 0 635412569 128851968 30328 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31458 30328 1111 63 0 31395 0
vsize: 125832
[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 30664 0 0 0 60867 141 0 0 25 0 1 0 635412569 129662976 30538 4294967295 134512640 134714508 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31656 30538 1111 63 0 31593 0
vsize: 126624
[startup+620.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 30912 0 0 0 61866 142 0 0 25 0 1 0 635412569 130609152 30786 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31887 30786 1111 63 0 31824 0
vsize: 127548
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 31082 0 0 0 62866 142 0 0 25 0 1 0 635412569 131321856 30956 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32061 30956 1111 63 0 31998 0
vsize: 128244
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 31215 0 0 0 63865 143 0 0 25 0 1 0 635412569 131862528 31089 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32193 31089 1111 63 0 32130 0
vsize: 128772
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 31371 0 0 0 64864 144 0 0 25 0 1 0 635412569 132538368 31245 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32358 31245 1111 63 0 32295 0
vsize: 129432
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 31669 0 0 0 65863 146 0 0 25 0 1 0 635412569 133754880 31543 4294967295 134512640 134714508 3221221776 3221220512 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32655 31543 1111 63 0 32592 0
vsize: 130620
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 31879 0 0 0 66862 147 0 0 25 0 1 0 635412569 134565888 31753 4294967295 134512640 134714508 3221221776 3221220272 134697368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32853 31753 1111 63 0 32790 0
vsize: 131412
[startup+680.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 32178 0 0 0 67861 148 0 0 25 0 1 0 635412569 135782400 32052 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33150 32052 1111 63 0 33087 0
vsize: 132600
[startup+690.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 32337 0 0 0 68860 149 0 0 25 0 1 0 635412569 136548352 32209 4294967295 134512640 134714508 3221221776 3221220448 134551968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33337 32209 1111 63 0 33274 0
vsize: 133348
[startup+700.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 32548 0 0 0 69859 150 0 0 25 0 1 0 635412569 137359360 32420 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33535 32420 1111 63 0 33472 0
vsize: 134140
[startup+710.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 32801 0 0 0 70859 151 0 0 25 0 1 0 635412569 138510336 32673 4294967295 134512640 134714508 3221221776 3221220480 134528732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33816 32673 1111 63 0 33753 0
vsize: 135264
[startup+720.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 33023 0 0 0 71858 152 0 0 25 0 1 0 635412569 139321344 32895 4294967295 134512640 134714508 3221221776 3221220560 134529259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34014 32895 1111 63 0 33951 0
vsize: 136056
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 33294 0 0 0 72856 153 0 0 25 0 1 0 635412569 140636160 33158 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34335 33158 1111 63 0 34272 0
vsize: 137340
[startup+740.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 33472 0 0 0 73856 154 0 0 25 0 1 0 635412569 141377536 33335 4294967295 134512640 134714508 3221221776 3221220560 134529249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34516 33335 1111 63 0 34453 0
vsize: 138064
[startup+750.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 33643 0 0 0 74856 154 0 0 25 0 1 0 635412569 142077952 33506 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34687 33506 1111 63 0 34624 0
vsize: 138748
[startup+760.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 33793 0 0 0 75854 156 0 0 25 0 1 0 635412569 142753792 33656 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34852 33656 1111 63 0 34789 0
vsize: 139408
[startup+770.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 33931 0 0 0 76854 156 0 0 25 0 1 0 635412569 143319040 33792 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34990 33792 1111 63 0 34927 0
vsize: 139960
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 34076 0 0 0 77854 157 0 0 25 0 1 0 635412569 143859712 33937 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35122 33937 1111 63 0 35059 0
vsize: 140488
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 34285 0 0 0 78853 158 0 0 25 0 1 0 635412569 144670720 34146 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35320 34146 1111 63 0 35257 0
vsize: 141280
[startup+800.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 34502 0 0 0 79852 159 0 0 25 0 1 0 635412569 145481728 34363 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35518 34363 1111 63 0 35455 0
vsize: 142072
[startup+810.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 34712 0 0 0 80852 159 0 0 25 0 1 0 635412569 146493440 34567 4294967295 134512640 134714508 3221221776 3221220480 134528726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35765 34567 1111 63 0 35702 0
vsize: 143060
[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 34962 0 0 0 81850 161 0 0 25 0 1 0 635412569 147574784 34817 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36029 34817 1111 63 0 35966 0
vsize: 144116
[startup+830.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 35218 0 0 0 82849 163 0 0 25 0 1 0 635412569 148520960 35073 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36260 35073 1111 63 0 36197 0
vsize: 145040
[startup+840.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 35458 0 0 0 83848 164 0 0 25 0 1 0 635412569 149602304 35312 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36524 35312 1111 63 0 36461 0
vsize: 146096
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 35680 0 0 0 84847 165 0 0 25 0 1 0 635412569 150413312 35534 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36722 35534 1111 63 0 36659 0
vsize: 146888
[startup+860.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 35893 0 0 0 85846 166 0 0 25 0 1 0 635412569 151359488 35747 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36953 35747 1111 63 0 36890 0
vsize: 147812
[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 36081 0 0 0 86845 167 0 0 25 0 1 0 635412569 152051712 35935 4294967295 134512640 134714508 3221221776 3221220532 134587950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37122 35935 1111 63 0 37059 0
vsize: 148488
[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 36342 0 0 0 87844 169 0 0 25 0 1 0 635412569 153337856 36187 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37436 36187 1111 63 0 37373 0
vsize: 149744
[startup+890.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 36575 0 0 0 88843 170 0 0 25 0 1 0 635412569 154148864 36420 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37634 36420 1111 63 0 37571 0
vsize: 150536
[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 36893 0 0 0 89841 172 0 0 25 0 1 0 635412569 155500544 36738 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37964 36738 1111 63 0 37901 0
vsize: 151856
[startup+910.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 37189 0 0 0 90840 173 0 0 25 0 1 0 635412569 156762112 37034 4294967295 134512640 134714508 3221221776 3221220416 134613411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38272 37034 1111 63 0 38209 0
vsize: 153088
[startup+920.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 37487 0 0 0 91838 175 0 0 25 0 1 0 635412569 157995008 37331 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38573 37331 1111 63 0 38510 0
vsize: 154292
[startup+930.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 37805 0 0 0 92837 176 0 0 25 0 1 0 635412569 159469568 37640 4294967295 134512640 134714508 3221221776 3221220332 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38933 37640 1111 63 0 38870 0
vsize: 155732
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 38021 0 0 0 93836 178 0 0 25 0 1 0 635412569 160280576 37856 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39131 37856 1111 63 0 39068 0
vsize: 156524
[startup+950.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 38241 0 0 0 94835 179 0 0 25 0 1 0 635412569 161226752 38076 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39362 38076 1111 63 0 39299 0
vsize: 157448
[startup+960.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 38431 0 0 0 95834 180 0 0 25 0 1 0 635412569 162107392 38265 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39577 38265 1111 63 0 39514 0
vsize: 158308
[startup+970.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 38568 0 0 0 96834 180 0 0 25 0 1 0 635412569 162676736 38400 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39716 38400 1111 63 0 39653 0
vsize: 158864
[startup+980.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 38685 0 0 0 97833 181 0 0 25 0 1 0 635412569 163123200 38516 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39825 38516 1111 63 0 39762 0
vsize: 159300
[startup+990.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 38786 0 0 0 98833 181 0 0 25 0 1 0 635412569 163528704 38617 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39924 38617 1111 63 0 39861 0
vsize: 159696
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 38983 0 0 0 99832 183 0 0 25 0 1 0 635412569 164339712 38814 4294967295 134512640 134714508 3221221776 3221220560 134529246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40122 38814 1111 63 0 40059 0
vsize: 160488
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 39183 0 0 0 100831 184 0 0 25 0 1 0 635412569 165212160 39014 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40335 39014 1111 63 0 40272 0
vsize: 161340
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 39389 0 0 0 101830 185 0 0 25 0 1 0 635412569 166023168 39220 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40533 39220 1111 63 0 40470 0
vsize: 162132
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 39582 0 0 0 102829 186 0 0 25 0 1 0 635412569 166834176 39413 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40731 39413 1111 63 0 40668 0
vsize: 162924
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 39758 0 0 0 103828 187 0 0 25 0 1 0 635412569 167510016 39589 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40896 39589 1111 63 0 40833 0
vsize: 163584
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 39955 0 0 0 104826 189 0 0 25 0 1 0 635412569 168321024 39786 4294967295 134512640 134714508 3221221776 3221220560 134529252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41094 39786 1111 63 0 41031 0
vsize: 164376
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 40355 0 0 0 105824 191 0 0 25 0 1 0 635412569 169943040 40186 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41490 40186 1111 63 0 41427 0
vsize: 165960
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 40549 0 0 0 106824 192 0 0 25 0 1 0 635412569 170618880 40380 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41655 40380 1111 63 0 41592 0
vsize: 166620
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 40734 0 0 0 107823 193 0 0 25 0 1 0 635412569 171429888 40565 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41853 40565 1111 63 0 41790 0
vsize: 167412
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 41039 0 0 0 108822 194 0 0 25 0 1 0 635412569 172634112 40788 4294967295 134512640 134714508 3221221776 3221220544 134528789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42147 40788 1111 63 0 42084 0
vsize: 168588
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 41197 0 0 0 109821 195 0 0 25 0 1 0 635412569 173359104 40946 4294967295 134512640 134714508 3221221776 3221220400 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42324 40946 1111 63 0 42261 0
vsize: 169296
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 41315 0 0 0 110821 196 0 0 25 0 1 0 635412569 173899776 41064 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42456 41064 1111 63 0 42393 0
vsize: 169824
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 41445 0 0 0 111820 197 0 0 25 0 1 0 635412569 174305280 41194 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42555 41194 1111 63 0 42492 0
vsize: 170220
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 41581 0 0 0 112819 198 0 0 25 0 1 0 635412569 174850048 41330 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42688 41330 1111 63 0 42625 0
vsize: 170752
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 41750 0 0 0 113819 198 0 0 25 0 1 0 635412569 175554560 41497 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42860 41497 1111 63 0 42797 0
vsize: 171440
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 41899 0 0 0 114818 199 0 0 25 0 1 0 635412569 176230400 41646 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43025 41646 1111 63 0 42962 0
vsize: 172100
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 42026 0 0 0 115818 199 0 0 25 0 1 0 635412569 176771072 41773 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43157 41773 1111 63 0 43094 0
vsize: 172628
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 42160 0 0 0 116817 201 0 0 25 0 1 0 635412569 177311744 41907 4294967295 134512640 134714508 3221221776 3221220288 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43289 41907 1111 63 0 43226 0
vsize: 173156
[startup+1175 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 15946
Raw data (stat): 15946 (bsolo_lpr_cuts) R 15945 7876 7672 0 -1 0 42160 0 0 0 116817 201 0 0 25 0 1 0 635412569 177311744 41907 4294967295 134512640 134714508 3221221776 3221220288 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43289 41907 1111 63 0 43226 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.14
CPU user time (s): 1173.05
CPU system time (s): 2.09068
CPU usage (%): 100.012
Max. virtual memory (Kb): 173156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####