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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	fa6454a9831f2da4180d8bfab7c0a21b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.037993
Number of variables	3288
Total number of constraints	310
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	14
Maximum length of a constraint	123
Trace number 25621

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 06:02:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18761 boxname=wulflinc31 idbench=1444 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  fa6454a9831f2da4180d8bfab7c0a21b  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 18761
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        561080 kB
Buffers:         35212 kB
Cached:         417516 kB
SwapCached:       1172 kB
Active:         304512 kB
Inactive:       150580 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        560828 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:             268 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12828 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 06:21:45 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 18761 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3288 variables and 374 constraints.
c After prepocess the problem consists of 3288 variables and 329 constraints.
c preprocess terminated 3.954 s
c Initial Lower Bound: 701518
c Lower Bound Elapsed time: 1.16075
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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
Raw data (loadavg): 0.96 0.99 0.92 2/55 7140
Raw data (stat): 7140 (runsolver) R 7139 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 801978886 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.96 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6069 0 0 0 975 17 0 0 25 0 1 0 801978886 21434368 4531 4294967295 134512640 134714508 3221221776 3221220544 134597634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5233 4531 1111 63 0 5170 0
vsize: 20932
[startup+20.0003 s]
Raw data (loadavg): 0.97 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6074 0 0 0 1973 20 0 0 25 0 1 0 801978886 21434368 4536 4294967295 134512640 134714508 3221221776 3221220576 134597597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5233 4536 1111 63 0 5170 0
vsize: 20932
[startup+30.0013 s]
Raw data (loadavg): 0.97 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6107 0 0 0 2968 24 0 0 25 0 1 0 801978886 21569536 4569 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4569 1111 63 0 5203 0
vsize: 21064
[startup+40.0012 s]
Raw data (loadavg): 0.98 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6223 0 0 0 3964 29 0 0 25 0 1 0 801978886 22110208 4685 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 4685 1111 63 0 5335 0
vsize: 21592
[startup+50.0017 s]
Raw data (loadavg): 0.98 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6341 0 0 0 4958 35 0 0 25 0 1 0 801978886 22650880 4803 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5530 4803 1111 63 0 5467 0
vsize: 22120
[startup+60.002 s]
Raw data (loadavg): 0.98 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6453 0 0 0 5955 38 0 0 25 0 1 0 801978886 23056384 4915 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5629 4915 1111 63 0 5566 0
vsize: 22516
[startup+70.0019 s]
Raw data (loadavg): 0.98 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6559 0 0 0 6951 42 0 0 25 0 1 0 801978886 23461888 5021 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 5021 1111 63 0 5665 0
vsize: 22912
[startup+80.0029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6666 0 0 0 7946 47 0 0 25 0 1 0 801978886 23867392 5128 4294967295 134512640 134714508 3221221776 3221220552 134600349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5827 5128 1111 63 0 5764 0
vsize: 23308
[startup+90.0028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6783 0 0 0 8942 51 0 0 25 0 1 0 801978886 24408064 5245 4294967295 134512640 134714508 3221221776 3221220556 134613543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5959 5245 1111 63 0 5896 0
vsize: 23836
[startup+100.003 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 6897 0 0 0 9939 54 0 0 25 0 1 0 801978886 24813568 5359 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6058 5359 1111 63 0 5995 0
vsize: 24232
[startup+110.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 7017 0 0 0 10936 58 0 0 25 0 1 0 801978886 25354240 5479 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6190 5479 1111 63 0 6127 0
vsize: 24760
[startup+120.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 7143 0 0 0 11932 62 0 0 25 0 1 0 801978886 25894912 5605 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6322 5605 1111 63 0 6259 0
vsize: 25288
[startup+130.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 7270 0 0 0 12928 66 0 0 25 0 1 0 801978886 26435584 5732 4294967295 134512640 134714508 3221221776 3221220576 134597708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6454 5732 1111 63 0 6391 0
vsize: 25816
[startup+140.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 7393 0 0 0 13925 69 0 0 25 0 1 0 801978886 26841088 5855 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6553 5855 1111 63 0 6490 0
vsize: 26212
[startup+150.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 7498 0 0 0 14920 74 0 0 25 0 1 0 801978886 27381760 5960 4294967295 134512640 134714508 3221221776 3221220576 134597733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6685 5960 1111 63 0 6622 0
vsize: 26740
[startup+160.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 7604 0 0 0 15917 78 0 0 25 0 1 0 801978886 27787264 6066 4294967295 134512640 134714508 3221221776 3221220576 134597604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6784 6066 1111 63 0 6721 0
vsize: 27136
[startup+170.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 7729 0 0 0 16913 82 0 0 25 0 1 0 801978886 28327936 6191 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6916 6191 1111 63 0 6853 0
vsize: 27664
[startup+180.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 7835 0 0 0 17909 86 0 0 25 0 1 0 801978886 28733440 6297 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7015 6297 1111 63 0 6952 0
vsize: 28060
[startup+190.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 7948 0 0 0 18905 90 0 0 25 0 1 0 801978886 29138944 6410 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7114 6410 1111 63 0 7051 0
vsize: 28456
[startup+200.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 8064 0 0 0 19901 94 0 0 25 0 1 0 801978886 29679616 6526 4294967295 134512640 134714508 3221221776 3221220556 134613543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7246 6526 1111 63 0 7183 0
vsize: 28984
[startup+210.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 8178 0 0 0 20897 98 0 0 25 0 1 0 801978886 30085120 6640 4294967295 134512640 134714508 3221221776 3221220576 134597730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7345 6640 1111 63 0 7282 0
vsize: 29380
[startup+220.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 8290 0 0 0 21893 103 0 0 25 0 1 0 801978886 30625792 6752 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7477 6752 1111 63 0 7414 0
vsize: 29908
[startup+230.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7140
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 8395 0 0 0 22889 106 0 0 25 0 1 0 801978886 31039488 6856 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7578 6856 1111 63 0 7515 0
vsize: 30312
[startup+240.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 8515 0 0 0 23886 109 0 0 25 0 1 0 801978886 31580160 6976 4294967295 134512640 134714508 3221221776 3221220560 134597619 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7710 6976 1111 63 0 7647 0
vsize: 30840
[startup+250.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 8635 0 0 0 24882 113 0 0 25 0 1 0 801978886 31985664 7096 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7809 7096 1111 63 0 7746 0
vsize: 31236
[startup+260.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 8738 0 0 0 25877 119 0 0 25 0 1 0 801978886 32526336 7199 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7941 7199 1111 63 0 7878 0
vsize: 31764
[startup+270.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 8849 0 0 0 26874 122 0 0 25 0 1 0 801978886 32931840 7310 4294967295 134512640 134714508 3221221776 3221220576 134597735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8040 7310 1111 63 0 7977 0
vsize: 32160
[startup+280.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 8981 0 0 0 27870 127 0 0 25 0 1 0 801978886 33472512 7442 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8172 7442 1111 63 0 8109 0
vsize: 32688
[startup+290.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9094 0 0 0 28865 131 0 0 25 0 1 0 801978886 33878016 7555 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8271 7555 1111 63 0 8208 0
vsize: 33084
[startup+300.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9192 0 0 0 29862 135 0 0 25 0 1 0 801978886 34283520 7653 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8370 7653 1111 63 0 8307 0
vsize: 33480
[startup+310.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9279 0 0 0 30858 139 0 0 25 0 1 0 801978886 34689024 7740 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8469 7740 1111 63 0 8406 0
vsize: 33876
[startup+320.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9367 0 0 0 31854 143 0 0 25 0 1 0 801978886 35094528 7828 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8568 7828 1111 63 0 8505 0
vsize: 34272
[startup+330.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9455 0 0 0 32850 148 0 0 25 0 1 0 801978886 35364864 7916 4294967295 134512640 134714508 3221221776 3221220576 134597692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8634 7916 1111 63 0 8571 0
vsize: 34536
[startup+340.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9547 0 0 0 33845 152 0 0 25 0 1 0 801978886 35770368 8008 4294967295 134512640 134714508 3221221776 3221220576 134597705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8733 8008 1111 63 0 8670 0
vsize: 34932
[startup+350.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9639 0 0 0 34841 156 0 0 25 0 1 0 801978886 36175872 8100 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8832 8100 1111 63 0 8769 0
vsize: 35328
[startup+360.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9739 0 0 0 35838 160 0 0 25 0 1 0 801978886 36581376 8200 4294967295 134512640 134714508 3221221776 3221220560 134597619 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8931 8200 1111 63 0 8868 0
vsize: 35724
[startup+370.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9824 0 0 0 36834 164 0 0 25 0 1 0 801978886 36851712 8285 4294967295 134512640 134714508 3221221776 3221220560 134597619 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8997 8285 1111 63 0 8934 0
vsize: 35988
[startup+380.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9907 0 0 0 37830 168 0 0 25 0 1 0 801978886 37257216 8368 4294967295 134512640 134714508 3221221776 3221220576 134597692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9096 8368 1111 63 0 9033 0
vsize: 36384
[startup+390.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 9992 0 0 0 38825 173 0 0 25 0 1 0 801978886 37662720 8453 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 8453 1111 63 0 9132 0
vsize: 36780
[startup+400.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10080 0 0 0 39821 177 0 0 25 0 1 0 801978886 37933056 8541 4294967295 134512640 134714508 3221221776 3221220552 134613501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9261 8541 1111 63 0 9198 0
vsize: 37044
[startup+410.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10164 0 0 0 40818 180 0 0 25 0 1 0 801978886 38338560 8625 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9360 8625 1111 63 0 9297 0
vsize: 37440
[startup+420.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10260 0 0 0 41814 184 0 0 25 0 1 0 801978886 38744064 8721 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9459 8721 1111 63 0 9396 0
vsize: 37836
[startup+430.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10345 0 0 0 42811 188 0 0 25 0 1 0 801978886 39014400 8806 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9525 8806 1111 63 0 9462 0
vsize: 38100
[startup+440.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10424 0 0 0 43807 192 0 0 25 0 1 0 801978886 39419904 8885 4294967295 134512640 134714508 3221221776 3221220704 134579392 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8885 1111 63 0 9561 0
vsize: 38496
[startup+450.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10514 0 0 0 44803 196 0 0 25 0 1 0 801978886 39690240 8975 4294967295 134512640 134714508 3221221776 3221220576 134597604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9690 8975 1111 63 0 9627 0
vsize: 38760
[startup+460.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10598 0 0 0 45800 199 0 0 25 0 1 0 801978886 40095744 9059 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9789 9059 1111 63 0 9726 0
vsize: 39156
[startup+470.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10692 0 0 0 46795 204 0 0 25 0 1 0 801978886 40501248 9153 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9888 9153 1111 63 0 9825 0
vsize: 39552
[startup+480.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10779 0 0 0 47792 208 0 0 25 0 1 0 801978886 40771584 9240 4294967295 134512640 134714508 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9954 9240 1111 63 0 9891 0
vsize: 39816
[startup+490.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10858 0 0 0 48788 212 0 0 25 0 1 0 801978886 41177088 9319 4294967295 134512640 134714508 3221221776 3221220576 134597759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10053 9319 1111 63 0 9990 0
vsize: 40212
[startup+500.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 10941 0 0 0 49782 217 0 0 25 0 1 0 801978886 41447424 9402 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10119 9402 1111 63 0 10056 0
vsize: 40476
[startup+510.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11026 0 0 0 50779 221 0 0 25 0 1 0 801978886 41852928 9487 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10218 9487 1111 63 0 10155 0
vsize: 40872
[startup+520.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11125 0 0 0 51775 225 0 0 25 0 1 0 801978886 42258432 9586 4294967295 134512640 134714508 3221221776 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10317 9586 1111 63 0 10254 0
vsize: 41268
[startup+530.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11227 0 0 0 52771 229 0 0 25 0 1 0 801978886 42663936 9688 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10416 9688 1111 63 0 10353 0
vsize: 41664
[startup+540.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11316 0 0 0 53768 232 0 0 25 0 1 0 801978886 43069440 9777 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10515 9777 1111 63 0 10452 0
vsize: 42060
[startup+550.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11399 0 0 0 54765 235 0 0 25 0 1 0 801978886 43339776 9860 4294967295 134512640 134714508 3221221776 3221220384 134543756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9860 1111 63 0 10518 0
vsize: 42324
[startup+560.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11484 0 0 0 55760 240 0 0 25 0 1 0 801978886 43745280 9945 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10680 9945 1111 63 0 10617 0
vsize: 42720
[startup+570.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11575 0 0 0 56757 244 0 0 25 0 1 0 801978886 44150784 10036 4294967295 134512640 134714508 3221221776 3221220576 134597648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10779 10036 1111 63 0 10716 0
vsize: 43116
[startup+580.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11670 0 0 0 57753 247 0 0 25 0 1 0 801978886 44421120 10131 4294967295 134512640 134714508 3221221776 3221220576 134597733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10845 10131 1111 63 0 10782 0
vsize: 43380
[startup+590.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11760 0 0 0 58749 251 0 0 25 0 1 0 801978886 44826624 10221 4294967295 134512640 134714508 3221221776 3221220576 134597654 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10944 10221 1111 63 0 10881 0
vsize: 43776
[startup+600.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11847 0 0 0 59746 255 0 0 25 0 1 0 801978886 45232128 10308 4294967295 134512640 134714508 3221221776 3221220576 134597738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11043 10308 1111 63 0 10980 0
vsize: 44172
[startup+610.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 11936 0 0 0 60742 259 0 0 25 0 1 0 801978886 45637632 10397 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11142 10397 1111 63 0 11079 0
vsize: 44568
[startup+620.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12030 0 0 0 61739 263 0 0 25 0 1 0 801978886 45907968 10491 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11208 10491 1111 63 0 11145 0
vsize: 44832
[startup+630.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12116 0 0 0 62735 266 0 0 25 0 1 0 801978886 46313472 10577 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11307 10577 1111 63 0 11244 0
vsize: 45228
[startup+640.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12192 0 0 0 63732 270 0 0 25 0 1 0 801978886 46583808 10652 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11373 10652 1111 63 0 11310 0
vsize: 45492
[startup+650.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12287 0 0 0 64729 273 0 0 25 0 1 0 801978886 46989312 10746 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11472 10746 1111 63 0 11409 0
vsize: 45888
[startup+660.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12377 0 0 0 65726 276 0 0 25 0 1 0 801978886 47394816 10836 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11571 10836 1111 63 0 11508 0
vsize: 46284
[startup+670.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12460 0 0 0 66722 280 0 0 25 0 1 0 801978886 47665152 10919 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11637 10919 1111 63 0 11574 0
vsize: 46548
[startup+680.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12549 0 0 0 67719 284 0 0 25 0 1 0 801978886 48070656 11008 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11736 11008 1111 63 0 11673 0
vsize: 46944
[startup+690.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12632 0 0 0 68714 288 0 0 25 0 1 0 801978886 48476160 11091 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11835 11091 1111 63 0 11772 0
vsize: 47340
[startup+700.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12717 0 0 0 69713 290 0 0 25 0 1 0 801978886 48746496 11176 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11901 11176 1111 63 0 11838 0
vsize: 47604
[startup+710.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12804 0 0 0 70710 293 0 0 25 0 1 0 801978886 49152000 11263 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12000 11263 1111 63 0 11937 0
vsize: 48000
[startup+720.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12891 0 0 0 71707 297 0 0 25 0 1 0 801978886 49557504 11350 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12099 11350 1111 63 0 12036 0
vsize: 48396
[startup+730.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 12976 0 0 0 72703 301 0 0 25 0 1 0 801978886 49827840 11435 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12165 11435 1111 63 0 12102 0
vsize: 48660
[startup+740.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13065 0 0 0 73700 304 0 0 25 0 1 0 801978886 50233344 11524 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12264 11524 1111 63 0 12201 0
vsize: 49056
[startup+750.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13158 0 0 0 74696 308 0 0 25 0 1 0 801978886 50638848 11616 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12363 11616 1111 63 0 12300 0
vsize: 49452
[startup+760.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13248 0 0 0 75693 311 0 0 25 0 1 0 801978886 50909184 11706 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12429 11706 1111 63 0 12366 0
vsize: 49716
[startup+770.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13335 0 0 0 76690 314 0 0 25 0 1 0 801978886 51314688 11793 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12528 11793 1111 63 0 12465 0
vsize: 50112
[startup+780.036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13423 0 0 0 77687 317 0 0 25 0 1 0 801978886 51720192 11881 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12627 11881 1111 63 0 12564 0
vsize: 50508
[startup+790.036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13515 0 0 0 78684 321 0 0 25 0 1 0 801978886 52125696 11973 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12726 11973 1111 63 0 12663 0
vsize: 50904
[startup+800.036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13614 0 0 0 79681 324 0 0 25 0 1 0 801978886 52531200 12071 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12825 12071 1111 63 0 12762 0
vsize: 51300
[startup+810.036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13702 0 0 0 80679 327 0 0 25 0 1 0 801978886 52801536 12159 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12891 12159 1111 63 0 12828 0
vsize: 51564
[startup+820.037 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13789 0 0 0 81675 330 0 0 25 0 1 0 801978886 53207040 12246 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12990 12246 1111 63 0 12927 0
vsize: 51960
[startup+830.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13872 0 0 0 82672 333 0 0 25 0 1 0 801978886 53477376 12329 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13056 12329 1111 63 0 12993 0
vsize: 52224
[startup+840.037 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 13962 0 0 0 83669 337 0 0 25 0 1 0 801978886 53882880 12419 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13155 12419 1111 63 0 13092 0
vsize: 52620
[startup+850.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 14048 0 0 0 84665 341 0 0 25 0 1 0 801978886 54288384 12505 4294967295 134512640 134714508 3221221776 3221220500 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13254 12505 1111 63 0 13191 0
vsize: 53016
[startup+860.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 14124 0 0 0 85662 344 0 0 25 0 1 0 801978886 54558720 12581 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13320 12581 1111 63 0 13257 0
vsize: 53280
[startup+870.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 14211 0 0 0 86658 348 0 0 25 0 1 0 801978886 54964224 12668 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13419 12668 1111 63 0 13356 0
vsize: 53676
[startup+880.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 14298 0 0 0 87653 353 0 0 25 0 1 0 801978886 55234560 12755 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13485 12755 1111 63 0 13422 0
vsize: 53940
[startup+890.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 14388 0 0 0 88649 357 0 0 25 0 1 0 801978886 55640064 12845 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13584 12845 1111 63 0 13521 0
vsize: 54336
[startup+900.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 14541 0 0 0 89646 361 0 0 25 0 1 0 801978886 56311808 12998 4294967295 134512640 134714508 3221221776 3221220576 134597705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13748 12998 1111 63 0 13685 0
vsize: 54992
[startup+910.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 14712 0 0 0 90641 366 0 0 25 0 1 0 801978886 56987648 13169 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13913 13169 1111 63 0 13850 0
vsize: 55652
[startup+920.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 14880 0 0 0 91636 371 0 0 25 0 1 0 801978886 57663488 13337 4294967295 134512640 134714508 3221221776 3221220576 134597692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14078 13337 1111 63 0 14015 0
vsize: 56312
[startup+930.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 15054 0 0 0 92632 375 0 0 25 0 1 0 801978886 58339328 13511 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14243 13511 1111 63 0 14180 0
vsize: 56972
[startup+940.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 15221 0 0 0 93628 379 0 0 25 0 1 0 801978886 59015168 13678 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14408 13678 1111 63 0 14345 0
vsize: 57632
[startup+950.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 15394 0 0 0 94624 384 0 0 25 0 1 0 801978886 59826176 13851 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14606 13851 1111 63 0 14543 0
vsize: 58424
[startup+960.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 15515 0 0 0 95620 388 0 0 25 0 1 0 801978886 60231680 13972 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14705 13972 1111 63 0 14642 0
vsize: 58820
[startup+970.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 15620 0 0 0 96617 391 0 0 25 0 1 0 801978886 60637184 14077 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14804 14077 1111 63 0 14741 0
vsize: 59216
[startup+980.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 15790 0 0 0 97611 397 0 0 25 0 1 0 801978886 61448192 14247 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15002 14247 1111 63 0 14939 0
vsize: 60008
[startup+990.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 15953 0 0 0 98605 403 0 0 25 0 1 0 801978886 62124032 14410 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15167 14410 1111 63 0 15104 0
vsize: 60668
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 16117 0 0 0 99602 407 0 0 25 0 1 0 801978886 62799872 14574 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15332 14574 1111 63 0 15269 0
vsize: 61328
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 16288 0 0 0 100597 411 0 0 25 0 1 0 801978886 63475712 14745 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15497 14745 1111 63 0 15434 0
vsize: 61988
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 16451 0 0 0 101593 416 0 0 25 0 1 0 801978886 64151552 14908 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15662 14908 1111 63 0 15599 0
vsize: 62648
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 16618 0 0 0 102589 420 0 0 25 0 1 0 801978886 64827392 15075 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15827 15075 1111 63 0 15764 0
vsize: 63308
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 16796 0 0 0 103584 425 0 0 25 0 1 0 801978886 65503232 15253 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15992 15253 1111 63 0 15929 0
vsize: 63968
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 16964 0 0 0 104580 430 0 0 25 0 1 0 801978886 66179072 15421 4294967295 134512640 134714508 3221221776 3221220544 134597634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16157 15421 1111 63 0 16094 0
vsize: 64628
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 17137 0 0 0 105576 434 0 0 25 0 1 0 801978886 66990080 15594 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16355 15594 1111 63 0 16292 0
vsize: 65420
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 17306 0 0 0 106570 439 0 0 25 0 1 0 801978886 67665920 15763 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16520 15763 1111 63 0 16457 0
vsize: 66080
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 17468 0 0 0 107566 444 0 0 25 0 1 0 801978886 68341760 15925 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16685 15925 1111 63 0 16622 0
vsize: 66740
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 17611 0 0 0 108563 447 0 0 25 0 1 0 801978886 68882432 16068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16817 16068 1111 63 0 16754 0
vsize: 67268
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 17776 0 0 0 109558 452 0 0 25 0 1 0 801978886 69558272 16233 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16982 16233 1111 63 0 16919 0
vsize: 67928
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 17949 0 0 0 110553 457 0 0 25 0 1 0 801978886 70238208 16406 4294967295 134512640 134714508 3221221776 3221220552 134600349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17148 16406 1111 63 0 17085 0
vsize: 68592
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 18109 0 0 0 111549 462 0 0 25 0 1 0 801978886 70914048 16566 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17313 16566 1111 63 0 17250 0
vsize: 69252
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 18280 0 0 0 112544 467 0 0 25 0 1 0 801978886 71589888 16737 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17478 16737 1111 63 0 17415 0
vsize: 69912
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 18453 0 0 0 113540 471 0 0 25 0 1 0 801978886 72400896 16909 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17676 16909 1111 63 0 17613 0
vsize: 70704
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 18604 0 0 0 114536 475 0 0 25 0 1 0 801978886 72941568 17060 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17808 17060 1111 63 0 17745 0
vsize: 71232
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 18779 0 0 0 115531 480 0 0 25 0 1 0 801978886 73617408 17235 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17973 17235 1111 63 0 17910 0
vsize: 71892
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/55 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 18942 0 0 0 116529 483 0 0 25 0 1 0 801978886 74293248 17398 4294967295 134512640 134714508 3221221776 3221220576 134597779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18138 17398 1111 63 0 18075 0
vsize: 72552
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.99 0.92 1/54 7142
Raw data (stat): 7140 (bsolo_lpr_cuts) R 7139 7876 7672 0 -1 0 18942 0 0 0 116529 483 0 0 25 0 1 0 801978886 74293248 17398 4294967295 134512640 134714508 3221221776 3221220576 134597779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18138 17398 1111 63 0 18075 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.06
CPU user time (s): 1170.17
CPU system time (s): 4.89226
CPU usage (%): 100.007
Max. virtual memory (Kb): 72552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####