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-fpga12_11_sat_pb.cnf.cr.opb
MD5SUM	2acc4f964e1e6f176bb0ec9705d398d2
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	13
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.044993
Number of variables	198
Total number of constraints	166
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	23
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 40577

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 15:24:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28643 boxname=wulflinc2 idbench=29 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  2acc4f964e1e6f176bb0ec9705d398d2  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga12_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga12_11_sat_pb.cnf.cr.opb
IDLAUNCH: 28643
/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:        775696 kB
Buffers:         27144 kB
Cached:         209920 kB
SwapCached:       1344 kB
Active:          34604 kB
Inactive:       204460 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        775444 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14216 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:43:44 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 28643 7 1175.09 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 198 variables and 166 constraints.
c After prepocess the problem consists of 198 variables and 166 constraints.
c preprocess terminated 0.104 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (runsolver) R 11137 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902693436 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 2941 0 0 0 987 10 0 0 25 0 1 0 902693436 15081472 2859 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3682 2859 1111 63 0 3619 0
vsize: 14728
[startup+20.0009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 4054 0 0 0 1983 14 0 0 25 0 1 0 902693436 19693568 3972 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4808 3972 1111 63 0 4745 0
vsize: 19232
[startup+30.0009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 5674 0 0 0 2978 19 0 0 25 0 1 0 902693436 26345472 5592 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6432 5592 1111 63 0 6369 0
vsize: 25728
[startup+40.0003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 6852 0 0 0 3975 23 0 0 25 0 1 0 902693436 31240192 6770 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7627 6770 1111 63 0 7564 0
vsize: 30508
[startup+50.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 7576 0 0 0 4971 26 0 0 25 0 1 0 902693436 34258944 7492 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8364 7492 1111 63 0 8301 0
vsize: 33456
[startup+60.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 8281 0 0 0 5969 29 0 0 25 0 1 0 902693436 37142528 8196 4294967295 134512640 134716908 3221224560 3221223200 134613467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9068 8196 1111 63 0 9005 0
vsize: 36272
[startup+70.0017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 9054 0 0 0 6966 32 0 0 25 0 1 0 902693436 40390656 8969 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9861 8969 1111 63 0 9798 0
vsize: 39444
[startup+80.0021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 9730 0 0 0 7964 34 0 0 25 0 1 0 902693436 43151360 9644 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 9644 1111 63 0 10472 0
vsize: 42140
[startup+90.0022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 10298 0 0 0 8962 36 0 0 25 0 1 0 902693436 45625344 10211 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11139 10211 1111 63 0 11076 0
vsize: 44556
[startup+100.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 10807 0 0 0 9961 37 0 0 25 0 1 0 902693436 47702016 10718 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11646 10718 1111 63 0 11583 0
vsize: 46584
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 11272 0 0 0 10960 39 0 0 25 0 1 0 902693436 49635328 11182 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12118 11182 1111 63 0 12055 0
vsize: 48472
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 11895 0 0 0 11957 42 0 0 25 0 1 0 902693436 52211712 11805 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12747 11805 1111 63 0 12684 0
vsize: 50988
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 12511 0 0 0 12955 44 0 0 25 0 1 0 902693436 54796288 12421 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13378 12421 1111 63 0 13315 0
vsize: 53512
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 13080 0 0 0 13953 47 0 0 25 0 1 0 902693436 57098240 12990 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13940 12990 1111 63 0 13877 0
vsize: 55760
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 13590 0 0 0 14950 49 0 0 25 0 1 0 902693436 59142144 13500 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14439 13500 1111 63 0 14376 0
vsize: 57756
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 13922 0 0 0 15949 51 0 0 25 0 1 0 902693436 60510208 13832 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14773 13832 1111 63 0 14710 0
vsize: 59092
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 14204 0 0 0 16948 52 0 0 25 0 1 0 902693436 61734912 14114 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15072 14114 1111 63 0 15009 0
vsize: 60288
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 14515 0 0 0 17946 54 0 0 25 0 1 0 902693436 63090688 14425 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15403 14425 1111 63 0 15340 0
vsize: 61612
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 15072 0 0 0 18944 57 0 0 25 0 1 0 902693436 65261568 14982 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15933 14982 1111 63 0 15870 0
vsize: 63732
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 15534 0 0 0 19942 58 0 0 25 0 1 0 902693436 67153920 15444 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16395 15444 1111 63 0 16332 0
vsize: 65580
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 15836 0 0 0 20941 60 0 0 25 0 1 0 902693436 68505600 15746 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16725 15746 1111 63 0 16662 0
vsize: 66900
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 16122 0 0 0 21940 61 0 0 25 0 1 0 902693436 69586944 16032 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16989 16032 1111 63 0 16926 0
vsize: 67956
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 16570 0 0 0 22937 64 0 0 25 0 1 0 902693436 71553024 16478 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17469 16478 1111 63 0 17406 0
vsize: 69876
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 16865 0 0 0 23936 65 0 0 25 0 1 0 902693436 72769536 16773 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17766 16773 1111 63 0 17703 0
vsize: 71064
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 17153 0 0 0 24934 67 0 0 25 0 1 0 902693436 73986048 17061 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18063 17061 1111 63 0 18000 0
vsize: 72252
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 17499 0 0 0 25933 68 0 0 25 0 1 0 902693436 75485184 17407 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18429 17407 1111 63 0 18366 0
vsize: 73716
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 17723 0 0 0 26933 69 0 0 25 0 1 0 902693436 76308480 17631 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18630 17631 1111 63 0 18567 0
vsize: 74520
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 17987 0 0 0 27932 70 0 0 25 0 1 0 902693436 77447168 17893 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18908 17893 1111 63 0 18845 0
vsize: 75632
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 18294 0 0 0 28930 72 0 0 25 0 1 0 902693436 78798848 18200 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19238 18200 1111 63 0 19175 0
vsize: 76952
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 18567 0 0 0 29929 73 0 0 25 0 1 0 902693436 79880192 18473 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19502 18473 1111 63 0 19439 0
vsize: 78008
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 18878 0 0 0 30928 74 0 0 25 0 1 0 902693436 81149952 18780 4294967295 134512640 134716908 3221224560 3221223152 134549764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19812 18780 1111 63 0 19749 0
vsize: 79248
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 19139 0 0 0 31927 76 0 0 25 0 1 0 902693436 82231296 19041 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20076 19041 1111 63 0 20013 0
vsize: 80304
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 19364 0 0 0 32926 76 0 0 25 0 1 0 902693436 83218432 19262 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20317 19262 1111 63 0 20254 0
vsize: 81268
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 19648 0 0 0 33926 77 0 0 25 0 1 0 902693436 84299776 19546 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20581 19546 1111 63 0 20518 0
vsize: 82324
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 19871 0 0 0 34925 78 0 0 25 0 1 0 902693436 85323776 19765 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20831 19765 1111 63 0 20768 0
vsize: 83324
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 20096 0 0 0 35924 79 0 0 25 0 1 0 902693436 86286336 19990 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21066 19990 1111 63 0 21003 0
vsize: 84264
[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 20304 0 0 0 36924 80 0 0 25 0 1 0 902693436 87117824 20198 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21269 20198 1111 63 0 21206 0
vsize: 85076
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 20515 0 0 0 37923 80 0 0 25 0 1 0 902693436 88010752 20404 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21487 20404 1111 63 0 21424 0
vsize: 85948
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 20801 0 0 0 38922 81 0 0 25 0 1 0 902693436 89227264 20690 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21784 20690 1111 63 0 21721 0
vsize: 87136
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 21075 0 0 0 39922 82 0 0 25 0 1 0 902693436 90341376 20964 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22056 20964 1111 63 0 21993 0
vsize: 88224
[startup+410.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 21258 0 0 0 40921 83 0 0 25 0 1 0 902693436 91176960 21147 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22260 21147 1111 63 0 22197 0
vsize: 89040
[startup+420.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 21468 0 0 0 41920 84 0 0 25 0 1 0 902693436 91987968 21357 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22458 21357 1111 63 0 22395 0
vsize: 89832
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 21695 0 0 0 42920 85 0 0 25 0 1 0 902693436 92966912 21583 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22697 21583 1111 63 0 22634 0
vsize: 90788
[startup+440.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 21885 0 0 0 43919 86 0 0 25 0 1 0 902693436 93696000 21772 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22875 21772 1111 63 0 22812 0
vsize: 91500
[startup+450.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 22296 0 0 0 44918 87 0 0 25 0 1 0 902693436 95469568 22181 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23308 22181 1111 63 0 23245 0
vsize: 93232
[startup+460.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 22850 0 0 0 45915 90 0 0 25 0 1 0 902693436 97800192 22735 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23877 22735 1111 63 0 23814 0
vsize: 95508
[startup+470.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 23264 0 0 0 46913 92 0 0 25 0 1 0 902693436 99557376 23149 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24306 23149 1111 63 0 24243 0
vsize: 97224
[startup+480.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 23558 0 0 0 47913 93 0 0 25 0 1 0 902693436 100638720 23443 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24570 23443 1111 63 0 24507 0
vsize: 98280
[startup+490.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 23833 0 0 0 48912 94 0 0 25 0 1 0 902693436 101855232 23718 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24867 23719 1111 63 0 24804 0
vsize: 99468
[startup+500.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 24089 0 0 0 49911 95 0 0 25 0 1 0 902693436 102805504 23974 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25099 23974 1111 63 0 25036 0
vsize: 100396
[startup+510.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 24277 0 0 0 50911 95 0 0 25 0 1 0 902693436 103620608 24162 4294967295 134512640 134716908 3221224560 3221223344 134529390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25298 24162 1111 63 0 25235 0
vsize: 101192
[startup+520.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 24534 0 0 0 51910 96 0 0 25 0 1 0 902693436 104701952 24419 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25562 24419 1111 63 0 25499 0
vsize: 102248
[startup+530.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 24811 0 0 0 52909 98 0 0 25 0 1 0 902693436 105783296 24696 4294967295 134512640 134716908 3221224560 3221223200 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25826 24696 1111 63 0 25763 0
vsize: 103304
[startup+540.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 25048 0 0 0 53908 99 0 0 25 0 1 0 902693436 106737664 24933 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26059 24933 1111 63 0 25996 0
vsize: 104236
[startup+550.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 25205 0 0 0 54907 100 0 0 25 0 1 0 902693436 107413504 25090 4294967295 134512640 134716908 3221224560 3221223248 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26224 25090 1111 63 0 26161 0
vsize: 104896
[startup+560.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 25387 0 0 0 55906 101 0 0 25 0 1 0 902693436 108085248 25272 4294967295 134512640 134716908 3221224560 3221223116 134535518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26388 25272 1111 63 0 26325 0
vsize: 105552
[startup+570.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 25594 0 0 0 56905 102 0 0 25 0 1 0 902693436 109031424 25479 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26619 25479 1111 63 0 26556 0
vsize: 106476
[startup+580.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 25911 0 0 0 57904 103 0 0 25 0 1 0 902693436 110247936 25796 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26916 25796 1111 63 0 26853 0
vsize: 107664
[startup+590.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 26397 0 0 0 58902 105 0 0 25 0 1 0 902693436 112275456 26282 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27411 26282 1111 63 0 27348 0
vsize: 109644
[startup+600.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 26739 0 0 0 59901 107 0 0 25 0 1 0 902693436 113692672 26624 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27757 26624 1111 63 0 27694 0
vsize: 111028
[startup+610.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 27002 0 0 0 60900 108 0 0 25 0 1 0 902693436 114774016 26887 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28021 26887 1111 63 0 27958 0
vsize: 112084
[startup+620.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 27220 0 0 0 61899 109 0 0 25 0 1 0 902693436 115720192 27105 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28252 27105 1111 63 0 28189 0
vsize: 113008
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 27402 0 0 0 62898 110 0 0 25 0 1 0 902693436 116400128 27287 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28418 27287 1111 63 0 28355 0
vsize: 113672
[startup+640.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 27569 0 0 0 63897 111 0 0 25 0 1 0 902693436 117100544 27454 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28589 27454 1111 63 0 28526 0
vsize: 114356
[startup+650.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 27948 0 0 0 64895 113 0 0 25 0 1 0 902693436 118722560 27833 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28985 27833 1111 63 0 28922 0
vsize: 115940
[startup+660.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 28198 0 0 0 65894 114 0 0 25 0 1 0 902693436 119668736 28083 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29216 28083 1111 63 0 29153 0
vsize: 116864
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 28539 0 0 0 66893 116 0 0 25 0 1 0 902693436 121176064 28423 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29584 28423 1111 63 0 29521 0
vsize: 118336
[startup+680.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 28852 0 0 0 67891 118 0 0 25 0 1 0 902693436 122400768 28735 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29883 28735 1111 63 0 29820 0
vsize: 119532
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 29052 0 0 0 68890 119 0 0 25 0 1 0 902693436 123211776 28935 4294967295 134512640 134716908 3221224560 3221223132 134699233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30081 28935 1111 63 0 30018 0
vsize: 120324
[startup+700.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 29278 0 0 0 69890 120 0 0 25 0 1 0 902693436 124022784 29161 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30279 29161 1111 63 0 30216 0
vsize: 121116
[startup+710.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 29468 0 0 0 70889 121 0 0 25 0 1 0 902693436 124850176 29350 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30481 29350 1111 63 0 30418 0
vsize: 121924
[startup+720.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 29778 0 0 0 71888 122 0 0 25 0 1 0 902693436 126136320 29658 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30795 29658 1111 63 0 30732 0
vsize: 123180
[startup+730.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 29970 0 0 0 72887 123 0 0 25 0 1 0 902693436 126947328 29850 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30993 29850 1111 63 0 30930 0
vsize: 123972
[startup+740.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 30166 0 0 0 73886 124 0 0 25 0 1 0 902693436 127623168 30046 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31158 30046 1111 63 0 31095 0
vsize: 124632
[startup+750.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 30312 0 0 0 74886 124 0 0 25 0 1 0 902693436 128299008 30192 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31323 30192 1111 63 0 31260 0
vsize: 125292
[startup+760.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 30489 0 0 0 75886 125 0 0 25 0 1 0 902693436 129028096 30369 4294967295 134512640 134716908 3221224560 3221223148 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31501 30369 1111 63 0 31438 0
vsize: 126004
[startup+770.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 30657 0 0 0 76885 126 0 0 25 0 1 0 902693436 129703936 30537 4294967295 134512640 134716908 3221224560 3221223328 134529110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31666 30537 1111 63 0 31603 0
vsize: 126664
[startup+780.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 30817 0 0 0 77884 127 0 0 25 0 1 0 902693436 130244608 30697 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31798 30697 1111 63 0 31735 0
vsize: 127192
[startup+790.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 30955 0 0 0 78883 128 0 0 25 0 1 0 902693436 130809856 30834 4294967295 134512640 134716908 3221224560 3221223056 134535462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31936 30834 1111 63 0 31873 0
vsize: 127744
[startup+800.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 31109 0 0 0 79883 129 0 0 25 0 1 0 902693436 131792896 30986 4294967295 134512640 134716908 3221224560 3221223044 134699548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32176 30986 1111 63 0 32113 0
vsize: 128704
[startup+810.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 31231 0 0 0 80883 129 0 0 25 0 1 0 902693436 132206592 31108 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32277 31108 1111 63 0 32214 0
vsize: 129108
[startup+820.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 31335 0 0 0 81882 129 0 0 25 0 1 0 902693436 132681728 31210 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32393 31210 1111 63 0 32330 0
vsize: 129572
[startup+830.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 31453 0 0 0 82882 130 0 0 25 0 1 0 902693436 133128192 31327 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32502 31327 1111 63 0 32439 0
vsize: 130008
[startup+840.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 31574 0 0 0 83881 131 0 0 25 0 1 0 902693436 133668864 31448 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32634 31448 1111 63 0 32571 0
vsize: 130536
[startup+850.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 31690 0 0 0 84881 131 0 0 25 0 1 0 902693436 134156288 31559 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32753 31559 1111 63 0 32690 0
vsize: 131012
[startup+860.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 31757 0 0 0 85881 131 0 0 25 0 1 0 902693436 134426624 31626 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32819 31626 1111 63 0 32756 0
vsize: 131276
[startup+870.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 31847 0 0 0 86881 132 0 0 25 0 1 0 902693436 134725632 31715 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32892 31715 1111 63 0 32829 0
vsize: 131568
[startup+880.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 31950 0 0 0 87880 132 0 0 25 0 1 0 902693436 135131136 31818 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32991 31818 1111 63 0 32928 0
vsize: 131964
[startup+890.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32059 0 0 0 88880 133 0 0 25 0 1 0 902693436 135774208 31927 4294967295 134512640 134716908 3221224560 3221223148 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33148 31927 1111 63 0 33085 0
vsize: 132592
[startup+900.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32152 0 0 0 89880 133 0 0 25 0 1 0 902693436 136097792 32019 4294967295 134512640 134716908 3221224560 3221223184 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33227 32019 1111 63 0 33164 0
vsize: 132908
[startup+910.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32260 0 0 0 90880 134 0 0 25 0 1 0 902693436 136568832 32126 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33342 32126 1111 63 0 33279 0
vsize: 133368
[startup+920.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32362 0 0 0 91881 134 0 0 25 0 1 0 902693436 137031680 32225 4294967295 134512640 134716908 3221224560 3221223216 134524132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33455 32225 1111 63 0 33392 0
vsize: 133820
[startup+930.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32484 0 0 0 92880 134 0 0 25 0 1 0 902693436 137670656 32342 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33611 32342 1111 63 0 33548 0
vsize: 134444
[startup+940.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32613 0 0 0 93880 135 0 0 25 0 1 0 902693436 138321920 32470 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33770 32470 1111 63 0 33707 0
vsize: 135080
[startup+950.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32696 0 0 0 94880 135 0 0 25 0 1 0 902693436 138616832 32552 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33842 32552 1111 63 0 33779 0
vsize: 135368
[startup+960.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32772 0 0 0 95880 136 0 0 25 0 1 0 902693436 139022336 32628 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33941 32628 1111 63 0 33878 0
vsize: 135764
[startup+970.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32856 0 0 0 96880 136 0 0 25 0 1 0 902693436 139292672 32711 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34007 32711 1111 63 0 33944 0
vsize: 136028
[startup+980.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 32946 0 0 0 97879 136 0 0 25 0 1 0 902693436 139698176 32801 4294967295 134512640 134716908 3221224560 3221223344 134529192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34106 32801 1111 63 0 34043 0
vsize: 136424
[startup+990.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 33040 0 0 0 98879 137 0 0 25 0 1 0 902693436 139968512 32895 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34172 32895 1111 63 0 34109 0
vsize: 136688
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 33129 0 0 0 99879 137 0 0 25 0 1 0 902693436 140382208 32982 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34273 32982 1111 63 0 34210 0
vsize: 137092
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 33202 0 0 0 100879 137 0 0 25 0 1 0 902693436 140730368 33054 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34358 33054 1111 63 0 34295 0
vsize: 137432
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 33285 0 0 0 101879 138 0 0 25 0 1 0 902693436 141000704 33137 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34424 33137 1111 63 0 34361 0
vsize: 137696
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 33359 0 0 0 102879 138 0 0 25 0 1 0 902693436 141406208 33211 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34523 33211 1111 63 0 34460 0
vsize: 138092
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 33446 0 0 0 103879 138 0 0 25 0 1 0 902693436 141676544 33298 4294967295 134512640 134716908 3221224560 3221223344 134529395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34589 33298 1111 63 0 34526 0
vsize: 138356
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 33622 0 0 0 104878 139 0 0 25 0 1 0 902693436 142487552 33474 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34787 33474 1111 63 0 34724 0
vsize: 139148
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 33830 0 0 0 105876 141 0 0 25 0 1 0 902693436 143499264 33681 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35034 33681 1111 63 0 34971 0
vsize: 140136
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 34044 0 0 0 106876 142 0 0 25 0 1 0 902693436 144310272 33895 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35232 33895 1111 63 0 35169 0
vsize: 140928
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 34195 0 0 0 107875 143 0 0 25 0 1 0 902693436 144863232 34045 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35367 34045 1111 63 0 35304 0
vsize: 141468
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 34406 0 0 0 108875 143 0 0 25 0 1 0 902693436 145874944 34256 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35614 34256 1111 63 0 35551 0
vsize: 142456
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 34544 0 0 0 109874 144 0 0 25 0 1 0 902693436 146415616 34394 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35746 34394 1111 63 0 35683 0
vsize: 142984
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 34734 0 0 0 110874 144 0 0 25 0 1 0 902693436 147226624 34584 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35944 34584 1111 63 0 35881 0
vsize: 143776
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 34941 0 0 0 111874 145 0 0 25 0 1 0 902693436 148037632 34791 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36142 34791 1111 63 0 36079 0
vsize: 144568
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 35081 0 0 0 112873 146 0 0 25 0 1 0 902693436 148635648 34926 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36288 34926 1111 63 0 36225 0
vsize: 145152
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 35292 0 0 0 113873 147 0 0 25 0 1 0 902693436 149446656 35137 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36486 35137 1111 63 0 36423 0
vsize: 145944
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 35605 0 0 0 114872 147 0 0 25 0 1 0 902693436 150827008 35448 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36823 35448 1111 63 0 36760 0
vsize: 147292
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 35789 0 0 0 115872 148 0 0 25 0 1 0 902693436 151502848 35632 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36988 35632 1111 63 0 36925 0
vsize: 147952
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 35985 0 0 0 116871 149 0 0 25 0 1 0 902693436 152313856 35828 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37186 35828 1111 63 0 37123 0
vsize: 148744
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 11138
Raw data (stat): 11138 (bsolo_lpr_cuts-) R 11137 31399 31398 0 -1 0 35985 0 0 0 116871 149 0 0 25 0 1 0 902693436 152313856 35828 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37186 35828 1111 63 0 37123 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.09
CPU user time (s): 1173.53
CPU system time (s): 1.56076
CPU usage (%): 100.015
Max. virtual memory (Kb): 148744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####