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_12_sat_pb.cnf.cr.opb
MD5SUM	6137fb5f5f5e9a4f9b09d34c8e843809
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.053991
Number of variables	216
Total number of constraints	180
Number of constraints which are clauses	156
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	12
Trace number 40578

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 15:32:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28644 boxname=wulflinc6 idbench=30 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6137fb5f5f5e9a4f9b09d34c8e843809  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga12_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga12_12_sat_pb.cnf.cr.opb
IDLAUNCH: 28644
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        603296 kB
Buffers:         29788 kB
Cached:         380808 kB
SwapCached:        940 kB
Active:          43492 kB
Inactive:       369116 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        603044 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13152 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:52:00 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 28644 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 216 variables and 180 constraints.
c After prepocess the problem consists of 216 variables and 180 constraints.
c preprocess terminated 0.119 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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): 1.21 1.03 0.93 2/54 32183
Raw data (stat): 32183 (runsolver) R 32182 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902738484 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.0008 s]
Raw data (loadavg): 1.18 1.03 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 2870 0 0 0 988 10 0 0 25 0 1 0 902738484 14802944 2788 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3614 2788 1111 63 0 3551 0
vsize: 14456
[startup+20.0019 s]
Raw data (loadavg): 1.15 1.03 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 4288 0 0 0 1982 16 0 0 25 0 1 0 902738484 20627456 4206 4294967295 134512640 134716908 3221224560 3221223152 134698876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5036 4206 1111 63 0 4973 0
vsize: 20144
[startup+30.0034 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 5354 0 0 0 2977 21 0 0 25 0 1 0 902738484 25096192 5272 4294967295 134512640 134716908 3221224560 3221223200 134536698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6127 5272 1111 63 0 6064 0
vsize: 24508
[startup+40.0032 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 6621 0 0 0 3972 26 0 0 25 0 1 0 902738484 30294016 6539 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 6539 1111 63 0 7333 0
vsize: 29584
[startup+50.0044 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 7912 0 0 0 4968 31 0 0 25 0 1 0 902738484 35586048 7828 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8688 7828 1111 63 0 8625 0
vsize: 34752
[startup+60.0048 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 9233 0 0 0 5964 36 0 0 25 0 1 0 902738484 41132032 9149 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10042 9149 1111 63 0 9979 0
vsize: 40168
[startup+70.0056 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 10188 0 0 0 6961 39 0 0 25 0 1 0 902738484 44929024 10103 4294967295 134512640 134716908 3221224560 3221223132 134535988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10969 10103 1111 63 0 10906 0
vsize: 43876
[startup+80.0068 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 10894 0 0 0 7958 42 0 0 25 0 1 0 902738484 47902720 10809 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11695 10809 1111 63 0 11632 0
vsize: 46780
[startup+90.0076 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 11300 0 0 0 8957 44 0 0 25 0 1 0 902738484 49524736 11215 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12091 11215 1111 63 0 12028 0
vsize: 48364
[startup+100.008 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 11641 0 0 0 9955 46 0 0 25 0 1 0 902738484 51027968 11555 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 11555 1111 63 0 12395 0
vsize: 49832
[startup+110.008 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 11942 0 0 0 10954 47 0 0 25 0 1 0 902738484 52244480 11855 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12755 11855 1111 63 0 12692 0
vsize: 51020
[startup+120.01 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 12247 0 0 0 11953 48 0 0 25 0 1 0 902738484 53460992 12160 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13052 12160 1111 63 0 12989 0
vsize: 52208
[startup+130.01 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 12503 0 0 0 12953 50 0 0 25 0 1 0 902738484 54558720 12416 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13320 12416 1111 63 0 13257 0
vsize: 53280
[startup+140.01 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 12812 0 0 0 13952 51 0 0 25 0 1 0 902738484 55775232 12724 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13617 12724 1111 63 0 13554 0
vsize: 54468
[startup+150.011 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 13108 0 0 0 14950 53 0 0 25 0 1 0 902738484 56991744 13020 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13914 13020 1111 63 0 13851 0
vsize: 55656
[startup+160.011 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 13379 0 0 0 15949 54 0 0 25 0 1 0 902738484 58077184 13291 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14179 13291 1111 63 0 14116 0
vsize: 56716
[startup+170.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 13657 0 0 0 16948 56 0 0 25 0 1 0 902738484 59293696 13569 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14476 13569 1111 63 0 14413 0
vsize: 57904
[startup+180.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 13907 0 0 0 17947 57 0 0 25 0 1 0 902738484 60239872 13819 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14707 13819 1111 63 0 14644 0
vsize: 58828
[startup+190.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 14150 0 0 0 18946 59 0 0 25 0 1 0 902738484 61321216 14062 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14971 14062 1111 63 0 14908 0
vsize: 59884
[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 14382 0 0 0 19945 60 0 0 25 0 1 0 902738484 62267392 14294 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15202 14294 1111 63 0 15139 0
vsize: 60808
[startup+210.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 14699 0 0 0 20944 61 0 0 25 0 1 0 902738484 63488000 14611 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15500 14611 1111 63 0 15437 0
vsize: 62000
[startup+220.014 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 15411 0 0 0 21943 63 0 0 25 0 1 0 902738484 66490368 15322 4294967295 134512640 134716908 3221224560 3221223244 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16233 15322 1111 63 0 16170 0
vsize: 64932
[startup+230.014 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 16380 0 0 0 22939 67 0 0 25 0 1 0 902738484 70565888 16291 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17228 16291 1111 63 0 17165 0
vsize: 68912
[startup+240.015 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 17064 0 0 0 23937 70 0 0 25 0 1 0 902738484 73330688 16972 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17903 16972 1111 63 0 17840 0
vsize: 71612
[startup+250.015 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 17540 0 0 0 24936 71 0 0 25 0 1 0 902738484 75431936 17448 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18416 17448 1111 63 0 18353 0
vsize: 73664
[startup+260.017 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 17994 0 0 0 25933 74 0 0 25 0 1 0 902738484 77332480 17901 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18880 17901 1111 63 0 18817 0
vsize: 75520
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 18704 0 0 0 26931 76 0 0 25 0 1 0 902738484 80171008 18611 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19573 18611 1111 63 0 19510 0
vsize: 78292
[startup+280.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 19315 0 0 0 27929 79 0 0 25 0 1 0 902738484 82751488 19218 4294967295 134512640 134716908 3221224560 3221223164 134535876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20203 19218 1111 63 0 20140 0
vsize: 80812
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 20052 0 0 0 28926 82 0 0 25 0 1 0 902738484 85725184 19955 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20929 19955 1111 63 0 20866 0
vsize: 83716
[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 20614 0 0 0 29924 84 0 0 25 0 1 0 902738484 88158208 20517 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21523 20517 1111 63 0 21460 0
vsize: 86092
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 21226 0 0 0 30922 87 0 0 25 0 1 0 902738484 90591232 21129 4294967295 134512640 134716908 3221224560 3221223184 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22117 21129 1111 63 0 22054 0
vsize: 88468
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 21749 0 0 0 31920 90 0 0 25 0 1 0 902738484 92794880 21646 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22655 21646 1111 63 0 22592 0
vsize: 90620
[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 22176 0 0 0 32918 92 0 0 25 0 1 0 902738484 94552064 22073 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23084 22073 1111 63 0 23021 0
vsize: 92336
[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 22553 0 0 0 33918 93 0 0 25 0 1 0 902738484 96071680 22450 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23455 22450 1111 63 0 23392 0
vsize: 93820
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 22906 0 0 0 34917 94 0 0 25 0 1 0 902738484 97513472 22800 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23807 22800 1111 63 0 23744 0
vsize: 95228
[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 23303 0 0 0 35915 96 0 0 25 0 1 0 902738484 99135488 23197 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24203 23197 1111 63 0 24140 0
vsize: 96812
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 23678 0 0 0 36915 97 0 0 25 0 1 0 902738484 100626432 23572 4294967295 134512640 134716908 3221224560 3221223248 134528605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24567 23572 1111 63 0 24504 0
vsize: 98268
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 23978 0 0 0 37914 98 0 0 25 0 1 0 902738484 101871616 23870 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24871 23870 1111 63 0 24808 0
vsize: 99484
[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 24245 0 0 0 38913 100 0 0 25 0 1 0 902738484 102977536 24136 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25141 24136 1111 63 0 25078 0
vsize: 100564
[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 24450 0 0 0 39912 101 0 0 25 0 1 0 902738484 103809024 24341 4294967295 134512640 134716908 3221224560 3221223216 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25344 24341 1111 63 0 25281 0
vsize: 101376
[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 24755 0 0 0 40911 102 0 0 25 0 1 0 902738484 105062400 24646 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25650 24646 1111 63 0 25587 0
vsize: 102600
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 25010 0 0 0 41911 103 0 0 25 0 1 0 902738484 106250240 24897 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25940 24897 1111 63 0 25877 0
vsize: 103760
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 25253 0 0 0 42911 103 0 0 25 0 1 0 902738484 107208704 25139 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26174 25139 1111 63 0 26111 0
vsize: 104696
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 25467 0 0 0 43910 104 0 0 25 0 1 0 902738484 108048384 25352 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26379 25352 1111 63 0 26316 0
vsize: 105516
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 25724 0 0 0 44910 105 0 0 25 0 1 0 902738484 109174784 25608 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26654 25608 1111 63 0 26591 0
vsize: 106616
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 26011 0 0 0 45909 106 0 0 25 0 1 0 902738484 110465024 25895 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26969 25895 1111 63 0 26906 0
vsize: 107876
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 26253 0 0 0 46908 107 0 0 25 0 1 0 902738484 111411200 26137 4294967295 134512640 134716908 3221224560 3221223300 134523855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27200 26137 1111 63 0 27137 0
vsize: 108800
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 26474 0 0 0 47908 108 0 0 25 0 1 0 902738484 112357376 26358 4294967295 134512640 134716908 3221224560 3221223320 134552561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27431 26359 1111 63 0 27368 0
vsize: 109724
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 26702 0 0 0 48908 108 0 0 25 0 1 0 902738484 113303552 26586 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27662 26586 1111 63 0 27599 0
vsize: 110648
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 26867 0 0 0 49907 109 0 0 25 0 1 0 902738484 113844224 26751 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27794 26751 1111 63 0 27731 0
vsize: 111176
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 27431 0 0 0 50905 111 0 0 25 0 1 0 902738484 116142080 27315 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28355 27315 1111 63 0 28292 0
vsize: 113420
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 28009 0 0 0 51903 114 0 0 25 0 1 0 902738484 118636544 27889 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28964 27889 1111 63 0 28901 0
vsize: 115856
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 28172 0 0 0 52902 115 0 0 25 0 1 0 902738484 119312384 28051 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29129 28051 1111 63 0 29066 0
vsize: 116516
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 28796 0 0 0 53900 118 0 0 25 0 1 0 902738484 121745408 28675 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29723 28676 1111 63 0 29660 0
vsize: 118892
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 29571 0 0 0 54897 121 0 0 25 0 1 0 902738484 125050880 29450 4294967295 134512640 134716908 3221224560 3221223212 134536804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30530 29450 1111 63 0 30467 0
vsize: 122120
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 30240 0 0 0 55894 124 0 0 25 0 1 0 902738484 127762432 30119 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31192 30119 1111 63 0 31129 0
vsize: 124768
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 30808 0 0 0 56892 126 0 0 25 0 1 0 902738484 130109440 30687 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31765 30687 1111 63 0 31702 0
vsize: 127060
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 31429 0 0 0 57890 128 0 0 25 0 1 0 902738484 132743168 31308 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32408 31308 1111 63 0 32345 0
vsize: 129632
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 31988 0 0 0 58888 131 0 0 25 0 1 0 902738484 135041024 31867 4294967295 134512640 134716908 3221224560 3221223344 134529341 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32969 31867 1111 63 0 32906 0
vsize: 131876
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 32497 0 0 0 59886 133 0 0 25 0 1 0 902738484 137084928 32376 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33468 32376 1111 63 0 33405 0
vsize: 133872
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 32913 0 0 0 60885 135 0 0 25 0 1 0 902738484 138973184 32783 4294967295 134512640 134716908 3221224560 3221223248 134536716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33929 32783 1111 63 0 33866 0
vsize: 135716
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 33379 0 0 0 61883 137 0 0 25 0 1 0 902738484 140959744 33249 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34414 33249 1111 63 0 34351 0
vsize: 137656
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 33885 0 0 0 62881 139 0 0 25 0 1 0 902738484 143028224 33754 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34919 33754 1111 63 0 34856 0
vsize: 139676
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 34089 0 0 0 63881 140 0 0 25 0 1 0 902738484 143839232 33958 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35117 33958 1111 63 0 35054 0
vsize: 140468
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 34360 0 0 0 64880 141 0 0 25 0 1 0 902738484 145059840 34228 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35415 34228 1111 63 0 35352 0
vsize: 141660
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 34593 0 0 0 65879 142 0 0 25 0 1 0 902738484 146006016 34461 4294967295 134512640 134716908 3221224560 3221223328 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35646 34461 1111 63 0 35583 0
vsize: 142584
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 34841 0 0 0 66878 143 0 0 25 0 1 0 902738484 147087360 34709 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35910 34709 1111 63 0 35847 0
vsize: 143640
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 35056 0 0 0 67878 144 0 0 25 0 1 0 902738484 147898368 34924 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36108 34924 1111 63 0 36045 0
vsize: 144432
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 35264 0 0 0 68878 145 0 0 25 0 1 0 902738484 148709376 35132 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36306 35132 1111 63 0 36243 0
vsize: 145224
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 35480 0 0 0 69877 145 0 0 25 0 1 0 902738484 149655552 35348 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36537 35348 1111 63 0 36474 0
vsize: 146148
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 35983 0 0 0 70874 149 0 0 25 0 1 0 902738484 151683072 35851 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37032 35851 1111 63 0 36969 0
vsize: 148128
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 36373 0 0 0 71873 150 0 0 25 0 1 0 902738484 153305088 36241 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37428 36241 1111 63 0 37365 0
vsize: 149712
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 36636 0 0 0 72872 151 0 0 25 0 1 0 902738484 154312704 36504 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37674 36504 1111 63 0 37611 0
vsize: 150696
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 36844 0 0 0 73872 152 0 0 25 0 1 0 902738484 155164672 36712 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37882 36712 1111 63 0 37819 0
vsize: 151528
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 37044 0 0 0 74871 153 0 0 25 0 1 0 902738484 156069888 36903 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38103 36903 1111 63 0 38040 0
vsize: 152412
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 37235 0 0 0 75871 153 0 0 25 0 1 0 902738484 156897280 37093 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38305 37093 1111 63 0 38242 0
vsize: 153220
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 37388 0 0 0 76871 154 0 0 25 0 1 0 902738484 157437952 37246 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38437 37246 1111 63 0 38374 0
vsize: 153748
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 37534 0 0 0 77870 155 0 0 25 0 1 0 902738484 158031872 37392 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38582 37392 1111 63 0 38519 0
vsize: 154328
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 37704 0 0 0 78870 155 0 0 25 0 1 0 902738484 158806016 37560 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38771 37560 1111 63 0 38708 0
vsize: 155084
[startup+800.021 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 37919 0 0 0 79869 156 0 0 25 0 1 0 902738484 159731712 37771 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38997 37771 1111 63 0 38934 0
vsize: 155988
[startup+810.021 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 38262 0 0 0 80868 158 0 0 25 0 1 0 902738484 161083392 38114 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39327 38114 1111 63 0 39264 0
vsize: 157308
[startup+820.021 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 38818 0 0 0 81866 160 0 0 25 0 1 0 902738484 163381248 38670 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39888 38670 1111 63 0 39825 0
vsize: 159552
[startup+830.02 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 39163 0 0 0 82865 162 0 0 25 0 1 0 902738484 164732928 39015 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40218 39015 1111 63 0 40155 0
vsize: 160872
[startup+840.019 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 39556 0 0 0 83863 164 0 0 25 0 1 0 902738484 166420480 39403 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40630 39403 1111 63 0 40567 0
vsize: 162520
[startup+850.019 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 39743 0 0 0 84863 165 0 0 25 0 1 0 902738484 167256064 39589 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40834 39589 1111 63 0 40771 0
vsize: 163336
[startup+860.019 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 40035 0 0 0 85862 165 0 0 25 0 1 0 902738484 168472576 39881 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41131 39881 1111 63 0 41068 0
vsize: 164524
[startup+870.019 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 40279 0 0 0 86861 166 0 0 25 0 1 0 902738484 169418752 40125 4294967295 134512640 134716908 3221224560 3221223148 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41362 40125 1111 63 0 41299 0
vsize: 165448
[startup+880.019 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 40462 0 0 0 87861 167 0 0 25 0 1 0 902738484 170229760 40308 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41560 40308 1111 63 0 41497 0
vsize: 166240
[startup+890.019 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 40697 0 0 0 88861 167 0 0 25 0 1 0 902738484 171196416 40543 4294967295 134512640 134716908 3221224560 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41796 40543 1111 63 0 41733 0
vsize: 167184
[startup+900.018 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 40881 0 0 0 89860 168 0 0 25 0 1 0 902738484 172007424 40727 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41994 40727 1111 63 0 41931 0
vsize: 167976
[startup+910.018 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 41084 0 0 0 90860 169 0 0 25 0 1 0 902738484 172838912 40927 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42197 40927 1111 63 0 42134 0
vsize: 168788
[startup+920.019 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 41230 0 0 0 91860 169 0 0 25 0 1 0 902738484 173555712 41070 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42372 41070 1111 63 0 42309 0
vsize: 169488
[startup+930.019 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 41370 0 0 0 92860 170 0 0 25 0 1 0 902738484 174096384 41210 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42504 41210 1111 63 0 42441 0
vsize: 170016
[startup+940.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 41536 0 0 0 93860 170 0 0 25 0 1 0 902738484 174772224 41376 4294967295 134512640 134716908 3221224560 3221223280 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42669 41376 1111 63 0 42606 0
vsize: 170676
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 41724 0 0 0 94859 171 0 0 25 0 1 0 902738484 175628288 41560 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42878 41560 1111 63 0 42815 0
vsize: 171512
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 41869 0 0 0 95858 172 0 0 25 0 1 0 902738484 176168960 41705 4294967295 134512640 134716908 3221224560 3221223248 134535829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43010 41705 1111 63 0 42947 0
vsize: 172040
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 42034 0 0 0 96858 173 0 0 25 0 1 0 902738484 176844800 41870 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43175 41870 1111 63 0 43112 0
vsize: 172700
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 42182 0 0 0 97858 174 0 0 25 0 1 0 902738484 177385472 42018 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43307 42018 1111 63 0 43244 0
vsize: 173228
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 42334 0 0 0 98857 175 0 0 25 0 1 0 902738484 178061312 42170 4294967295 134512640 134716908 3221224560 3221223204 134536691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43472 42170 1111 63 0 43409 0
vsize: 173888
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 42489 0 0 0 99856 176 0 0 25 0 1 0 902738484 178601984 42325 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43604 42325 1111 63 0 43541 0
vsize: 174416
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 42642 0 0 0 100856 176 0 0 25 0 1 0 902738484 179277824 42478 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43769 42478 1111 63 0 43706 0
vsize: 175076
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 42802 0 0 0 101856 176 0 0 25 0 1 0 902738484 179953664 42638 4294967295 134512640 134716908 3221224560 3221223220 134536752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43934 42638 1111 63 0 43871 0
vsize: 175736
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 42958 0 0 0 102856 177 0 0 25 0 1 0 902738484 180494336 42794 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44066 42794 1111 63 0 44003 0
vsize: 176264
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 43096 0 0 0 103855 178 0 0 25 0 1 0 902738484 181035008 42932 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44198 42932 1111 63 0 44135 0
vsize: 176792
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 43243 0 0 0 104855 179 0 0 25 0 1 0 902738484 181710848 43079 4294967295 134512640 134716908 3221224560 3221223344 134529328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44363 43079 1111 63 0 44300 0
vsize: 177452
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 43385 0 0 0 105854 180 0 0 25 0 1 0 902738484 182251520 43221 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44495 43221 1111 63 0 44432 0
vsize: 177980
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 43517 0 0 0 106854 180 0 0 25 0 1 0 902738484 182796288 43353 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44628 43353 1111 63 0 44565 0
vsize: 178512
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 43644 0 0 0 107854 181 0 0 25 0 1 0 902738484 183336960 43480 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44760 43480 1111 63 0 44697 0
vsize: 179040
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 43768 0 0 0 108853 181 0 0 25 0 1 0 902738484 183742464 43604 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44859 43604 1111 63 0 44796 0
vsize: 179436
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 43879 0 0 0 109853 182 0 0 25 0 1 0 902738484 184283136 43715 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44991 43715 1111 63 0 44928 0
vsize: 179964
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 43993 0 0 0 110853 182 0 0 25 0 1 0 902738484 184688640 43829 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45090 43829 1111 63 0 45027 0
vsize: 180360
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 44101 0 0 0 111853 182 0 0 25 0 1 0 902738484 185094144 43937 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45189 43937 1111 63 0 45126 0
vsize: 180756
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 44226 0 0 0 112854 183 0 0 25 0 1 0 902738484 185712640 44061 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45340 44061 1111 63 0 45277 0
vsize: 181360
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 44344 0 0 0 113853 183 0 0 25 0 1 0 902738484 186118144 44179 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45439 44179 1111 63 0 45376 0
vsize: 181756
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 44458 0 0 0 114853 184 0 0 25 0 1 0 902738484 186658816 44293 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45571 44293 1111 63 0 45508 0
vsize: 182284
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 44587 0 0 0 115853 184 0 0 25 0 1 0 902738484 187244544 44422 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45714 44422 1111 63 0 45651 0
vsize: 182856
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 44720 0 0 0 116853 184 0 0 25 0 1 0 902738484 187650048 44555 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45813 44555 1111 63 0 45750 0
vsize: 183252
[startup+1174.73 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 32183
Raw data (stat): 32183 (bsolo_lpr_cuts-) R 32182 25568 25567 0 -1 0 44720 0 0 0 116853 184 0 0 25 0 1 0 902738484 187650048 44555 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45813 44555 1111 63 0 45750 0
vsize: 0

Child status: 0
Real time (s): 1174.73
CPU time (s): 1175.09
CPU user time (s): 1173.16
CPU system time (s): 1.9347
CPU usage (%): 100.031
Max. virtual memory (Kb): 183252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####