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-fpga20_19_sat_pb.cnf.cr.opb
MD5SUM	421f138371e66f1365608f6ff657e450
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	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.157975
Number of variables	570
Total number of constraints	438
Number of constraints which are clauses	399
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 40589

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 16:03:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28655 boxname=wulflinc2 idbench=41 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  421f138371e66f1365608f6ff657e450  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga20_19_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga20_19_sat_pb.cnf.cr.opb
IDLAUNCH: 28655
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        774768 kB
Buffers:         27920 kB
Cached:         210096 kB
SwapCached:       1344 kB
Active:          37144 kB
Inactive:       202836 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        774516 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14224 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:23:09 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28655 7 1175.03 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 570 variables and 438 constraints.
c After prepocess the problem consists of 570 variables and 438 constraints.
c preprocess terminated 0.446 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (runsolver) R 11378 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902929979 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 2195 0 0 0 989 8 0 0 25 0 1 0 902929979 12103680 2113 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2955 2113 1111 63 0 2892 0
vsize: 11820
[startup+20.0018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 2924 0 0 0 1986 11 0 0 25 0 1 0 902929979 15052800 2842 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3675 2842 1111 63 0 3612 0
vsize: 14700
[startup+30.0015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 3638 0 0 0 2982 15 0 0 25 0 1 0 902929979 18022400 3556 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4400 3556 1111 63 0 4337 0
vsize: 17600
[startup+40.0017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 3848 0 0 0 3980 16 0 0 25 0 1 0 902929979 18833408 3766 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3766 1111 63 0 4535 0
vsize: 18392
[startup+50.0019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 3923 0 0 0 4979 18 0 0 25 0 1 0 902929979 19103744 3841 4294967295 134512640 134716908 3221224560 3221223116 134535554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4664 3841 1111 63 0 4601 0
vsize: 18656
[startup+60.0026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 3968 0 0 0 5978 19 0 0 25 0 1 0 902929979 19333120 3886 4294967295 134512640 134716908 3221224560 3221223116 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3886 1111 63 0 4657 0
vsize: 18880
[startup+70.0037 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 4562 0 0 0 6975 22 0 0 25 0 1 0 902929979 21770240 4480 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4480 1111 63 0 5252 0
vsize: 21260
[startup+80.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 4895 0 0 0 7973 24 0 0 25 0 1 0 902929979 23121920 4813 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5645 4813 1111 63 0 5582 0
vsize: 22580
[startup+90.0037 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5158 0 0 0 8972 25 0 0 25 0 1 0 902929979 24203264 5076 4294967295 134512640 134716908 3221224560 3221223296 134523959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5909 5076 1111 63 0 5846 0
vsize: 23636
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5313 0 0 0 9971 26 0 0 25 0 1 0 902929979 24879104 5231 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 5231 1111 63 0 6011 0
vsize: 24296
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5501 0 0 0 10970 26 0 0 25 0 1 0 902929979 25690112 5419 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6272 5419 1111 63 0 6209 0
vsize: 25088
[startup+120.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5569 0 0 0 11970 27 0 0 25 0 1 0 902929979 25960448 5487 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6338 5487 1111 63 0 6275 0
vsize: 25352
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5647 0 0 0 12968 29 0 0 25 0 1 0 902929979 26230784 5565 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6404 5565 1111 63 0 6341 0
vsize: 25616
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5672 0 0 0 13967 30 0 0 25 0 1 0 902929979 26365952 5590 4294967295 134512640 134716908 3221224560 3221223132 134535488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 5590 1111 63 0 6374 0
vsize: 25748
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5740 0 0 0 14966 31 0 0 25 0 1 0 902929979 26636288 5658 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6503 5658 1111 63 0 6440 0
vsize: 26012
[startup+160.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11379
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5753 0 0 0 15965 32 0 0 25 0 1 0 902929979 26636288 5671 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6503 5671 1111 63 0 6440 0
vsize: 26012
[startup+170.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5806 0 0 0 16964 33 0 0 25 0 1 0 902929979 26906624 5724 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6569 5724 1111 63 0 6506 0
vsize: 26276
[startup+180.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5822 0 0 0 17963 34 0 0 25 0 1 0 902929979 26906624 5740 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6569 5740 1111 63 0 6506 0
vsize: 26276
[startup+190.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5867 0 0 0 18962 35 0 0 25 0 1 0 902929979 27176960 5785 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5785 1111 63 0 6572 0
vsize: 26540
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5896 0 0 0 19961 35 0 0 25 0 1 0 902929979 27176960 5814 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5814 1111 63 0 6572 0
vsize: 26540
[startup+210.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 5963 0 0 0 20960 37 0 0 25 0 1 0 902929979 27582464 5881 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6734 5881 1111 63 0 6671 0
vsize: 26936
[startup+220.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6006 0 0 0 21960 37 0 0 25 0 1 0 902929979 27717632 5924 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6767 5924 1111 63 0 6704 0
vsize: 27068
[startup+230.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6018 0 0 0 22959 38 0 0 25 0 1 0 902929979 27717632 5936 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6767 5936 1111 63 0 6704 0
vsize: 27068
[startup+240.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6051 0 0 0 23958 39 0 0 25 0 1 0 902929979 27852800 5969 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6800 5969 1111 63 0 6737 0
vsize: 27200
[startup+250.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6068 0 0 0 24957 40 0 0 25 0 1 0 902929979 27987968 5986 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6833 5986 1111 63 0 6770 0
vsize: 27332
[startup+260.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6115 0 0 0 25955 41 0 0 25 0 1 0 902929979 28123136 6033 4294967295 134512640 134716908 3221224560 3221223112 134699214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 6033 1111 63 0 6803 0
vsize: 27464
[startup+270.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6115 0 0 0 26954 43 0 0 25 0 1 0 902929979 28123136 6033 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 6033 1111 63 0 6803 0
vsize: 27464
[startup+280.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6132 0 0 0 27953 43 0 0 25 0 1 0 902929979 28258304 6050 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6899 6050 1111 63 0 6836 0
vsize: 27596
[startup+290.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6132 0 0 0 28953 44 0 0 25 0 1 0 902929979 28258304 6050 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6899 6050 1111 63 0 6836 0
vsize: 27596
[startup+300.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6146 0 0 0 29952 45 0 0 25 0 1 0 902929979 28258304 6064 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6899 6064 1111 63 0 6836 0
vsize: 27596
[startup+310.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6167 0 0 0 30951 45 0 0 25 0 1 0 902929979 28393472 6085 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6932 6085 1111 63 0 6869 0
vsize: 27728
[startup+320.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6184 0 0 0 31950 46 0 0 25 0 1 0 902929979 28393472 6102 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6932 6102 1111 63 0 6869 0
vsize: 27728
[startup+330.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6242 0 0 0 32949 47 0 0 25 0 1 0 902929979 28663808 6160 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6998 6160 1111 63 0 6935 0
vsize: 27992
[startup+340.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6255 0 0 0 33948 48 0 0 25 0 1 0 902929979 28663808 6173 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6998 6173 1111 63 0 6935 0
vsize: 27992
[startup+350.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6279 0 0 0 34948 49 0 0 25 0 1 0 902929979 28798976 6197 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7031 6197 1111 63 0 6968 0
vsize: 28124
[startup+360.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6294 0 0 0 35948 49 0 0 25 0 1 0 902929979 28934144 6212 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 6212 1111 63 0 7001 0
vsize: 28256
[startup+370.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6305 0 0 0 36947 49 0 0 25 0 1 0 902929979 28934144 6223 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 6223 1111 63 0 7001 0
vsize: 28256
[startup+380.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6351 0 0 0 37947 50 0 0 25 0 1 0 902929979 29069312 6269 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7097 6269 1111 63 0 7034 0
vsize: 28388
[startup+390.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6383 0 0 0 38947 50 0 0 25 0 1 0 902929979 29204480 6301 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7130 6301 1111 63 0 7067 0
vsize: 28520
[startup+400.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6393 0 0 0 39947 51 0 0 25 0 1 0 902929979 29339648 6311 4294967295 134512640 134716908 3221224560 3221223328 134529115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7163 6311 1111 63 0 7100 0
vsize: 28652
[startup+410.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6413 0 0 0 40946 51 0 0 25 0 1 0 902929979 29339648 6331 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7163 6331 1111 63 0 7100 0
vsize: 28652
[startup+420.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6442 0 0 0 41946 52 0 0 25 0 1 0 902929979 29474816 6360 4294967295 134512640 134716908 3221224560 3221223200 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 6360 1111 63 0 7133 0
vsize: 28784
[startup+430.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6459 0 0 0 42946 52 0 0 25 0 1 0 902929979 29609984 6377 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6377 1111 63 0 7166 0
vsize: 28916
[startup+440.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6460 0 0 0 43946 53 0 0 25 0 1 0 902929979 29601792 6378 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7227 6378 1111 63 0 7164 0
vsize: 28908
[startup+450.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6464 0 0 0 44945 53 0 0 25 0 1 0 902929979 29601792 6382 4294967295 134512640 134716908 3221224560 3221223168 134523342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7227 6382 1111 63 0 7164 0
vsize: 28908
[startup+460.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6477 0 0 0 45945 54 0 0 25 0 1 0 902929979 29601792 6395 4294967295 134512640 134716908 3221224560 3221223288 134532455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7227 6395 1111 63 0 7164 0
vsize: 28908
[startup+470.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6500 0 0 0 46944 55 0 0 25 0 1 0 902929979 29736960 6418 4294967295 134512640 134716908 3221224560 3221223108 134699218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7260 6418 1111 63 0 7197 0
vsize: 29040
[startup+480.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6500 0 0 0 47944 55 0 0 25 0 1 0 902929979 29736960 6418 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7260 6418 1111 63 0 7197 0
vsize: 29040
[startup+490.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6502 0 0 0 48944 56 0 0 25 0 1 0 902929979 29736960 6420 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7260 6420 1111 63 0 7197 0
vsize: 29040
[startup+500.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6548 0 0 0 49944 56 0 0 25 0 1 0 902929979 29872128 6466 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7293 6466 1111 63 0 7230 0
vsize: 29172
[startup+510.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6582 0 0 0 50943 56 0 0 25 0 1 0 902929979 30007296 6500 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7326 6500 1111 63 0 7263 0
vsize: 29304
[startup+520.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6615 0 0 0 51943 57 0 0 25 0 1 0 902929979 30142464 6533 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6533 1111 63 0 7296 0
vsize: 29436
[startup+530.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6626 0 0 0 52943 57 0 0 25 0 1 0 902929979 30277632 6544 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7392 6544 1111 63 0 7329 0
vsize: 29568
[startup+540.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6664 0 0 0 53942 58 0 0 25 0 1 0 902929979 30416896 6582 4294967295 134512640 134716908 3221224560 3221223212 134536839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7426 6582 1111 63 0 7363 0
vsize: 29704
[startup+550.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6664 0 0 0 54942 58 0 0 25 0 1 0 902929979 30416896 6582 4294967295 134512640 134716908 3221224560 3221223052 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7426 6582 1111 63 0 7363 0
vsize: 29704
[startup+560.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6664 0 0 0 55942 59 0 0 25 0 1 0 902929979 30416896 6582 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7426 6582 1111 63 0 7363 0
vsize: 29704
[startup+570.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6680 0 0 0 56941 59 0 0 25 0 1 0 902929979 30416896 6598 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7426 6598 1111 63 0 7363 0
vsize: 29704
[startup+580.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6680 0 0 0 57941 60 0 0 25 0 1 0 902929979 30416896 6598 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7426 6598 1111 63 0 7363 0
vsize: 29704
[startup+590.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6715 0 0 0 58941 60 0 0 25 0 1 0 902929979 30552064 6633 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6633 1111 63 0 7396 0
vsize: 29836
[startup+600.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6715 0 0 0 59940 61 0 0 25 0 1 0 902929979 30552064 6633 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6633 1111 63 0 7396 0
vsize: 29836
[startup+610.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6715 0 0 0 60940 62 0 0 25 0 1 0 902929979 30552064 6633 4294967295 134512640 134716908 3221224560 3221223200 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6633 1111 63 0 7396 0
vsize: 29836
[startup+620.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6722 0 0 0 61940 62 0 0 25 0 1 0 902929979 30687232 6640 4294967295 134512640 134716908 3221224560 3221222972 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7492 6640 1111 63 0 7429 0
vsize: 29968
[startup+630.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6722 0 0 0 62940 62 0 0 25 0 1 0 902929979 30687232 6640 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7492 6640 1111 63 0 7429 0
vsize: 29968
[startup+640.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6734 0 0 0 63940 63 0 0 25 0 1 0 902929979 30687232 6652 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7492 6652 1111 63 0 7429 0
vsize: 29968
[startup+650.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6742 0 0 0 64940 63 0 0 25 0 1 0 902929979 30687232 6660 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7492 6660 1111 63 0 7429 0
vsize: 29968
[startup+660.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6774 0 0 0 65939 64 0 0 25 0 1 0 902929979 30822400 6692 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7525 6692 1111 63 0 7462 0
vsize: 30100
[startup+670.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6787 0 0 0 66939 64 0 0 25 0 1 0 902929979 30957568 6705 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7558 6705 1111 63 0 7495 0
vsize: 30232
[startup+680.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6804 0 0 0 67938 65 0 0 25 0 1 0 902929979 30957568 6722 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7558 6722 1111 63 0 7495 0
vsize: 30232
[startup+690.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6846 0 0 0 68937 66 0 0 25 0 1 0 902929979 31092736 6764 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7591 6764 1111 63 0 7528 0
vsize: 30364
[startup+700.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6853 0 0 0 69937 66 0 0 25 0 1 0 902929979 31227904 6771 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7624 6771 1111 63 0 7561 0
vsize: 30496
[startup+710.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6853 0 0 0 70937 66 0 0 25 0 1 0 902929979 31227904 6771 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7624 6771 1111 63 0 7561 0
vsize: 30496
[startup+720.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6874 0 0 0 71937 67 0 0 25 0 1 0 902929979 31227904 6792 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7624 6792 1111 63 0 7561 0
vsize: 30496
[startup+730.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6874 0 0 0 72937 67 0 0 25 0 1 0 902929979 31227904 6792 4294967295 134512640 134716908 3221224560 3221223248 134528707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7624 6792 1111 63 0 7561 0
vsize: 30496
[startup+740.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6914 0 0 0 73937 67 0 0 25 0 1 0 902929979 31363072 6832 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7657 6832 1111 63 0 7594 0
vsize: 30628
[startup+750.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6914 0 0 0 74936 68 0 0 25 0 1 0 902929979 31363072 6832 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7657 6832 1111 63 0 7594 0
vsize: 30628
[startup+760.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6915 0 0 0 75936 69 0 0 25 0 1 0 902929979 31363072 6833 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7657 6833 1111 63 0 7594 0
vsize: 30628
[startup+770.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6936 0 0 0 76935 69 0 0 25 0 1 0 902929979 31498240 6854 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7690 6854 1111 63 0 7627 0
vsize: 30760
[startup+780.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6964 0 0 0 77935 70 0 0 25 0 1 0 902929979 31633408 6882 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7723 6882 1111 63 0 7660 0
vsize: 30892
[startup+790.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6964 0 0 0 78935 70 0 0 25 0 1 0 902929979 31633408 6882 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7723 6882 1111 63 0 7660 0
vsize: 30892
[startup+800.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6964 0 0 0 79935 71 0 0 25 0 1 0 902929979 31633408 6882 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7723 6882 1111 63 0 7660 0
vsize: 30892
[startup+810.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6968 0 0 0 80935 71 0 0 25 0 1 0 902929979 31633408 6886 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7723 6886 1111 63 0 7660 0
vsize: 30892
[startup+820.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6975 0 0 0 81934 71 0 0 25 0 1 0 902929979 31633408 6893 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7723 6893 1111 63 0 7660 0
vsize: 30892
[startup+830.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6993 0 0 0 82934 72 0 0 25 0 1 0 902929979 31768576 6911 4294967295 134512640 134716908 3221224560 3221223116 134535620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 6911 1111 63 0 7693 0
vsize: 31024
[startup+840.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 6993 0 0 0 83934 72 0 0 25 0 1 0 902929979 31768576 6911 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 6911 1111 63 0 7693 0
vsize: 31024
[startup+850.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7003 0 0 0 84934 73 0 0 25 0 1 0 902929979 31768576 6921 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 6921 1111 63 0 7693 0
vsize: 31024
[startup+860.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7026 0 0 0 85933 73 0 0 25 0 1 0 902929979 31903744 6944 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7789 6944 1111 63 0 7726 0
vsize: 31156
[startup+870.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7026 0 0 0 86933 74 0 0 25 0 1 0 902929979 31903744 6944 4294967295 134512640 134716908 3221224560 3221223184 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7789 6944 1111 63 0 7726 0
vsize: 31156
[startup+880.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7040 0 0 0 87933 74 0 0 25 0 1 0 902929979 31903744 6958 4294967295 134512640 134716908 3221224560 3221223216 134536724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7789 6958 1111 63 0 7726 0
vsize: 31156
[startup+890.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7052 0 0 0 88932 75 0 0 25 0 1 0 902929979 32038912 6970 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6970 1111 63 0 7759 0
vsize: 31288
[startup+900.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7063 0 0 0 89932 76 0 0 25 0 1 0 902929979 32038912 6981 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6981 1111 63 0 7759 0
vsize: 31288
[startup+910.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7074 0 0 0 90931 76 0 0 25 0 1 0 902929979 32038912 6992 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6992 1111 63 0 7759 0
vsize: 31288
[startup+920.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7092 0 0 0 91931 77 0 0 25 0 1 0 902929979 32174080 7010 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7855 7010 1111 63 0 7792 0
vsize: 31420
[startup+930.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7105 0 0 0 92930 78 0 0 25 0 1 0 902929979 32174080 7023 4294967295 134512640 134716908 3221224560 3221223200 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7855 7023 1111 63 0 7792 0
vsize: 31420
[startup+940.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7138 0 0 0 93930 79 0 0 25 0 1 0 902929979 32309248 7056 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7888 7056 1111 63 0 7825 0
vsize: 31552
[startup+950.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7144 0 0 0 94929 79 0 0 25 0 1 0 902929979 32309248 7062 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7888 7062 1111 63 0 7825 0
vsize: 31552
[startup+960.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7144 0 0 0 95929 80 0 0 25 0 1 0 902929979 32309248 7062 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7888 7062 1111 63 0 7825 0
vsize: 31552
[startup+970.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7144 0 0 0 96928 81 0 0 25 0 1 0 902929979 32309248 7062 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7888 7062 1111 63 0 7825 0
vsize: 31552
[startup+980.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7179 0 0 0 97927 81 0 0 25 0 1 0 902929979 32444416 7097 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7921 7097 1111 63 0 7858 0
vsize: 31684
[startup+990.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7196 0 0 0 98927 82 0 0 25 0 1 0 902929979 32579584 7114 4294967295 134512640 134716908 3221224560 3221223212 134536787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7196 0 0 0 99927 82 0 0 25 0 1 0 902929979 32579584 7114 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7196 0 0 0 100927 83 0 0 25 0 1 0 902929979 32579584 7114 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7196 0 0 0 101926 84 0 0 25 0 1 0 902929979 32579584 7114 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7196 0 0 0 102925 85 0 0 25 0 1 0 902929979 32579584 7114 4294967295 134512640 134716908 3221224560 3221223200 134698691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7196 0 0 0 103925 85 0 0 25 0 1 0 902929979 32579584 7114 4294967295 134512640 134716908 3221224560 3221223324 134552684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7216 0 0 0 104925 86 0 0 25 0 1 0 902929979 32714752 7134 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7987 7134 1111 63 0 7924 0
vsize: 31948
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7252 0 0 0 105924 86 0 0 25 0 1 0 902929979 32808960 7170 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8010 7170 1111 63 0 7947 0
vsize: 32040
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7310 0 0 0 106924 87 0 0 25 0 1 0 902929979 33079296 7228 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8076 7228 1111 63 0 8013 0
vsize: 32304
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7310 0 0 0 107923 88 0 0 25 0 1 0 902929979 33079296 7228 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8076 7228 1111 63 0 8013 0
vsize: 32304
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7334 0 0 0 108923 88 0 0 25 0 1 0 902929979 33079296 7252 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8076 7252 1111 63 0 8013 0
vsize: 32304
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7334 0 0 0 109922 89 0 0 25 0 1 0 902929979 33079296 7252 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8076 7252 1111 63 0 8013 0
vsize: 32304
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7361 0 0 0 110922 90 0 0 25 0 1 0 902929979 33214464 7279 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8109 7279 1111 63 0 8046 0
vsize: 32436
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7369 0 0 0 111921 90 0 0 25 0 1 0 902929979 33214464 7287 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8109 7287 1111 63 0 8046 0
vsize: 32436
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7398 0 0 0 112921 91 0 0 25 0 1 0 902929979 33349632 7316 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7398 0 0 0 113921 92 0 0 25 0 1 0 902929979 33349632 7316 4294967295 134512640 134716908 3221224560 3221223344 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7398 0 0 0 114921 92 0 0 25 0 1 0 902929979 33349632 7316 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7398 0 0 0 115921 92 0 0 25 0 1 0 902929979 33349632 7316 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7398 0 0 0 116921 92 0 0 25 0 1 0 902929979 33349632 7316 4294967295 134512640 134716908 3221224560 3221223192 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.99 0.91 1/53 11381
Raw data (stat): 11379 (bsolo_lpr_cuts-) R 11378 31399 31398 0 -1 0 7398 0 0 0 116921 92 0 0 25 0 1 0 902929979 33349632 7316 4294967295 134512640 134716908 3221224560 3221223192 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.03
CPU user time (s): 1174.08
CPU system time (s): 0.948855
CPU usage (%): 100.009
Max. virtual memory (Kb): 32568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####