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-fpga11_9_sat_pb.cnf.cr.opb
MD5SUM	489d094bb23422a6c4624d745553a200
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	12
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.050991
Number of variables	149
Total number of constraints	128
Number of constraints which are clauses	108
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	11
Trace number 23273

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 01:39:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=236 boxname=wulflinc31 idbench=27 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  489d094bb23422a6c4624d745553a200  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb
IDLAUNCH: 236
/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:        929152 kB
Buffers:         37228 kB
Cached:          46364 kB
SwapCached:        864 kB
Active:          71472 kB
Inactive:        14464 kB
HighTotal:      131008 kB
HighFree:        83748 kB
LowTotal:       903652 kB
LowFree:        845404 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13928 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 01:58:48 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 236 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 149 variables and 128 constraints.
c After prepocess the problem consists of 149 variables and 128 constraints.
c preprocess terminated 0.077 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (runsolver) R 17971 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 636222231 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 2449 0 0 0 984 12 0 0 25 0 1 0 636222231 13180928 2370 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3218 2370 1111 63 0 3155 0
vsize: 12872
[startup+20.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 3688 0 0 0 1979 17 0 0 25 0 1 0 636222231 18198528 3608 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4443 3608 1111 63 0 4380 0
vsize: 17772
[startup+30.0023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 4388 0 0 0 2976 20 0 0 25 0 1 0 636222231 21172224 4308 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5169 4308 1111 63 0 5106 0
vsize: 20676
[startup+40.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 4688 0 0 0 3975 22 0 0 25 0 1 0 636222231 22388736 4608 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5466 4608 1111 63 0 5403 0
vsize: 21864
[startup+50.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 4984 0 0 0 4974 23 0 0 25 0 1 0 636222231 23609344 4904 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5764 4904 1111 63 0 5701 0
vsize: 23056
[startup+60.0031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 5326 0 0 0 5972 24 0 0 25 0 1 0 636222231 24961024 5246 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6094 5246 1111 63 0 6031 0
vsize: 24376
[startup+70.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 5787 0 0 0 6971 26 0 0 25 0 1 0 636222231 26853376 5707 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6556 5707 1111 63 0 6493 0
vsize: 26224
[startup+80.0042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 6496 0 0 0 7968 29 0 0 25 0 1 0 636222231 29708288 6416 4294967295 134512640 134714508 3221221776 3221220292 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7253 6416 1111 63 0 7190 0
vsize: 29012
[startup+90.0039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 7109 0 0 0 8966 32 0 0 25 0 1 0 636222231 32292864 7028 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7884 7028 1111 63 0 7821 0
vsize: 31536
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 7516 0 0 0 9964 33 0 0 25 0 1 0 636222231 33951744 7434 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8289 7434 1111 63 0 8226 0
vsize: 33156
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 7988 0 0 0 10962 36 0 0 25 0 1 0 636222231 35880960 7905 4294967295 134512640 134714508 3221221776 3221220500 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8760 7905 1111 63 0 8697 0
vsize: 35040
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 8335 0 0 0 11961 37 0 0 25 0 1 0 636222231 37388288 8252 4294967295 134512640 134714508 3221221776 3221220480 134528721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9128 8252 1111 63 0 9065 0
vsize: 36512
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 8720 0 0 0 12959 39 0 0 25 0 1 0 636222231 39030784 8635 4294967295 134512640 134714508 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9529 8635 1111 63 0 9466 0
vsize: 38116
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 9386 0 0 0 13957 41 0 0 25 0 1 0 636222231 41734144 9301 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10189 9301 1111 63 0 10126 0
vsize: 40756
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 10018 0 0 0 14955 44 0 0 25 0 1 0 636222231 44437504 9933 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10849 9933 1111 63 0 10786 0
vsize: 43396
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 10600 0 0 0 15952 47 0 0 25 0 1 0 636222231 46772224 10515 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11419 10515 1111 63 0 11356 0
vsize: 45676
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 11227 0 0 0 16950 49 0 0 25 0 1 0 636222231 49340416 11142 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12046 11142 1111 63 0 11983 0
vsize: 48184
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 11852 0 0 0 17948 51 0 0 25 0 1 0 636222231 52064256 11765 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12711 11765 1111 63 0 12648 0
vsize: 50844
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 12378 0 0 0 18947 53 0 0 25 0 1 0 636222231 54226944 12291 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13239 12291 1111 63 0 13176 0
vsize: 52956
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 13135 0 0 0 19944 56 0 0 25 0 1 0 636222231 57335808 13048 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13998 13048 1111 63 0 13935 0
vsize: 55992
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 13780 0 0 0 20942 58 0 0 25 0 1 0 636222231 59904000 13693 4294967295 134512640 134714508 3221221776 3221220560 134529240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14625 13693 1111 63 0 14562 0
vsize: 58500
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 14370 0 0 0 21940 60 0 0 25 0 1 0 636222231 62365696 14283 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15226 14283 1111 63 0 15163 0
vsize: 60904
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 14868 0 0 0 22938 62 0 0 25 0 1 0 636222231 64393216 14781 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15721 14781 1111 63 0 15658 0
vsize: 62884
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 15572 0 0 0 23932 68 0 0 25 0 1 0 636222231 67432448 15483 4294967295 134512640 134714508 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16463 15483 1111 63 0 16400 0
vsize: 65852
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 16314 0 0 0 24929 72 0 0 25 0 1 0 636222231 70406144 16225 4294967295 134512640 134714508 3221221776 3221220384 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17189 16225 1111 63 0 17126 0
vsize: 68756
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 16802 0 0 0 25927 74 0 0 25 0 1 0 636222231 72445952 16713 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17687 16713 1111 63 0 17624 0
vsize: 70748
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 17355 0 0 0 26925 76 0 0 25 0 1 0 636222231 74743808 17266 4294967295 134512640 134714508 3221221776 3221220416 134696359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18248 17266 1111 63 0 18185 0
vsize: 72992
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 17863 0 0 0 27923 78 0 0 25 0 1 0 636222231 76816384 17772 4294967295 134512640 134714508 3221221776 3221220336 134696410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18754 17772 1111 63 0 18691 0
vsize: 75016
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 18272 0 0 0 28922 79 0 0 25 0 1 0 636222231 78573568 18181 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19183 18181 1111 63 0 19120 0
vsize: 76732
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 18780 0 0 0 29920 81 0 0 25 0 1 0 636222231 80601088 18689 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19678 18689 1111 63 0 19615 0
vsize: 78712
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 19337 0 0 0 30918 83 0 0 25 0 1 0 636222231 82911232 19243 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20242 19243 1111 63 0 20179 0
vsize: 80968
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 19852 0 0 0 31916 86 0 0 25 0 1 0 636222231 85098496 19756 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20776 19756 1111 63 0 20713 0
vsize: 83104
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 20265 0 0 0 32914 88 0 0 25 0 1 0 636222231 86720512 20169 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21172 20169 1111 63 0 21109 0
vsize: 84688
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 20783 0 0 0 33912 90 0 0 25 0 1 0 636222231 88944640 20685 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21715 20685 1111 63 0 21652 0
vsize: 86860
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 21301 0 0 0 34910 92 0 0 25 0 1 0 636222231 90972160 21203 4294967295 134512640 134714508 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22210 21203 1111 63 0 22147 0
vsize: 88840
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 21816 0 0 0 35907 96 0 0 25 0 1 0 636222231 93134848 21718 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22738 21718 1111 63 0 22675 0
vsize: 90952
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 22221 0 0 0 36905 98 0 0 25 0 1 0 636222231 94756864 22122 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23134 22122 1111 63 0 23071 0
vsize: 92536
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 22752 0 0 0 37903 100 0 0 25 0 1 0 636222231 96952320 22651 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23670 22651 1111 63 0 23607 0
vsize: 94680
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 23197 0 0 0 38901 102 0 0 25 0 1 0 636222231 98844672 23096 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24132 23096 1111 63 0 24069 0
vsize: 96528
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 23617 0 0 0 39899 104 0 0 25 0 1 0 636222231 100470784 23516 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24529 23516 1111 63 0 24466 0
vsize: 98116
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 23984 0 0 0 40897 106 0 0 25 0 1 0 636222231 102092800 23883 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24925 23883 1111 63 0 24862 0
vsize: 99700
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 24399 0 0 0 41895 109 0 0 25 0 1 0 636222231 103714816 24298 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25321 24298 1111 63 0 25258 0
vsize: 101284
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 24945 0 0 0 42894 110 0 0 25 0 1 0 636222231 105918464 24840 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25859 24841 1111 63 0 25796 0
vsize: 103436
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 25331 0 0 0 43892 112 0 0 25 0 1 0 636222231 107552768 25226 4294967295 134512640 134714508 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26258 25226 1111 63 0 26195 0
vsize: 105032
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 25816 0 0 0 44891 113 0 0 25 0 1 0 636222231 109445120 25711 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26720 25711 1111 63 0 26657 0
vsize: 106880
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 26282 0 0 0 45890 115 0 0 25 0 1 0 636222231 111349760 26177 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27185 26177 1111 63 0 27122 0
vsize: 108740
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 26702 0 0 0 46889 116 0 0 25 0 1 0 636222231 113106944 26597 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27614 26597 1111 63 0 27551 0
vsize: 110456
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 27111 0 0 0 47888 117 0 0 25 0 1 0 636222231 114806784 27005 4294967295 134512640 134714508 3221221776 3221220488 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28029 27005 1111 63 0 27966 0
vsize: 112116
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 27486 0 0 0 48886 119 0 0 25 0 1 0 636222231 116428800 27380 4294967295 134512640 134714508 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28425 27380 1111 63 0 28362 0
vsize: 113700
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 27792 0 0 0 49886 120 0 0 25 0 1 0 636222231 117657600 27682 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28725 27682 1111 63 0 28662 0
vsize: 114900
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 28106 0 0 0 50884 121 0 0 25 0 1 0 636222231 119009280 27996 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29055 27996 1111 63 0 28992 0
vsize: 116220
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 28478 0 0 0 51883 123 0 0 25 0 1 0 636222231 120561664 28364 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29434 28364 1111 63 0 29371 0
vsize: 117736
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 28813 0 0 0 52881 124 0 0 25 0 1 0 636222231 121913344 28699 4294967295 134512640 134714508 3221221776 3221220512 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29764 28699 1111 63 0 29701 0
vsize: 119056
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 29142 0 0 0 53880 126 0 0 25 0 1 0 636222231 123265024 29028 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30094 29028 1111 63 0 30031 0
vsize: 120376
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 29449 0 0 0 54879 127 0 0 25 0 1 0 636222231 124616704 29334 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30424 29334 1111 63 0 30361 0
vsize: 121696
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 29728 0 0 0 55878 129 0 0 25 0 1 0 636222231 125722624 29612 4294967295 134512640 134714508 3221221776 3221220100 134697183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30694 29612 1111 63 0 30631 0
vsize: 122776
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 30030 0 0 0 56877 130 0 0 25 0 1 0 636222231 126976000 29912 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31000 29912 1111 63 0 30937 0
vsize: 124000
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 30344 0 0 0 57876 131 0 0 25 0 1 0 636222231 128192512 30224 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31297 30224 1111 63 0 31234 0
vsize: 125188
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 30611 0 0 0 58874 133 0 0 25 0 1 0 636222231 129273856 30489 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31561 30489 1111 63 0 31498 0
vsize: 126244
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 30928 0 0 0 59873 134 0 0 25 0 1 0 636222231 130658304 30806 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31899 30806 1111 63 0 31836 0
vsize: 127596
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 31244 0 0 0 60871 136 0 0 25 0 1 0 636222231 131891200 31122 4294967295 134512640 134714508 3221221776 3221220520 134551621 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32200 31122 1111 63 0 32137 0
vsize: 128800
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 31513 0 0 0 61870 137 0 0 25 0 1 0 636222231 132972544 31391 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32464 31391 1111 63 0 32401 0
vsize: 129856
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 31810 0 0 0 62868 139 0 0 25 0 1 0 636222231 134189056 31688 4294967295 134512640 134714508 3221221776 3221220332 134535606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32761 31688 1111 63 0 32698 0
vsize: 131044
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 32063 0 0 0 63868 140 0 0 25 0 1 0 636222231 135282688 31941 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33028 31941 1111 63 0 32965 0
vsize: 132112
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 32296 0 0 0 64868 140 0 0 25 0 1 0 636222231 136228864 32174 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33259 32174 1111 63 0 33196 0
vsize: 133036
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 32533 0 0 0 65867 141 0 0 25 0 1 0 636222231 137211904 32409 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33499 32409 1111 63 0 33436 0
vsize: 133996
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 32752 0 0 0 66866 142 0 0 25 0 1 0 636222231 138162176 32627 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33731 32627 1111 63 0 33668 0
vsize: 134924
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33036 0 0 0 67865 143 0 0 25 0 1 0 636222231 139378688 32907 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34028 32907 1111 63 0 33965 0
vsize: 136112
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33270 0 0 0 68864 145 0 0 25 0 1 0 636222231 140324864 33139 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34259 33139 1111 63 0 34196 0
vsize: 137036
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33518 0 0 0 69864 145 0 0 25 0 1 0 636222231 141271040 33387 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34490 33387 1111 63 0 34427 0
vsize: 137960
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33747 0 0 0 70863 146 0 0 25 0 1 0 636222231 142217216 33616 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34721 33616 1111 63 0 34658 0
vsize: 138884
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 33964 0 0 0 71862 147 0 0 25 0 1 0 636222231 143163392 33833 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34952 33833 1111 63 0 34889 0
vsize: 139808
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 34331 0 0 0 72860 149 0 0 25 0 1 0 636222231 144650240 34200 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35315 34200 1111 63 0 35252 0
vsize: 141260
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 34715 0 0 0 73859 151 0 0 25 0 1 0 636222231 146137088 34584 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35678 34584 1111 63 0 35615 0
vsize: 142712
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 35117 0 0 0 74858 152 0 0 25 0 1 0 636222231 147759104 34986 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36074 34986 1111 63 0 36011 0
vsize: 144296
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 35483 0 0 0 75856 154 0 0 25 0 1 0 636222231 149245952 35352 4294967295 134512640 134714508 3221221776 3221220420 134613632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36437 35352 1111 63 0 36374 0
vsize: 145748
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 35844 0 0 0 76854 156 0 0 25 0 1 0 636222231 150732800 35713 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36800 35713 1111 63 0 36737 0
vsize: 147200
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 36124 0 0 0 77852 158 0 0 25 0 1 0 636222231 151949312 35993 4294967295 134512640 134714508 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37097 35993 1111 63 0 37034 0
vsize: 148388
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 36403 0 0 0 78851 159 0 0 25 0 1 0 636222231 153030656 36272 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37361 36272 1111 63 0 37298 0
vsize: 149444
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 36744 0 0 0 79850 161 0 0 25 0 1 0 636222231 154390528 36612 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37693 36612 1111 63 0 37630 0
vsize: 150772
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 37201 0 0 0 80848 163 0 0 25 0 1 0 636222231 156282880 37069 4294967295 134512640 134714508 3221221776 3221220428 134536820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38155 37069 1111 63 0 38092 0
vsize: 152620
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 37542 0 0 0 81846 164 0 0 25 0 1 0 636222231 157634560 37410 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38485 37410 1111 63 0 38422 0
vsize: 153940
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 37909 0 0 0 82845 166 0 0 25 0 1 0 636222231 159121408 37777 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38848 37777 1111 63 0 38785 0
vsize: 155392
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 38244 0 0 0 83843 168 0 0 25 0 1 0 636222231 160473088 38112 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39178 38112 1111 63 0 39115 0
vsize: 156712
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 38446 0 0 0 84843 168 0 0 25 0 1 0 636222231 161484800 38306 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39425 38306 1111 63 0 39362 0
vsize: 157700
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 38679 0 0 0 85841 170 0 0 25 0 1 0 636222231 162430976 38539 4294967295 134512640 134714508 3221221776 3221220560 134529206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39656 38539 1111 63 0 39593 0
vsize: 158624
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 38945 0 0 0 86840 172 0 0 25 0 1 0 636222231 163614720 38803 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39945 38803 1111 63 0 39882 0
vsize: 159780
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39172 0 0 0 87839 173 0 0 25 0 1 0 636222231 164593664 39026 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40184 39026 1111 63 0 40121 0
vsize: 160736
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39358 0 0 0 88838 174 0 0 25 0 1 0 636222231 165269504 39212 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40349 39212 1111 63 0 40286 0
vsize: 161396
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39527 0 0 0 89838 174 0 0 25 0 1 0 636222231 165945344 39381 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40514 39381 1111 63 0 40451 0
vsize: 162056
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39745 0 0 0 90837 175 0 0 25 0 1 0 636222231 167092224 39596 4294967295 134512640 134714508 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40794 39596 1111 63 0 40731 0
vsize: 163176
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 39886 0 0 0 91837 176 0 0 25 0 1 0 636222231 167649280 39733 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40930 39733 1111 63 0 40867 0
vsize: 163720
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40010 0 0 0 92836 176 0 0 25 0 1 0 636222231 168054784 39857 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41029 39857 1111 63 0 40966 0
vsize: 164116
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40155 0 0 0 93836 177 0 0 25 0 1 0 636222231 168808448 40001 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41213 40001 1111 63 0 41150 0
vsize: 164852
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40271 0 0 0 94835 178 0 0 25 0 1 0 636222231 169213952 40117 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41312 40117 1111 63 0 41249 0
vsize: 165248
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40397 0 0 0 95835 178 0 0 25 0 1 0 636222231 169754624 40243 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41444 40243 1111 63 0 41381 0
vsize: 165776
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40558 0 0 0 96835 179 0 0 25 0 1 0 636222231 170475520 40404 4294967295 134512640 134714508 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41620 40404 1111 63 0 41557 0
vsize: 166480
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 40835 0 0 0 97834 180 0 0 25 0 1 0 636222231 171585536 40681 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41891 40681 1111 63 0 41828 0
vsize: 167564
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41031 0 0 0 98833 181 0 0 25 0 1 0 636222231 172445696 40877 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42101 40877 1111 63 0 42038 0
vsize: 168404
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41267 0 0 0 99832 182 0 0 25 0 1 0 636222231 173391872 41113 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42332 41113 1111 63 0 42269 0
vsize: 169328
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41477 0 0 0 100832 183 0 0 25 0 1 0 636222231 174202880 41323 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42530 41323 1111 63 0 42467 0
vsize: 170120
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41690 0 0 0 101831 183 0 0 25 0 1 0 636222231 175013888 41536 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42728 41536 1111 63 0 42665 0
vsize: 170912
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 41916 0 0 0 102830 185 0 0 25 0 1 0 636222231 175960064 41762 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42959 41762 1111 63 0 42896 0
vsize: 171836
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42137 0 0 0 103829 186 0 0 25 0 1 0 636222231 176771072 41983 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43157 41983 1111 63 0 43094 0
vsize: 172628
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42294 0 0 0 104829 186 0 0 25 0 1 0 636222231 177491968 42140 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43333 42140 1111 63 0 43270 0
vsize: 173332
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42430 0 0 0 105828 187 0 0 25 0 1 0 636222231 178032640 42276 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43465 42276 1111 63 0 43402 0
vsize: 173860
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42543 0 0 0 106827 188 0 0 25 0 1 0 636222231 178573312 42389 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43597 42389 1111 63 0 43534 0
vsize: 174388
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42651 0 0 0 107827 188 0 0 25 0 1 0 636222231 179003392 42495 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43702 42495 1111 63 0 43639 0
vsize: 174808
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42782 0 0 0 108826 189 0 0 25 0 1 0 636222231 179544064 42626 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43834 42626 1111 63 0 43771 0
vsize: 175336
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 42916 0 0 0 109826 190 0 0 25 0 1 0 636222231 180088832 42756 4294967295 134512640 134714508 3221221776 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43967 42756 1111 63 0 43904 0
vsize: 175868
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43039 0 0 0 110825 191 0 0 25 0 1 0 636222231 180629504 42879 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44099 42879 1111 63 0 44036 0
vsize: 176396
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43193 0 0 0 111825 192 0 0 25 0 1 0 636222231 181334016 43032 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44271 43032 1111 63 0 44208 0
vsize: 177084
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43377 0 0 0 112824 193 0 0 25 0 1 0 636222231 182013952 43215 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44437 43215 1111 63 0 44374 0
vsize: 177748
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43545 0 0 0 113823 193 0 0 25 0 1 0 636222231 182689792 43383 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44602 43383 1111 63 0 44539 0
vsize: 178408
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 43745 0 0 0 114823 194 0 0 25 0 1 0 636222231 183533568 43582 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44808 43582 1111 63 0 44745 0
vsize: 179232
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 44050 0 0 0 115822 195 0 0 25 0 1 0 636222231 184893440 43887 4294967295 134512640 134714508 3221221776 3221220268 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45140 43887 1111 63 0 45077 0
vsize: 180560
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 44308 0 0 0 116821 196 0 0 25 0 1 0 636222231 185843712 44143 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45372 44143 1111 63 0 45309 0
vsize: 181488
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17972
Raw data (stat): 17972 (bsolo_lpr_cuts) R 17971 7876 7672 0 -1 0 44308 0 0 0 116821 196 0 0 25 0 1 0 636222231 185843712 44143 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45372 44143 1111 63 0 45309 0
vsize: 0

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