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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb
MD5SUM	bafd5f2a91d0ace4ec9dc114753d5b3e
Bench Category	optimization, big integers (OPTBIGINT)
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	66480
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	35987090508169210757120
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	35987192908169210757120
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.632903
Number of variables	66480
Total number of constraints	11523
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9721
Number of constraints which are nor clauses,nor cardinality constraints	1802
Minimum length of a constraint	1
Maximum length of a constraint	66480
Trace number 27942

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 23:45:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15108 boxname=wulflinc20 idbench=1163 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bafd5f2a91d0ace4ec9dc114753d5b3e  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-dolom1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-dolom1.opb
IDLAUNCH: 15108
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        760448 kB
Buffers:         25920 kB
Cached:         226732 kB
SwapCached:        716 kB
Active:          41516 kB
Inactive:       213260 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        760196 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            13848 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:05:14 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 15108 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.68 0.89 0.94 2/54 31387
Raw data (stat): 31387 (runsolver) R 31386 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834300114 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.73 0.89 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 2056 0 0 0 993 4 0 0 25 0 1 0 834300114 20013056 1980 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4886 1980 1111 63 0 4823 0
vsize: 19544
[startup+20.0003 s]
Raw data (loadavg): 0.77 0.89 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 3252 0 0 0 1991 7 0 0 25 0 1 0 834300114 24788992 3176 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6052 3176 1111 63 0 5989 0
vsize: 24208
[startup+30.0001 s]
Raw data (loadavg): 0.81 0.89 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 4461 0 0 0 2989 9 0 0 25 0 1 0 834300114 29863936 4385 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7291 4385 1111 63 0 7228 0
vsize: 29164
[startup+40.001 s]
Raw data (loadavg): 0.84 0.90 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 5664 0 0 0 3987 11 0 0 25 0 1 0 834300114 34791424 5588 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8494 5588 1111 63 0 8431 0
vsize: 33976
[startup+50.0015 s]
Raw data (loadavg): 0.86 0.90 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 6880 0 0 0 4985 14 0 0 25 0 1 0 834300114 39723008 6804 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9698 6804 1111 63 0 9635 0
vsize: 38792
[startup+60.0012 s]
Raw data (loadavg): 0.88 0.90 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 8098 0 0 0 5983 16 0 0 25 0 1 0 834300114 44634112 8022 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 8022 1111 63 0 10834 0
vsize: 43588
[startup+70.0012 s]
Raw data (loadavg): 0.90 0.91 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 9312 0 0 0 6981 18 0 0 25 0 1 0 834300114 49709056 9236 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 9236 1111 63 0 12073 0
vsize: 48544
[startup+80.001 s]
Raw data (loadavg): 0.91 0.91 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 10533 0 0 0 7979 19 0 0 25 0 1 0 834300114 54636544 10457 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13339 10457 1111 63 0 13276 0
vsize: 53356
[startup+90.0014 s]
Raw data (loadavg): 0.93 0.91 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 11760 0 0 0 8977 22 0 0 25 0 1 0 834300114 59711488 11684 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14578 11684 1111 63 0 14515 0
vsize: 58312
[startup+100.001 s]
Raw data (loadavg): 0.94 0.91 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 12993 0 0 0 9976 24 0 0 25 0 1 0 834300114 64786432 12917 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15817 12917 1111 63 0 15754 0
vsize: 63268
[startup+110.001 s]
Raw data (loadavg): 0.95 0.92 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 14233 0 0 0 10973 26 0 0 25 0 1 0 834300114 69840896 14157 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17051 14157 1111 63 0 16988 0
vsize: 68204
[startup+120.002 s]
Raw data (loadavg): 0.95 0.92 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 15472 0 0 0 11971 28 0 0 25 0 1 0 834300114 74915840 15396 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18290 15396 1111 63 0 18227 0
vsize: 73160
[startup+130.001 s]
Raw data (loadavg): 0.96 0.92 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 16712 0 0 0 12969 30 0 0 25 0 1 0 834300114 79990784 16636 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19529 16636 1111 63 0 19466 0
vsize: 78116
[startup+140.001 s]
Raw data (loadavg): 0.97 0.92 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 17957 0 0 0 13967 33 0 0 25 0 1 0 834300114 85065728 17881 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20768 17881 1111 63 0 20705 0
vsize: 83072
[startup+150.001 s]
Raw data (loadavg): 0.97 0.92 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 19208 0 0 0 14965 35 0 0 25 0 1 0 834300114 90140672 19132 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22007 19132 1111 63 0 21944 0
vsize: 88028
[startup+160 s]
Raw data (loadavg): 0.98 0.93 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 20461 0 0 0 15963 37 0 0 25 0 1 0 834300114 95371264 20385 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23284 20385 1111 63 0 23221 0
vsize: 93136
[startup+170 s]
Raw data (loadavg): 0.98 0.93 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 21718 0 0 0 16961 39 0 0 25 0 1 0 834300114 100446208 21642 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24523 21642 1111 63 0 24460 0
vsize: 98092
[startup+180 s]
Raw data (loadavg): 0.98 0.93 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 22981 0 0 0 17959 42 0 0 25 0 1 0 834300114 105672704 22905 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25799 22905 1111 63 0 25736 0
vsize: 103196
[startup+190.001 s]
Raw data (loadavg): 0.98 0.93 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 24244 0 0 0 18957 44 0 0 25 0 1 0 834300114 110895104 24168 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27074 24168 1111 63 0 27011 0
vsize: 108296
[startup+200 s]
Raw data (loadavg): 0.99 0.93 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 25520 0 0 0 19954 47 0 0 25 0 1 0 834300114 116092928 25444 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28343 25444 1111 63 0 28280 0
vsize: 113372
[startup+210 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 26797 0 0 0 20952 49 0 0 25 0 1 0 834300114 121323520 26721 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29620 26721 1111 63 0 29557 0
vsize: 118480
[startup+220.001 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 28079 0 0 0 21950 51 0 0 25 0 1 0 834300114 126550016 28003 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30896 28003 1111 63 0 30833 0
vsize: 123584
[startup+230.001 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 29361 0 0 0 22948 53 0 0 25 0 1 0 834300114 131772416 29285 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32171 29285 1111 63 0 32108 0
vsize: 128684
[startup+240 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 30649 0 0 0 23945 56 0 0 25 0 1 0 834300114 137146368 30573 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33483 30573 1111 63 0 33420 0
vsize: 133932
[startup+250 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 31945 0 0 0 24943 59 0 0 25 0 1 0 834300114 142376960 31869 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34760 31869 1111 63 0 34697 0
vsize: 139040
[startup+260 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 33239 0 0 0 25941 61 0 0 25 0 1 0 834300114 147750912 33163 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36072 33163 1111 63 0 36009 0
vsize: 144288
[startup+270 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 34540 0 0 0 26939 63 0 0 25 0 1 0 834300114 152973312 34464 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37347 34464 1111 63 0 37284 0
vsize: 149388
[startup+280 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 35845 0 0 0 27937 66 0 0 25 0 1 0 834300114 158347264 35769 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38659 35769 1111 63 0 38596 0
vsize: 154636
[startup+290 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 37159 0 0 0 28934 69 0 0 25 0 1 0 834300114 163725312 37083 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39972 37083 1111 63 0 39909 0
vsize: 159888
[startup+300 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 38472 0 0 0 29931 71 0 0 25 0 1 0 834300114 169099264 38396 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41284 38396 1111 63 0 41221 0
vsize: 165136
[startup+310 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 39796 0 0 0 30929 74 0 0 25 0 1 0 834300114 174473216 39720 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42596 39720 1111 63 0 42533 0
vsize: 170384
[startup+320 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 41122 0 0 0 31927 76 0 0 25 0 1 0 834300114 180002816 41046 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43946 41046 1111 63 0 43883 0
vsize: 175784
[startup+330 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 42452 0 0 0 32925 78 0 0 25 0 1 0 834300114 185376768 42376 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45258 42376 1111 63 0 45195 0
vsize: 181032
[startup+340 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 43782 0 0 0 33923 80 0 0 25 0 1 0 834300114 190898176 43706 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46606 43706 1111 63 0 46543 0
vsize: 186424
[startup+350 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 45124 0 0 0 34921 82 0 0 25 0 1 0 834300114 196419584 45048 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47954 45048 1111 63 0 47891 0
vsize: 191816
[startup+359.999 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 46468 0 0 0 35919 84 0 0 25 0 1 0 834300114 201801728 46392 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49268 46392 1111 63 0 49205 0
vsize: 197072
[startup+369.999 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 47823 0 0 0 36918 86 0 0 25 0 1 0 834300114 207474688 47747 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50653 47747 1111 63 0 50590 0
vsize: 202612
[startup+379.999 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 49184 0 0 0 37916 87 0 0 25 0 1 0 834300114 212996096 49108 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52001 49108 1111 63 0 51938 0
vsize: 208004
[startup+389.999 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 50562 0 0 0 38914 90 0 0 25 0 1 0 834300114 218673152 50486 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53387 50486 1111 63 0 53324 0
vsize: 213548
[startup+399.999 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 51930 0 0 0 39912 92 0 0 25 0 1 0 834300114 224346112 51854 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54772 51854 1111 63 0 54709 0
vsize: 219088
[startup+409.999 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 53309 0 0 0 40909 95 0 0 25 0 1 0 834300114 229871616 53233 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56121 53233 1111 63 0 56058 0
vsize: 224484
[startup+419.998 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 54690 0 0 0 41907 97 0 0 25 0 1 0 834300114 235548672 54614 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57507 54614 1111 63 0 57444 0
vsize: 230028
[startup+429.998 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 56076 0 0 0 42906 99 0 0 25 0 1 0 834300114 241225728 56000 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58893 56000 1111 63 0 58830 0
vsize: 235572
[startup+439.999 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 57468 0 0 0 43904 101 0 0 25 0 1 0 834300114 246898688 57392 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60278 57392 1111 63 0 60215 0
vsize: 241112
[startup+449.999 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 58867 0 0 0 44902 103 0 0 25 0 1 0 834300114 252727296 58791 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61701 58791 1111 63 0 61638 0
vsize: 246804
[startup+460.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 59989 0 0 0 45900 105 0 0 25 0 1 0 834300114 257343488 59913 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62828 59913 1111 63 0 62765 0
vsize: 251312
[startup+470.002 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 60107 0 0 0 46900 106 0 0 25 0 1 0 834300114 257789952 60031 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62937 60031 1111 63 0 62874 0
vsize: 251748
[startup+480.002 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 60225 0 0 0 47900 106 0 0 25 0 1 0 834300114 258215936 60149 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63041 60149 1111 63 0 62978 0
vsize: 252164
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 60342 0 0 0 48900 106 0 0 25 0 1 0 834300114 258658304 60266 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63149 60266 1111 63 0 63086 0
vsize: 252596
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 60460 0 0 0 49900 106 0 0 25 0 1 0 834300114 259260416 60384 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63296 60384 1111 63 0 63233 0
vsize: 253184
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 60576 0 0 0 50900 107 0 0 25 0 1 0 834300114 259710976 60500 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63406 60500 1111 63 0 63343 0
vsize: 253624
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 60702 0 0 0 51900 107 0 0 25 0 1 0 834300114 260161536 60626 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63516 60626 1111 63 0 63453 0
vsize: 254064
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 60827 0 0 0 52900 107 0 0 25 0 1 0 834300114 260763648 60751 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63663 60751 1111 63 0 63600 0
vsize: 254652
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 60944 0 0 0 53900 108 0 0 25 0 1 0 834300114 261210112 60868 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63772 60868 1111 63 0 63709 0
vsize: 255088
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 61062 0 0 0 54900 108 0 0 25 0 1 0 834300114 261660672 60986 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63882 60986 1111 63 0 63819 0
vsize: 255528
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 61180 0 0 0 55900 108 0 0 25 0 1 0 834300114 262111232 61104 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63992 61104 1111 63 0 63929 0
vsize: 255968
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 61312 0 0 0 56899 108 0 0 25 0 1 0 834300114 262713344 61236 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64139 61236 1111 63 0 64076 0
vsize: 256556
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 61429 0 0 0 57899 109 0 0 25 0 1 0 834300114 263155712 61353 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64247 61353 1111 63 0 64184 0
vsize: 256988
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 61547 0 0 0 58899 109 0 0 25 0 1 0 834300114 263610368 61471 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64358 61471 1111 63 0 64295 0
vsize: 257432
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 61678 0 0 0 59899 109 0 0 25 0 1 0 834300114 264208384 61602 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64504 61602 1111 63 0 64441 0
vsize: 258016
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 61797 0 0 0 60899 110 0 0 25 0 1 0 834300114 264658944 61721 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64614 61721 1111 63 0 64551 0
vsize: 258456
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 61922 0 0 0 61899 110 0 0 25 0 1 0 834300114 265105408 61846 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64723 61846 1111 63 0 64660 0
vsize: 258892
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 62046 0 0 0 62899 110 0 0 25 0 1 0 834300114 265707520 61970 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64870 61970 1111 63 0 64807 0
vsize: 259480
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 62172 0 0 0 63899 110 0 0 25 0 1 0 834300114 266158080 62096 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64980 62096 1111 63 0 64917 0
vsize: 259920
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 62297 0 0 0 64899 110 0 0 25 0 1 0 834300114 266756096 62221 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65126 62221 1111 63 0 65063 0
vsize: 260504
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 62428 0 0 0 65899 111 0 0 25 0 1 0 834300114 267210752 62352 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65237 62352 1111 63 0 65174 0
vsize: 260948
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 62546 0 0 0 66899 111 0 0 25 0 1 0 834300114 267653120 62470 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65345 62470 1111 63 0 65282 0
vsize: 261380
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 62678 0 0 0 67899 111 0 0 25 0 1 0 834300114 268255232 62602 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65492 62602 1111 63 0 65429 0
vsize: 261968
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 62809 0 0 0 68899 112 0 0 25 0 1 0 834300114 268857344 62733 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65639 62733 1111 63 0 65576 0
vsize: 262556
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 62927 0 0 0 69899 112 0 0 25 0 1 0 834300114 269303808 62851 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65748 62851 1111 63 0 65685 0
vsize: 262992
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 63078 0 0 0 70900 112 0 0 25 0 1 0 834300114 270069760 63002 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65935 63002 1111 63 0 65872 0
vsize: 263740
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 63208 0 0 0 71900 113 0 0 25 0 1 0 834300114 270516224 63132 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66044 63132 1111 63 0 65981 0
vsize: 264176
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 63340 0 0 0 72900 113 0 0 25 0 1 0 834300114 271118336 63264 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66191 63264 1111 63 0 66128 0
vsize: 264764
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 63471 0 0 0 73900 113 0 0 25 0 1 0 834300114 271560704 63395 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66299 63395 1111 63 0 66236 0
vsize: 265196
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 63599 0 0 0 74900 114 0 0 25 0 1 0 834300114 272162816 63523 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66446 63523 1111 63 0 66383 0
vsize: 265784
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 63731 0 0 0 75900 114 0 0 25 0 1 0 834300114 272613376 63655 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66556 63655 1111 63 0 66493 0
vsize: 266224
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 63862 0 0 0 76900 114 0 0 25 0 1 0 834300114 273215488 63786 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66703 63786 1111 63 0 66640 0
vsize: 266812
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 64002 0 0 0 77900 114 0 0 25 0 1 0 834300114 273817600 63926 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66850 63926 1111 63 0 66787 0
vsize: 267400
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 64134 0 0 0 78900 115 0 0 25 0 1 0 834300114 274259968 64058 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66958 64058 1111 63 0 66895 0
vsize: 267832
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 64266 0 0 0 79900 115 0 0 25 0 1 0 834300114 274862080 64190 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67105 64190 1111 63 0 67042 0
vsize: 268420
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 64399 0 0 0 80899 115 0 0 25 0 1 0 834300114 275464192 64323 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67252 64323 1111 63 0 67189 0
vsize: 269008
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 64532 0 0 0 81899 116 0 0 25 0 1 0 834300114 275914752 64456 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67362 64456 1111 63 0 67299 0
vsize: 269448
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 64671 0 0 0 82899 116 0 0 25 0 1 0 834300114 276512768 64595 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67508 64595 1111 63 0 67445 0
vsize: 270032
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 64809 0 0 0 83899 116 0 0 25 0 1 0 834300114 277110784 64733 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67654 64733 1111 63 0 67591 0
vsize: 270616
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 64942 0 0 0 84899 117 0 0 25 0 1 0 834300114 277561344 64866 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67764 64866 1111 63 0 67701 0
vsize: 271056
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 65084 0 0 0 85898 117 0 0 25 0 1 0 834300114 278163456 65008 4294967295 134512640 134714508 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67911 65008 1111 63 0 67848 0
vsize: 271644
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 65222 0 0 0 86898 118 0 0 25 0 1 0 834300114 278757376 65146 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68056 65146 1111 63 0 67993 0
vsize: 272224
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 65361 0 0 0 87898 118 0 0 25 0 1 0 834300114 279359488 65285 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68203 65285 1111 63 0 68140 0
vsize: 272812
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31387
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 65502 0 0 0 88898 118 0 0 25 0 1 0 834300114 279961600 65426 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68350 65426 1111 63 0 68287 0
vsize: 273400
[startup+900.035 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 31440
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 65648 0 0 0 89898 119 0 0 25 0 1 0 834300114 280555520 65572 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68495 65572 1111 63 0 68432 0
vsize: 273980
[startup+910.034 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 31440
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 65781 0 0 0 90897 119 0 0 25 0 1 0 834300114 281010176 65705 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68606 65705 1111 63 0 68543 0
vsize: 274424
[startup+920.034 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 31440
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 65928 0 0 0 91897 120 0 0 25 0 1 0 834300114 281608192 65852 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68752 65852 1111 63 0 68689 0
vsize: 275008
[startup+930.034 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 31440
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 66075 0 0 0 92897 120 0 0 25 0 1 0 834300114 282210304 65999 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68899 65999 1111 63 0 68836 0
vsize: 275596
[startup+940.034 s]
Raw data (loadavg): 1.11 1.00 0.95 2/54 31440
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 66215 0 0 0 93896 121 0 0 25 0 1 0 834300114 282812416 66139 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69046 66139 1111 63 0 68983 0
vsize: 276184
[startup+950.037 s]
Raw data (loadavg): 1.09 1.00 0.95 2/54 31440
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 66361 0 0 0 94896 121 0 0 25 0 1 0 834300114 283406336 66285 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69191 66285 1111 63 0 69128 0
vsize: 276764
[startup+960.037 s]
Raw data (loadavg): 1.08 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 66502 0 0 0 95895 122 0 0 25 0 1 0 834300114 284008448 66426 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69338 66426 1111 63 0 69275 0
vsize: 277352
[startup+970.037 s]
Raw data (loadavg): 1.07 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 66649 0 0 0 96895 123 0 0 25 0 1 0 834300114 284610560 66573 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69485 66573 1111 63 0 69422 0
vsize: 277940
[startup+980.037 s]
Raw data (loadavg): 1.06 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 66794 0 0 0 97894 124 0 0 25 0 1 0 834300114 285204480 66718 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69630 66718 1111 63 0 69567 0
vsize: 278520
[startup+990.037 s]
Raw data (loadavg): 1.05 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 66941 0 0 0 98894 124 0 0 25 0 1 0 834300114 285806592 66865 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69777 66865 1111 63 0 69714 0
vsize: 279108
[startup+1000.04 s]
Raw data (loadavg): 1.04 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 67097 0 0 0 99894 124 0 0 25 0 1 0 834300114 286408704 67021 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69924 67021 1111 63 0 69861 0
vsize: 279696
[startup+1010.04 s]
Raw data (loadavg): 1.03 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 67251 0 0 0 100894 125 0 0 25 0 1 0 834300114 287002624 67175 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70069 67175 1111 63 0 70006 0
vsize: 280276
[startup+1020.04 s]
Raw data (loadavg): 1.03 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 67397 0 0 0 101893 126 0 0 25 0 1 0 834300114 287604736 67321 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70216 67321 1111 63 0 70153 0
vsize: 280864
[startup+1030.04 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 67546 0 0 0 102893 126 0 0 25 0 1 0 834300114 288206848 67470 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70363 67470 1111 63 0 70300 0
vsize: 281452
[startup+1040.04 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 67706 0 0 0 103893 127 0 0 25 0 1 0 834300114 288956416 67630 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70546 67630 1111 63 0 70483 0
vsize: 282184
[startup+1050.04 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 67859 0 0 0 104892 127 0 0 25 0 1 0 834300114 289550336 67783 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70691 67783 1111 63 0 70628 0
vsize: 282764
[startup+1060.04 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 68016 0 0 0 105892 128 0 0 25 0 1 0 834300114 290152448 67940 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70838 67940 1111 63 0 70775 0
vsize: 283352
[startup+1070.04 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 68178 0 0 0 106891 129 0 0 25 0 1 0 834300114 290754560 68102 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70985 68102 1111 63 0 70922 0
vsize: 283940
[startup+1080.04 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 68344 0 0 0 107890 129 0 0 25 0 1 0 834300114 291500032 68268 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71167 68268 1111 63 0 71104 0
vsize: 284668
[startup+1090.04 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 68514 0 0 0 108890 130 0 0 25 0 1 0 834300114 292249600 68438 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71350 68438 1111 63 0 71287 0
vsize: 285400
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 68677 0 0 0 109890 131 0 0 25 0 1 0 834300114 292851712 68601 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71497 68601 1111 63 0 71434 0
vsize: 285988
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 68845 0 0 0 110889 131 0 0 25 0 1 0 834300114 293605376 68769 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71681 68769 1111 63 0 71618 0
vsize: 286724
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 69016 0 0 0 111889 131 0 0 25 0 1 0 834300114 294199296 68940 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71826 68940 1111 63 0 71763 0
vsize: 287304
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 69189 0 0 0 112889 132 0 0 25 0 1 0 834300114 294948864 69113 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72009 69113 1111 63 0 71946 0
vsize: 288036
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 69352 0 0 0 113889 132 0 0 25 0 1 0 834300114 295550976 69276 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72156 69276 1111 63 0 72093 0
vsize: 288624
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 69530 0 0 0 114888 133 0 0 25 0 1 0 834300114 296300544 69454 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72339 69454 1111 63 0 72276 0
vsize: 289356
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 69705 0 0 0 115888 134 0 0 25 0 1 0 834300114 297050112 69629 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72522 69629 1111 63 0 72459 0
vsize: 290088
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 69873 0 0 0 116888 134 0 0 25 0 1 0 834300114 297795584 69797 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72704 69797 1111 63 0 72641 0
vsize: 290816
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 70044 0 0 0 117887 135 0 0 25 0 1 0 834300114 298397696 69968 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72851 69968 1111 63 0 72788 0
vsize: 291404
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 70220 0 0 0 118887 135 0 0 25 0 1 0 834300114 299147264 70144 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73034 70144 1111 63 0 72971 0
vsize: 292136
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) R 31386 25399 25398 0 -1 0 70396 0 0 0 119887 135 0 0 25 0 1 0 834300114 299900928 70320 4294967295 134512640 134714508 3221224576 3221222444 1077253189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73218 70320 1111 63 0 73155 0
vsize: 292872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 31442
Raw data (stat): 31387 (bsolo_lpr_cuts) Z 31386 25399 25398 0 -1 1036 70396 0 0 0 119887 148 0 0 25 0 1 0 834300114 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.17
CPU time (s): 1200.36
CPU user time (s): 1198.87
CPU system time (s): 1.48777
CPU usage (%): 100.015
Max. virtual memory (Kb): 292872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####