PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 15:35:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28645 boxname=wulflinc1 idbench=31 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  32e3ba70c369e104da40b8d0cd94d02f  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga13_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga13_11_sat_pb.cnf.cr.opb
IDLAUNCH: 28645
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        866812 kB
Buffers:         17048 kB
Cached:         126716 kB
SwapCached:       1144 kB
Active:          26676 kB
Inactive:       119264 kB
HighTotal:      131008 kB
HighFree:         5124 kB
LowTotal:       903652 kB
LowFree:        861688 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16100 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:54:41 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 28645 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 215 variables and 178 constraints.
c After prepocess the problem consists of 215 variables and 178 constraints.
c preprocess terminated 0.114 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.91 0.95 0.90 2/55 24037
Raw data (stat): 24037 (runsolver) R 24036 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 845898612 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 2951 0 0 0 988 9 0 0 25 0 1 0 845898612 15212544 2869 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3714 2869 1111 63 0 3651 0
vsize: 14856
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 4509 0 0 0 1981 16 0 0 25 0 1 0 845898612 21569536 4427 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4427 1111 63 0 5203 0
vsize: 21064
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 5483 0 0 0 2976 21 0 0 25 0 1 0 845898612 25624576 5401 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6256 5402 1111 63 0 6193 0
vsize: 25024
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 6369 0 0 0 3972 25 0 0 25 0 1 0 845898612 29278208 6287 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7148 6287 1111 63 0 7085 0
vsize: 28592
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 6998 0 0 0 4970 28 0 0 25 0 1 0 845898612 31846400 6916 4294967295 134512640 134716908 3221224560 3221223300 134524380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7775 6916 1111 63 0 7712 0
vsize: 31100
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 7895 0 0 0 5967 31 0 0 25 0 1 0 845898612 35540992 7813 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8677 7813 1111 63 0 8614 0
vsize: 34708
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 8918 0 0 0 6963 35 0 0 25 0 1 0 845898612 39731200 8836 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9700 8836 1111 63 0 9637 0
vsize: 38800
[startup+80.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 9697 0 0 0 7960 38 0 0 25 0 1 0 845898612 42991616 9615 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10496 9615 1111 63 0 10433 0
vsize: 41984
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 10577 0 0 0 8958 41 0 0 25 0 1 0 845898612 46653440 10494 4294967295 134512640 134716908 3221224560 3221223472 134588491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11390 10494 1111 63 0 11327 0
vsize: 45560
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 11292 0 0 0 9955 43 0 0 25 0 1 0 845898612 49627136 11208 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12116 11208 1111 63 0 12053 0
vsize: 48464
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 11786 0 0 0 10954 45 0 0 25 0 1 0 845898612 51560448 11701 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12588 11701 1111 63 0 12525 0
vsize: 50352
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 12438 0 0 0 11952 47 0 0 25 0 1 0 845898612 54284288 12353 4294967295 134512640 134716908 3221224560 3221223044 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13253 12353 1111 63 0 13190 0
vsize: 53012
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 12831 0 0 0 12950 49 0 0 25 0 1 0 845898612 55959552 12746 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12746 1111 63 0 13599 0
vsize: 54648
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 13452 0 0 0 13948 51 0 0 25 0 1 0 845898612 58634240 13363 4294967295 134512640 134716908 3221224560 3221223280 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14315 13363 1111 63 0 14252 0
vsize: 57260
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 13820 0 0 0 14947 53 0 0 25 0 1 0 845898612 60157952 13730 4294967295 134512640 134716908 3221224560 3221223132 134535488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14687 13730 1111 63 0 14624 0
vsize: 58748
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 14201 0 0 0 15946 54 0 0 25 0 1 0 845898612 61800448 14110 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15088 14110 1111 63 0 15025 0
vsize: 60352
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 14597 0 0 0 16945 55 0 0 25 0 1 0 845898612 63455232 14505 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15492 14505 1111 63 0 15429 0
vsize: 61968
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 15017 0 0 0 17943 57 0 0 25 0 1 0 845898612 65343488 14918 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15953 14918 1111 63 0 15890 0
vsize: 63812
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 15301 0 0 0 18942 58 0 0 25 0 1 0 845898612 66441216 15201 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16221 15201 1111 63 0 16158 0
vsize: 64884
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 15603 0 0 0 19941 59 0 0 25 0 1 0 845898612 67743744 15503 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16539 15503 1111 63 0 16476 0
vsize: 66156
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 15859 0 0 0 20941 60 0 0 25 0 1 0 845898612 68726784 15759 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16779 15759 1111 63 0 16716 0
vsize: 67116
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 16039 0 0 0 21940 61 0 0 25 0 1 0 845898612 69402624 15938 4294967295 134512640 134716908 3221224560 3221223216 134536738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16944 15938 1111 63 0 16881 0
vsize: 67776
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 16833 0 0 0 22938 64 0 0 25 0 1 0 845898612 72716288 16731 4294967295 134512640 134716908 3221224560 3221223320 134552570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17753 16731 1111 63 0 17690 0
vsize: 71012
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 17282 0 0 0 23936 65 0 0 25 0 1 0 845898612 74608640 17180 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 17180 1111 63 0 18152 0
vsize: 72860
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 17641 0 0 0 24935 67 0 0 25 0 1 0 845898612 76095488 17539 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18578 17539 1111 63 0 18515 0
vsize: 74312
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 17943 0 0 0 25934 68 0 0 25 0 1 0 845898612 77328384 17841 4294967295 134512640 134716908 3221224560 3221223072 134535285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18879 17841 1111 63 0 18816 0
vsize: 75516
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 18374 0 0 0 26933 70 0 0 25 0 1 0 845898612 79147008 18267 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19323 18267 1111 63 0 19260 0
vsize: 77292
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 18728 0 0 0 27932 70 0 0 25 0 1 0 845898612 80498688 18621 4294967295 134512640 134716908 3221224560 3221223280 134584746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19653 18621 1111 63 0 19590 0
vsize: 78612
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 19031 0 0 0 28931 72 0 0 25 0 1 0 845898612 81715200 18924 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19950 18924 1111 63 0 19887 0
vsize: 79800
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 19351 0 0 0 29929 73 0 0 25 0 1 0 845898612 83083264 19244 4294967295 134512640 134716908 3221224560 3221223144 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20284 19244 1111 63 0 20221 0
vsize: 81136
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 19644 0 0 0 30928 74 0 0 25 0 1 0 845898612 84307968 19537 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20583 19537 1111 63 0 20520 0
vsize: 82332
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 20079 0 0 0 31927 76 0 0 25 0 1 0 845898612 86093824 19968 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21019 19968 1111 63 0 20956 0
vsize: 84076
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 20620 0 0 0 32924 79 0 0 25 0 1 0 845898612 88391680 20508 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21580 20508 1111 63 0 21517 0
vsize: 86320
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 21074 0 0 0 33922 82 0 0 25 0 1 0 845898612 90148864 20962 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22009 20962 1111 63 0 21946 0
vsize: 88036
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 21470 0 0 0 34920 83 0 0 25 0 1 0 845898612 91795456 21358 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22411 21358 1111 63 0 22348 0
vsize: 89644
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 22183 0 0 0 35918 86 0 0 25 0 1 0 845898612 94769152 22071 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23137 22071 1111 63 0 23074 0
vsize: 92548
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 22751 0 0 0 36916 88 0 0 25 0 1 0 845898612 97062912 22639 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23697 22639 1111 63 0 23634 0
vsize: 94788
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 23205 0 0 0 37915 90 0 0 25 0 1 0 845898612 98955264 23093 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24159 23093 1111 63 0 24096 0
vsize: 96636
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 23517 0 0 0 38913 91 0 0 25 0 1 0 845898612 100241408 23402 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24473 23402 1111 63 0 24410 0
vsize: 97892
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 23745 0 0 0 39913 92 0 0 25 0 1 0 845898612 101195776 23629 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24706 23629 1111 63 0 24643 0
vsize: 98824
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 23958 0 0 0 40912 93 0 0 25 0 1 0 845898612 102047744 23840 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24914 23840 1111 63 0 24851 0
vsize: 99656
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 24223 0 0 0 41912 93 0 0 25 0 1 0 845898612 103374848 24103 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25238 24103 1111 63 0 25175 0
vsize: 100952
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 24387 0 0 0 42911 94 0 0 25 0 1 0 845898612 104095744 24266 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25414 24266 1111 63 0 25351 0
vsize: 101656
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 24596 0 0 0 43910 95 0 0 25 0 1 0 845898612 104939520 24475 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25620 24475 1111 63 0 25557 0
vsize: 102480
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 24856 0 0 0 44910 96 0 0 25 0 1 0 845898612 106090496 24731 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25901 24731 1111 63 0 25838 0
vsize: 103604
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 25011 0 0 0 45910 96 0 0 25 0 1 0 845898612 106835968 24886 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26083 24886 1111 63 0 26020 0
vsize: 104332
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 25254 0 0 0 46909 97 0 0 25 0 1 0 845898612 107827200 25126 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26325 25126 1111 63 0 26262 0
vsize: 105300
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 25424 0 0 0 47909 98 0 0 25 0 1 0 845898612 108605440 25296 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26515 25296 1111 63 0 26452 0
vsize: 106060
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 25625 0 0 0 48908 98 0 0 25 0 1 0 845898612 109465600 25496 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26725 25496 1111 63 0 26662 0
vsize: 106900
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 25779 0 0 0 49908 99 0 0 25 0 1 0 845898612 110051328 25649 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26868 25649 1111 63 0 26805 0
vsize: 107472
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 25947 0 0 0 50907 100 0 0 25 0 1 0 845898612 110727168 25817 4294967295 134512640 134716908 3221224560 3221223056 134535471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27033 25817 1111 63 0 26970 0
vsize: 108132
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 26070 0 0 0 51907 100 0 0 25 0 1 0 845898612 111247360 25940 4294967295 134512640 134716908 3221224560 3221223300 134524380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27160 25940 1111 63 0 27097 0
vsize: 108640
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 26181 0 0 0 52906 101 0 0 25 0 1 0 845898612 111788032 26051 4294967295 134512640 134716908 3221224560 3221223200 134551944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27292 26051 1111 63 0 27229 0
vsize: 109168
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 26721 0 0 0 53904 103 0 0 25 0 1 0 845898612 114073600 26583 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27850 26583 1111 63 0 27787 0
vsize: 111400
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 27022 0 0 0 54903 104 0 0 25 0 1 0 845898612 115159040 26884 4294967295 134512640 134716908 3221224560 3221223200 134539411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28115 26884 1111 63 0 28052 0
vsize: 112460
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 27511 0 0 0 55901 107 0 0 25 0 1 0 845898612 117215232 27369 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28617 27369 1111 63 0 28554 0
vsize: 114468
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 27806 0 0 0 56900 108 0 0 25 0 1 0 845898612 118431744 27664 4294967295 134512640 134716908 3221224560 3221223088 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28914 27664 1111 63 0 28851 0
vsize: 115656
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 28139 0 0 0 57899 109 0 0 25 0 1 0 845898612 119783424 27996 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29244 27996 1111 63 0 29181 0
vsize: 116976
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 28465 0 0 0 58898 110 0 0 25 0 1 0 845898612 121135104 28322 4294967295 134512640 134716908 3221224560 3221223148 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29574 28322 1111 63 0 29511 0
vsize: 118296
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 28779 0 0 0 59897 111 0 0 25 0 1 0 845898612 122486784 28636 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29904 28636 1111 63 0 29841 0
vsize: 119616
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 28985 0 0 0 60896 112 0 0 25 0 1 0 845898612 123453440 28842 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30140 28842 1111 63 0 30077 0
vsize: 120560
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 29210 0 0 0 61895 114 0 0 25 0 1 0 845898612 124293120 29064 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30345 29064 1111 63 0 30282 0
vsize: 121380
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 29358 0 0 0 62895 114 0 0 25 0 1 0 845898612 124981248 29211 4294967295 134512640 134716908 3221224560 3221223332 134529372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30513 29211 1111 63 0 30450 0
vsize: 122052
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 29526 0 0 0 63894 115 0 0 25 0 1 0 845898612 125521920 29379 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30645 29379 1111 63 0 30582 0
vsize: 122580
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 29713 0 0 0 64893 116 0 0 25 0 1 0 845898612 126353408 29565 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30848 29565 1111 63 0 30785 0
vsize: 123392
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 29805 0 0 0 65893 117 0 0 25 0 1 0 845898612 126758912 29657 4294967295 134512640 134716908 3221224560 3221223216 134536738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30947 29657 1111 63 0 30884 0
vsize: 123788
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 30066 0 0 0 66892 118 0 0 25 0 1 0 845898612 127905792 29915 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31227 29915 1111 63 0 31164 0
vsize: 124908
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 30320 0 0 0 67891 119 0 0 25 0 1 0 845898612 128851968 30169 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31458 30169 1111 63 0 31395 0
vsize: 125832
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 30475 0 0 0 68891 120 0 0 25 0 1 0 845898612 129556480 30320 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31630 30320 1111 63 0 31567 0
vsize: 126520
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 30620 0 0 0 69891 120 0 0 25 0 1 0 845898612 130097152 30465 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31762 30465 1111 63 0 31699 0
vsize: 127048
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 30932 0 0 0 70889 122 0 0 25 0 1 0 845898612 131448832 30777 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32092 30777 1111 63 0 32029 0
vsize: 128368
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 31098 0 0 0 71889 122 0 0 25 0 1 0 845898612 132124672 30943 4294967295 134512640 134716908 3221224560 3221223184 134536675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32257 30943 1111 63 0 32194 0
vsize: 129028
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 31313 0 0 0 72888 123 0 0 25 0 1 0 845898612 132935680 31158 4294967295 134512640 134716908 3221224560 3221223152 134549773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32455 31158 1111 63 0 32392 0
vsize: 129820
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 31446 0 0 0 73887 124 0 0 25 0 1 0 845898612 133476352 31291 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32587 31291 1111 63 0 32524 0
vsize: 130348
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 31631 0 0 0 74887 125 0 0 25 0 1 0 845898612 134287360 31476 4294967295 134512640 134716908 3221224560 3221223080 134535482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32785 31476 1111 63 0 32722 0
vsize: 131140
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 31781 0 0 0 75886 126 0 0 25 0 1 0 845898612 134844416 31626 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 31626 1111 63 0 32858 0
vsize: 131684
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 31936 0 0 0 76885 126 0 0 25 0 1 0 845898612 135520256 31781 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33086 31781 1111 63 0 33023 0
vsize: 132344
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 32023 0 0 0 77885 127 0 0 25 0 1 0 845898612 135938048 31868 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33188 31868 1111 63 0 33125 0
vsize: 132752
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 32140 0 0 0 78885 127 0 0 25 0 1 0 845898612 136364032 31984 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33292 31984 1111 63 0 33229 0
vsize: 133168
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 32247 0 0 0 79885 128 0 0 25 0 1 0 845898612 136769536 32091 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33391 32091 1111 63 0 33328 0
vsize: 133564
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 32572 0 0 0 80884 129 0 0 25 0 1 0 845898612 138121216 32416 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33721 32416 1111 63 0 33658 0
vsize: 134884
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 32835 0 0 0 81883 129 0 0 25 0 1 0 845898612 139202560 32679 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33985 32679 1111 63 0 33922 0
vsize: 135940
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 33127 0 0 0 82883 130 0 0 25 0 1 0 845898612 140419072 32971 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34282 32971 1111 63 0 34219 0
vsize: 137128
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 33410 0 0 0 83882 131 0 0 25 0 1 0 845898612 141500416 33254 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34546 33254 1111 63 0 34483 0
vsize: 138184
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 33565 0 0 0 84881 132 0 0 25 0 1 0 845898612 142176256 33409 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34711 33409 1111 63 0 34648 0
vsize: 138844
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 33699 0 0 0 85881 132 0 0 25 0 1 0 845898612 142782464 33537 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34859 33537 1111 63 0 34796 0
vsize: 139436
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 33875 0 0 0 86880 133 0 0 25 0 1 0 845898612 143597568 33712 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35058 33712 1111 63 0 34995 0
vsize: 140232
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 34030 0 0 0 87880 134 0 0 25 0 1 0 845898612 144138240 33867 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35190 33867 1111 63 0 35127 0
vsize: 140760
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 34209 0 0 0 88880 134 0 0 25 0 1 0 845898612 144953344 34046 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35389 34046 1111 63 0 35326 0
vsize: 141556
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 34410 0 0 0 89879 135 0 0 25 0 1 0 845898612 145784832 34246 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35592 34246 1111 63 0 35529 0
vsize: 142368
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 34700 0 0 0 90878 136 0 0 25 0 1 0 845898612 147062784 34532 4294967295 134512640 134716908 3221224560 3221223152 134549767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35904 34532 1111 63 0 35841 0
vsize: 143616
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 34969 0 0 0 91877 138 0 0 25 0 1 0 845898612 148287488 34798 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36203 34798 1111 63 0 36140 0
vsize: 144812
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 35134 0 0 0 92877 138 0 0 25 0 1 0 845898612 148828160 34963 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36335 34963 1111 63 0 36272 0
vsize: 145340
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 35268 0 0 0 93876 139 0 0 25 0 1 0 845898612 149368832 35097 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36467 35097 1111 63 0 36404 0
vsize: 145868
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 35429 0 0 0 94876 139 0 0 25 0 1 0 845898612 150069248 35258 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36638 35258 1111 63 0 36575 0
vsize: 146552
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 35627 0 0 0 95875 141 0 0 25 0 1 0 845898612 150945792 35447 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36852 35447 1111 63 0 36789 0
vsize: 147408
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 35777 0 0 0 96874 141 0 0 25 0 1 0 845898612 151621632 35597 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37017 35597 1111 63 0 36954 0
vsize: 148068
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 35916 0 0 0 97874 142 0 0 25 0 1 0 845898612 152170496 35734 4294967295 134512640 134716908 3221224560 3221223164 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37151 35734 1111 63 0 37088 0
vsize: 148604
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36036 0 0 0 98874 142 0 0 25 0 1 0 845898612 152711168 35853 4294967295 134512640 134716908 3221224560 3221223152 134549818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37283 35853 1111 63 0 37220 0
vsize: 149132
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36124 0 0 0 99874 143 0 0 25 0 1 0 845898612 153149440 35941 4294967295 134512640 134716908 3221224560 3221223152 134549597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37390 35941 1111 63 0 37327 0
vsize: 149560
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36154 0 0 0 100874 143 0 0 25 0 1 0 845898612 153313280 35969 4294967295 134512640 134716908 3221224560 3221223284 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37430 35969 1111 63 0 37367 0
vsize: 149720
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36206 0 0 0 101874 143 0 0 25 0 1 0 845898612 153448448 36021 4294967295 134512640 134716908 3221224560 3221223300 134594993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37463 36021 1111 63 0 37400 0
vsize: 149852
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36295 0 0 0 102874 143 0 0 25 0 1 0 845898612 153853952 36110 4294967295 134512640 134716908 3221224560 3221223344 134529296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37562 36110 1111 63 0 37499 0
vsize: 150248
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36474 0 0 0 103873 144 0 0 25 0 1 0 845898612 154599424 36287 4294967295 134512640 134716908 3221224560 3221223172 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37744 36287 1111 63 0 37681 0
vsize: 150976
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36579 0 0 0 104873 144 0 0 25 0 1 0 845898612 155082752 36385 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37862 36385 1111 63 0 37799 0
vsize: 151448
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36714 0 0 0 105872 145 0 0 25 0 1 0 845898612 155639808 36520 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37998 36520 1111 63 0 37935 0
vsize: 151992
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36821 0 0 0 106872 145 0 0 25 0 1 0 845898612 156045312 36627 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38097 36627 1111 63 0 38034 0
vsize: 152388
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 36970 0 0 0 107872 146 0 0 25 0 1 0 845898612 156721152 36776 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38262 36776 1111 63 0 38199 0
vsize: 153048
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37077 0 0 0 108872 146 0 0 25 0 1 0 845898612 157138944 36883 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38364 36883 1111 63 0 38301 0
vsize: 153456
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37220 0 0 0 109871 146 0 0 25 0 1 0 845898612 157769728 37022 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38518 37022 1111 63 0 38455 0
vsize: 154072
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37278 0 0 0 110871 147 0 0 25 0 1 0 845898612 157904896 37080 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38551 37080 1111 63 0 38488 0
vsize: 154204
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37429 0 0 0 111870 148 0 0 25 0 1 0 845898612 158646272 37222 4294967295 134512640 134716908 3221224560 3221223264 134535810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38732 37222 1111 63 0 38669 0
vsize: 154928
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37578 0 0 0 112870 148 0 0 25 0 1 0 845898612 159322112 37371 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38897 37371 1111 63 0 38834 0
vsize: 155588
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37706 0 0 0 113870 148 0 0 25 0 1 0 845898612 159727616 37499 4294967295 134512640 134716908 3221224560 3221223132 134535876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38996 37499 1111 63 0 38933 0
vsize: 155984
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37771 0 0 0 114870 149 0 0 25 0 1 0 845898612 159997952 37564 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39062 37564 1111 63 0 38999 0
vsize: 156248
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37871 0 0 0 115870 149 0 0 25 0 1 0 845898612 160403456 37664 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39161 37664 1111 63 0 39098 0
vsize: 156644
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37932 0 0 0 116870 149 0 0 25 0 1 0 845898612 160739328 37724 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39243 37724 1111 63 0 39180 0
vsize: 156972
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24037
Raw data (stat): 24037 (bsolo_lpr_cuts-) R 24036 8378 8377 0 -1 0 37932 0 0 0 116870 149 0 0 25 0 1 0 845898612 160739328 37724 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39243 37724 1111 63 0 39180 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.12
CPU user time (s): 1173.55
CPU system time (s): 1.56676
CPU usage (%): 100.015
Max. virtual memory (Kb): 156972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####