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-fpga10_8_sat_pb.cnf.cr.opb
MD5SUM	159220fb0573bb17ad11cefe6a440cec
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	11
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.040992
Number of variables	120
Total number of constraints	106
Number of constraints which are clauses	88
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	10
Trace number 40573

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 15:15:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28637 boxname=wulflinc1 idbench=23 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  159220fb0573bb17ad11cefe6a440cec  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga10_8_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga10_8_sat_pb.cnf.cr.opb
IDLAUNCH: 28637
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        868284 kB
Buffers:         15456 kB
Cached:         126676 kB
SwapCached:       1144 kB
Active:          26688 kB
Inactive:       117656 kB
HighTotal:      131008 kB
HighFree:         5124 kB
LowTotal:       903652 kB
LowFree:        863160 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16140 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:34:59 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28637 7 1175.13 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 120 variables and 106 constraints.
c After prepocess the problem consists of 120 variables and 106 constraints.
c preprocess terminated 0.059 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/55 23944
Raw data (stat): 23944 (runsolver) R 23943 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 845780354 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 3144 0 0 0 984 13 0 0 25 0 1 0 845780354 16015360 3062 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3910 3062 1111 63 0 3847 0
vsize: 15640
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 4198 0 0 0 1979 18 0 0 25 0 1 0 845780354 20381696 4116 4294967295 134512640 134716908 3221224560 3221223184 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4976 4116 1111 63 0 4913 0
vsize: 19904
[startup+30.0046 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 5304 0 0 0 2974 23 0 0 25 0 1 0 845780354 24875008 5221 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6073 5221 1111 63 0 6010 0
vsize: 24292
[startup+40.0043 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 6048 0 0 0 3971 26 0 0 25 0 1 0 845780354 27992064 5964 4294967295 134512640 134716908 3221224560 3221223324 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 5964 1111 63 0 6771 0
vsize: 27336
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 6698 0 0 0 4967 30 0 0 25 0 1 0 845780354 30707712 6612 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7497 6612 1111 63 0 7434 0
vsize: 29988
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 7239 0 0 0 5965 33 0 0 25 0 1 0 845780354 32870400 7153 4294967295 134512640 134716908 3221224560 3221223248 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8025 7153 1111 63 0 7962 0
vsize: 32100
[startup+70.0057 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 8380 0 0 0 6960 38 0 0 25 0 1 0 845780354 37601280 8294 4294967295 134512640 134716908 3221224560 3221223056 134535427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9180 8294 1111 63 0 9117 0
vsize: 36720
[startup+80.0065 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 9118 0 0 0 7956 42 0 0 25 0 1 0 845780354 40603648 9031 4294967295 134512640 134716908 3221224560 3221223200 134539419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9913 9031 1111 63 0 9850 0
vsize: 39652
[startup+90.0063 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 10290 0 0 0 8952 46 0 0 25 0 1 0 845780354 45469696 10203 4294967295 134512640 134716908 3221224560 3221223328 134529115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11101 10203 1111 63 0 11038 0
vsize: 44404
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 11118 0 0 0 9948 50 0 0 25 0 1 0 845780354 48857088 11030 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11928 11030 1111 63 0 11865 0
vsize: 47712
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 11905 0 0 0 10946 53 0 0 25 0 1 0 845780354 52121600 11815 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12725 11815 1111 63 0 12662 0
vsize: 50900
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 12571 0 0 0 11943 56 0 0 25 0 1 0 845780354 54824960 12481 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13385 12481 1111 63 0 13322 0
vsize: 53540
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 13260 0 0 0 12940 59 0 0 25 0 1 0 845780354 57630720 13166 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14070 13166 1111 63 0 14007 0
vsize: 56280
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 13554 0 0 0 13939 60 0 0 25 0 1 0 845780354 58855424 13458 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14369 13458 1111 63 0 14306 0
vsize: 57476
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 13865 0 0 0 14938 61 0 0 25 0 1 0 845780354 60260352 13768 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14712 13768 1111 63 0 14649 0
vsize: 58848
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 14663 0 0 0 15935 64 0 0 25 0 1 0 845780354 63516672 14565 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15507 14565 1111 63 0 15444 0
vsize: 62028
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 15187 0 0 0 16934 66 0 0 25 0 1 0 845780354 65822720 15088 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16070 15088 1111 63 0 16007 0
vsize: 64280
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 15558 0 0 0 17932 67 0 0 25 0 1 0 845780354 67313664 15459 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16434 15459 1111 63 0 16371 0
vsize: 65736
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 15890 0 0 0 18932 68 0 0 25 0 1 0 845780354 68665344 15791 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16764 15791 1111 63 0 16701 0
vsize: 67056
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 16235 0 0 0 19931 70 0 0 25 0 1 0 845780354 70017024 16136 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17094 16136 1111 63 0 17031 0
vsize: 68376
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 16971 0 0 0 20927 73 0 0 25 0 1 0 845780354 72990720 16872 4294967295 134512640 134716908 3221224560 3221223212 134536848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17820 16872 1111 63 0 17757 0
vsize: 71280
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 17663 0 0 0 21925 76 0 0 25 0 1 0 845780354 75980800 17564 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18550 17564 1111 63 0 18487 0
vsize: 74200
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 18150 0 0 0 22923 78 0 0 25 0 1 0 845780354 77873152 18050 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19012 18050 1111 63 0 18949 0
vsize: 76048
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 18750 0 0 0 23919 82 0 0 25 0 1 0 845780354 80441344 18650 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19639 18650 1111 63 0 19576 0
vsize: 78556
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 19370 0 0 0 24917 84 0 0 25 0 1 0 845780354 82874368 19270 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20233 19270 1111 63 0 20170 0
vsize: 80932
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 19785 0 0 0 25915 86 0 0 25 0 1 0 845780354 84631552 19683 4294967295 134512640 134716908 3221224560 3221223264 134528576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20662 19683 1111 63 0 20599 0
vsize: 82648
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 20128 0 0 0 26914 88 0 0 25 0 1 0 845780354 85983232 20026 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20992 20026 1111 63 0 20929 0
vsize: 83968
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 20722 0 0 0 27912 90 0 0 25 0 1 0 845780354 88453120 20619 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21595 20619 1111 63 0 21532 0
vsize: 86380
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 21089 0 0 0 28910 92 0 0 25 0 1 0 845780354 89989120 20985 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21970 20985 1111 63 0 21907 0
vsize: 87880
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 21543 0 0 0 29908 94 0 0 25 0 1 0 845780354 91881472 21439 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22432 21439 1111 63 0 22369 0
vsize: 89728
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 21928 0 0 0 30906 97 0 0 25 0 1 0 845780354 93528064 21824 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22834 21824 1111 63 0 22771 0
vsize: 91336
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 22399 0 0 0 31904 99 0 0 25 0 1 0 845780354 95424512 22295 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23297 22295 1111 63 0 23234 0
vsize: 93188
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 22746 0 0 0 32902 101 0 0 25 0 1 0 845780354 96911360 22642 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23660 22642 1111 63 0 23597 0
vsize: 94640
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 23121 0 0 0 33901 102 0 0 25 0 1 0 845780354 98406400 23016 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24025 23016 1111 63 0 23962 0
vsize: 96100
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 23566 0 0 0 34899 104 0 0 25 0 1 0 845780354 100298752 23461 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24487 23461 1111 63 0 24424 0
vsize: 97948
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 23897 0 0 0 35898 106 0 0 25 0 1 0 845780354 101679104 23792 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24824 23792 1111 63 0 24761 0
vsize: 99296
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 24291 0 0 0 36897 106 0 0 25 0 1 0 845780354 103165952 24186 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25187 24186 1111 63 0 25124 0
vsize: 100748
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 24702 0 0 0 37896 108 0 0 25 0 1 0 845780354 104984576 24593 4294967295 134512640 134716908 3221224560 3221223296 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25631 24593 1111 63 0 25568 0
vsize: 102524
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 25056 0 0 0 38895 109 0 0 25 0 1 0 845780354 106336256 24947 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25961 24947 1111 63 0 25898 0
vsize: 103844
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 25399 0 0 0 39893 111 0 0 25 0 1 0 845780354 107827200 25290 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26325 25290 1111 63 0 26262 0
vsize: 105300
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 25769 0 0 0 40892 112 0 0 25 0 1 0 845780354 109314048 25660 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26688 25660 1111 63 0 26625 0
vsize: 106752
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 26103 0 0 0 41891 114 0 0 25 0 1 0 845780354 110731264 25993 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27034 25993 1111 63 0 26971 0
vsize: 108136
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 26442 0 0 0 42889 116 0 0 25 0 1 0 845780354 112082944 26332 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27364 26332 1111 63 0 27301 0
vsize: 109456
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 26748 0 0 0 43888 117 0 0 25 0 1 0 845780354 113442816 26638 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27696 26638 1111 63 0 27633 0
vsize: 110784
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 27012 0 0 0 44886 119 0 0 25 0 1 0 845780354 114524160 26902 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27960 26902 1111 63 0 27897 0
vsize: 111840
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 27266 0 0 0 45885 120 0 0 25 0 1 0 845780354 115470336 27155 4294967295 134512640 134716908 3221224560 3221223332 134529375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28191 27155 1111 63 0 28128 0
vsize: 112764
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 27481 0 0 0 46884 121 0 0 25 0 1 0 845780354 116416512 27369 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28422 27369 1111 63 0 28359 0
vsize: 113688
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 27779 0 0 0 47883 123 0 0 25 0 1 0 845780354 117641216 27666 4294967295 134512640 134716908 3221224560 3221223336 134529371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28721 27666 1111 63 0 28658 0
vsize: 114884
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 27994 0 0 0 48882 123 0 0 25 0 1 0 845780354 118599680 27878 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28955 27878 1111 63 0 28892 0
vsize: 115820
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 28212 0 0 0 49882 124 0 0 25 0 1 0 845780354 119443456 28093 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29161 28093 1111 63 0 29098 0
vsize: 116644
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 28550 0 0 0 50880 126 0 0 25 0 1 0 845780354 120946688 28428 4294967295 134512640 134716908 3221224560 3221223048 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29528 28428 1111 63 0 29465 0
vsize: 118112
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 28828 0 0 0 51879 127 0 0 25 0 1 0 845780354 122040320 28705 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29795 28705 1111 63 0 29732 0
vsize: 119180
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 29086 0 0 0 52878 128 0 0 25 0 1 0 845780354 123174912 28963 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30072 28963 1111 63 0 30009 0
vsize: 120288
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 29322 0 0 0 53877 129 0 0 25 0 1 0 845780354 124121088 29199 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30303 29199 1111 63 0 30240 0
vsize: 121212
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 29519 0 0 0 54876 130 0 0 25 0 1 0 845780354 124932096 29396 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30501 29396 1111 63 0 30438 0
vsize: 122004
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 29758 0 0 0 55876 131 0 0 25 0 1 0 845780354 125911040 29634 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30740 29634 1111 63 0 30677 0
vsize: 122960
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 30062 0 0 0 56875 132 0 0 25 0 1 0 845780354 127139840 29938 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31040 29938 1111 63 0 30977 0
vsize: 124160
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 30294 0 0 0 57874 134 0 0 25 0 1 0 845780354 128102400 30170 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31275 30170 1111 63 0 31212 0
vsize: 125100
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 30542 0 0 0 58872 135 0 0 25 0 1 0 845780354 129118208 30414 4294967295 134512640 134716908 3221224560 3221223168 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31523 30414 1111 63 0 31460 0
vsize: 126092
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 30751 0 0 0 59871 137 0 0 25 0 1 0 845780354 130064384 30623 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31754 30623 1111 63 0 31691 0
vsize: 127016
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 30985 0 0 0 60871 137 0 0 25 0 1 0 845780354 131010560 30857 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31985 30857 1111 63 0 31922 0
vsize: 127940
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 31150 0 0 0 61870 138 0 0 25 0 1 0 845780354 131588096 31022 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32126 31022 1111 63 0 32063 0
vsize: 128504
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 31287 0 0 0 62870 139 0 0 25 0 1 0 845780354 132128768 31159 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32258 31159 1111 63 0 32195 0
vsize: 129032
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 31500 0 0 0 63869 139 0 0 25 0 1 0 845780354 133074944 31372 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32489 31372 1111 63 0 32426 0
vsize: 129956
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 31749 0 0 0 64868 141 0 0 25 0 1 0 845780354 134021120 31621 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32720 31621 1111 63 0 32657 0
vsize: 130880
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 32025 0 0 0 65867 142 0 0 25 0 1 0 845780354 135237632 31897 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33017 31897 1111 63 0 32954 0
vsize: 132068
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 32251 0 0 0 66866 143 0 0 25 0 1 0 845780354 136060928 32122 4294967295 134512640 134716908 3221224560 3221223132 134535488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33218 32122 1111 63 0 33155 0
vsize: 132872
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 32442 0 0 0 67866 143 0 0 25 0 1 0 845780354 136949760 32312 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33435 32312 1111 63 0 33372 0
vsize: 133740
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 32712 0 0 0 68866 144 0 0 25 0 1 0 845780354 138031104 32582 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33699 32582 1111 63 0 33636 0
vsize: 134796
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 32918 0 0 0 69865 145 0 0 25 0 1 0 845780354 138911744 32788 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33914 32788 1111 63 0 33851 0
vsize: 135656
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 33204 0 0 0 70864 146 0 0 25 0 1 0 845780354 140226560 33066 4294967295 134512640 134716908 3221224560 3221223216 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34235 33066 1111 63 0 34172 0
vsize: 136940
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 33409 0 0 0 71863 147 0 0 25 0 1 0 845780354 141103104 33270 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34449 33270 1111 63 0 34386 0
vsize: 137796
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 33582 0 0 0 72863 148 0 0 25 0 1 0 845780354 141803520 33443 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34620 33443 1111 63 0 34557 0
vsize: 138480
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 33734 0 0 0 73862 149 0 0 25 0 1 0 845780354 142479360 33595 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34785 33596 1111 63 0 34722 0
vsize: 139140
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 33877 0 0 0 74861 150 0 0 25 0 1 0 845780354 143036416 33737 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34921 33737 1111 63 0 34858 0
vsize: 139684
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 34028 0 0 0 75861 150 0 0 25 0 1 0 845780354 143720448 33887 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35088 33887 1111 63 0 35025 0
vsize: 140352
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 34216 0 0 0 76859 152 0 0 25 0 1 0 845780354 144396288 34075 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35253 34075 1111 63 0 35190 0
vsize: 141012
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 34437 0 0 0 77859 153 0 0 25 0 1 0 845780354 145342464 34296 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35484 34296 1111 63 0 35421 0
vsize: 141936
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 34652 0 0 0 78858 154 0 0 25 0 1 0 845780354 146219008 34505 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35698 34505 1111 63 0 35635 0
vsize: 142792
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 34896 0 0 0 79857 154 0 0 25 0 1 0 845780354 147300352 34749 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35962 34749 1111 63 0 35899 0
vsize: 143848
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 35157 0 0 0 80857 155 0 0 25 0 1 0 845780354 148381696 35010 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36226 35010 1111 63 0 36163 0
vsize: 144904
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 35420 0 0 0 81856 156 0 0 25 0 1 0 845780354 149463040 35273 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36490 35273 1111 63 0 36427 0
vsize: 145960
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 35636 0 0 0 82855 157 0 0 25 0 1 0 845780354 150274048 35488 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36688 35488 1111 63 0 36625 0
vsize: 146752
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 35848 0 0 0 83854 158 0 0 25 0 1 0 845780354 151085056 35700 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36886 35700 1111 63 0 36823 0
vsize: 147544
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 36040 0 0 0 84853 159 0 0 25 0 1 0 845780354 151912448 35892 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37088 35892 1111 63 0 37025 0
vsize: 148352
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 36262 0 0 0 85852 160 0 0 25 0 1 0 845780354 152862720 36114 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37320 36114 1111 63 0 37257 0
vsize: 149280
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 36531 0 0 0 86850 163 0 0 25 0 1 0 845780354 154009600 36374 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37600 36374 1111 63 0 37537 0
vsize: 150400
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 36851 0 0 0 87849 164 0 0 25 0 1 0 845780354 155361280 36694 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37930 36694 1111 63 0 37867 0
vsize: 151720
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 37168 0 0 0 88847 166 0 0 25 0 1 0 845780354 156622848 37011 4294967295 134512640 134716908 3221224560 3221223188 134536674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38238 37011 1111 63 0 38175 0
vsize: 152952
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 37467 0 0 0 89846 167 0 0 25 0 1 0 845780354 157855744 37309 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38539 37309 1111 63 0 38476 0
vsize: 154156
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 37742 0 0 0 90845 169 0 0 25 0 1 0 845780354 159129600 37584 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38850 37584 1111 63 0 38787 0
vsize: 155400
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 38010 0 0 0 91844 170 0 0 25 0 1 0 845780354 160276480 37843 4294967295 134512640 134716908 3221224560 3221223264 134528625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39130 37843 1111 63 0 39067 0
vsize: 156520
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 38233 0 0 0 92843 171 0 0 25 0 1 0 845780354 161222656 38066 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39361 38066 1111 63 0 39298 0
vsize: 157444
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 38427 0 0 0 93842 172 0 0 25 0 1 0 845780354 162103296 38259 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39576 38259 1111 63 0 39513 0
vsize: 158304
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 38566 0 0 0 94841 173 0 0 25 0 1 0 845780354 162672640 38396 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39715 38396 1111 63 0 39652 0
vsize: 158860
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 38683 0 0 0 95841 173 0 0 25 0 1 0 845780354 163115008 38512 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39823 38512 1111 63 0 39760 0
vsize: 159292
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 38790 0 0 0 96841 174 0 0 25 0 1 0 845780354 163520512 38619 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39922 38619 1111 63 0 39859 0
vsize: 159688
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 38989 0 0 0 97840 175 0 0 25 0 1 0 845780354 164331520 38818 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40120 38818 1111 63 0 40057 0
vsize: 160480
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 39195 0 0 0 98839 176 0 0 25 0 1 0 845780354 165208064 39024 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40334 39024 1111 63 0 40271 0
vsize: 161336
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 39405 0 0 0 99838 177 0 0 25 0 1 0 845780354 166019072 39234 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40532 39234 1111 63 0 40469 0
vsize: 162128
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 39600 0 0 0 100837 178 0 0 25 0 1 0 845780354 166830080 39429 4294967295 134512640 134716908 3221224560 3221223228 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40730 39429 1111 63 0 40667 0
vsize: 162920
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 39779 0 0 0 101836 179 0 0 25 0 1 0 845780354 167505920 39608 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40895 39608 1111 63 0 40832 0
vsize: 163580
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 39983 0 0 0 102836 180 0 0 25 0 1 0 845780354 168452096 39812 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41126 39812 1111 63 0 41063 0
vsize: 164504
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 40380 0 0 0 103834 182 0 0 25 0 1 0 845780354 169938944 40209 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41489 40209 1111 63 0 41426 0
vsize: 165956
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 40573 0 0 0 104833 183 0 0 25 0 1 0 845780354 170749952 40402 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41687 40402 1111 63 0 41624 0
vsize: 166748
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 40875 0 0 0 105832 184 0 0 25 0 1 0 845780354 171954176 40622 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41981 40622 1111 63 0 41918 0
vsize: 167924
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 41061 0 0 0 106832 185 0 0 25 0 1 0 845780354 172765184 40808 4294967295 134512640 134716908 3221224560 3221223332 134529275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42179 40808 1111 63 0 42116 0
vsize: 168716
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 41211 0 0 0 107831 185 0 0 25 0 1 0 845780354 173490176 40958 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42356 40958 1111 63 0 42293 0
vsize: 169424
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 41341 0 0 0 108831 186 0 0 25 0 1 0 845780354 173895680 41088 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42455 41088 1111 63 0 42392 0
vsize: 169820
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 41474 0 0 0 109830 187 0 0 25 0 1 0 845780354 174436352 41221 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42587 41221 1111 63 0 42524 0
vsize: 170348
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 41627 0 0 0 110830 188 0 0 25 0 1 0 845780354 175116288 41374 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42753 41374 1111 63 0 42690 0
vsize: 171012
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 41789 0 0 0 111829 189 0 0 25 0 1 0 845780354 175820800 41534 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42925 41534 1111 63 0 42862 0
vsize: 171700
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 41934 0 0 0 112828 189 0 0 25 0 1 0 845780354 176361472 41679 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43057 41679 1111 63 0 42994 0
vsize: 172228
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 42078 0 0 0 113827 190 0 0 25 0 1 0 845780354 176902144 41823 4294967295 134512640 134716908 3221224560 3221223344 134529341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43189 41823 1111 63 0 43126 0
vsize: 172756
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 42193 0 0 0 114827 191 0 0 25 0 1 0 845780354 177442816 41938 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43321 41938 1111 63 0 43258 0
vsize: 173284
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 42328 0 0 0 115827 191 0 0 25 0 1 0 845780354 177848320 42073 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43420 42073 1111 63 0 43357 0
vsize: 173680
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 42480 0 0 0 116826 192 0 0 25 0 1 0 845780354 178552832 42222 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43592 42222 1111 63 0 43529 0
vsize: 174368
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 23944
Raw data (stat): 23944 (bsolo_lpr_cuts-) R 23943 8378 8377 0 -1 0 42480 0 0 0 116826 192 0 0 25 0 1 0 845780354 178552832 42222 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43592 42222 1111 63 0 43529 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.13
CPU user time (s): 1173.13
CPU system time (s): 2.00469
CPU usage (%): 100.014
Max. virtual memory (Kb): 174368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####