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-fpga30_30_sat_pb.cnf.cr.opb
MD5SUM	511f20f1868f397c99d8a26ca62146c0
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04984
Number of variables	1350
Total number of constraints	990
Number of constraints which are clauses	930
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 40596

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 16:31:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28662 boxname=wulflinc6 idbench=48 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  511f20f1868f397c99d8a26ca62146c0  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga30_30_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga30_30_sat_pb.cnf.cr.opb
IDLAUNCH: 28662
/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:        602112 kB
Buffers:         30460 kB
Cached:         381156 kB
SwapCached:        940 kB
Active:          45796 kB
Inactive:       367856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        601860 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13304 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:51:07 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28662 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1350 variables and 990 constraints.
c After prepocess the problem consists of 1350 variables and 990 constraints.
c preprocess terminated 1.968 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): 0.92 0.97 0.93 1/54 32519
Raw data (stat): 32519 (runsolver) R 32518 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903093248 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.0006 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 1994 0 0 0 990 7 0 0 25 0 1 0 903093248 11292672 1912 4294967295 134512640 134716908 3221224560 3221223288 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2757 1912 1111 63 0 2694 0
vsize: 11028
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2173 0 0 0 1989 9 0 0 25 0 1 0 903093248 11968512 2091 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2922 2091 1111 63 0 2859 0
vsize: 11688
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2286 0 0 0 2988 10 0 0 25 0 1 0 903093248 12509184 2204 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2204 1111 63 0 2991 0
vsize: 12216
[startup+40.002 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2374 0 0 0 3986 12 0 0 25 0 1 0 903093248 12894208 2292 4294967295 134512640 134716908 3221224560 3221223224 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3148 2292 1111 63 0 3085 0
vsize: 12592
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2433 0 0 0 4985 13 0 0 25 0 1 0 903093248 13156352 2351 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3212 2351 1111 63 0 3149 0
vsize: 12848
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2480 0 0 0 5984 15 0 0 25 0 1 0 903093248 13291520 2398 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3245 2398 1111 63 0 3182 0
vsize: 12980
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2553 0 0 0 6983 16 0 0 25 0 1 0 903093248 13561856 2471 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3311 2471 1111 63 0 3248 0
vsize: 13244
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2757 0 0 0 7982 18 0 0 25 0 1 0 903093248 14372864 2675 4294967295 134512640 134716908 3221224560 3221222528 134699848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3509 2675 1111 63 0 3446 0
vsize: 14036
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2859 0 0 0 8981 19 0 0 25 0 1 0 903093248 14778368 2777 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3608 2777 1111 63 0 3545 0
vsize: 14432
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2865 0 0 0 9980 20 0 0 25 0 1 0 903093248 14913536 2783 4294967295 134512640 134716908 3221224560 3221223296 134535835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2783 1111 63 0 3578 0
vsize: 14564
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2908 0 0 0 10979 22 0 0 25 0 1 0 903093248 15024128 2826 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2826 1111 63 0 3605 0
vsize: 14672
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2948 0 0 0 11978 23 0 0 25 0 1 0 903093248 15159296 2866 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3701 2866 1111 63 0 3638 0
vsize: 14804
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 2975 0 0 0 12977 25 0 0 25 0 1 0 903093248 15294464 2893 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2893 1111 63 0 3671 0
vsize: 14936
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3005 0 0 0 13976 26 0 0 25 0 1 0 903093248 15249408 2891 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3723 2891 1111 63 0 3660 0
vsize: 14892
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3057 0 0 0 14976 27 0 0 25 0 1 0 903093248 15519744 2943 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3789 2943 1111 63 0 3726 0
vsize: 15156
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3092 0 0 0 15975 28 0 0 25 0 1 0 903093248 15646720 2978 4294967295 134512640 134716908 3221224560 3221222976 134699851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3820 2978 1111 63 0 3757 0
vsize: 15280
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3106 0 0 0 16975 28 0 0 25 0 1 0 903093248 15781888 2992 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 2992 1111 63 0 3790 0
vsize: 15412
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3106 0 0 0 17974 29 0 0 25 0 1 0 903093248 15781888 2992 4294967295 134512640 134716908 3221224560 3221223328 134592098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 2992 1111 63 0 3790 0
vsize: 15412
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3106 0 0 0 18974 30 0 0 25 0 1 0 903093248 15781888 2992 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 2992 1111 63 0 3790 0
vsize: 15412
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3190 0 0 0 19973 32 0 0 25 0 1 0 903093248 16048128 3076 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 3076 1111 63 0 3855 0
vsize: 15672
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3221 0 0 0 20972 33 0 0 25 0 1 0 903093248 16183296 3107 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 3107 1111 63 0 3888 0
vsize: 15804
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3397 0 0 0 21971 34 0 0 25 0 1 0 903093248 16908288 3277 4294967295 134512640 134716908 3221224560 3221223344 134528807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4128 3277 1111 63 0 4065 0
vsize: 16512
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3683 0 0 0 22969 36 0 0 25 0 1 0 903093248 18108416 3563 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4421 3563 1111 63 0 4358 0
vsize: 17684
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3839 0 0 0 23967 38 0 0 25 0 1 0 903093248 18632704 3719 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4549 3719 1111 63 0 4486 0
vsize: 18196
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 3913 0 0 0 24965 41 0 0 25 0 1 0 903093248 19013632 3793 4294967295 134512640 134716908 3221224560 3221223232 134542968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4642 3793 1111 63 0 4579 0
vsize: 18568
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4040 0 0 0 25964 43 0 0 25 0 1 0 903093248 19554304 3920 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 3920 1111 63 0 4711 0
vsize: 19096
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4217 0 0 0 26961 46 0 0 25 0 1 0 903093248 20189184 4097 4294967295 134512640 134716908 3221224560 3221223248 134542884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4929 4097 1111 63 0 4866 0
vsize: 19716
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4306 0 0 0 27960 47 0 0 25 0 1 0 903093248 20594688 4186 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5028 4186 1111 63 0 4965 0
vsize: 20112
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4373 0 0 0 28959 49 0 0 25 0 1 0 903093248 20860928 4253 4294967295 134512640 134716908 3221224560 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5093 4253 1111 63 0 5030 0
vsize: 20372
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4434 0 0 0 29959 49 0 0 25 0 1 0 903093248 21102592 4314 4294967295 134512640 134716908 3221224560 3221223128 1077377641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5152 4314 1111 63 0 5089 0
vsize: 20608
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4557 0 0 0 30957 51 0 0 25 0 1 0 903093248 21618688 4437 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5278 4437 1111 63 0 5215 0
vsize: 21112
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4631 0 0 0 31956 52 0 0 25 0 1 0 903093248 21889024 4511 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5344 4511 1111 63 0 5281 0
vsize: 21376
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4676 0 0 0 32955 54 0 0 25 0 1 0 903093248 22159360 4556 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4556 1111 63 0 5347 0
vsize: 21640
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4784 0 0 0 33954 55 0 0 25 0 1 0 903093248 22560768 4664 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5508 4664 1111 63 0 5445 0
vsize: 22032
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4841 0 0 0 34953 57 0 0 25 0 1 0 903093248 22831104 4721 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4721 1111 63 0 5511 0
vsize: 22296
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4873 0 0 0 35952 58 0 0 25 0 1 0 903093248 22966272 4753 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5607 4753 1111 63 0 5544 0
vsize: 22428
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4900 0 0 0 36950 60 0 0 25 0 1 0 903093248 23080960 4780 4294967295 134512640 134716908 3221224560 3221223220 134536752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5635 4780 1111 63 0 5572 0
vsize: 22540
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4935 0 0 0 37950 61 0 0 25 0 1 0 903093248 23216128 4815 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 4815 1111 63 0 5605 0
vsize: 22672
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 4969 0 0 0 38949 62 0 0 25 0 1 0 903093248 23351296 4849 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5701 4849 1111 63 0 5638 0
vsize: 22804
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5006 0 0 0 39948 64 0 0 25 0 1 0 903093248 23486464 4886 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5734 4886 1111 63 0 5671 0
vsize: 22936
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5076 0 0 0 40947 65 0 0 25 0 1 0 903093248 23748608 4956 4294967295 134512640 134716908 3221224560 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5798 4956 1111 63 0 5735 0
vsize: 23192
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5163 0 0 0 41946 67 0 0 25 0 1 0 903093248 24125440 5043 4294967295 134512640 134716908 3221224560 3221223232 1077378651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5890 5043 1111 63 0 5827 0
vsize: 23560
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5177 0 0 0 42945 68 0 0 25 0 1 0 903093248 24125440 5057 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5890 5057 1111 63 0 5827 0
vsize: 23560
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5194 0 0 0 43944 70 0 0 25 0 1 0 903093248 24207360 5074 4294967295 134512640 134716908 3221224560 3221223052 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5910 5074 1111 63 0 5847 0
vsize: 23640
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5203 0 0 0 44943 71 0 0 25 0 1 0 903093248 24342528 5083 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5943 5083 1111 63 0 5880 0
vsize: 23772
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5225 0 0 0 45942 72 0 0 25 0 1 0 903093248 24342528 5105 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5943 5105 1111 63 0 5880 0
vsize: 23772
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5260 0 0 0 46941 73 0 0 25 0 1 0 903093248 24477696 5140 4294967295 134512640 134716908 3221224560 3221222972 1077379889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 5140 1111 63 0 5913 0
vsize: 23904
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5290 0 0 0 47939 76 0 0 25 0 1 0 903093248 24592384 5170 4294967295 134512640 134716908 3221224560 3221223212 134536848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6004 5170 1111 63 0 5941 0
vsize: 24016
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5310 0 0 0 48938 77 0 0 25 0 1 0 903093248 24723456 5190 4294967295 134512640 134716908 3221224560 3221223320 134592385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6036 5190 1111 63 0 5973 0
vsize: 24144
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5346 0 0 0 49937 78 0 0 25 0 1 0 903093248 24854528 5226 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5226 1111 63 0 6005 0
vsize: 24272
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5371 0 0 0 50936 80 0 0 25 0 1 0 903093248 24940544 5251 4294967295 134512640 134716908 3221224560 3221223200 134698446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6089 5251 1111 63 0 6026 0
vsize: 24356
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5371 0 0 0 51934 82 0 0 25 0 1 0 903093248 24940544 5251 4294967295 134512640 134716908 3221224560 3221223200 134698412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6089 5251 1111 63 0 6026 0
vsize: 24356
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5398 0 0 0 52933 84 0 0 25 0 1 0 903093248 25063424 5278 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6119 5278 1111 63 0 6056 0
vsize: 24476
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5544 0 0 0 53932 85 0 0 25 0 1 0 903093248 25739264 5424 4294967295 134512640 134716908 3221224560 3221223152 134698434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6284 5424 1111 63 0 6221 0
vsize: 25136
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5666 0 0 0 54930 87 0 0 25 0 1 0 903093248 26132480 5546 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6380 5546 1111 63 0 6317 0
vsize: 25520
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5726 0 0 0 55929 88 0 0 25 0 1 0 903093248 26386432 5606 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6442 5606 1111 63 0 6379 0
vsize: 25768
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5788 0 0 0 56928 89 0 0 25 0 1 0 903093248 26738688 5668 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6528 5668 1111 63 0 6465 0
vsize: 26112
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5884 0 0 0 57928 91 0 0 25 0 1 0 903093248 27009024 5764 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6594 5764 1111 63 0 6531 0
vsize: 26376
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 5942 0 0 0 58926 93 0 0 25 0 1 0 903093248 27279360 5822 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6660 5822 1111 63 0 6597 0
vsize: 26640
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6064 0 0 0 59925 94 0 0 25 0 1 0 903093248 27811840 5944 4294967295 134512640 134716908 3221224560 3221223212 1076530932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6790 5944 1111 63 0 6727 0
vsize: 27160
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6123 0 0 0 60924 95 0 0 25 0 1 0 903093248 28016640 6003 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6840 6003 1111 63 0 6777 0
vsize: 27360
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6177 0 0 0 61923 97 0 0 25 0 1 0 903093248 28286976 6057 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6906 6057 1111 63 0 6843 0
vsize: 27624
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6201 0 0 0 62923 97 0 0 25 0 1 0 903093248 28422144 6081 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 6081 1111 63 0 6876 0
vsize: 27756
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6247 0 0 0 63922 98 0 0 25 0 1 0 903093248 28545024 6127 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6969 6127 1111 63 0 6906 0
vsize: 27876
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6301 0 0 0 64921 100 0 0 25 0 1 0 903093248 28815360 6181 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7035 6181 1111 63 0 6972 0
vsize: 28140
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6424 0 0 0 65920 101 0 0 25 0 1 0 903093248 29278208 6304 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7148 6304 1111 63 0 7085 0
vsize: 28592
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6580 0 0 0 66919 102 0 0 25 0 1 0 903093248 29954048 6460 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7313 6460 1111 63 0 7250 0
vsize: 29252
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6663 0 0 0 67918 104 0 0 25 0 1 0 903093248 30224384 6543 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7379 6543 1111 63 0 7316 0
vsize: 29516
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6691 0 0 0 68917 105 0 0 25 0 1 0 903093248 30359552 6571 4294967295 134512640 134716908 3221224560 3221223248 134542836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7412 6571 1111 63 0 7349 0
vsize: 29648
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6743 0 0 0 69916 106 0 0 25 0 1 0 903093248 30588928 6623 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7468 6623 1111 63 0 7405 0
vsize: 29872
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6768 0 0 0 70916 107 0 0 25 0 1 0 903093248 30715904 6648 4294967295 134512640 134716908 3221224560 3221223316 134655251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7499 6648 1111 63 0 7436 0
vsize: 29996
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 6915 0 0 0 71915 108 0 0 25 0 1 0 903093248 31256576 6795 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7631 6795 1111 63 0 7568 0
vsize: 30524
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7063 0 0 0 72914 110 0 0 25 0 1 0 903093248 31932416 6943 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7796 6943 1111 63 0 7733 0
vsize: 31184
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7143 0 0 0 73913 111 0 0 25 0 1 0 903093248 32202752 7023 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7862 7023 1111 63 0 7799 0
vsize: 31448
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7207 0 0 0 74912 112 0 0 25 0 1 0 903093248 32473088 7087 4294967295 134512640 134716908 3221224560 3221223056 1076648114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7928 7087 1111 63 0 7865 0
vsize: 31712
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7263 0 0 0 75911 114 0 0 25 0 1 0 903093248 32743424 7143 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7994 7143 1111 63 0 7931 0
vsize: 31976
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7342 0 0 0 76910 115 0 0 25 0 1 0 903093248 32976896 7222 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8051 7222 1111 63 0 7988 0
vsize: 32204
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7371 0 0 0 77909 116 0 0 25 0 1 0 903093248 33107968 7251 4294967295 134512640 134716908 3221224560 3221223088 134535391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 7251 1111 63 0 8020 0
vsize: 32332
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7456 0 0 0 78909 118 0 0 25 0 1 0 903093248 33509376 7336 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8181 7336 1111 63 0 8118 0
vsize: 32724
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7555 0 0 0 79907 120 0 0 25 0 1 0 903093248 33910784 7435 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8279 7435 1111 63 0 8216 0
vsize: 33116
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7607 0 0 0 80906 121 0 0 25 0 1 0 903093248 34164736 7487 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8341 7487 1111 63 0 8278 0
vsize: 33364
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7648 0 0 0 81905 122 0 0 25 0 1 0 903093248 34295808 7528 4294967295 134512640 134716908 3221224560 3221223136 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8373 7528 1111 63 0 8310 0
vsize: 33492
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7701 0 0 0 82904 123 0 0 25 0 1 0 903093248 34533376 7581 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8431 7581 1111 63 0 8368 0
vsize: 33724
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7719 0 0 0 83904 124 0 0 25 0 1 0 903093248 34533376 7599 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8431 7599 1111 63 0 8368 0
vsize: 33724
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7719 0 0 0 84903 125 0 0 25 0 1 0 903093248 34533376 7599 4294967295 134512640 134716908 3221224560 3221223316 134592415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8431 7599 1111 63 0 8368 0
vsize: 33724
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7770 0 0 0 85903 126 0 0 25 0 1 0 903093248 34803712 7650 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8497 7650 1111 63 0 8434 0
vsize: 33988
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7788 0 0 0 86902 127 0 0 25 0 1 0 903093248 34803712 7668 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8497 7668 1111 63 0 8434 0
vsize: 33988
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7812 0 0 0 87901 128 0 0 25 0 1 0 903093248 34938880 7692 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8530 7692 1111 63 0 8467 0
vsize: 34120
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7914 0 0 0 88900 129 0 0 25 0 1 0 903093248 35344384 7794 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8629 7794 1111 63 0 8566 0
vsize: 34516
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7951 0 0 0 89900 130 0 0 25 0 1 0 903093248 35479552 7831 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8662 7831 1111 63 0 8599 0
vsize: 34648
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7960 0 0 0 90899 131 0 0 25 0 1 0 903093248 35614720 7840 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8695 7840 1111 63 0 8632 0
vsize: 34780
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 7998 0 0 0 91899 132 0 0 25 0 1 0 903093248 35733504 7878 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8724 7878 1111 63 0 8661 0
vsize: 34896
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8012 0 0 0 92898 133 0 0 25 0 1 0 903093248 35733504 7892 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8724 7892 1111 63 0 8661 0
vsize: 34896
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8090 0 0 0 93897 134 0 0 25 0 1 0 903093248 36126720 7970 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8820 7970 1111 63 0 8757 0
vsize: 35280
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8120 0 0 0 94896 136 0 0 25 0 1 0 903093248 36261888 8000 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 8000 1111 63 0 8790 0
vsize: 35412
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8159 0 0 0 95895 138 0 0 25 0 1 0 903093248 36397056 8039 4294967295 134512640 134716908 3221224560 3221223228 134551608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8039 1111 63 0 8823 0
vsize: 35544
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8177 0 0 0 96894 139 0 0 25 0 1 0 903093248 36507648 8057 4294967295 134512640 134716908 3221224560 3221223116 134535671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8913 8057 1111 63 0 8850 0
vsize: 35652
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8198 0 0 0 97894 140 0 0 25 0 1 0 903093248 36507648 8078 4294967295 134512640 134716908 3221224560 3221222736 134699602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8913 8079 1111 63 0 8850 0
vsize: 35652
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8214 0 0 0 98893 141 0 0 25 0 1 0 903093248 36642816 8094 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 8094 1111 63 0 8883 0
vsize: 35784
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8226 0 0 0 99892 142 0 0 25 0 1 0 903093248 36642816 8106 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 8106 1111 63 0 8883 0
vsize: 35784
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8259 0 0 0 100892 143 0 0 25 0 1 0 903093248 36777984 8139 4294967295 134512640 134716908 3221224560 3221223088 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8979 8139 1111 63 0 8916 0
vsize: 35916
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8282 0 0 0 101890 145 0 0 25 0 1 0 903093248 36913152 8162 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9012 8162 1111 63 0 8949 0
vsize: 36048
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8283 0 0 0 102890 145 0 0 25 0 1 0 903093248 36913152 8163 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9012 8163 1111 63 0 8949 0
vsize: 36048
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8329 0 0 0 103890 146 0 0 25 0 1 0 903093248 37019648 8209 4294967295 134512640 134716908 3221224560 3221223304 134558544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9038 8209 1111 63 0 8975 0
vsize: 36152
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8354 0 0 0 104889 147 0 0 25 0 1 0 903093248 37154816 8234 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9071 8234 1111 63 0 9008 0
vsize: 36284
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8379 0 0 0 105888 148 0 0 25 0 1 0 903093248 37289984 8259 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9104 8259 1111 63 0 9041 0
vsize: 36416
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8427 0 0 0 106887 149 0 0 25 0 1 0 903093248 37515264 8307 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9159 8307 1111 63 0 9096 0
vsize: 36636
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8452 0 0 0 107887 150 0 0 25 0 1 0 903093248 37642240 8332 4294967295 134512640 134716908 3221224560 3221223240 134552633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9190 8332 1111 63 0 9127 0
vsize: 36760
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8460 0 0 0 108886 151 0 0 25 0 1 0 903093248 37642240 8340 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9190 8340 1111 63 0 9127 0
vsize: 36760
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8584 0 0 0 109885 153 0 0 25 0 1 0 903093248 38182912 8464 4294967295 134512640 134716908 3221224560 3221223248 134528420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9322 8464 1111 63 0 9259 0
vsize: 37288
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8598 0 0 0 110884 154 0 0 25 0 1 0 903093248 38182912 8478 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9322 8478 1111 63 0 9259 0
vsize: 37288
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8620 0 0 0 111883 156 0 0 25 0 1 0 903093248 38318080 8500 4294967295 134512640 134716908 3221224560 3221223100 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 8500 1111 63 0 9292 0
vsize: 37420
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8643 0 0 0 112883 157 0 0 25 0 1 0 903093248 38318080 8523 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 8523 1111 63 0 9292 0
vsize: 37420
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8662 0 0 0 113882 158 0 0 25 0 1 0 903093248 38453248 8542 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 8542 1111 63 0 9325 0
vsize: 37552
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8699 0 0 0 114881 159 0 0 25 0 1 0 903093248 38588416 8579 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9421 8579 1111 63 0 9358 0
vsize: 37684
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8719 0 0 0 115881 160 0 0 25 0 1 0 903093248 38723584 8599 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9454 8599 1111 63 0 9391 0
vsize: 37816
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8809 0 0 0 116880 161 0 0 25 0 1 0 903093248 39100416 8689 4294967295 134512640 134716908 3221224560 3221223144 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9546 8689 1111 63 0 9483 0
vsize: 38184
[startup+1174.67 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 32519
Raw data (stat): 32519 (bsolo_lpr_cuts-) R 32518 25568 25567 0 -1 0 8809 0 0 0 116880 161 0 0 25 0 1 0 903093248 39100416 8689 4294967295 134512640 134716908 3221224560 3221223144 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9546 8689 1111 63 0 9483 0
vsize: 0

Child status: 0
Real time (s): 1174.67
CPU time (s): 1175.03
CPU user time (s): 1173.39
CPU system time (s): 1.63975
CPU usage (%): 100.031
Max. virtual memory (Kb): 38184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####